{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T03:57:15Z","timestamp":1777089435122,"version":"3.51.4"},"reference-count":66,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,8,1]],"date-time":"2025-08-01T00:00:00Z","timestamp":1754006400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2468208"],"award-info":[{"award-number":["U2468208"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["52272329"],"award-info":[{"award-number":["52272329"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U22A2046"],"award-info":[{"award-number":["U22A2046"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2468206"],"award-info":[{"award-number":["U2468206"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U2469211"],"award-info":[{"award-number":["U2469211"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["52172322"],"award-info":[{"award-number":["52172322"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["52372309"],"award-info":[{"award-number":["52372309"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["52372310"],"award-info":[{"award-number":["52372310"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005089","name":"Beijing Natural Science Foundation","doi-asserted-by":"publisher","award":["L251033"],"award-info":[{"award-number":["L251033"]}],"id":[{"id":"10.13039\/501100005089","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2025,8]]},"DOI":"10.1109\/tits.2025.3582585","type":"journal-article","created":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T13:46:24Z","timestamp":1751463984000},"page":"11420-11441","source":"Crossref","is-referenced-by-count":1,"title":["Formal Modeling and Synthesis of Longitudinal Dynamics Controller for Train Platoons"],"prefix":"10.1109","volume":"26","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0883-5868","authenticated-orcid":false,"given":"Wanli","family":"Lu","sequence":"first","affiliation":[{"name":"School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8404-6820","authenticated-orcid":false,"given":"Jidong","family":"Lv","sequence":"additional","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9717-846X","authenticated-orcid":false,"given":"Bai","family":"Xue","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences (CAS), Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8393-221X","authenticated-orcid":false,"given":"Zhengwei","family":"Luo","sequence":"additional","affiliation":[{"name":"School of Automation and Intelligence, Beijing Jiaotong University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1016\/j.jrtpm.2020.100195","article-title":"A multi-state train-following model for the analysis of virtual coupling railway operations","volume":"15","author":"Quaglietta","year":"2020","journal-title":"J. Rail Transp. Planning Manage."},{"key":"ref2","first-page":"1","article-title":"Exploring virtual coupling: Operational principles and analysis","volume-title":"Proc. 10th ASPECT Conf. Inst. Railway Signalling Eng.","author":"Quaglietta"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3130715"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2021.104901","article-title":"Energy-efficient operation by cooperative control among trains: A multi-agent reinforcement learning approach","volume":"116","author":"Su","year":"2021","journal-title":"Control Eng. Pract."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2023.104235"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2598873"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92970-5_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2016.2556938"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_14"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-46002-9_3"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3520480"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2019.2953536"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111082"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2021.3069900"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1002\/9781119005056"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05814-1_11"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50086-3_1"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3192476"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.3019699"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3262606"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.128"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2020.2991953"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069723"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2022.3140805"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1016\/j.energy.2022.123265","article-title":"Real-time energy-saving control for HEVs in car-following scenario with a double explicit MPC approach","volume":"247","author":"Ruan","year":"2022","journal-title":"Energy"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1016\/j.trc.2023.104356","article-title":"Robust constraint satisfaction and stability of virtually coupled train set with uncertain dynamics: A dual-mode robust MPC approach","volume":"156","author":"Luo","year":"2023","journal-title":"Transp. Res. C, Emerg. Technol."},{"key":"ref27","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110692","article-title":"Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges","volume":"152","author":"Mehdipour","year":"2023","journal-title":"Automatica"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3275706"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3315063"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2023.3344226"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/9.664155"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-12988-0_2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3204574"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3318201"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/j.conengprac.2013.11.003","article-title":"Guaranteeing safety for heavy duty vehicle platooning: Safe set computations and experimental evaluations","volume":"24","author":"Alam","year":"2014","journal-title":"Control Eng. Pract."},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110184","article-title":"Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications","volume":"139","author":"Verdier","year":"2022","journal-title":"Automatica"},{"key":"ref37","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2019.100816","article-title":"Safety analysis of integrated adaptive cruise and lane keeping control using multi-modal port-Hamiltonian systems","volume":"35","author":"Dai","year":"2020","journal-title":"Nonlinear Anal., Hybrid Syst."},{"key":"ref38","doi-asserted-by":"crossref","DOI":"10.1016\/j.trc.2023.104230","article-title":"Safety-critical traffic control by connected automated vehicles","volume":"154","author":"Zhao","year":"2023","journal-title":"Transp. Res. C, Emerg. Technol."},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2017.2760863"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2023.3286090"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3074895"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3327085"},{"key":"ref43","volume-title":"Theory of Games and Economic Behavior","author":"Neumann","year":"1944"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109768"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_10"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3170517"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3124677"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109838"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2022.3143108"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/tiv.2024.3399694"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-57256-2_10"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3118335"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3061983"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2024.3396731"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967748"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696636"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref59","article-title":"Controller synthesis for home automation","author":"S\u00f8rensen","year":"2014"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_16"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2024.3407612"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3045124"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/5.871303"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2022.101170"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-022-00372-6"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2020.3042876"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6979\/11121550\/11063449.pdf?arnumber=11063449","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,11]],"date-time":"2025-08-11T17:44:55Z","timestamp":1754934295000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11063449\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8]]},"references-count":66,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tits.2025.3582585","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8]]}}}