{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,23]],"date-time":"2026-03-23T15:53:55Z","timestamp":1774281235583,"version":"3.50.1"},"reference-count":56,"publisher":"Informa UK Limited","issue":"7","funder":[{"name":"National Key Research and Development Program of China","award":["(2018AAA0101700)"],"award-info":[{"award-number":["(2018AAA0101700)"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["(62061136004, 61803259, 61833012)"],"award-info":[{"award-number":["(62061136004, 61803259, 61833012)"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Systems Science"],"published-print":{"date-parts":[[2024,5,18]]},"DOI":"10.1080\/00207721.2024.2304665","type":"journal-article","created":{"date-parts":[[2024,3,2]],"date-time":"2024-03-02T12:00:30Z","timestamp":1709380830000},"page":"1283-1303","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":10,"title":["Safe-by-construction autonomous vehicle overtaking using control barrier functions and model predictive control"],"prefix":"10.1080","volume":"55","author":[{"given":"Dingran","family":"Yuan","sequence":"first","affiliation":[{"name":"Department of Automation, Shanghai Jiao Tong University, Shanghai, People's Republic of China"}]},{"given":"Xinyi","family":"Yu","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Southern California, Los Angeles, CA, USA"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Automation, Shanghai Jiao Tong University, Shanghai, People's Republic of China"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Department of Automation, Shanghai Jiao Tong University, Shanghai, People's Republic of China"}]}],"member":"301","published-online":{"date-parts":[[2024,3,2]]},"reference":[{"key":"e_1_3_3_2_1","doi-asserted-by":"crossref","unstructured":"Agrawal A. & Sreenath K. (2017). Discrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation. In Robotics: Science and systems XIII. Robotics: Science and Systems Foundation.","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"e_1_3_3_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIV"},{"key":"e_1_3_3_4_1","doi-asserted-by":"crossref","unstructured":"Ames A. D. Coogan S. Egerstedt M. Notomista G. Sreenath K. & Tabuada P. (2019). Control barrier functions: Theory and applications. In 18th European control conference (ECC) (pp. 3420\u20133431). IEEE.","DOI":"10.23919\/ECC.2019.8796030"},{"key":"e_1_3_3_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"e_1_3_3_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s12532-018-0139-4"},{"key":"e_1_3_3_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2008.08.006"},{"key":"e_1_3_3_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"e_1_3_3_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/Access.6287639"},{"key":"e_1_3_3_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3046646"},{"key":"e_1_3_3_11_1","doi-asserted-by":"crossref","unstructured":"Choi J. J. Lee D. Sreenath K. Tomlin C. J. & Herbert S. L. (2021 December). Robust control barrier\u2013value functions for safety-critical control. In 2021 60th IEEE conference on decision and control (CDC) (pp. 6814\u20136821). IEEE.","DOI":"10.1109\/CDC45484.2021.9683085"},{"key":"e_1_3_3_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3141657"},{"key":"e_1_3_3_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2008.917220"},{"key":"e_1_3_3_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.6979"},{"key":"e_1_3_3_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2016.2613913"},{"key":"e_1_3_3_16_1","doi-asserted-by":"crossref","unstructured":"He S. Zeng J. & Sreenath K. (2022 May). Autonomous racing with multiple vehicles using a parallelized optimization with safety guarantee using control barrier functions. In 2022 International conference on robotics and automation (ICRA) (pp. 3444\u20133451). IEEE.","DOI":"10.1109\/ICRA46639.2022.9811969"},{"key":"e_1_3_3_17_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9482848"},{"key":"e_1_3_3_18_1","doi-asserted-by":"crossref","unstructured":"Herbert S. Choi J. J. Sanjeev S. Gibson M. Sreenath K. & Tomlin C. J. (2021 May). Scalable learning of safety guarantees for autonomous systems using Hamilton-Jacobi reachability. In IEEE international conference on robotics and automation (ICRA) (pp. 5914\u20135920). IEEE.","DOI":"10.1109\/ICRA48506.2021.9561561"},{"key":"e_1_3_3_19_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2021.1885082"},{"key":"e_1_3_3_20_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2012.749547"},{"key":"e_1_3_3_21_1","volume-title":"Nonlinear systems","author":"Khalil H. K.","year":"2015","unstructured":"Khalil, H. K. (2015). Nonlinear systems. Pearson."},{"key":"e_1_3_3_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2015.7225830"},{"key":"e_1_3_3_23_1","doi-asserted-by":"crossref","unstructured":"Li X. Qiu X. Wang J. & Shen Y. (2020 June). A deep reinforcement learning based approach for autonomous overtaking. In 2020 IEEE international conference on communications workshops (ICC Workshops) (pp. 1\u20135). IEEE.","DOI":"10.1109\/ICCWorkshops49005.2020.9145279"},{"key":"e_1_3_3_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3040557"},{"key":"e_1_3_3_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01234-2_36"},{"key":"e_1_3_3_26_1","doi-asserted-by":"crossref","unstructured":"Liu X. Huang C. Wang Y. Zheng B. & Zhu Q. (2022 May). Physics-aware safety-assured design of hierarchical neural network based planner. In 2022 ACM\/IEEE 13th international conference on cyber-physical systems (ICCPS) (pp. 137\u2013146). IEEE.","DOI":"10.1109\/ICCPS54341.2022.00019"},{"key":"e_1_3_3_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3566097.3567847"},{"key":"e_1_3_3_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNSE.2021.3058220"},{"key":"e_1_3_3_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2023.03.011"},{"key":"e_1_3_3_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2023.3262609"},{"key":"e_1_3_3_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2021.3105449"},{"key":"e_1_3_3_32_1","doi-asserted-by":"crossref","unstructured":"Lyu Y. Luo W. & Dolan J. M. (2021 May) Probabilistic safety-assured adaptive merging control for autonomous vehicles. In 2021 IEEE International conference on robotics and automation (ICRA) (pp. 10764\u201310770).\u00a0IEEE.","DOI":"10.1109\/ICRA48506.2021.9561894"},{"key":"e_1_3_3_33_1","doi-asserted-by":"crossref","unstructured":"Lyu Y. Luo W. & Dolan J. M. (2022 February). Adaptive safe merging control for heterogeneous autonomous vehicles using parametric control barrier functions. In 2022 IEEE intelligent vehicles symposium (IV) (pp. 542\u2013547).\u00a0IEEE.","DOI":"10.1109\/IV51971.2022.9827329"},{"key":"e_1_3_3_34_1","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2018.1460410"},{"key":"e_1_3_3_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2011.09.024"},{"key":"e_1_3_3_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2008.922880"},{"key":"e_1_3_3_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2011.2106158"},{"key":"e_1_3_3_38_1","doi-asserted-by":"crossref","unstructured":"Nguyen Q. & Sreenath K. (2016 July). Exponential control barrier functions for enforcing high relative-degree safety-critical constraints. In 2016 American control conference (ACC) (pp. 322\u2013328). IEEE.","DOI":"10.1109\/ACC.2016.7524935"},{"key":"e_1_3_3_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2014.2303995"},{"key":"e_1_3_3_40_1","unstructured":"Qin Z. Zhang K. Chen Y. Chen J. & Fan C. (2021). Learning safe multi-agent control with decentralized neural barrier certificates. arXiv preprint arXiv:2101.05436."},{"key":"e_1_3_3_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2017.05.395"},{"key":"e_1_3_3_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.87"},{"key":"e_1_3_3_43_1","unstructured":"Shalev-Shwartz S. Shammah S. & Shashua A. (2017). On a formal model of safe and scalable self-driving cars. Preprint arXiv:1708.06374."},{"key":"e_1_3_3_44_1","doi-asserted-by":"crossref","unstructured":"Usman G. & Kunwar F. (2009). Autonomous vehicle overtaking- an online solution. In 2009 IEEE international conference on automation and logistics (pp. 596\u2013601). IEEE.","DOI":"10.1109\/ICAL.2009.5262854"},{"key":"e_1_3_3_45_1","doi-asserted-by":"crossref","unstructured":"Wang Y. Zhan S. Wang Z. Huang C. Wang Z. Yang Z. & Zhu Q. (2023 May). Joint differentiable optimization and verification for certified reinforcement learning. In Proceedings of the ACM\/IEEE 14th International conference on cyber-physical systems (with CPS-IoT Week 2023) (pp. 132\u2013141). Association for Computing Machinery.","DOI":"10.1145\/3576841.3585919"},{"key":"e_1_3_3_46_1","doi-asserted-by":"crossref","unstructured":"Wang Z. Ramyar S. Salaken S. M. Homaifar A. Nahavandi S. & Karimoddini A. (2017 June). A collision avoidance system with fuzzy danger level detection. In 2017 IEEE intelligent vehicles symposium (IV) (pp. 283\u2013288). IEEE.","DOI":"10.1109\/IVS.2017.7995733"},{"key":"e_1_3_3_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3105491"},{"key":"e_1_3_3_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3074895"},{"key":"e_1_3_3_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109960"},{"key":"e_1_3_3_50_1","unstructured":"Xiao W. Wang T.-H. Chahine M. Amini A. Hasani R. & Rus D. (2022c). Differentiable control barrier functions for vision-based end-to-end autonomous driving. arXiv preprint arXiv:2203.02401."},{"key":"e_1_3_3_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3189741"},{"key":"e_1_3_3_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2022.3213597"},{"key":"e_1_3_3_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3216794"},{"key":"e_1_3_3_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"e_1_3_3_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3233322"},{"key":"e_1_3_3_56_1","doi-asserted-by":"crossref","unstructured":"Zeng J. Zhang B. & Sreenath K. (2021 May). Safety-critical model predictive control with discrete-time control barrier function. In 2021 American control conference (ACC) (pp. 3882\u20133889). IEEE.","DOI":"10.23919\/ACC50511.2021.9483029"},{"key":"e_1_3_3_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3147826"}],"container-title":["International Journal of Systems Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207721.2024.2304665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T07:39:14Z","timestamp":1712129954000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207721.2024.2304665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,3,2]]},"references-count":56,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2024,5,18]]}},"alternative-id":["10.1080\/00207721.2024.2304665"],"URL":"https:\/\/doi.org\/10.1080\/00207721.2024.2304665","relation":{},"ISSN":["0020-7721","1464-5319"],"issn-type":[{"value":"0020-7721","type":"print"},{"value":"1464-5319","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,3,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tsys20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tsys20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2023-10-16","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-01-07","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2024-03-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}