{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T18:41:44Z","timestamp":1778697704133,"version":"3.51.4"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100002858","name":"China Postdoctoral Science Foundation","doi-asserted-by":"publisher","award":["2021M690295"],"award-info":[{"award-number":["2021M690295"]}],"id":[{"id":"10.13039\/501100002858","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"Key Project of Chinese National Programs for Fundamental Research Development","doi-asserted-by":"publisher","award":["2014CB340703"],"award-info":[{"award-number":["2014CB340703"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2018YFB1201500"],"award-info":[{"award-number":["2018YFB1201500"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100005089","name":"Beijing Municipal Natural Science Foundation","doi-asserted-by":"publisher","award":["L191001"],"award-info":[{"award-number":["L191001"]}],"id":[{"id":"10.13039\/501100005089","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62173012"],"award-info":[{"award-number":["62173012"]}],"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":["U20A20155"],"award-info":[{"award-number":["U20A20155"]}],"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":["61822101"],"award-info":[{"award-number":["61822101"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Newton Advanced Fellowship","award":["62061130221"],"award-info":[{"award-number":["62061130221"]}]},{"name":"Science and Technology Research and Development Program of China State Railway Group Company Ltd.","award":["P2018X011"],"award-info":[{"award-number":["P2018X011"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/tits.2021.3108840","type":"journal-article","created":{"date-parts":[[2021,9,8]],"date-time":"2021-09-08T20:07:43Z","timestamp":1631131663000},"page":"11930-11945","source":"Crossref","is-referenced-by-count":24,"title":["A Train Protection Logic Based on Topological Manifolds for Virtual Coupling"],"prefix":"10.1109","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8205-0006","authenticated-orcid":false,"given":"Yong","family":"Zhang","sequence":"first","affiliation":[{"name":"School of Transportation Science and Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haifeng","family":"Wang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control Systems, Beijing Jiaotong University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phillip","family":"James","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Swansea University, Swansea, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Roggenbach","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Swansea University, Swansea, U.K."}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7796-5650","authenticated-orcid":false,"given":"Daxin","family":"Tian","sequence":"additional","affiliation":[{"name":"School of Transportation Science and Engineering, Beihang University, Beijing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"219","key":"ref1","article-title":"ERTMS level 4, train convoys or virtual coupling","author":"Mitchell","year":"2016"},{"key":"ref2","volume-title":"Amended Annual Work Plan and Budget for 2018","author":"Undertaking","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/J.ENG.2016.03.015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.2495\/TDI-V1-N4-666-676"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2819799"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1155\/2018\/7451361"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2936219"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-38921-9_1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ESARS-ITEC.2018.8607523"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2920290"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2914910"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.3403\/02247377"},{"key":"ref13","volume-title":"An Introduction to Formal Methods for the Development of Safety-Critical Applications","author":"Haxthausen","year":"2010"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.44"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_18"},{"key":"ref16","first-page":"200","article-title":"A domain-specific language for railway interlocking systems","volume-title":"Proc. 10th Symp. Formal Methods Autom. Saf. Railway Automot. Syst., FORMS\/FORMAT","author":"Vu"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.05.010"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.011"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47169-3_21"},{"key":"ref20","volume-title":"Test Automation-Foundations and Applications of Model-Based Testing","author":"Peleska","year":"2017"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11737-9_25"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.44"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2018.5231"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68499-4_7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-014-0174-0"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2237509"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)TE.1943-5436.0000554"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_13"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2836459"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2019.0330"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrtpm.2020.100195"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1177\/0954409713495015"},{"key":"ref33","volume-title":"An Introduction to Manifolds","author":"Loring","year":"2008"},{"key":"ref34","volume-title":"Introduction to Topological Manifolds","volume":"202","author":"Lee","year":"2010"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/9853713\/09531565.pdf?arnumber=9531565","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,11]],"date-time":"2024-01-11T23:26:10Z","timestamp":1705015570000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9531565\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":34,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tits.2021.3108840","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,8]]}}}