{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,24]],"date-time":"2026-10-24T04:25:35Z","timestamp":1792815935875,"version":"4.5.0"},"reference-count":42,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,1]],"date-time":"2024-10-01T00:00:00Z","timestamp":1727740800000},"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":["62327806"],"award-info":[{"award-number":["62327806"]}],"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":["61925302"],"award-info":[{"award-number":["61925302"]}],"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":["62273027"],"award-info":[{"award-number":["62273027"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Beijing Natural Science Foundation of China","award":["L211021"],"award-info":[{"award-number":["L211021"]}]},{"name":"Open Project of Shanghai Driverless Train Control System Engineering Technology Research Center","award":["SUTC-2024KT-05"],"award-info":[{"award-number":["SUTC-2024KT-05"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1109\/tits.2024.3402435","type":"journal-article","created":{"date-parts":[[2024,5,30]],"date-time":"2024-05-30T13:57:27Z","timestamp":1717077447000},"page":"13291-13304","source":"Crossref","is-referenced-by-count":49,"title":["Functional Safety and Performance Analysis of Autonomous Route Management for Autonomous Train Control System"],"prefix":"10.1109","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9840-5804","authenticated-orcid":false,"given":"Haifeng","family":"Song","sequence":"first","affiliation":[{"name":"School of Electronic and Information Engineering, Beihang University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-7233-733X","authenticated-orcid":false,"given":"Lulu","family":"Li","sequence":"additional","affiliation":[{"name":"School of Electronic and Information Engineering, Beijing Jiaotong University, Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ye","family":"Li","sequence":"additional","affiliation":[{"name":"Academy of Railway Sciences (Beijing) Engineering Consult Company Ltd., Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ligang","family":"Tan","sequence":"additional","affiliation":[{"name":"Department of Technology and Information, China National Railway Group Company Ltd., Beijing, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4369-3401","authenticated-orcid":false,"given":"Hairong","family":"Dong","sequence":"additional","affiliation":[{"name":"College of Electrical Engineering and Automation, Shandong University of Science and Technology, Qingdao, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3014588"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/OJAP.2021.3094672"},{"key":"ref3","first-page":"2","article-title":"The location and control of assets in smartrail4.0","volume":"12","author":"Schmidt","year":"2018","journal-title":"Inst. Railway Signal Eng."},{"key":"ref4","first-page":"539","article-title":"A new offer concept for increasing capacity with smartrail 4.0","volume-title":"Proc. 2nd Int. Railway Symp. Aachen","author":"Eichenberger"},{"key":"ref5","volume-title":"Multi-Annual Action Plan","year":"2015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2920290"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2016.05.152"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cie.2016.11.030"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2021.3075840"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2013.06.008"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2020.3044442"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2914910"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CYBER50695.2020.9278960"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2016.08.011"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1155\/2017\/6381718"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2495\/TDI-V1-N4-666-676"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1049\/iet-its.2019.0694"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2019.2962142"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3192476"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2495\/cr140711"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3095661"},{"key":"ref22","first-page":"46","article-title":"Modelling functionality of train control systems using Petri nets","author":"zu H\u00f6rste","year":"2013","journal-title":"Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2076390"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2395419"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2657695"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2018.2819799"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2021.3088136"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3290619"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2604043"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC55140.2022.9922576"},{"issue":"1","key":"ref31","first-page":"19","article-title":"Compressing arrival interval of high-speed trains by speed control within railway section","volume":"43","author":"Lu","year":"2021","journal-title":"J. Railways"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/b95112"},{"key":"ref33","volume-title":"CPN Tools Homepage","author":"Aarhus","year":"2015"},{"key":"ref34","article-title":"CPN tools state space manual","author":"Jensen","year":"2006"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05324-9"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45740-2_8"},{"key":"ref38","volume-title":"Design\/CPN ASK-CTL Manual","author":"Christensen","year":"1996"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.1999.90611"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2018.8457469"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2914701"},{"issue":"2","key":"ref42","first-page":"131","article-title":"Compression method and simulation of train arrival interval based on utilization of arrival-departure track","volume":"41","author":"Peng","year":"2020","journal-title":"China Railway Sci."}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6979\/10705407\/10542674.pdf?arnumber=10542674","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:07:56Z","timestamp":1728173276000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10542674\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10]]},"references-count":42,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tits.2024.3402435","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10]]}}}