{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T15:33:58Z","timestamp":1774020838750,"version":"3.50.1"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100011381","name":"State Key Laboratory of Robotics and Systems [Harbin Institute of Technology (HIT)]","doi-asserted-by":"publisher","award":["SKLRS-2022-KF-07"],"award-info":[{"award-number":["SKLRS-2022-KF-07"]}],"id":[{"id":"10.13039\/501100011381","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Cyberphysical Training Grounds for Artificial Intelligence-Based Vehicular Functions (CAIVE) Project at the Chalmers University of Technology and the University of Gothenburg"},{"DOI":"10.13039\/501100012236","name":"Beijing Institute of Technology Research Fund Program for Young Scholars","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012236","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1109\/tits.2022.3196623","type":"journal-article","created":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T19:52:05Z","timestamp":1660593125000},"page":"22971-22987","source":"Crossref","is-referenced-by-count":26,"title":["Formally Robust and Safe Trajectory Planning and Tracking for Autonomous Vehicles"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8824-8988","authenticated-orcid":false,"given":"Yushu","family":"Yu","sequence":"first","affiliation":[{"name":"School of Mechatronical Engineering, Beijing Institute of Technology, Beijing, China"}]},{"given":"Dan","family":"Shan","sequence":"additional","affiliation":[{"name":"School of Mechatronical Engineering, Beijing Institute of Technology, Beijing, China"}]},{"given":"Ola","family":"Benderius","sequence":"additional","affiliation":[{"name":"Department of Mechanics and Maritime Sciences, Chalmers University of Technology, Gothenburg, Sweden"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4828-1150","authenticated-orcid":false,"given":"Christian","family":"Berger","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden"}]},{"given":"Yue","family":"Kang","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2974107"},{"key":"ref38","article-title":"Correct by construction control synthesis for systems with disturbance and uncertainty","author":"chen","year":"2018"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2654063"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989375"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2659727"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3030087"},{"key":"ref36","article-title":"Uncertainty-aware reinforcement learning for collision avoidance","author":"kahn","year":"2017","journal-title":"arXiv 1702 01182"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8463194"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918791718"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3182\/20110828-6-IT-1002.03098"},{"key":"ref40","author":"khalil","year":"2002","journal-title":"Nonlinear Systems"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2848302"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2018.05.009"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.12.048"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364917712421"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2017-5361"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.08.009"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2004.08.019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2012.11.004"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2014.902537"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.152"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2664722"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963572"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2642164"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.10.005"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2771351"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2016.2569468"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2017.2709782"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2604240"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910369189"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2016.2555853"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2749970"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2013.6728575"},{"key":"ref45","author":"ferreau","year":"2007","journal-title":"qpOASES webpage"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2018.XIV.055"},{"key":"ref47","author":"houska","year":"2009","journal-title":"ACADO Toolkit User’s Manual"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2018.2804891"},{"key":"ref42","article-title":"Enhancing the performance of a safe controller via supervised learning for truck lateral control","author":"chen","year":"2017","journal-title":"arXiv 1712 05506"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0959651816684427"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2542109"},{"key":"ref44","article-title":"Generic and complete vehicle dynamic models for open-source platforms","author":"patil","year":"2017"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2018.2794604"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1080\/00423110701882264"},{"key":"ref25","article-title":"Learning deep control policies for autonomous aerial vehicles with MPC-guided policy search","author":"zhang","year":"2015","journal-title":"arXiv 1509 06791"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/9972869\/09857649.pdf?arnumber=9857649","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:29:31Z","timestamp":1672082971000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9857649\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":47,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tits.2022.3196623","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12]]}}}