{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T15:12:51Z","timestamp":1784560371818,"version":"3.55.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619142","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"765-772","source":"Crossref","is-referenced-by-count":20,"title":["Barrier Functions: Bridging the Gap between Planning from Specifications and Safety-Critical Control"],"prefix":"10.1109","author":[{"given":"Petter","family":"Nilsson","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Aaron D.","family":"Ames","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref32","author":"lee","year":"2011","journal-title":"Control of Complex Maneuvers for A Quadrotor UAV Using Geometric Methods on SE(3)"},{"key":"ref31","first-page":"v001t05a006","article-title":"Safety-Critical Control of a 3D Quadro-tor With Range-Limited Sensing","author":"wu","year":"2016","journal-title":"Proc ASME CDSC"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907828"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2656045.2656054"},{"key":"ref11","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1137\/070698580"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0243-z"},{"key":"ref15","first-page":"19","article-title":"Nonuniform abstractions, refinement and controller synthesis with novel bdd encodings","author":"lindvall","year":"2018","journal-title":"Proc IFAC Conf ADHS"},{"key":"ref16","first-page":"271","article-title":"Temporal logic control of pomdps via label-based stochastic simulation relations","author":"haesaert","year":"2018","journal-title":"Proc IFAC Conf ADHS"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034922"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.automatica.2015.03.004","article-title":"Symbolic models for stochastic switched systems: A discretization and a discretization-free approach","volume":"55","author":"zamani","year":"2015","journal-title":"Automatica"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.04.060"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref27","first-page":"1","article-title":"Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control","author":"xu","year":"2017","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798663"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980409"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.10.005"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263867"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7524935"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref20","author":"nilsson","year":"2017","journal-title":"Control synthesis for high-dimensional systems with counting constraints"},{"key":"ref22","author":"milner","year":"1999","journal-title":"Communicating and Mobile Systems The ?-Calculus"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364913501564"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0119-6"},{"key":"ref23","first-page":"149","author":"stirling","year":"1996","journal-title":"Temporal and modal logic"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0601-9","author":"walter","year":"1998","journal-title":"Ordinary Differential Equations"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","location":"Miami Beach, FL","start":{"date-parts":[[2018,12,17]]},"end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619142.pdf?arnumber=8619142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:25:56Z","timestamp":1598243156000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8619142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8619142","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}