{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T12:21:56Z","timestamp":1776082916079,"version":"3.50.1"},"reference-count":100,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T00:00:00Z","timestamp":1685577600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"National Science Foundation Graduate Research Fellowships Program","award":["2141064"],"award-info":[{"award-number":["2141064"]}]},{"name":"Defense Science and Technology Agency (DSTA) in Singapore"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2023,6]]},"DOI":"10.1109\/tro.2022.3232542","type":"journal-article","created":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T22:14:36Z","timestamp":1673475276000},"page":"1749-1767","source":"Crossref","is-referenced-by-count":204,"title":["Safe Control With Learned Certificates: A Survey of Neural Lyapunov, Barrier, and Contraction Methods for Robotics and Control"],"prefix":"10.1109","volume":"39","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8371-5313","authenticated-orcid":false,"given":"Charles","family":"Dawson","sequence":"first","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}]},{"given":"Sicun","family":"Gao","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of California San Diego, La Jolla, CA, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4671-233X","authenticated-orcid":false,"given":"Chuchu","family":"Fan","sequence":"additional","affiliation":[{"name":"Department of Aeronautics and Astronautics, Massachusetts Institute of Technology, Cambridge, MA, USA"}]}],"member":"263","reference":[{"key":"ref57","first-page":"1351","article-title":"Learning hybrid control barrier functions from data","author":"lindemann","year":"0","journal-title":"Proc 4th Conf Robot Learn"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303785"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.465"},{"key":"ref58","first-page":"1","article-title":"Learning Lyapunov functions for hybrid systems","author":"chen","year":"0","journal-title":"Proc 24th Int Conf Hybrid Syst Comput Control"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993006"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341190"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001646"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069388"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382222"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3447928.3456646"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/BF00993164"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1016\/0893-6080(89)90003-8"},{"key":"ref48","first-page":"11128","article-title":"Learning stable deep dynamics models","author":"kolter","year":"0","journal-title":"Proc 33rd Int Conf Neural Inf Process Syst"},{"key":"ref47","first-page":"466","article-title":"The Lyapunov neural network: Adaptive stability certification for safe learning of dynamical systems","author":"richards","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561949"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"ref44","first-page":"1341","article-title":"Learning stability certificates from data","author":"boffi","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8793919"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3005328"},{"key":"ref8","first-page":"3245","article-title":"Neural Lyapunov control","volume":"32","author":"chang","year":"0","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2021.104895"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9560886"},{"key":"ref4","article-title":"Learning stabilizable nonlinear dynamics with contraction-based regularization","volume":"40","author":"singh","year":"2020","journal-title":"Int J Robot Res"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_20"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11590-015-0894-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2021.10.001"},{"key":"ref100","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619478"},{"key":"ref40","article-title":"Lyapunov-based safe policy optimization for continuous control","author":"chow","year":"0","journal-title":"proc RL4RealLife workshop Int Conf Mach Learn"},{"key":"ref35","article-title":"Temporal logic guided safe reinforcement learning using control barrier functions","author":"li","year":"2019"},{"key":"ref34","first-page":"908","article-title":"Safe model-based reinforcement learning with stability guarantees","author":"berkenkamp","year":"0","journal-title":"Proc Int Conf Neural Inf Process"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.468"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304118"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562139"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914221"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33013387"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref39","first-page":"8103","article-title":"A Lyapunov-based approach to safe reinforcement learning","author":"chow","year":"0"},{"key":"ref38","first-page":"97","article-title":"Joint synthesis of safety certificate and safe control policy using constrained reinforcement learning","volume":"168","author":"ma","year":"0","journal-title":"Proc 4th Annu Learn Dyn Control Conf"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2668380"},{"key":"ref26","article-title":"Continuous Lyapunov equation solution","year":"2022","journal-title":"MATLAB Documentation"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-control-042920-020211"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00019-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3141657"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631149"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1038\/s41592-019-0686-2"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431617"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.088"},{"key":"ref12","article-title":"BarrierNet: A safety-guaranteed layer for neural networks","author":"xiao","year":"2022","journal-title":"IEEE Trans Robot"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"ref14","article-title":"Learning certified control using contraction metric","author":"sun","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611976847.5"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.03.036"},{"key":"ref11","article-title":"Learning safe multi-agent control with decentralized neural barrier certificates","author":"qin","year":"0","journal-title":"Proc Conf Learn Represent"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683779"},{"key":"ref10","first-page":"1724","article-title":"Safe nonlinear control using robust neural Lyapunov-barrier functions","author":"dawson","year":"0","journal-title":"Proc 5th Annu Conf Robot Learn"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.2978386"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1515\/9781400841042"},{"key":"ref16","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4759-9"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2299335"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431492"},{"key":"ref92","doi-asserted-by":"publisher","DOI":"10.1145\/3477023"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2022.3227451"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2014.7028511"},{"key":"ref91","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref90","author":"kochenderfer","year":"2019","journal-title":"Optimization Algorithm"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2017.7995802"},{"key":"ref86","article-title":"Evaluating robustness of neural networks with mixed integer programming","author":"tjeng","year":"0","journal-title":"Proc Int Conf Learn Represent"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref88","article-title":"Towards deep learning models resistant to adversarial attacks","author":"madry","year":"0","journal-title":"Proc Int Conf Learn Represent"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1561\/9781680837872"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.108758"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683511"},{"key":"ref84","first-page":"11427","article-title":"Efficient and accurate estimation of Lipschitz constants for deep neural networks","author":"fazlyab","year":"0"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2797196"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794351"},{"key":"ref79","article-title":"Enforcing safety for vision-based controllers via control barrier functions and neural radiance fields","author":"tong","year":"2022"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.2514\/1.I011071"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3046529"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45190-5_6"},{"key":"ref77","article-title":"Barrier functions enable safety-conscious force-feedback control","author":"dawson","year":"2022"},{"key":"ref76","first-page":"654","article-title":"Guaranteeing safety of learned perception modules via measurement-robust control barrier functions","author":"dean","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS40897.2019.8967820"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"2291","DOI":"10.3934\/dcdsb.2015.20.2291","article-title":"Review on computational methods for Lyapunov functions","volume":"20","author":"giesl","year":"2015","journal-title":"Discrete Continuous Dyn Syst"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2005.1555943"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/ICNN.1994.374324"},{"key":"ref73","first-page":"5059","article-title":"Construction of neural network based Lyapunov functions","author":"petridis","year":"0","journal-title":"Proc IEEE Int Conf Neural Netw"},{"key":"ref72","first-page":"61","article-title":"Generation of Lyapunov functions by neural networks","author":"noroozi","year":"0","journal-title":"Proc World Congr Eng"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798765"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3142743"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304201"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6911(01)00110-4"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636568"},{"key":"ref65","first-page":"1025","article-title":"Learning to jump from pixels","volume":"164","author":"margolis","year":"0","journal-title":"Proc Conf Robot Learn"},{"key":"ref60","first-page":"9562","article-title":"Differentiable convex optimization layers","author":"agrawal","year":"0","journal-title":"Proc 33rd Int Conf Neural Inf Process Syst"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483420"},{"key":"ref61","first-page":"1","article-title":"Learning for safety-critical control with control barrier functions","volume":"120","author":"taylor","year":"0","journal-title":"Proc 2nd Conf Learn Dyn Control"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/8860\/10144918\/10015199-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/10144918\/10015199.pdf?arnumber=10015199","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T19:02:05Z","timestamp":1687806125000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10015199\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6]]},"references-count":100,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tro.2022.3232542","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6]]}}}