Suivre
Vince Kurtz
Titre
Citée par
Citée par
Année
A smooth robustness measure of signal temporal logic for symbolic control
Y Gilpin, V Kurtz, H Lin
IEEE Control Systems Letters 5 (1), 241-246, 2020
192020
Learning robust failure response for autonomous vision based flight
DM Saxena, V Kurtz, M Hebert
2017 IEEE International Conference on Robotics and Automation (ICRA), 5824-5829, 2017
182017
Toward verifiable real-time obstacle motion prediction for dynamic collision avoidance
V Kurtz, H Lin
2019 American Control Conference (ACC), 2633-2638, 2019
112019
Active perception and control from temporal logic specifications
RR da Silva, V Kurtz, H Lin
IEEE Control Systems Letters 3 (4), 1068-1073, 2019
82019
Approximate simulation for template-based whole-body control
V Kurtz, PM Wensing, H Lin
IEEE Robotics and Automation Letters 6 (2), 558-565, 2020
72020
Formal connections between template and anchor models via approximate simulation
V Kurtz, RR da Silva, PM Wensing, H Lin
2019 IEEE-RAS 19th International Conference on Humanoid Robots (Humanoids …, 2019
52019
Automatic trajectory synthesis for real-time temporal logic
R Rodriguesdasilva, V Kurtz, H Lin
IEEE Transactions on Automatic Control, 2021
42021
Robust approximate simulation for hierarchical control of linear systems under disturbances
V Kurtz, PM Wensing, H Lin
2020 American Control Conference (ACC), 5352-5357, 2020
42020
Kalman filtering with Gaussian processes measurement noise
V Kurtz, H Lin
arXiv preprint arXiv:1909.10582, 2019
42019
Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics
V Kurtz, H Li, PM Wensing, H Lin
arXiv preprint arXiv:2109.04424, 2021
22021
Trajectory optimization for high-dimensional nonlinear systems under STL specifications
V Kurtz, H Lin
IEEE Control Systems Letters 5 (4), 1429-1434, 2020
22020
Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis
V Kurtz, H Lin
arXiv preprint arXiv:1905.03051, 2019
22019
A More Scalable Mixed-Integer Encoding for Metric Temporal Logic
V Kurtz, H Lin
IEEE Control Systems Letters 6, 1718-1723, 2021
12021
Active Perception and Control from PrSTL Specifications
RR da Silva, V Kurtz, H Lin
arXiv preprint arXiv:2111.02226, 2021
12021
Symbolic Control of Hybrid Systems from Signal Temporal Logic Specifications
RR da Silva, V Kurtz, H Lin
Guidance, Navigation and Control 1 (02), 2150008, 2021
12021
Mixed-Integer Programming for Signal Temporal Logic with Fewer Binary Variables
V Kurtz, H Lin
IEEE Control Systems Letters, 2022
2022
Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances
Z Song, V Kurtz, S Welikala, PJ Antsaklis, H Lin
arXiv preprint arXiv:2203.02084, 2022
2022
Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR
V Kurtz, H Lin
arXiv preprint arXiv:2202.13986, 2022
2022
Active Perception and Control from PrSTL Specifications
R Rodrigues da Silva, V Kurtz, H Lin
arXiv e-prints, arXiv: 2111.02226, 2021
2021
Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control
V Kurtz, PM Wensing, H Lin
arXiv preprint arXiv:2109.13349, 2021
2021
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20