{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,18]],"date-time":"2026-08-18T01:42:56Z","timestamp":1787017376318,"version":"build-2736575974"},"reference-count":38,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T00:00:00Z","timestamp":1675123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CMMI-1663460, ECCS-1739732 and CPS-1932529"],"award-info":[{"award-number":["CMMI-1663460, ECCS-1739732 and CPS-1932529"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2023,1,31]]},"abstract":"<jats:p>\n                    This article proposes a novel extension of the Simplex architecture with model switching and model learning to achieve safe velocity regulation of self-driving vehicles in dynamic and unforeseen environments. To guarantee the reliability of autonomous vehicles, an \u2112\n                    <jats:sub>1<\/jats:sub>\n                    adaptive controller that compensates for uncertainties and disturbances is employed by the Simplex architecture as a verified high-assurance controller (HAC) to tolerate concurrent software and physical failures. Meanwhile, the safe switching controller is incorporated into the HAC for safe velocity regulation in the dynamic (prepared) environments, through the integration of the traction control system and anti-lock braking system. Due to the high dependence of vehicle dynamics on the driving environments, the HAC leverages the finite-time model learning to timely learn and update the vehicle model for \u2112\n                    <jats:sub>1<\/jats:sub>\n                    adaptive controller, when any deviation from the safety envelope or the uncertainty measurement threshold occurs in the unforeseen driving environments. With the integration of \u2112\n                    <jats:sub>1<\/jats:sub>\n                    adaptive controller, safe switching controller and finite-time model learning, the vehicle\u2019s angular and longitudinal velocities can asymptotically track the provided references in the dynamic and unforeseen driving environments, while the wheel slips are restricted to safety envelopes to prevent slipping and sliding. Finally, the effectiveness of the proposed Simplex architecture for safe velocity regulation is validated by the AutoRally platform.\n                  <\/jats:p>","DOI":"10.1145\/3564273","type":"journal-article","created":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T08:00:45Z","timestamp":1663574445000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["S\u2112\n                    <sub>1<\/sub>\n                    -Simplex: Safe Velocity Regulation of Self-Driving Vehicles in Dynamic and Unforeseen Environments"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7233-4179","authenticated-orcid":false,"given":"Yanbing","family":"Mao","sequence":"first","affiliation":[{"name":"Wayne State University, Detroit, MI, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9107-562X","authenticated-orcid":false,"given":"Yuliang","family":"Gu","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana\u2013Champaign, Urbana, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3850-1073","authenticated-orcid":false,"given":"Naira","family":"Hovakimyan","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana\u2013Champaign, Urbana, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5578-0791","authenticated-orcid":false,"given":"Lui","family":"Sha","sequence":"additional","affiliation":[{"name":"University of Illinois at Urbana\u2013Champaign, Urbana, IL, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2965-3246","authenticated-orcid":false,"given":"Petros","family":"Voulgaris","sequence":"additional","affiliation":[{"name":"University of Nevada, Reno, NV, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,2,20]]},"reference":[{"key":"e_1_3_1_2_2","unstructured":"[n. d.]. Open Source: Revised AutoRally. Retrieved from https:\/\/github.com\/ymao578\/GM."},{"key":"e_1_3_1_3_2","unstructured":"[n. d.]. Demonstration Video: \\(\\mathcal {L}_1\\) Adaptive Controller v.s. Normal Controller. Retrieved from https:\/\/ymao578.github.io\/pubs\/m2.mp4."},{"key":"e_1_3_1_4_2","unstructured":"[n. d.]. Demonstration Video: M \\(\\mathcal {L}_{1}\\) HAC v.s. \\(\\mathcal {L}_{1}\\) HAC. Retrieved from https:\/\/ymao578.github.io\/pubs\/m1.mp4."},{"key":"e_1_3_1_5_2","first-page":"0631","volume-title":"Proceedings of the AIAA Guidance, Navigation, and Control Conference","author":"Ackerman Kasey","unstructured":"Kasey Ackerman, Enric Xargay, Ronald Choe, Naira Hovakimyan, M. Christopher Cotting, Robert B. Jeffrey, Margaret P. Blackstun, Timothy P. Fulkerson, Timothy R. Lau, and Shawn S. Stephens. 2016. \\(\\mathcal {L}_1\\) stability augmentation system for Calspan\u2019s variable-stability learjet. In Proceedings of the AIAA Guidance, Navigation, and Control Conference. 0631."},{"issue":"03","key":"e_1_3_1_6_2","first-page":"186","article-title":"An antilock-braking systems (ABS) control: A technical review","volume":"2","author":"Aly Ayman A.","year":"2011","unstructured":"Ayman A. Aly, El-Shafei Zeidan, Ahmed Hamed, Farhan Salem, et\u00a0al. 2011. An antilock-braking systems (ABS) control: A technical review. Intell. Contr. Autom. 2, 03 (2011), 186\u2013195.","journal-title":"Intell. Contr. Autom."},{"key":"e_1_3_1_7_2","first-page":"568","volume-title":"Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems","author":"Amini Alexander","year":"2018","unstructured":"Alexander Amini, Wilko Schwarting, Guy Rosman, Brandon Araki, Sertac Karaman, and Daniela Rus. 2018. Variational autoencoder for end-to-end control of autonomous driving with novelty detection and training de-biasing. In Proceedings of the IEEE\/RSJ International Conference on Intelligent Robots and Systems. IEEE, 568\u2013575."},{"key":"e_1_3_1_8_2","unstructured":"Leah Asmelash. Everything You Need to Know About Anow Squalls. Retrieved December 30 2021 from https:\/\/www.cnn.com\/2019\/12\/19\/weather\/snow-squall-what-is-explain-trnd\/index.html."},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2005.860527"},{"key":"e_1_3_1_10_2","first-page":"6610, 2011","volume-title":"Proceedings of the AIAA Guidance, Navigation, and Control Conference","author":"Choe Ronald","unstructured":"Ronald Choe, Olaf Stroosma, Enric Xargay, Herman Damveld, Naira Hovakimyan, J. Mulder, and Herman Damveld. A handling qualities assessment of a business jet augmented with an \\(\\mathcal {L}_1\\) adaptive controller. In Proceedings of the AIAA Guidance, Navigation, and Control Conference. 6610, 2011."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPEL.2006.872363"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2664663"},{"key":"e_1_3_1_13_2","first-page":"3746","volume-title":"Proceedings of the 38th IEEE Conference on Decision and Control","author":"Wit C. Canudas De","unstructured":"C. Canudas De Wit and Panagiotis Tsiotras. 1999. Dynamic tire friction models for vehicle traction control. In Proceedings of the 38th IEEE Conference on Decision and Control. 3746\u20133751."},{"issue":"2","key":"e_1_3_1_14_2","first-page":"776","article-title":"Longitudinal model identification and velocity control of an autonomous car","volume":"16","author":"Dias Jullierme Emiliano Alves","year":"2014","unstructured":"Jullierme Emiliano Alves Dias, Guilherme Augusto Silva Pereira, and Reinaldo Martinez Palhares. 2014. Longitudinal model identification and velocity control of an autonomous car. IEEE Trans. Intell. Transport. Syst. 16, 2 (2014), 776\u2013786.","journal-title":"IEEE Trans. Intell. Transport. Syst."},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2009.935537"},{"key":"e_1_3_1_16_2","first-page":"826","volume-title":"Learning for Dynamics and Control","author":"Gahlawat Aditya","year":"2020","unstructured":"Aditya Gahlawat, Pan Zhao, Andrew Patterson, Naira Hovakimyan, and Evangelos Theodorou. 2020. \\(\\mathcal {L}_1-GP\\) : \\(\\mathcal {L}_1\\) adaptive control with Bayesian learning. In Learning for Dynamics and Control. PMLR, 826\u2013837."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2018.2876958"},{"key":"e_1_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2752704"},{"key":"e_1_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2017.2720846"},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2019.2949757"},{"key":"e_1_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898719376"},{"key":"e_1_3_1_22_2","doi-asserted-by":"crossref","DOI":"10.1109\/MCS.2011.941961","article-title":"\\(\\mathcal {L}_1\\) adaptive control for safety-critical systems","author":"Hovakimyan Naira","year":"2011","unstructured":"Naira Hovakimyan, Chengyu Cao, Evgeny Kharisov, Enric Xargay, and Irene M. Gregory. 2011. \\(\\mathcal {L}_1\\) adaptive control for safety-critical systems. IEEE Contr. Syst. Mag. (2011).","journal-title":"IEEE Contr. Syst. Mag."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2014.2361860"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2003.815922"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.2478\/s13230-011-0013-9"},{"key":"e_1_3_1_26_2","first-page":"5619","volume-title":"Proceedings of the AIAA Guidance, Navigation, and Control Conference","author":"Leman Tyler","unstructured":"Tyler Leman, Enric Xargay, Geir Dullerud, Naira Hovakimyan, and Thomas Wendel. 2009. \\(\\mathcal {L}_1\\) adaptive control augmentation system for the X-48B aircraft. In Proceedings of the AIAA Guidance, Navigation, and Control Conference. 5619."},{"key":"e_1_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0017-8"},{"key":"e_1_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2010.2091659"},{"key":"e_1_3_1_29_2","unstructured":"Yanbing Mao Naira Hovakimyan Petros Voulgaris and Lui Sha. Finite-time model inference from a single noisy trajectory. arXiv:2010.06616. Retrieved from https:\/\/arxiv.org\/abs\/2010.06616."},{"key":"e_1_3_1_30_2","volume-title":"Vehicle Dynamics and Control","author":"Rajamani Rajesh","year":"2011","unstructured":"Rajesh Rajamani. 2011. Vehicle Dynamics and Control. Springer Science & Business Media."},{"key":"e_1_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Elias Reichensd\u00f6rfer Dirk Odenthal and Dirk Wollherr. 2020. On the stability of nonlinear wheel-slip zero dynamics in traction control systems. IEEE Transactions on Control Systems Technology 28 2 (2020) 489\u2013504.","DOI":"10.1109\/TCST.2018.2880932"},{"key":"e_1_3_1_32_2","article-title":"Brakes, Brake Control and Driver Assistance Systems","author":"Reif Konrad","year":"2014","unstructured":"Konrad Reif. 2014. Brakes, Brake Control and Driver Assistance Systems. Springer Vieweg, Weisbaden, Germany.","journal-title":"Springer Vieweg"},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84996-350-3"},{"key":"e_1_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Danbing Seto and Lui Sha. 1999. An engineering method for safety region development. Carnegie Mellon University Software Engineering Institute Technical Report CMU\/SEI-99-TR-018. 1\u201339.","DOI":"10.21236\/ADA367624"},{"issue":"4","key":"e_1_3_1_35_2","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.2001.936213","article-title":"Using simplicity to control complexity","author":"Sha Lui","year":"2001","unstructured":"Lui Sha. 2001. Using simplicity to control complexity. IEEE Softw.4 (2001), 20\u201328.","journal-title":"IEEE Softw."},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2018.11.020"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1109\/AMC.2000.862881"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3121428"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2009.2016507"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564273","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3564273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T14:09:10Z","timestamp":1750169350000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3564273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,31]]},"references-count":38,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,31]]}},"alternative-id":["10.1145\/3564273"],"URL":"https:\/\/doi.org\/10.1145\/3564273","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,31]]},"assertion":[{"value":"2021-07-15","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-09-14","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-02-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}