{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T07:19:26Z","timestamp":1775027966115,"version":"3.50.1"},"reference-count":29,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"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","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,6,8]]},"DOI":"10.23919\/acc53348.2022.9867438","type":"proceedings-article","created":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:24:10Z","timestamp":1662409450000},"page":"3752-3758","source":"Crossref","is-referenced-by-count":6,"title":["On the Verification of Detectability for Timed Systems"],"prefix":"10.23919","author":[{"given":"Weijie","family":"Dong","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}]},{"given":"Kuize","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Surrey,Department of Computer Science,Guildford,U.K,GU2 7XH"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Observers for a class of timed automata based on elapsed time graphs","author":"jun","year":"2021","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.08.027"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.03.003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2995173"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2021.101087"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.109291"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.02.058"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2224255"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2251796"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2215959"},{"key":"ref28","article-title":"State-based opacity of real-time automata","author":"zhang","year":"2021","journal-title":"27th IFIP WG 1 5 International Workshop on Cellular Automata and Discrete Complex Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109884"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","volume":"47","author":"yoo","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref3","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref6","first-page":"799","article-title":"A regionbased approach for state estimation of timed automata under no event observation","volume":"1","author":"gao","year":"2020","journal-title":"IEEE Conference on Emerging Technologies and Factory Automation (ETFA)"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-020-00311-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2183169"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1045"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798305"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jisa.2021.102926"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.910713"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2857363"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_14"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.02.032"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.07.008"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.04.001"}],"event":{"name":"2022 American Control Conference (ACC)","location":"Atlanta, GA, USA","start":{"date-parts":[[2022,6,8]]},"end":{"date-parts":[[2022,6,10]]}},"container-title":["2022 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9866948\/9867142\/09867438.pdf?arnumber=9867438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,3]],"date-time":"2022-10-03T20:37:56Z","timestamp":1664829476000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9867438\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,8]]},"references-count":29,"URL":"https:\/\/doi.org\/10.23919\/acc53348.2022.9867438","relation":{},"subject":[],"published":{"date-parts":[[2022,6,8]]}}}