Fetching the paper…
Reading the bibliography…
Safety is a fundamental requirement of control systems.
L. E. Dubins, “On curves of minimal length with a constraint on average curvature, and with prescribed initial and terminal positions and tangents,” American Journal of Mathematics , vol. 79, no. 3, pp. 497–516, 1957
1957
Earlier work this paper cites.
S. Liu, C. Liu, and J. Dolan, “Safe control under input limits with neural control barrier functions,” in Conference on Robot Learning . PMLR, 2023, pp. 1970–1980
1980
Earlier work this paper cites.
A. Papachristodoulou and S. Prajna, “A tutorial on sum of squares techniques for systems analysis,” in Proceedings of the 2005, American Control Conference, 2005. , 2005, pp. 2686–2700 vol. 4
2005
Earlier work this paper cites.
U. Topcu, A. Packard, and P. Seiler, “Local stability analysis using simulations and sum-of-squares programming,” Automatica , vol. 44, no. 10, pp. 2669–2675, 2008
2008
Earlier work this paper cites.
A. J. Barry, A. Majumdar, and R. Tedrake, “Safety verification of reactive controllers for UAV flight in cluttered environments using barrier certificates,” in 2012 IEEE International Conference on Robotics and Automation . IEEE, 2012, pp. 484–490
2012
Earlier work this paper cites.
A. D. Ames, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in 53rd IEEE Conference on Decision and Control . IEEE, 2014, pp. 6271–6278
2014
Earlier work this paper cites.
Q. Nguyen and K. Sreenath, “Safety-critical control for dynamical bipedal walking with precise footstep placement,” IFAC-PapersOnLine , vol. 48, no. 27, pp. 147–154, 2015
2015
Earlier work this paper cites.
G. Wu and K. Sreenath, “Safety-critical control of a planar quadrotor,” in 2016 American Control Conference (ACC) , 2016, pp. 2252–2258
2016
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.
A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, “Control barrier functions: Theory and applications,” in 18th European control conference (ECC) . IEEE, 2019, pp. 3420–3431
2019
Earlier work this paper cites.
M. Lutter, C. Ritter, and J. Peters, “Deep lagrangian networks: Using physics as model prior for deep learning,” in International Conference on Learning Representations , 2019
2019
Cited alongside, same era.
P. Jagtap, S. Soudjani, and M. Zamani, “Formal synthesis of stochastic systems via control barrier certificates,” IEEE Transactions on Automatic Control , vol. 66, no. 7, pp. 3097–3110, 2020
2020
Cited alongside, same era.
A. Robey, H. Hu, L. Lindemann, H. Zhang, D. V. Dimarogonas, S. Tu, and N. Matni, “Learning control barrier functions from expert demonstrations,” in 2020 59th IEEE Conference on Decision and Control (CDC) , 2020, pp. 3717–3724
2020
Cited alongside, same era.
H. Zhao, X. Zeng, T. Chen, and Z. Liu, “Synthesizing barrier certificates using neural networks,” in Proceedings of the 23rd international conference on hybrid systems: Computation and control , 2020, pp. 1–11
2020
Cited alongside, same era.
Q. Zhao, X. Chen, Z. Zhao, Y. Zhang, E. Tang, and X. Li, “Verifying neural network controlled systems using neural networks,” in 25th ACM International Conference on Hybrid Systems: Computation and Control , 2022, pp. 1–11
2022
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 Conference on Robot Learning . PMLR, 2022, pp. 1724–1735
2022
Later among the works it cites.
B. Dai, P. Krishnamurthy, and F. Khorrami, “Learning a better control barrier function,” in 2022 IEEE 61st Conference on Decision and Control (CDC) , 2022, pp. 945–950
2022
Later among the works it cites.
2023
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
A. Abate, D. Ahmed, M. Giacobbe, and A. Peruffo, “Formal synthesis of lyapunov neural networks,” IEEE Control Systems Letters , vol. 5, no. 3, pp. 773–778, 2020
2020
Cited alongside, same era.
A. Clark, “Verification and synthesis of control barrier functions,” in 2021 60th IEEE Conference on Decision and Control (CDC) . IEEE, 2021, pp. 6105–6112
2021
Cited alongside, same era.
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 , 2021, pp. 1–11
2021
Cited alongside, same era.
A. Peruffo, D. Ahmed, and A. Abate, “Automated and formal synthesis of neural barrier certificates for dynamical models,” in Tools and Algorithms for the Construction and Analysis of Systems . Springer International Publishing, 2021, pp. 370–388
2021
Cited alongside, same era.
P. Pauli, A. Koch, J. Berberich, P. Kohler, and F. Allgöwer, “Training robust neural networks using lipschitz bounds,” IEEE Control Systems Letters , vol. 6, pp. 121–126, 2021
2021
Cited alongside, same era.
H. Zhang, J. Wu, Y. Vorobeychik, and A. Clark, “Exact verification of relu neural control barrier functions,” in Advances in Neural Information Processing Systems , A. Oh, T. Neumann, A. Globerson, K. Saenko, M. Hardt, and S. Levine, Eds., vol. 36. Curran Associates, Inc., 2023, pp. 5685–5705
2023
Later among the works it cites.
C. Dawson, S. Gao, and C. Fan, “Safe control with learned certificates: A survey of neural Lyapunov, barrier, and contraction methods for robotics and control,” IEEE Transactions on Robotics , 2023
2023
Later among the works it cites.
2023
Later among the works it cites.
M. Anand and M. Zamani, “Formally verified neural network control barrier certificates for unknown systems,” IFAC-PapersOnLine , vol. 56, no. 2, pp. 2431–2436, 2023
2023
Later among the works it cites.