Fetching the paper…
Reading the bibliography…
Safety and stability are common requirements for robotic control systems; however, designing safe, stable controllers remains difficult for nonlinear and uncertain models.
Algorithms for verifying deep neural networks
C. Liu, T. Arnon, C. Lazarus, C. Strong, C. Barrett, and M. J. Kochenderfer · 1903
Earlier work this paper cites.
Terminal guidance system for satellite rendezvous
W. Clohessy and R. Wiltshire · 1960
Earlier work this paper cites.
Stabilization with relaxed controls
Z. Artstein · 1983
Earlier work this paper cites.
Applied nonlinear control: an introduction
J.-J. E. Slotine and W. Li · 1991
Earlier work this paper cites.
Robust model predictive control: A survey
A. Bemporad and M. Morari · 1999
Earlier work this paper cites.
Approximations of closed-loop mpc
J. Löfberg · 2003
Earlier work this paper cites.
Formal Synthesis of Lyapunov Neural Networks
A. Abate, D. Ahmed, M. Giacobbe, and A. Peruffo · 2003
Earlier work this paper cites.
Actor-Critic Reinforcement Learning for Control with Stability Guarantee
M. Han, L. Zhang, J. Wang, and W. Pan · 2004
Earlier work this paper cites.
J. Choi, F. Castañeda, C. J. Tomlin, and K. Sreenath · 2004
Earlier work this paper cites.
A toolbox of hamilton-jacobi solvers for analysis of nondeterministic continuous and hybrid systems
I. M. Mitchell and J. A. Templeton · 2005
Earlier work this paper cites.
Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
A. Peruffo, D. Ahmed, and A. Abate · 2007
Earlier work this paper cites.
Learning stability certificates from data
N. M. Boffi, S. Tu, N. Matni, J. J. E. Slotine, and V. Sindhwani · 2008
Earlier work this paper cites.
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions
S. Dean, A. J. Taylor, R. K. Cosner, B. Recht, and A. D. Ames · 2010
Earlier work this paper cites.
A. Singletary, K. Klingebiel, J. Bourne, A. Browning, P. Tokumaru, and A. Ames · 2010
Earlier work this paper cites.
Learning Certified Control using Contraction Metric
D. Sun, S. Jha, and C. Fan · 2011
Earlier work this paper cites.
F. Castañeda, J. J. Choi, B. Zhang, C. J. Tomlin, and K. Sreenath · 2011
Earlier work this paper cites.
Automatic robust convex programming
J. Löfberg · 2012
Cited alongside, same era.
Control design along trajectories with sums of squares programming
A. Majumdar, A. A. Ahmadi, and R. Tedrake · 2013
Cited alongside, same era.
Rapidly exponentially stabilizing control lyapunov functions and hybrid zero dynamics
A. D. Ames, K. Galloway, K. Sreenath, and J. W. Grizzle · 2014
Cited alongside, same era.
Review on computational methods for Lyapunov functions
P. Giesl and S. Hafstein · 2015
Cited alongside, same era.
Stabilization with guaranteed safety using Control Lyapunov-Barrier Function
M. Z. Romdlony and B. Jayawardhana · 2015
Cited alongside, same era.
Control Barrier Function Based Quadratic Programs for Safety Critical Systems
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada · 2016
Cited alongside, same era.
Handbook of Model Predictive Control
W. S. Levine and S. V. Rakovic · 2019
Later among the works it cites.
End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks
R. Cheng, G. Orosz, R. M. Murray, and J. W. Burdick · 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.
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.
Pytorch: An imperative style, high-performance deep learning library
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Some applications of polynomial optimization in operations research and real-time decision making
A. A. Ahmadi and A. Majumdar · 2016
Cited alongside, same era.
PLATO: Policy Learning using Adaptive Trajectory Optimization
G. Kahn, T. Zhang, S. Levine, and P. Abbeel · 2016
Cited alongside, same era.
A spacecraft benchmark problem for hybrid control and estimation
C. Jewison and R. S. Erwin · 2016
Cited alongside, same era.
Commonroad: Composable benchmarks for motion planning on roads
M. Althoff, M. Koschi, and S. Manzinger · 2017
Cited alongside, same era.
Constrained policy optimization
J. Achiam, D. Held, A. Tamar, and P. Abbeel · 2017
Cited alongside, same era.
Hamilton-jacobi reachability: A brief overview and recent advances
S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin · 2017
Cited alongside, same era.
A. Paszke, S. Gross, F. Massa, A. Lerer, J. Bradbury, G. Chanan, T. Killeen, Z. Lin, N. Gimelshein, L. Antiga, A. Desmaison, A. Kopf, E. Yang, Z. DeVito, M. Raison, A. Tejani, S. Chilamkurthy, B. Steiner, L. Fang, J. Bai, and S. Chintala · 2019
Later among the works it cites.
Pytorch lightning
e. a. Falcon, WA · 2019
Later among the works it cites.
Neural Contraction Metrics for Robust Estimation and Control: A Convex Optimization Approach
H. Tsukamoto and S.-J. Chung · 2020
Later among the works it cites.
Deep Learning Tubes for Tube MPC
D. Fan, A. Agha, and T. Evangelos · 2020
Later among the works it cites.
Almost lyapunov functions for nonlinear systems
S. Liu, D. Liberzon, and V. Zharnitsky · 2020
Later among the works it cites.
Robust regression for safe exploration in control, 2020
A. Liu, G. Shi, S.-J. Chung, A. Anandkumar, and Y. Yue · 2020
Later among the works it cites.
Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates
Z. Qin, K. Zhang, Y. Chen, J. Chen, and C. Fan · 2021
Closest in time.
High Order Control Lyapunov-Barrier Functions for Temporal Logic Specifications
W. Xiao, C. A. Belta, and C. G. Cassandras · 2021
Closest in time.
Feedback systems: an introduction for scientists and engineers
K. J. Åström and R. M. Murray · 2021
Closest in time.
Gurobi optimizer reference manual, 2021
L. Gurobi Optimization · 2021
Closest in time.