{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:22:04Z","timestamp":1760710924557,"version":"3.41.2"},"reference-count":46,"publisher":"World Scientific Pub Co Pte Ltd","issue":"14","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62106150"],"award-info":[{"award-number":["62106150"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-NSFOCUS","award":["2021001"],"award-info":[{"award-number":["2021001"]}]},{"DOI":"10.13039\/501100011284","name":"State Key Laboratory of Control and Simulation of Power System and Generation Equipment","doi-asserted-by":"publisher","award":["202102"],"award-info":[{"award-number":["202102"]}],"id":[{"id":"10.13039\/501100011284","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J CIRCUIT SYST COMP"],"published-print":{"date-parts":[[2022,9,30]]},"abstract":"<jats:p> Learning techniques such as deep reinforcement learning have been increasingly used in the controller design for autonomous vehicles, e.g., lane changing controllers. Although the use of learning techniques can remarkably increase the level of autonomy, their presence poses a great challenge for safety assurance due to the black-box and data-driven nature of learning techniques. In this work, we study the problem of how to safeguard the learning-based lane changing controller for collision avoidance. Our solution leverages on the runtime assurance framework, in particular the Simplex architecture to bound the behavior of the learning-based controller and to provide safety guarantees. The basic idea is to encompass the learning-based controller with a safety-by-construction controller and a decision module, which monitors the output of the learning-based controller at runtime and implements a switching logic between these two controllers according to the changing environment. We present the detailed design of the decision module and formally prove its correctness for collision avoidance. We also carry out a comprehensive experimental evaluation in a set of realistic highway scenarios using the SUMO simulator. The simulation results show that our proposed solution can not only provide safety guarantee for the learning-based lane changing controller, but also maintain a considerable level of efficiency in different volumes of traffic flow. <\/jats:p>","DOI":"10.1142\/s0218126622502498","type":"journal-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T10:23:06Z","timestamp":1651141386000},"source":"Crossref","is-referenced-by-count":6,"title":["Runtime Assurance of Learning-Based Lane Changing Control for Autonomous Driving Vehicles"],"prefix":"10.1142","volume":"31","author":[{"given":"Qiang","family":"Wang","sequence":"first","affiliation":[{"name":"Academy of Military Science, Beijing, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guang","family":"Kou","sequence":"additional","affiliation":[{"name":"Academy of Military Science, Beijing, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Longquan","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"He","sequence":"additional","affiliation":[{"name":"College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2414-6066","authenticated-orcid":false,"given":"Weipeng","family":"Cao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Software Engineering, Shenzhen University, Shenzhen, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[{"name":"Software Engineering Institute, East China Normal University, Shanghai, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2022,6,10]]},"reference":[{"key":"S0218126622502498BIB001","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.001.2000374"},{"key":"S0218126622502498BIB002","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3079574"},{"key":"S0218126622502498BIB004","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3125190"},{"first-page":"1379","volume-title":"2018 IEEE Intelligent Vehicles Symp. (IV)","author":"Wang P.","key":"S0218126622502498BIB005"},{"key":"S0218126622502498BIB006","doi-asserted-by":"publisher","DOI":"10.1109\/IV47402.2020.9304668"},{"key":"S0218126622502498BIB007","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3047129"},{"key":"S0218126622502498BIB008","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2022.3150793"},{"key":"S0218126622502498BIB010","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0128"},{"key":"S0218126622502498BIB011","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2001.936213"},{"first-page":"138","volume-title":"2014 IEEE Real-Time Systems Symp.","author":"Bak S.","key":"S0218126622502498BIB012"},{"key":"S0218126622502498BIB013","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2020.101760"},{"first-page":"2010","volume-title":"AIAA Guidance, Navigation, and Control Conference","author":"Aiello M.","key":"S0218126622502498BIB014"},{"journal-title":"AIAA Information Systems-AIAA Infotech @ Aerospace","first-page":"2017","author":"Cook S. P.","key":"S0218126622502498BIB015"},{"key":"S0218126622502498BIB016","first-page":"2021","author":"Nagarajan P.","year":"2021","journal-title":"AIAA Scitech 2021 Forum"},{"first-page":"1","volume-title":"2020 18th ACM-IEEE Int. Conf. Formal Methods and Models for System Design (MEMOCODE)","author":"Wang Q.","key":"S0218126622502498BIB017"},{"key":"S0218126622502498BIB019","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2015.2444238"},{"key":"S0218126622502498BIB020","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3049141"},{"first-page":"143","volume-title":"2010 16th IEEE Real-Time and Embedded Technology and Applications Symp.","author":"Bak S.","key":"S0218126622502498BIB022"},{"key":"S0218126622502498BIB023","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2011.25"},{"first-page":"117","volume-title":"SAFECOMP 2017: Computer Safety, Reliability, and Security","author":"Yang J.","key":"S0218126622502498BIB024"},{"key":"S0218126622502498BIB025","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2021.09.044"},{"key":"S0218126622502498BIB026","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.3027568"},{"key":"S0218126622502498BIB027","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3113321"},{"key":"S0218126622502498BIB028","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2021.3116132"},{"key":"S0218126622502498BIB029","doi-asserted-by":"publisher","DOI":"10.1109\/DASC50938.2020.9256446"},{"first-page":"400","volume-title":"28th IEEE Int. Real-Time Systems Symp. (RTSS 2007)","author":"Crenshaw T. L.","key":"S0218126622502498BIB030"},{"key":"S0218126622502498BIB031","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_6"},{"key":"S0218126622502498BIB032","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.20"},{"first-page":"49","volume-title":"ACSD\u201917, the 17th Int. Conf. Application of Concurrency to System Design","author":"Phan D.","key":"S0218126622502498BIB033"},{"key":"S0218126622502498BIB034","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-91265-9_13"},{"key":"S0218126622502498BIB035","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-87348-6_9"},{"key":"S0218126622502498BIB036","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2012.2219060"},{"key":"S0218126622502498BIB037","doi-asserted-by":"publisher","DOI":"10.1145\/3457335.3461712"},{"first-page":"138","volume-title":"2019 49th Annual IEEE\/IFIP Int. Conf. Dependable Systems and Networks (DSN)","author":"Desai A.","key":"S0218126622502498BIB038"},{"first-page":"1","volume-title":"2020 AIAA\/IEEE 39th Digital Avionics Systems Conf. (DASC)","author":"Cofer D.","key":"S0218126622502498BIB039"},{"key":"S0218126622502498BIB040","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-55754-6_21"},{"key":"S0218126622502498BIB041","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00066"},{"key":"S0218126622502498BIB042","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_7"},{"key":"S0218126622502498BIB043","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC45102.2020.9294259"},{"first-page":"1","volume-title":"2020 57th ACM\/IEEE Design Automation Conference (DAC)","author":"Huang C.","key":"S0218126622502498BIB044"},{"first-page":"1","volume-title":"2020 IEEE\/ACM International Conference On Computer Aided Design (ICCAD)","author":"Wang Y.","key":"S0218126622502498BIB045"},{"key":"S0218126622502498BIB046","first-page":"138","volume-title":"ACM Trans. Embed. Comput. Syst.","author":"Bak S.","year":"2015"},{"key":"S0218126622502498BIB048","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102432"},{"key":"S0218126622502498BIB049","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3119921"},{"key":"S0218126622502498BIB050","doi-asserted-by":"publisher","DOI":"10.1109\/JBHI.2021.3075995"},{"key":"S0218126622502498BIB051","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2021.3101842"}],"container-title":["Journal of Circuits, Systems and Computers"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218126622502498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,2]],"date-time":"2022-09-02T09:30:24Z","timestamp":1662111024000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218126622502498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,10]]},"references-count":46,"journal-issue":{"issue":"14","published-print":{"date-parts":[[2022,9,30]]}},"alternative-id":["10.1142\/S0218126622502498"],"URL":"https:\/\/doi.org\/10.1142\/s0218126622502498","relation":{},"ISSN":["0218-1266","1793-6454"],"issn-type":[{"type":"print","value":"0218-1266"},{"type":"electronic","value":"1793-6454"}],"subject":[],"published":{"date-parts":[[2022,6,10]]},"article-number":"2250249"}}