{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,4]],"date-time":"2026-02-04T16:46:56Z","timestamp":1770223616444,"version":"3.49.0"},"reference-count":39,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T00:00:00Z","timestamp":1551398400000},"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":["61473029"],"award-info":[{"award-number":["61473029"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1109\/tits.2018.2836459","type":"journal-article","created":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T14:48:22Z","timestamp":1528728502000},"page":"925-934","source":"Crossref","is-referenced-by-count":33,"title":["Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment"],"prefix":"10.1109","volume":"20","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8205-0006","authenticated-orcid":false,"given":"Yong","family":"Zhang","sequence":"first","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control Systems, Beijing Jiaotong University, Beijing, China"}]},{"given":"Haifeng","family":"Wang","sequence":"additional","affiliation":[{"name":"National Engineering Research Center of Rail Transportation Operation and Control Systems, Beijing Jiaotong University, Beijing, China"}]},{"given":"Tommy","family":"Yuan","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of York, York, U.K."}]},{"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 Systems, Beijing Jiaotong University, Beijing, China"}]},{"given":"Tianhua","family":"Xu","sequence":"additional","affiliation":[{"name":"State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China"}]}],"member":"263","reference":[{"key":"ref39","author":"zhu","year":"2015","journal-title":"Traction Calculation and Simulation System for Electric Multiple Units"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1993.627365"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883828"},{"key":"ref32","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","author":"althoff","year":"2010"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"ref30","article-title":"ERTMS\/ETCS-Baseline 3, system requirements specification","year":"2008"},{"key":"ref37","first-page":"120","article-title":"An introduction to CORA 2015","volume":"34","author":"althoff","year":"2015","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2001.0472"},{"key":"ref34","first-page":"482","article-title":"Efficient representation and computation of reachable sets for hybrid systems","author":"stursberg","year":"2003","journal-title":"Proc Int Workshop Hybrid Syst Comput Control"},{"key":"ref10","first-page":"309","article-title":"Modelling large railway interlockings and model checking small ones","volume":"16","author":"winter","year":"2003","journal-title":"Proc 26th Austral Comput Sci Conf"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/32.879808"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.trpro.2016.05.152"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2435515"},{"key":"ref14","first-page":"15","article-title":"Automated metro operation: Greater capacity and safer, more efficient transport","volume":"60","author":"castells","year":"2011","journal-title":"Public Transport International"},{"key":"ref15","year":"2011","journal-title":"Metro Automation Facts Figures and Trends"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.techfore.2015.12.017"},{"key":"ref17","first-page":"153","article-title":"Leading-edge solutions for next-generation railway systems","volume":"54","author":"wajima","year":"2005","journal-title":"Hitachi Rev"},{"key":"ref18","year":"2007","journal-title":"Railway Applications—Urban Guided Transport Management and Command\/Control Systems—Part 1 System Principles and Fundamental Concepts"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"366","DOI":"10.1007\/3-540-57318-6_37","article-title":"Hybrid system modeling and autonomous control systems","author":"antsaklis","year":"1993","journal-title":"Hybrid Systems"},{"key":"ref28","author":"winter","year":"2009","journal-title":"Compendium on ERTMS European Rail Traffic Management System"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2013.44"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2478910"},{"key":"ref3","year":"2011","journal-title":"Railway applications Communication Signalling and Processing Systems Software for Railway Control and Protection Systems"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2012.2237509"},{"key":"ref29","author":"theeg","year":"2009","journal-title":"Railway Signalling &Interlocking International Compendium"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-319-11164-3_5","article-title":"Monitoring systems with extended live sequence charts","author":"chai","year":"2014","journal-title":"Proc Int'l Conf Runtime Verification"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1177\/0954409713495015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)TE.1943-5436.0000554"},{"key":"ref2","first-page":"279","article-title":"Runtime assurance based on formal specifications","author":"lee","year":"1999","journal-title":"Proc Int Conf Parallel Distrib Process Techn Appl"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213234"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/242223.242257"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0109998","author":"van der schaft","year":"2000","journal-title":"An Introduction to Hybrid Dynamical Systems"},{"key":"ref22","first-page":"262","article-title":"Verifying Chinese train control system under a combined scenario by theorem proving","author":"zou","year":"2013","journal-title":"Proc IFIP Working Conf Verified Software Theories Tools Experiments"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0278364910387173"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2009.03.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2014.2312453"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/8654737\/08378233.pdf?arnumber=8378233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T01:03:27Z","timestamp":1755911007000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8378233\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,3]]},"references-count":39,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/tits.2018.2836459","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,3]]}}}