Fetching the paper…
Reading the bibliography…
In this paper, we solve the problem of finding a certified control policy that drives a robot from any given initial state and under any bounded disturbance to the desired reference trajectory, with guarantees on the convergence or bounds on the tracking error.
Analysis of probabilistic roadmaps for path planning
L. E. Kavraki, M. N. Kolountzakis, and J.-C. Latombe · 1998
Earlier work this paper cites.
Rapidly-exploring random trees: A new tool for path planning
S. M. LaValle · 1998
Earlier work this paper cites.
On contraction analysis for non-linear systems
W. Lohmiller and J.-J. E. Slotine · 1998
Earlier work this paper cites.
Nonlinear systems , volume 3
H. K. Khalil and J. W. Grizzle · 2002
Earlier work this paper cites.
Computational techniques for the verification of hybrid systems
C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi · 2003
Earlier work this paper cites.
Robust model predictive control using tubes
W. Langson, I. Chryssochoos, S. Raković, and D. Q. Mayne · 2004
Earlier work this paper cites.
Algorithmic learning in a random world
V. Vovk, A. Gammerman, and G. Shafer · 2005
Earlier work this paper cites.
Robust model predictive control of constrained linear systems with bounded disturbances
D. Q. Mayne, M. M. Seron, and S. Raković · 2005
Earlier work this paper cites.
Planning algorithms
S. M. LaValle · 2006
Earlier work this paper cites.
A framework for worst-case and stochastic safety verification using barrier certificates
S. Prajna, A. Jadbabaie, and G. J. Pappas · 2007
Earlier work this paper cites.
Stability and robustness analysis of nonlinear systems via contraction metrics and sos programming
E. M. Aylward, P. A. Parrilo, and J.-J. E. Slotine · 2008
Earlier work this paper cites.
LQR-Trees: Feedback motion planning on sparse randomized trees
R. Tedrake · 2009
Earlier work this paper cites.
An optimal-control-based framework for trajectory planning, threat assessment, and semi-autonomous control of passenger vehicles in hazard avoidance scenarios
S. J. Anderson, S. C. Peters, T. E. Pilutti, and K. Iagnemma · 2010
Earlier work this paper cites.
Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice
J. H. Gillula, H. Huang, M. P. Vitus, and C. J. Tomlin · 2010
Earlier work this paper cites.
Pilco: A model-based and data-efficient approach to policy search
M. Deisenroth and C. E. Rasmussen · 2011
Earlier work this paper cites.
Reinforcement learning controller design for affine nonlinear discrete-time systems using online approximators
Q. Yang and S. Jagannathan · 2011
Earlier work this paper cites.
Anytime motion planning using the rrt
S. Karaman, M. R. Walter, A. Perez, E. Frazzoli, and S. Teller · 2011
Earlier work this paper cites.
A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag
H. Huang, J. Ding, W. Zhang, and C. J. Tomlin · 2011
Earlier work this paper cites.
Tube-based robust nonlinear model predictive control
D. Q. Mayne, E. C. Kerrigan, E. Van Wyk, and P. Falugi · 2011
Earlier work this paper cites.
Cross-entropy motion planning
M. Kobilarov · 2012
Earlier work this paper cites.
Safety verification of reactive controllers for uav flight in cluttered environments using barrier certificates
A. J. Barry, A. Majumdar, and R. Tedrake · 2012
Earlier work this paper cites.
Tube-based robust sampled-data mpc for linear continuous-time systems
M. Farina and R. Scattolini · 2012
Earlier work this paper cites.
Model predictive control
E. F. Camacho and C. B. Alba · 2013
Cited alongside, same era.
Robust online motion planning with regions of finite time invariance
A. Majumdar and R. Tedrake · 2013
Cited alongside, same era.
Tube mpc scheme based on robust control invariant set with application to lipschitz nonlinear systems
S. Yu, C. Maier, H. Chen, and F. Allgöwer · 2013
Cited alongside, same era.
Control barrier function based quadratic programs with application to adaptive cruise control
A. D. Ames, J. W. Grizzle, and P. Tabuada · 2014
Cited alongside, same era.
Simulation-guided lyapunov analysis for hybrid dynamical systems
J. Kapinski, J. V. Deshmukh, S. Sankaranarayanan, and N. Arechiga · 2014
Cited alongside, same era.
Learning control lyapunov function to ensure stability of dynamical system-based robot reaching motions
Duality-based nested controller synthesis from STL specifications for stochastic linear systems
S. Jha, S. Raj, S. K. Jha, and N. Shankar · 2018
Later among the works it cites.
Differentiable mpc for end-to-end planning and control
B. Amos, I. Jimenez, J. Sacks, B. Boots, and J. Z. Kolter · 2018
Later among the works it cites.
Data efficient learning of robust control policies
S. Jha and P. Lincoln · 2018
Later among the works it cites.
Safe autonomy under perception uncertainty using chance-constrained temporal logic
S. Jha, V. Raman, D. Sadigh, and S. A. Seshia · 2018
Later among the works it cites.
Deep reinforcement learning in a handful of trials using probabilistic dynamics models
K. Chua, R. Calandra, R. McAllister, and S. Levine · 2018
Later among the works it cites.
Distribution-free predictive inference for regression
J. Lei, M. G’Sell, A. Rinaldo, R. J. Tibshirani, and L. Wasserman · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
S. M. Khansari-Zadeh and A. Billard · 2014
Cited alongside, same era.
Control-limited differential dynamic programming
Y. Tassa, N. Mansard, and E. Todorov · 2014
Cited alongside, same era.
Adam: A method for stochastic optimization
D. P. Kingma and J. Ba · 2014
Cited alongside, same era.
Unifying classical and optimization-based methods for robot tracking control with control contraction metrics
I. R. Manchester, J. Z. Tang, and J.-J. E. Slotine · 2015
Cited alongside, same era.
Bounded verification with on-the-fly discrepancy computation
C. Fan and S. Mitra · 2015
Cited alongside, same era.
Fast marching tree: A fast marching sampling-based method for optimal motion planning in many dimensions
L. Janson, E. Schmerling, A. Clark, and M. Pavone · 2015
Cited alongside, same era.
Discrete-time robust model predictive control for continuous-time nonlinear systems
M. Kögel and R. Findeisen · 2015
Cited alongside, same era.
Later among the works it cites.
Planning, fast and slow: A framework for adaptive real-time safe trajectory planning
D. Fridovich-Keil, S. L. Herbert, J. F. Fisac, S. Deglurkar, and C. J. Tomlin · 2018
Later among the works it cites.
Decomposition of reachable sets and tubes for a class of nonlinear systems
M. Chen, S. L. Herbert, M. S. Vashishtha, S. Bansal, and C. J. Tomlin · 2018
Later among the works it cites.
Towards provably not-at-fault control of autonomous robots in arbitrary dynamic environments
S. Vaskov, S. Kousik, H. Larson, F. Bu, J. Ward, S. Worrall, M. Johnson-Roberson, and R. Vasudevan · 2019
Later among the works it cites.
Learning stabilizable nonlinear dynamics with contraction-based regularization
S. Singh, S. M. Richards, V. Sindhwani, J.-J. E. Slotine, and M. Pavone · 2019
Later among the works it cites.
Neural lyapunov control
Y.-C. Chang, N. Roohi, and S. Gao · 2019
Later among the works it cites.
Control barrier functions: Theory and applications
A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada · 2019
Later among the works it cites.
Learning for safety-critical control with control barrier functions
A. Taylor, A. Singletary, Y. Yue, and A. Ames · 2019
Later among the works it cites.
Episodic learning with control lyapunov functions for uncertain robotic systems
A. J. Taylor, V. D. Dorobantu, H. M. Le, Y. Yue, and A. D. Ames · 2019
Later among the works it cites.
Barrier-certified adaptive reinforcement learning with applications to brushbot navigation
M. Ohnishi, L. Wang, G. Notomista, and M. Egerstedt · 2019
Later among the works it cites.
Robust feedback motion planning via contraction theory
S. Singh, B. Landry, A. Majumdar, J.-J. Slotine, and M. Pavone · 2019
Later among the works it cites.
Efficient and accurate estimation of lipschitz constants for deep neural networks
M. Fazlyab, A. Robey, H. Hassani, M. Morari, and G. J. Pappas · 2019
Later among the works it cites.
Robust regression for safe exploration in control
A. Liu, G. Shi, S.-J. Chung, A. Anandkumar, and Y. Yue · 2019
Later among the works it cites.
Learning control barrier functions from expert demonstrations
A. Robey, H. Hu, L. Lindemann, H. Zhang, D. V. Dimarogonas, S. Tu, and N. Matni · 2020
Closest in time.
J. Choi, F. Castañeda, C. J. Tomlin, and K. Sreenath · 2020
Closest in time.
Neural contraction metrics for robust estimation and control: A convex optimization approach
H. Tsukamoto and S.-J. Chung · 2020
Closest in time.
Fast and guaranteed safe controller synthesis for nonlinear vehicle models
C. Fan, K. Miller, and S. Mitra · 2020
Closest in time.