{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T06:24:48Z","timestamp":1761719088276},"reference-count":47,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,10,1]],"date-time":"2021-10-01T00:00:00Z","timestamp":1633046400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Syst Sci Complex"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s11424-021-1230-x","type":"journal-article","created":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T04:02:42Z","timestamp":1635220962000},"page":"1723-1742","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Safety-Critical Optimal Control for Autonomous Systems"],"prefix":"10.1007","volume":"34","author":[{"given":"Wei","family":"Xiao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G. Christos","family":"Cassandras","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,26]]},"reference":[{"key":"1230_CR1","unstructured":"Emuna R, Borowsky A, and Biess A, Deep reinforcement learning for human-like driving policies in collision avoidance tasks of self-driving cars, arXiv preprint: 2006.04218, 2020."},{"key":"1230_CR2","doi-asserted-by":"crossref","unstructured":"Xiao W, Mehdipour N, Collin A, et al., Rule-based optimal control for autonomous driving, Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems, 2021, 143\u2013154.","DOI":"10.1145\/3450267.3450542"},{"key":"1230_CR3","doi-asserted-by":"crossref","unstructured":"Breeden J and Panagou D, Quadratic programs for high relative degree spatial constraints and spatiotemporal specifications with spacecraft applications, 59th IEEE Conference on Decision and Control, 2020, 1496\u20131502.","DOI":"10.1109\/CDC42340.2020.9304162"},{"issue":"7","key":"1230_CR4","doi-asserted-by":"publisher","first-page":"1108","DOI":"10.1109\/5.871312","volume":"88","author":"D Pepyne","year":"2000","unstructured":"Pepyne D and Cassandras C, Optimal control of hybrid systems in manufacturing, Proceedings of the IEEE, 2000, 88(7): 1108\u20131123.","journal-title":"Proceedings of the IEEE"},{"issue":"5","key":"1230_CR5","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1177\/02783640122067453","volume":"20","author":"S M LaValle","year":"2001","unstructured":"LaValle S M, Kuffner J, and James J, Randomized kinodynamic planning, International Journal of Robotics Research, 2001, 20(5): 378\u2013400.","journal-title":"International Journal of Robotics Research"},{"issue":"2","key":"1230_CR6","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1109\/TSSC.1968.300136","volume":"4","author":"P E Hart","year":"1968","unstructured":"Hart P E, Nilsson N J, and Raphael B, A formal basis for the heuristic determination of minimum cost paths, IEEE Transactions on Systems Science and Cybernetics, 1968, 4(2): 100\u2013107.","journal-title":"IEEE Transactions on Systems Science and Cybernetics"},{"key":"1230_CR7","volume-title":"Applied Optimal Control","author":"Bryson","year":"1969","unstructured":"Bryson and Ho, Applied Optimal Control, Ginn Blaisdell, Waltham, MA, 1969."},{"issue":"3","key":"1230_CR8","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0005-1098(89)90002-2","volume":"25","author":"C E Garcia","year":"1989","unstructured":"Garcia C E and Prett D M, Model predictive control: Theory and practice, Automatica, 1989, 25(3): 335\u2013348.","journal-title":"Automatica"},{"issue":"12","key":"1230_CR9","doi-asserted-by":"publisher","first-page":"2967","DOI":"10.1016\/j.automatica.2014.10.128","volume":"50","author":"D Mayne","year":"2014","unstructured":"Mayne D, Model predictive control: Recent developments and future promise, Automatica, 2014, 50(12): 2967\u20132986.","journal-title":"Automatica"},{"issue":"12","key":"1230_CR10","doi-asserted-by":"publisher","first-page":"1974","DOI":"10.1109\/TAC.2002.805688","volume":"47","author":"A Bemporad","year":"2002","unstructured":"Bemporad A, Borrelli F, and Morari M, Model predictive control based on linear programming, the explicit solution, IEEE Transactions on Automatic Control, 2002, 47(12): 1974\u20131985.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1230_CR11","volume-title":"Introduction to Linear Optimization","author":"D Bertsimas","year":"1997","unstructured":"Bertsimas D and Tsitsiklis J N, Introduction to Linear Optimization, Athena Scientific, Belmont, MA, 1997."},{"issue":"4","key":"1230_CR12","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1016\/j.automatica.2008.11.017","volume":"45","author":"K P Tee","year":"2009","unstructured":"Tee K P, Ge S S, and Tay E H, Barrier Lyapunov functions for the control of output-constrained nonlinear systems, Automatica, 2009, 45(4): 918\u2013927.","journal-title":"Automatica"},{"key":"1230_CR13","doi-asserted-by":"crossref","unstructured":"Wieland P and Allgower F, Constructive safety using control barrier functions, Proc. of 7th IFAC Symposium on Nonlinear Control System, 2007.","DOI":"10.3182\/20070822-3-ZA-2920.00076"},{"key":"1230_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441","volume-title":"Convex Optimization","author":"S P Boyd","year":"2004","unstructured":"Boyd S P and Vandenberghe L, Convex Optimization, Cambridge University Press, New York, 2004."},{"key":"1230_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4910-4","volume-title":"Viability Theory","author":"J P Aubin","year":"2009","unstructured":"Aubin J P, Viability Theory, Springer, New York, 2009."},{"issue":"8","key":"1230_CR16","doi-asserted-by":"publisher","first-page":"1415","DOI":"10.1109\/TAC.2007.902736","volume":"52","author":"S Prajna","year":"2007","unstructured":"Prajna S, Jadbabaie A, and Pappas G J, A framework for worst-case and stochastic safety verification using barrier certificates, IEEE Transactions on Automatic Control, 2007, 52(8): 1415\u20131428.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1230_CR17","doi-asserted-by":"crossref","unstructured":"Wisniewski R and Sloth C, Converse barrier certificate theorem, Proc. of 52nd IEEE Conference on Decision and Control, Florence, Italy, 2013, 4713\u20134718.","DOI":"10.1109\/CDC.2013.6760627"},{"key":"1230_CR18","doi-asserted-by":"crossref","unstructured":"Panagou D, Stipanovic D M, and Voulgaris P G, Multi-objective control for multi-agent systems using lyapunov-like barrier functions, Proc. of 52nd IEEE Conference on Decision and Control, Florence, Italy, 2013, 1478\u20131483.","DOI":"10.1109\/CDC.2013.6760091"},{"key":"1230_CR19","doi-asserted-by":"crossref","unstructured":"Ames A D, Grizzle J W, and Tabuada P, Control barrier function based quadratic programs with application to adaptive cruise control, Proc. of 53rd IEEE Conference on Decision and Control, 2014, 6271\u20136278.","DOI":"10.1109\/CDC.2014.7040372"},{"issue":"2","key":"1230_CR20","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1109\/LCSYS.2017.2710943","volume":"1","author":"P Glotfelter","year":"2017","unstructured":"Glotfelter P, Cortes J, and Egerstedt M, Nonsmooth barrier functions with applications to multirobot systems, IEEE Control Systems Letters, 2017, 1(2): 310\u2013315.","journal-title":"IEEE Control Systems Letters"},{"issue":"1","key":"1230_CR21","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/LCSYS.2018.2853182","volume":"3","author":"L Lindemann","year":"2019","unstructured":"Lindemann L and Dimarogonas D V, Control barrier functions for signal temporal logic tasks, IEEE Control Systems Letters, 2019, 3(1): 96\u2013101.","journal-title":"IEEE Control Systems Letters"},{"issue":"3","key":"1230_CR22","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1137\/0321028","volume":"21","author":"E Sontag","year":"1983","unstructured":"Sontag E, A Lyapunov-like characterization of asymptotic controllability, SIAM Journal on Control and Optimization, 1983, 21(3): 462\u2013471.","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"11","key":"1230_CR23","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1016\/0362-546X(83)90049-4","volume":"7","author":"Z Artstein","year":"1983","unstructured":"Artstein Z, Stabilization with relaxed controls, Nonlinear Analysis: Theory, Methods & Applications, 1983, 7(11): 1163\u20131173.","journal-title":"Nonlinear Analysis: Theory, Methods & Applications"},{"key":"1230_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4759-9","volume-title":"Robust Nonlinear Control Design","author":"R A Freeman","year":"1996","unstructured":"Freeman R A and Kokotovic P V, Robust Nonlinear Control Design, Birkhauser, Berlin, 1996."},{"key":"1230_CR25","doi-asserted-by":"crossref","unstructured":"Ames A D, Galloway K, and Grizzle J W, Control lyapunov functions and hybrid zero dynamics, Proc. of 51st IEEE Conference on Decision and Control, 2012, 6837\u20136842.","DOI":"10.1109\/CDC.2012.6426229"},{"key":"1230_CR26","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1109\/ACCESS.2015.2419630","volume":"3","author":"K Galloway","year":"2015","unstructured":"Galloway K, Sreenath K, Ames A D, et al., Torque saturation in bipedal robotic walking through control Lyapunov function based quadratic programs, IEEE Access, 2015, 3: 323\u2013332.","journal-title":"IEEE Access"},{"key":"1230_CR27","doi-asserted-by":"crossref","unstructured":"Xiao W, Cassandras C G, and Belta C, Bridging the gap between optimal trajectory planning and safety-critical control with applications to autonomous vehicles, Automatica, 2021, 129.109592.","DOI":"10.1016\/j.automatica.2021.109592"},{"key":"1230_CR28","volume-title":"Nonlinear Systems","author":"H K Khalil","year":"2002","unstructured":"Khalil H K, Nonlinear Systems, Third Edition, Prentice Hall, Upper Saddle River, New Jersey, 2002.","edition":"Third Edition"},{"key":"1230_CR29","doi-asserted-by":"crossref","unstructured":"Nguyen Q and Sreenath K, Exponential control barrier functions for enforcing high relative-degree safety-critical constraints, Proc. of the American Control Conference, 2016, 322\u2013328.","DOI":"10.1109\/ACC.2016.7524935"},{"key":"1230_CR30","doi-asserted-by":"crossref","unstructured":"Hsu S C, Xu X, and Ames A D, Control barrier function based quadratic programs with application to bipedal robotic walking, Proc. of the American Control Conference, 2015, 4542\u20134548.","DOI":"10.1109\/ACC.2015.7172044"},{"key":"1230_CR31","doi-asserted-by":"crossref","unstructured":"Wu G and Sreenath K, Safety-critical and constrained geometric control synthesis using control Lyapunov and control barrier functions for systems evolving on manifolds, Proc. of the American Control Conference, 2015, 2038\u20132044.","DOI":"10.1109\/ACC.2015.7171033"},{"key":"1230_CR32","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.automatica.2017.10.005","volume":"87","author":"X Xu","year":"2018","unstructured":"Xu X, Constrained control of inputoutput linearizable systems using control sharing barrier functions, Automatica, 2018, 87: 195\u2013201.","journal-title":"Automatica"},{"issue":"8","key":"1230_CR33","doi-asserted-by":"publisher","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","volume":"62","author":"A D Ames","year":"2017","unstructured":"Ames A D, Xu X, Grizzle J W, et al., Control barrier function based quadratic programs for safety critical systems, IEEE Transactions on Automatic Control, 2017, 62(8): 3861\u20133876.","journal-title":"IEEE Transactions on Automatic Control"},{"key":"1230_CR34","doi-asserted-by":"crossref","unstructured":"Xiao W and Belta C, Control barrier functions for systems with high relative degree, Proc. of 58th IEEE Conference on Decision and Control, Nice, France, 2019, 474\u2013479.","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"1230_CR35","doi-asserted-by":"crossref","unstructured":"Xiao W, Belta C, and Cassandras C G, Feasibility guided learning for constrained optimal control problems, Proc. of 59th IEEE Conference on Decision and Control, 2020, 1896\u20131901.","DOI":"10.1109\/CDC42340.2020.9303857"},{"key":"1230_CR36","doi-asserted-by":"crossref","unstructured":"Xiao W, Balta C, and Cassandras C G, Sufficient conditions for feasibility of optimal control problems using control barrier functions, Automatica (in print), arXiv: 2011.08248, 2021.","DOI":"10.1016\/j.automatica.2021.109960"},{"key":"1230_CR37","doi-asserted-by":"crossref","unstructured":"Taylor A J and Ames A D, Adaptive safety with control barrier functions, Proc. of the American Control Conference, 2020, 1399\u20131405.","DOI":"10.23919\/ACC45564.2020.9147463"},{"issue":"3","key":"1230_CR38","doi-asserted-by":"publisher","first-page":"1031","DOI":"10.1109\/LCSYS.2020.3005923","volume":"5","author":"B T Lopez","year":"2020","unstructured":"Lopez B T, Slotine J J E, and How J P, Robust adaptive control barrier functions: An adaptive and data-driven approach to safety, IEEE Control Systems Letters, 2020, 5(3): 1031\u20131036.","journal-title":"IEEE Control Systems Letters"},{"key":"1230_CR39","doi-asserted-by":"crossref","unstructured":"Fan D D, Nguyen J, Thakker R, et al., Bayesian learning-based adaptive control for safety critical systems, 2020 IEEE International Conference on Robotics and Automation, 2020, 4093\u20134099.","DOI":"10.1109\/ICRA40945.2020.9196709"},{"key":"1230_CR40","unstructured":"Khojasteh M J, Dhiman V, Franceschetti M, et al., Probabilistic safety constraints for learned high relative degree system dynamics, Learning for Dynamics and Control, 2020, 781\u2013792."},{"key":"1230_CR41","doi-asserted-by":"publisher","unstructured":"Xiao W, Belta C, and Cassandras C G, Adaptive control barrier functions, IEEE Transactions on Automatic Control, 2021, DOI: https:\/\/doi.org\/10.1109\/TAC.2021.3074895.","DOI":"10.1109\/TAC.2021.3074895"},{"key":"1230_CR42","unstructured":"Taylor A J, Singletary A, Yue Y, et al., Learning for safety-critical control with control barrier functions, Proc. of Conf. on Learning for Dynamics and Control, 2020, 708\u2013717."},{"key":"1230_CR43","doi-asserted-by":"crossref","unstructured":"Sadraddini S and Belta C, Formal guarantees in data-driven model identification and control synthesis, Proc. of the 21st Conference on Hybrid Systems: Computation and Control, 2018, 147\u2013156.","DOI":"10.1145\/3178126.3178145"},{"key":"1230_CR44","unstructured":"Xiao W, Belta C, and Cassandras C G, Event-triggered safety-critical control for systems with unknown dynamics, Proc. of 60th IEEE Conference on Decision and Control, preprint arXiv: 2103.15874, 2021."},{"issue":"5","key":"1230_CR45","doi-asserted-by":"publisher","first-page":"109333","DOI":"10.1016\/j.automatica.2020.109333","volume":"123","author":"W Xiao","year":"2021","unstructured":"Xiao W and Cassandras C G, Decentralized optimal merging control for connected and automated vehicles with safety constraint guarantees, Automatica, 2021, 123(5): 109333.","journal-title":"Automatica"},{"issue":"3","key":"1230_CR46","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0001-4575(02)00022-2","volume":"35","author":"K Vogel","year":"2003","unstructured":"Vogel K, A comparison of headway and time to collision as safety indicators, Accident Analysis & Prevention, 2003, 35(3): 427\u2013433.","journal-title":"Accident Analysis & Prevention"},{"issue":"3","key":"1230_CR47","doi-asserted-by":"publisher","first-page":"757","DOI":"10.1109\/LCSYS.2019.2917975","volume":"3","author":"L Lindemann","year":"2019","unstructured":"Lindemann L and Dimarogonas D V, Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks, IEEE Control Systems Letters, 2019, 3(3): 757\u2013762.","journal-title":"IEEE Control Systems Letters"}],"container-title":["Journal of Systems Science and Complexity"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-021-1230-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11424-021-1230-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11424-021-1230-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,26]],"date-time":"2021-10-26T04:25:53Z","timestamp":1635222353000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11424-021-1230-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,10]]},"references-count":47,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["1230"],"URL":"https:\/\/doi.org\/10.1007\/s11424-021-1230-x","relation":{},"ISSN":["1009-6124","1559-7067"],"issn-type":[{"type":"print","value":"1009-6124"},{"type":"electronic","value":"1559-7067"}],"subject":[],"published":{"date-parts":[[2021,10]]},"assertion":[{"value":"29 June 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 October 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}