{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:24:59Z","timestamp":1740101099144,"version":"3.37.3"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,8]],"date-time":"2022-10-08T00:00:00Z","timestamp":1665187200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012226","name":"Fundamental Research Funds for the Central Universities","doi-asserted-by":"publisher","award":["2021YJS018,2019JBM009,2022JBXT000,2022JBQY001"],"award-info":[{"award-number":["2021YJS018,2019JBM009,2022JBXT000,2022JBQY001"]}],"id":[{"id":"10.13039\/501100012226","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2020YFB1600702"],"award-info":[{"award-number":["2020YFB1600702"]}],"id":[{"id":"10.13039\/501100012166","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"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,8]]},"DOI":"10.1109\/itsc55140.2022.9922547","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:40:13Z","timestamp":1667526013000},"page":"2830-2835","source":"Crossref","is-referenced-by-count":0,"title":["Longitudinal Control Strategy Synthesis for Train Platoons Based on Priced Timed Game"],"prefix":"10.1109","author":[{"given":"Wanli","family":"Lu","sequence":"first","affiliation":[{"name":"National Engineering Research Center Of Rail Transportation Operation And Control System, Beijing Jiaotong University,Beijing,China"}]},{"given":"Jidong","family":"Lv","sequence":"additional","affiliation":[{"name":"National Engineering Research Center Of Rail Transportation Operation And Control System, Beijing Jiaotong University,Beijing,China"}]},{"given":"Yijuan","family":"He","sequence":"additional","affiliation":[{"name":"National Engineering Research Center Of Rail Transportation Operation And Control System, Beijing Jiaotong University,Beijing,China"}]},{"given":"Daqian","family":"Zhang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center Of Rail Transportation Operation And Control System, Beijing Jiaotong University,Beijing,China"}]},{"given":"Min","family":"Yang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center Of Rail Transportation Operation And Control System, Beijing Jiaotong University,Beijing,China"}]}],"member":"263","reference":[{"key":"ref13","first-page":"14","article-title":"Stability and scalability of homogeneous vehicular platoon: Study on the influence of information flow topologies","author":"zheng","year":"2015","journal-title":"IEEE Transactions on Intelligent Transportation Systems"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2021.1998559"},{"key":"ref15","first-page":"1","article-title":"A nonlinear safety equilibrium spacing based model predictive control for virtually coupled train set over gradient terrains","author":"su","year":"2021","journal-title":"IEEE Transactions on Transportation Electrification"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"102323","DOI":"10.1016\/j.tre.2021.102323","article-title":"An integrated energy-efficient train operation approach based on the space-time-speed network methodology","volume":"150","author":"wang","year":"2021","journal-title":"Transportation Research Part E Logistics and Transportation Review"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.835586"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92970-5_14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2920290"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jrtpm.2020.100195"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.trb.2019.07.001"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2017.2776943"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2022.3155628"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.04.010"},{"key":"ref24","first-page":"0","article-title":"Non-deterministic delay behavior testing of chinese train control system using uppaal-tron","author":"lv","year":"2020","journal-title":"IEEE Intelligent Transportation Systems Magazine"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110962"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11936-6_10"},{"key":"ref25","first-page":"48","article-title":"Formal verification of operating system requirements layer based on finite state machine","volume":"45","author":"jinkun","year":"2019","journal-title":"Aerospace Control and Application"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2019.2939358"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2016.2598873"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICIRT.2018.8641563"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"ref29","first-page":"87","author":"bengtsson","year":"2004","journal-title":"Timed Automata Semantics Algorithms And Tools"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2021.104901"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2021.3130715"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2019.2907681"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.aap.2022.106703"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2020.102886"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2021.04.036"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2021.103249"}],"event":{"name":"2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)","start":{"date-parts":[[2022,10,8]]},"location":"Macau, China","end":{"date-parts":[[2022,10,12]]}},"container-title":["2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9921415\/9921739\/09922547.pdf?arnumber=9922547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,27]],"date-time":"2023-02-27T23:09:13Z","timestamp":1677539353000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9922547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,8]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/itsc55140.2022.9922547","relation":{},"subject":[],"published":{"date-parts":[[2022,10,8]]}}}