Vincent Kurtz

Joel W. Burdick

CoRR, 2024

DROP: Dexterous Reorientation via Online Planning.

[BibT_eX]

[DOI]

CoRR, 2024

Supervised Learning for Stochastic Optimal Control.

[BibT_eX]

[DOI]

Joel W. Burdick

CoRR, 2024

2023

Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets.

[BibT_eX]

[DOI]

IEEE Trans. Robotics, October, 2023

Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control.

[BibT_eX]

[DOI]

CoRR, 2023

2022

Automatic Trajectory Synthesis for Real-Time Temporal Logic.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2022

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables.

[BibT_eX]

[DOI]

Vincent Kurtz

IEEE Control. Syst. Lett., 2022

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics.

[BibT_eX]

[DOI]

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

to Control Robot Hopping over Uneven Terrain.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Approximate Simulation for Template-Based Whole-Body Control.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., 2021

Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control.

[BibT_eX]

[DOI]

Yann Gilpin

IEEE Control. Syst. Lett., 2021

Active Perception and Control from PrSTL Specifications.

[BibT_eX]

[DOI]

CoRR, 2021

Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control.

[BibT_eX]

[DOI]

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Approximate Simulation for Template-Based Whole-Body Control.

[BibT_eX]

[DOI]

CoRR, 2020

Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Active Perception and Control From Temporal Logic Specifications.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2019

Kalman Filtering with Gaussian Processes Measurement Noise.

[BibT_eX]

[DOI]

CoRR, 2019

Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis.

[BibT_eX]

[DOI]

CoRR, 2019

Formal Connections between Template and Anchor Models via Approximate Simulation.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE-RAS International Conference on Humanoid Robots, 2019

Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2017

Learning robust failure response for autonomous vision based flight.

[BibT_eX]

[DOI]

Dhruv Mauria Saxena