{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T17:42:06Z","timestamp":1772300526026,"version":"3.50.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/etfa46521.2020.9211942","type":"proceedings-article","created":{"date-parts":[[2020,10,5]],"date-time":"2020-10-05T21:37:37Z","timestamp":1601933857000},"page":"799-804","source":"Crossref","is-referenced-by-count":10,"title":["A region-based approach for state estimation of timed automata under no event observation"],"prefix":"10.1109","author":[{"given":"Chao","family":"Gao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitri","family":"Lefebvre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiwu","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Giua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","article-title":"Supervisory control for opacity","volume":"55","author":"darondeau","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/j.automatica.2018.07.017","article-title":"Detection and mitigation of classes of attacks in supervisory control systems","volume":"97","author":"kwong","year":"2018","journal-title":"Automatica"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00307-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"lafortune","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/87.486338","article-title":"Failure diagnosis using discrete-event models","volume":"4","author":"lafortune","year":"1996","journal-title":"IEEE Transactions on Control Systems Technology"},{"key":"ref16","first-page":"417","article-title":"Foundation of diagnosis and predictability in probabilistic systems","volume":"29","author":"haddad","year":"2014","journal-title":"IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’14)"},{"key":"ref17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","article-title":"The algorithmic analysis of hybrid systems","volume":"138","author":"halbwachs","year":"1995","journal-title":"Theoretical Computer Science"},{"key":"ref18","first-page":"209","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"henzinger","year":"1992","journal-title":"Hybrid Systems"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"2356","DOI":"10.1109\/TAC.2007.910713","article-title":"Detectability of discrete event systems","volume":"52","author":"lin","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref3","first-page":"5056","article-title":"Notions of security and opacity in discrete event systems","author":"hadjicostis","year":"2007","journal-title":"2007 46th IEEE Conference on Decision and Control"},{"key":"ref6","author":"cassandras","year":"2009","journal-title":"Introduction to Discrete Event Systems"},{"key":"ref5","first-page":"87","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2003","journal-title":"Advanced Course on Petri Nets"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30821-6"},{"key":"ref7","first-page":"160","article-title":"A Kleene theorem for timed automata","author":"caspi","year":"1997","journal-title":"Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1109\/TAC.2007.904281","article-title":"Marking estimation of Petri nets with silent transitions","volume":"52","author":"seatzu","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"468","DOI":"10.1016\/j.automatica.2017.08.009","article-title":"Decentralized observability of discrete event systems with synchronizations","volume":"85","author":"mahulea","year":"2017","journal-title":"Automatica"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.04.006"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2484359"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2496500"}],"event":{"name":"2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)","location":"Vienna, Austria","start":{"date-parts":[[2020,9,8]]},"end":{"date-parts":[[2020,9,11]]}},"container-title":["2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9210104\/9211869\/09211942.pdf?arnumber=9211942","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T16:02:56Z","timestamp":1656345776000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9211942\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa46521.2020.9211942","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}