{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T13:39:03Z","timestamp":1785245943255,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,5,19]],"date-time":"2021-05-19T00:00:00Z","timestamp":1621382400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["IIS-2024606, IIS-1723995"],"award-info":[{"award-number":["IIS-2024606, IIS-1723995"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,5,19]]},"DOI":"10.1145\/3450267.3450542","type":"proceedings-article","created":{"date-parts":[[2021,4,1]],"date-time":"2021-04-01T22:09:05Z","timestamp":1617314945000},"page":"143-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":72,"title":["Rule-based optimal control for autonomous driving"],"prefix":"10.1145","author":[{"given":"Wei","family":"Xiao","sequence":"first","affiliation":[{"name":"Boston University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Noushin","family":"Mehdipour","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anne","family":"Collin","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amitai Y.","family":"Bin-Nun","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Emilio","family":"Frazzoli","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radboud Duintjer","family":"Tebbens","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Calin","family":"Belta","sequence":"additional","affiliation":[{"name":"Motional"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,5,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of 51rd IEEE Conference on Decision and Control. 6837--6842","author":"Ames A. D.","unstructured":"A. D. Ames , K. Galloway , and J. W. Grizzle . 2012. Control Lyapunov Functions and Hybrid Zero Dynamics . In Proc. of 51rd IEEE Conference on Decision and Control. 6837--6842 . A. D. Ames, K. Galloway, and J. W. Grizzle. 2012. Control Lyapunov Functions and Hybrid Zero Dynamics. In Proc. of 51rd IEEE Conference on Decision and Control. 6837--6842."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0362-546X(83)90049-4"},{"key":"e_1_3_2_1_4_1","volume-title":"2019 International Conference on Robotics and Automation. 8536--8542","author":"Censi A.","unstructured":"A. Censi , K. Slutsky , T. Wongpiromsarn , D. Yershov , S. Pendleton , J. Fu , and E. Frazzoli . 2019. Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks . In 2019 International Conference on Robotics and Automation. 8536--8542 . A. Censi, K. Slutsky, T. Wongpiromsarn, D. Yershov, S. Pendleton, J. Fu, and E. Frazzoli. 2019. Liability, Ethics, and Culture-Aware Behavior Specification using Rulebooks. In 2019 International Conference on Robotics and Automation. 8536--8542."},{"key":"e_1_3_2_1_5_1","volume-title":"Safety of the Intended Driving Behavior Using Rulebooks. In IV Workshop on Ensuring and Validating Safety for Automated Vehicles. 1--7.","author":"Collin A.","unstructured":"A. Collin , A. Bilka , S. Pendleton , and R. D. Tebbens . 2020 . Safety of the Intended Driving Behavior Using Rulebooks. In IV Workshop on Ensuring and Validating Safety for Automated Vehicles. 1--7. A. Collin, A. Bilka, S. Pendleton, and R. D. Tebbens. 2020. Safety of the Intended Driving Behavior Using Rulebooks. In IV Workshop on Ensuring and Validating Safety for Automated Vehicles. 1--7."},{"key":"e_1_3_2_1_6_1","volume-title":"International Symposium on Automated Technology for Verification and Analysis. 458--475","author":"Dimitrova R.","unstructured":"R. Dimitrova , M. Ghasemi , and U. Topcu . 2018. Maximum realizability for linear temporal logic specifications . In International Symposium on Automated Technology for Verification and Analysis. 458--475 . R. Dimitrova, M. Ghasemi, and U. Topcu. 2018. Maximum realizability for linear temporal logic specifications. In International Symposium on Automated Technology for Verification and Analysis. 458--475."},{"key":"e_1_3_2_1_7_1","volume-title":"International Conference on Formal Modeling and Analysis of Timed Systems. 92--106","author":"Donz\u00e9 A.","unstructured":"A. Donz\u00e9 and O. Maler . 2010. Robust satisfaction of temporal logic over real-valued signals . In International Conference on Formal Modeling and Analysis of Timed Systems. 92--106 . A. Donz\u00e9 and O. Maler. 2010. Robust satisfaction of temporal logic over real-valued signals. In International Conference on Formal Modeling and Analysis of Timed Systems. 92--106."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"R. A. Freeman and P. V. Kokotovic. 1996. Robust Nonlinear Control Design. Birkhauser.  R. A. Freeman and P. V. Kokotovic. 1996. Robust Nonlinear Control Design. Birkhauser.","DOI":"10.1007\/978-0-8176-4759-9"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"P. Glotfelter J. Cortes and M. Egerstedt. 2017. Nonsmooth barrier functions with applications to multi-robot systems. IEEE control systems letters 1 2 (2017) 310--315.  P. Glotfelter J. Cortes and M. Egerstedt. 2017. Nonsmooth barrier functions with applications to multi-robot systems. IEEE control systems letters 1 2 (2017) 310--315.","DOI":"10.1109\/LCSYS.2017.2710943"},{"key":"e_1_3_2_1_10_1","volume-title":"PAS 21448-Road Vehicles-Safety of the Intended Functionality","author":"SO.","year":"2019","unstructured":"I SO. 2019. PAS 21448-Road Vehicles-Safety of the Intended Functionality . International Organization for Standardization ( 2019 ). ISO. 2019. PAS 21448-Road Vehicles-Safety of the Intended Functionality. International Organization for Standardization (2019)."},{"key":"e_1_3_2_1_11_1","volume-title":"Nonlinear Systems","author":"Khalil H. K.","unstructured":"H. K. Khalil . 2002. Nonlinear Systems . Prentice Hall , third edition. H. K. Khalil. 2002. Nonlinear Systems. Prentice Hall, third edition."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of International Conference on FORMATS-FTRTFT","author":"Maler O.","unstructured":"O. Maler and D. Nickovic . 2004. Monitoring temporal properties of continuous signals . In Proc. of International Conference on FORMATS-FTRTFT . Grenoble, France, 152--166. O. Maler and D. Nickovic. 2004. Monitoring temporal properties of continuous signals. In Proc. of International Conference on FORMATS-FTRTFT. Grenoble, France, 152--166."},{"key":"e_1_3_2_1_14_1","volume-title":"American Control Conference. 1690--1695","author":"Mehdipour N.","unstructured":"N. Mehdipour , C. Vasile , and C. Belta . 2019. Arithmetic-geometric mean robustness for control from signal temporal logic specifications . In American Control Conference. 1690--1695 . N. Mehdipour, C. Vasile, and C. Belta. 2019. Arithmetic-geometric mean robustness for control from signal temporal logic specifications. In American Control Conference. 1690--1695."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3047362"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. of the American Control Conference. 322--328","author":"Nguyen Q.","unstructured":"Q. Nguyen and K. Sreenath . 2016. Exponential Control Barrier Functions for Enforcing High Relative-Degree Safety-Critical Constraints . In Proc. of the American Control Conference. 322--328 . Q. Nguyen and K. Sreenath. 2016. Exponential Control Barrier Functions for Enforcing High Relative-Degree Safety-Critical Constraints. In Proc. of the American Control Conference. 322--328."},{"key":"e_1_3_2_1_17_1","volume-title":"2017 IEEE 20th International Conference on Intelligent Transportation Systems. 1--6.","author":"Nolte M.","unstructured":"M. Nolte , G. Bagschik , I. Jatzkowski , T. Stolte , A. Reschka , and M. Maurer . 2017. Towards a skill-and ability-based development process for self-aware automated road vehicles . In 2017 IEEE 20th International Conference on Intelligent Transportation Systems. 1--6. M. Nolte, G. Bagschik, I. Jatzkowski, T. Stolte, A. Reschka, and M. Maurer. 2017. Towards a skill-and ability-based development process for self-aware automated road vehicles. In 2017 IEEE 20th International Conference on Intelligent Transportation Systems. 1--6."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"M. Parseh F. Asplund M. Nybacka L. Svensson and M. T\u00f6rngren. 2019. Pre-Crash Vehicle Control and Manoeuvre Planning: A Step Towards Minimizing Collision Severity for Highly Automated Vehicles. In 2019 IEEE International Conference of Vehicular Electronics and Safety (ICVES). 1--6.  M. Parseh F. Asplund M. Nybacka L. Svensson and M. T\u00f6rngren. 2019. Pre-Crash Vehicle Control and Manoeuvre Planning: A Step Towards Minimizing Collision Severity for Highly Automated Vehicles. In 2019 IEEE International Conference of Vehicular Electronics and Safety (ICVES). 1--6.","DOI":"10.1109\/ICVES.2019.8906431"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2014.6957845"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2377777"},{"key":"e_1_3_2_1_21_1","unstructured":"S. Shalev-Shwartz S. Shammah and A. Shashua. 2017. On a formal model of safe and scalable self-driving cars. preprint in arXiv:1708.06374 (2017).  S. Shalev-Shwartz S. Shammah and A. Shashua. 2017. On a formal model of safe and scalable self-driving cars. preprint in arXiv:1708.06374 (2017)."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.11.017"},{"key":"e_1_3_2_1_23_1","volume-title":"2013 American Control Conference. 200--205","author":"Tmov\u00e1 J.","unstructured":"J. Tmov\u00e1 , L. I R. Castro , S. Karaman , E. Frazzoli , and D. Rus . 2013. Minimum-violation LTL planning with conflicting specifications . In 2013 American Control Conference. 200--205 . J. Tmov\u00e1, L. I R. Castro, S. Karaman, E. Frazzoli, and D. Rus. 2013. Minimum-violation LTL planning with conflicting specifications. In 2013 American Control Conference. 200--205."},{"key":"e_1_3_2_1_24_1","volume-title":"IEEE Conference on Intelligent Transportation Systems. 2063--2067","author":"Ulbrich S.","unstructured":"S. Ulbrich and M. Maurer . 2013. Probabilistic online POMDP decision making for lane changes in fully automated driving . In IEEE Conference on Intelligent Transportation Systems. 2063--2067 . S. Ulbrich and M. Maurer. 2013. Probabilistic online POMDP decision making for lane changes in fully automated driving. In IEEE Conference on Intelligent Transportation Systems. 2063--2067."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2659727"},{"key":"e_1_3_2_1_26_1","volume-title":"Proc. of 52nd IEEE Conference on Decision and Control","author":"Wisniewski R.","unstructured":"R. Wisniewski and C. Sloth . 2013. Converse barrier certificate theorem . In Proc. of 52nd IEEE Conference on Decision and Control . Florence, Italy, 4713--4718. R. Wisniewski and C. Sloth. 2013. Converse barrier certificate theorem. In Proc. of 52nd IEEE Conference on Decision and Control. Florence, Italy, 4713--4718."},{"key":"e_1_3_2_1_27_1","volume-title":"Proc. of 58th IEEE Conference on Decision and Control","author":"Xiao W.","unstructured":"W. Xiao and C. Belta . 2019. Control Barrier Functions for Systems with High Relative Degree . In Proc. of 58th IEEE Conference on Decision and Control . Nice, France, 474--479. W. Xiao and C. Belta. 2019. Control Barrier Functions for Systems with High Relative Degree. In Proc. of 58th IEEE Conference on Decision and Control. Nice, France, 474--479."},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of 59th IEEE Conference on Decision and Control. 1896--1901","author":"Xiao W.","unstructured":"W. Xiao , C. Belta , and C. G. Cassandras . 2020. Feasibility Guided Learning for Constrained Optimal Control problems . In Proc. of 59th IEEE Conference on Decision and Control. 1896--1901 . W. Xiao, C. Belta, and C. G. Cassandras. 2020. Feasibility Guided Learning for Constrained Optimal Control problems. In Proc. of 59th IEEE Conference on Decision and Control. 1896--1901."},{"key":"e_1_3_2_1_29_1","unstructured":"W. Xiao C. Belta and C. G. Cassandras. 2021. Adaptive Control Barrier Functions. In provisonally accepted in Transactions on Automatic Control preprint in arXiv:2002.04577.  W. Xiao C. Belta and C. G. Cassandras. 2021. Adaptive Control Barrier Functions. In provisonally accepted in Transactions on Automatic Control preprint in arXiv:2002.04577."}],"event":{"name":"ICCPS '21: ACM\/IEEE 12th International Conference on Cyber-Physical Systems","location":"Nashville Tennessee","acronym":"ICCPS '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","IEEE-CS\\TCRT TC on Real-Time Systems"]},"container-title":["Proceedings of the ACM\/IEEE 12th International Conference on Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450542","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450542","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3450267.3450542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:46:58Z","timestamp":1750193218000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3450267.3450542"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,19]]},"references-count":29,"alternative-id":["10.1145\/3450267.3450542","10.1145\/3450267"],"URL":"https:\/\/doi.org\/10.1145\/3450267.3450542","relation":{},"subject":[],"published":{"date-parts":[[2021,5,19]]},"assertion":[{"value":"2021-05-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}