Fetching the paper…
Reading the bibliography…
Learning-enabled control systems have demonstrated impressive empirical performance on challenging control problems in robotics, but this performance comes at the cost of reduced transparency and lack of guarantees on the safety or stability of the learned controllers.
K. I. Funahashi, “On the approximate realization of continuous mappings by neural networks,” Neural Networks , vol. 2, no. 3, pp. 183–192, jan 1989
1989
Earlier work this paper cites.
A. R. Barron, “Approximation and Estimation Bounds for Artificial Neural Networks,” Machine Learning , vol. 14, no. 1, pp. 115–133, 1994
1994
Earlier work this paper cites.
D. V. Prokhorov, “Lyapunov machine for stability analysis of nonlinear systems,” in IEEE International Conference on Neural Networks - Conference Proceedings , vol. 2. IEEE, 1994, pp. 1028–1031
1994
Earlier work this paper cites.
R. A. Freeman and P. Kokotović, Robust Nonlinear Control Design . Birkhäuser Boston, 1996
1996
Earlier work this paper cites.
W. Lohmiller and J.-J. E. Slotine, “On contraction analysis for non-linear systems,” Automatica , vol. 34, no. 6, pp. 683–696, 1998
1998
Earlier work this paper cites.
J. Grizzle and J.-M. Kang, “Discrete-time control design with positive semi-definite lyapunov functions,” Systems & Control Letters , vol. 43, no. 4, pp. 287–292, 2001
2001
Earlier work this paper cites.
H. K. Khalil, Nonlinear systems; 3rd ed. Upper Saddle River, NJ: Prentice-Hall, 2002, the book can be consulted by contacting: PH-AID: Wallet, Lionel
2002
Earlier work this paper cites.
G. Serpen, “Empirical approximation for Lyapunov functions with artificial neural nets,” in Proceedings of the International Joint Conference on Neural Networks , vol. 2, 2005, pp. 735–740
2005
Earlier work this paper cites.
V. Petridis and S. Petridis, “Construction of neural network based Lyapunov functions,” in IEEE International Conference on Neural Networks - Conference Proceedings . Institute of Electrical and Electronics Engineers Inc., 2006, pp. 5059–5065
2006
Earlier work this paper cites.
W. M. Haddad and V. Chellaboina, Nonlinear Dynamical Systems and Control: A Lyapunov-Based Approach . Princeton University Press, 2008
2008
Earlier work this paper cites.
W. Tan and A. Packard, “Stability region analysis using polynomial and composite polynomial lyapunov functions and sum-of-squares programming,” IEEE Transactions on Automatic Control , vol. 53, no. 2, pp. 565–571, 2008
2008
Earlier work this paper cites.
N. Noroozi, P. Karimaghaee, F. Safaei, and H. Javadi, “Generation of Lyapunov Functions by Neural Networks,” in Proceedings of the World Congress on Engineering , London, UK, 2008
2008
Earlier work this paper cites.
A. Majumdar, A. A. Ahmadi, and R. Tedrake, “Control design along trajectories with sums of squares programming,” in Proceedings - IEEE International Conference on Robotics and Automation , 2013, pp. 4054–4061
2013
Earlier work this paper cites.
S. Gao, S. Kong, and E. M. Clarke, “dreal: An SMT solver for nonlinear theories over the reals,” in Automated Deduction - CADE-24 - 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings , 2013, pp. 208–214
2013
Earlier work this paper cites.
A. D. Ames, K. Galloway, K. Sreenath, and J. W. Grizzle, “Rapidly exponentially stabilizing control lyapunov functions and hybrid zero dynamics,” IEEE Transactions on Automatic Control , vol. 59, no. 4, pp. 876–891, 2014
2014
Earlier work this paper cites.
J. Kapinski, S. Sankaranarayanan, J. V. Deshmukh, and N. Aréchiga, “Simulation-guided Lyapunov analysis for hybrid dynamical systems,” in HSCC 2014 - Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (Part of CPS Week) . New York, NY, USA: Association for Computing Machinery, apr 2014, pp. 133–142
2014
Earlier work this paper cites.
Y.-S. Wang and N. Matni, “Localized distributed optimal control with output feedback and communication delays,” in 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton) , 2014, pp. 605–612
2014
Earlier work this paper cites.
N. Matni, Y. P. Leong, Y. S. Wang, S. You, M. B. Horowitz, and J. C. Doyle, “Resilience in large scale distributed systems,” Procedia Computer Science , vol. 28, pp. 285–293, 2014, 2014 Conference on Systems Engineering Research
2014
Earlier work this paper cites.
P. Giesl and S. Hafstein, “Review on computational methods for Lyapunov functions,” Discrete and Continuous Dynamical Systems - Series B , vol. 20, no. 8, pp. 2291–2331, oct 2015
2015
Earlier work this paper cites.
A. A. Ahmadi and A. Majumdar, “Some applications of polynomial optimization in operations research and real-time decision making,” Optimization Letters , vol. 10, no. 4, pp. 709–729, apr 2016
2016
Earlier work this paper cites.
C. Jewison and R. S. Erwin, “A spacecraft benchmark problem for hybrid control and estimation,” in 2016 IEEE 55th Conference on Decision and Control (CDC) , 2016, pp. 3300–3305
2016
Earlier work this paper cites.
A. Agrawal and K. Sreenath, “Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation,” in Robotics: Science and Systems , 2017
2017
Earlier work this paper cites.
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control , vol. 62, no. 8, pp. 3861–3876, 2017
2017
Earlier work this paper cites.
I. R. Manchester and J.-J. E. Slotine, “Control contraction metrics: Convex and intrinsic criteria for nonlinear feedback design,” IEEE Transactions on Automatic Control , vol. 62, no. 6, pp. 3046–3053, 2017
2017
Earlier work this paper cites.
S. Bansal, M. Chen, S. Herbert, and C. J. Tomlin, “Hamilton-jacobi reachability: A brief overview and recent advances,” in 2017 IEEE 56th Annual Conference on Decision and Control (CDC) , 2017, pp. 2242–2253
2017
Earlier work this paper cites.
F. Berkenkamp, M. Turchetta, A. Schoellig, and A. Krause, “Safe model-based reinforcement learning with stability guarantees,” in Advances in Neural Information Processing Systems , I. Guyon, U. V. Luxburg, S. Bengio, H. Wallach, R. Fergus, S. Vishwanathan, and R. Garnett, Eds., vol. 30. Curran Associates, Inc., 2017
2017
Earlier work this paper cites.
V. Tjeng, K. Xiao, and R. Tedrake, “Evaluating robustness of neural networks with mixed integer programming,” arXiv , nov 2017
2017
Earlier work this paper cites.
M. Althoff, M. Koschi, and S. Manzinger, “Commonroad: Composable benchmarks for motion planning on roads,” in Proc. of the IEEE Intelligent Vehicles Symposium , 2017
2017
Earlier work this paper cites.
C. Fan, B. Qi, S. Mitra, and M. Viswanathan, “Dryvr: Data-driven verification and compositional reasoning for automotive systems,” in Computer Aided Verification . Cham: Springer International Publishing, 2017, pp. 441–461
2017
Earlier work this paper cites.
L. Wang, D. Han, and M. Egerstedt, “Permissive barrier certificates for safe stabilization using sum-of-squares,” in 2018 Annual American Control Conference (ACC) , 2018, pp. 585–590
2018
Earlier work this paper cites.
C. Barrett and C. Tinelli, “Satisfiability Modulo Theories,” in Handbook of Model Checking , E. M. Clarke, T. A. Henzinger, H. Veith, and R. Bloem, Eds. Cham: Springer International Publishing, 2018, pp. 305–343
2018
Earlier work this paper cites.
Y. Chow, O. Nachum, E. Duenez-Guzman, and M. Ghavamzadeh, “A lyapunov-based approach to safe reinforcement learning,” in Advances in Neural Information Processing Systems , S. Bengio, H. Wallach, H. Larochelle, K. Grauman, N. Cesa-Bianchi, and R. Garnett, Eds., vol. 31. Curran Associates, Inc., 2018
2018
Earlier work this paper cites.
S. M. Richards, F. Berkenkamp, and A. Krause, “The lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems,” in Conference on Robot Learning . arXiv, aug 2018
2018
Earlier work this paper cites.
J. A. Andersson, J. Gillis, G. Horn, J. B. Rawlings, and M. Diehl, “Casadi: A software framework for nonlinear optimization and optimal control,” Mathematical Programming Computation , vol. 11, no. 1, p. 1–36, 2018
2018
Earlier work this paper cites.
R. Bobiti and M. Lazar, “Automated-Sampling-Based Stability Verification and DOA Estimation for Nonlinear Systems,” IEEE Transactions on Automatic Control , vol. 63, no. 11, pp. 3659–3674, nov 2018
2018
Cited alongside, same era.
A. Madry, A. Makelov, L. Schmidt, D. Tsipras, and A. Vladu, “Towards deep learning models resistant to adversarial attacks,” in International Conference on Learning Representations , 2018
2018
Cited alongside, same era.
S. Shen and R. Tedrake, “Compositional verification of large-scale nonlinear systems via sums-of-squares optimization,” in 2018 Annual American Control Conference (ACC) , 2018, pp. 4385–4392
2018
Cited alongside, same era.
R. Y. Zhang and J. Lavaei, “Sparse semidefinite programs with near-linear time complexity,” in 2018 IEEE Conference on Decision and Control (CDC) , 2018, pp. 1624–1631
2018
Cited alongside, same era.
H. Dai, B. Landry, M. Pavone, and R. Tedrake, “Counter-example guided synthesis of neural network Lyapunov functions for piecewise linear systems,” in 2020 59th IEEE Conference on Decision and Control (CDC) . IEEE, dec 2020, pp. 1274–1281
2020
Later among the works it cites.
D. Ahmed, A. Peruffo, and A. Abate, “Automated and sound synthesis of lyapunov functions with SMT solvers,” Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12078 LNCS, pp. 97–114, apr 2020
2020
Later among the works it cites.
H. Tsukamoto, S. J. Chung, and J. J. E. Slotine, “Neural Stochastic Contraction Metrics for Learning-based Control and Estimation,” IEEE Control Systems Letters , nov 2020
2020
Later among the works it cites.
S. Dean, A. J. Taylor, R. K. Cosner, B. Recht, and A. D. Ames, “Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions,” in Conference on Robot Learning . Conference on Robot Learning, oct 2020
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. J. Taylor, V. D. Dorobantu, H. M. Le, Y. Yue, and A. D. Ames, “Episodic Learning with Control Lyapunov Functions for Uncertain Robotic Systems,” in IEEE International Conference on Intelligent Robots and Systems . Institute of Electrical and Electronics Engineers Inc., mar 2019, pp. 6878–6884
2019
Cited alongside, same era.
Y.-C. Chang, N. Roohi, and S. Gao, “Neural Lyapunov Control,” in Advances in Neural Information Processing Systems , vol. 32, 2019, pp. 3245–3254
2019
Cited alongside, same era.
R. Cheng, G. Orosz, R. M. Murray, and J. W. Burdick, “End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks,” in 33rd AAAI Conference on Artificial Intelligence, AAAI 2019, 31st Innovative Applications of Artificial Intelligence Conference, IAAI 2019 and the 9th AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019 , vol. 33, no. 01. AAAI Press, jul 2019, pp. 3387–3395
2019
Cited alongside, same era.
X. Li and C. Belta, “Temporal Logic Guided Safe Reinforcement Learning Using Control Barrier Functions,” arXiv , mar 2019
2019
Cited alongside, same era.
Y. Chow, O. Nachum, M. Ghavamzadeh, and E. Guzman-Duenez, “Lyapunov-based safe policy optimization,” 2019
2019
Cited alongside, same era.
V. Rubies-Royo, D. Fridovich-Keil, S. Herbert, and C. J. Tomlin, “A classification-based approach for approximate reachability,” in 2019 International Conference on Robotics and Automation (ICRA) , 2019, pp. 7697–7704
2019
Cited alongside, same era.
J. Z. Kolter and G. Manek, “Learning stable deep dynamics models,” in Advances in Neural Information Processing Systems , H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox, and R. Garnett, Eds., vol. 32. Curran Associates, Inc., 2019
2019
Cited alongside, same era.
A. Agrawal, B. Amos, S. Barratt, S. Boyd, S. Diamond, and J. Z. Kolter, “Differentiable convex optimization layers,” in Advances in Neural Information Processing Systems , H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox, and R. Garnett, Eds., vol. 32. Curran Associates, Inc., 2019
2019
Cited alongside, same era.
2020
Later among the works it cites.
S. Liu, D. Liberzon, and V. Zharnitsky, “Almost Lyapunov functions for nonlinear systems,” Automatica , vol. 113, p. 108758, mar 2020
2020
Later among the works it cites.
H. Tsukamoto, S. J. Chung, and J. J. E. Slotine, “Contraction theory for nonlinear stability analysis and learning-based control: A tutorial overview,” Annual Reviews in Control , vol. 52, pp. 135–169, 1 2021
2021
Later among the works it cites.
M. Srinivasan, M. Abate, G. Nilsson, and S. D. Coogan, “Extent-compatible control barrier functions,” Systems & Control Letters , vol. 150, p. 104895, 2021
2021
Later among the works it cites.
Y.-C. Chang and S. Gao, “Stabilizing neural control using self-learned almost lyapunov critics,” in 2021 IEEE International Conference on Robotics and Automation, ICRA , 2021, pp. 51–57
2021
Later among the works it cites.
C. Dawson, Z. Qin, S. Gao, and C. Fan, “Safe nonlinear control using robust neural lyapunov-barrier functions,” in 5th Annual Conference on Robot Learning , 2021
2021
Later among the works it cites.
Z. Qin, K. Zhang, Y. Chen, J. Chen, and C. Fan, “Learning Safe Multi-Agent Control with Decentralized Neural Barrier Certificates,” in Conference on Learning Representations . Conference on Learning Representations, jan 2021
2021
Later among the works it cites.
W. Xiao, R. Hasani, X. Li, and D. Rus, “Barriernet: A safety-guaranteed layer for neural networks,” 2021
2021
Later among the works it cites.
T. Westenbroek, A. Agrawal, F. Castañeda, S. S. Sastry, and K. Sreenath, “Combining model-based design and model-free policy optimization to learn safe, stabilizing controllers,” IFAC-PapersOnLine , vol. 54, no. 5, pp. 19–24, 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021
2021
Later among the works it cites.
J. J. Choi, D. Lee, K. Sreenath, C. J. Tomlin, and S. L. Herbert, “Robust control barrier–value functions for safety-critical control,” in 2021 60th IEEE Conference on Decision and Control (CDC) , 2021, pp. 6814–6821
2021
Later among the works it cites.
S. Bansal and C. J. Tomlin, “Deepreach: A deep learning approach to high-dimensional reachability,” in 2021 IEEE International Conference on Robotics and Automation (ICRA) , 2021, pp. 1817–1824
2021
Later among the works it cites.
A. Abate, D. Ahmed, A. Edwards, M. Giacobbe, and A. Peruffo, “Fossil: A software tool for the formal synthesis of lyapunov functions and barrier certificates using neural networks,” in Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control , ser. HSCC ’21. New York, NY, USA: Association for Computing Machinery, 2021
2021
Later among the works it cites.
N. Gaby, F. Zhang, and X. Ye, “Lyapunov-net: A deep neural network architecture for lyapunov function approximation,” 2021
2021
Later among the works it cites.
A. Robey, L. Lindemann, S. Tu, and N. Matni, “Learning robust hybrid control barrier functions for uncertain systems,” IFAC-PapersOnLine , vol. 54, no. 5, pp. 1–6, 2021, 7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021
2021
Later among the works it cites.
G. Margolis, T. Chen, K. Paigwar, X. Fu, D. Kim, S. Kim, and P. Agrawal, “Learning to jump from pixels,” Conference on Robot Learning , 2021
2021
Later among the works it cites.
Y. Meng, Z. Qin, and C. Fan, “Reactive and safe road user simulations using neural barrier certificates,” in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) , 2021, pp. 6299–6306
2021
Later among the works it cites.
A. J. Taylor, V. D. Dorobantu, S. Dean, B. Recht, Y. Yue, and A. D. Ames, “Towards robust data-driven control synthesis for nonlinear systems with actuation uncertainty,” in 2021 60th IEEE Conference on Decision and Control (CDC) , 2021, pp. 6469–6476
2021
Later among the works it cites.
R. Ivanov, K. Jothimurugan, S. Hsu, S. Vaidya, R. Alur, and O. Bastani, “Compositional learning and verification of neural network controllers,” ACM Trans. Embed. Comput. Syst. , vol. 20, no. 5s, sep 2021
2021
Later among the works it cites.
T. G. Molnar, A. K. Kiss, A. D. Ames, and G. Orosz, “Safety-critical control with input delay in dynamic environment,” 2021
2021
Later among the works it cites.
J. B. Bouvier, K. Xu, and M. Ornik, “Quantitative resilience of linear driftless systems,” Conference on Control and its Applications , pp. 32–39, 2021
2021
Later among the works it cites.
Z. Wu, S. Pan, F. Chen, G. Long, C. Zhang, and P. S. Yu, “A comprehensive survey on graph neural networks,” IEEE Transactions on Neural Networks and Learning Systems , vol. 32, no. 1, pp. 4–24, 2021
2021
Later among the works it cites.
F. Yang and N. Matni, “Communication topology co-design in graph recurrent neural network based distributed control,” 2021
2021
Later among the works it cites.
C. Dawson, B. Lowenkamp, D. Goff, and C. Fan, “Learning safe, generalizable perception-based hybrid control with certificates,” IEEE Robotics and Automation Letters , vol. 7, no. 2, pp. 1904–1911, 2022
2022
Closest in time.
L. Brunke, M. Greeff, A. W. Hall, Z. Yuan, S. Zhou, J. Panerati, and A. P. Schoellig, “Safe learning in robotics: From learning-based control to safe reinforcement learning,” Annual Review of Control, Robotics, and Autonomous Systems , vol. 5, no. 1, pp. 411–444, 2022
2022
Closest in time.
H. Ma, C. Liu, S. E. Li, S. Zheng, and J. Chen, “Joint synthesis of safety certificate and safe control policy using constrained reinforcement learning,” in Proceedings of The 4th Annual Learning for Dynamics and Control Conference , ser. Proceedings of Machine Learning Research, R. Firoozi, N. Mehr, E. Yel, R. Antonova, J. Bohg, M. Schwager, and M. Kochenderfer, Eds., vol. 168. PMLR, 23–24 Jun 2022, pp. 97–109
2022
Closest in time.
H. Yin, P. Seiler, and M. Arcak, “Stability analysis using quadratic constraints for systems with neural network controllers,” IEEE Transactions on Automatic Control , vol. 67, no. 4, pp. 1980–1987, 2022
2022
Closest in time.
Z. Qin, D. Sun, and C. Fan, “Sablas: Learning safe control for black-box dynamical systems,” IEEE Robotics and Automation Letters , vol. 7, no. 2, pp. 1928–1935, 2022
2022
Closest in time.
C. Dawson, A. Garrett, F. Pollok, Y. Zhang, and C. Fan, “Barrier functions enable safety-conscious force-feedback control,” 2022
2022
Closest in time.
S. M. Katz, A. L. Corso, C. A. Strong, and M. J. Kochenderfer, “Verification of image-based neural network controllers using generative models,” Journal of Aerospace Information Systems , vol. 19, no. 9, pp. 574–584, 2022
2022
Closest in time.
M. Tong, C. Dawson, and C. Fan, “Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields,” 2022
2022
Closest in time.