{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:01:57Z","timestamp":1730275317939,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,17]],"date-time":"2023-11-17T00:00:00Z","timestamp":1700179200000},"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":["61976130,62366017"],"award-info":[{"award-number":["61976130,62366017"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,11,17]]},"DOI":"10.1109\/iske60036.2023.10481339","type":"proceedings-article","created":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T20:33:29Z","timestamp":1712608409000},"page":"450-457","source":"Crossref","is-referenced-by-count":0,"title":["Formal Modelling of the Multiple Trains Following Operation in Uncertain Environments"],"prefix":"10.1109","author":[{"given":"Xia","family":"Wang","sequence":"first","affiliation":[{"name":"School of Computing and Artificial Intelligence, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Xu","sequence":"additional","affiliation":[{"name":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jun","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computing, Ulster University,Northern Ireland,BT37 0QB"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guanfeng","family":"Wu","sequence":"additional","affiliation":[{"name":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shuwei","family":"Chen","sequence":"additional","affiliation":[{"name":"School of Mathematics, Southwest Jiaotong University National- Local Joint Engineering Laboratory of System Credibility Automatic Verification,Chengdu,China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-019-01123-w"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/1828\/1\/012045"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2020.11.004"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-022-00660-4"},{"volume-title":"Survey on Formal Methods and Tools in Railways: The ASTRail Approach","author":"Basile","key":"ref5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2497320"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_55"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2018.01.040"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05814-1_11"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0920-5489(98)00020-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2776943"},{"issue":"10","key":"ref13","first-page":"159","article-title":"Realization of moving block in High-speed Railway based on CTCS-3 train control system","volume":"63","author":"Xu","year":"2019","journal-title":"Railway Standard Design"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/tvt.2020.2995668"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2016.05.148"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125811"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSACW.2014.119"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2016.021"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.engfailanal.2017.04.004"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2242465"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3458864.3466625"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2015.09.014"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2023.110355"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2015.2396537"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-7373(87)80076-7"}],"event":{"name":"2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)","start":{"date-parts":[[2023,11,17]]},"location":"Fuzhou, China","end":{"date-parts":[[2023,11,19]]}},"container-title":["2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10480909\/10480924\/10481339.pdf?arnumber=10481339","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T05:09:41Z","timestamp":1712639381000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10481339\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,17]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iske60036.2023.10481339","relation":{},"subject":[],"published":{"date-parts":[[2023,11,17]]}}}