{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T15:36:01Z","timestamp":1784129761235,"version":"3.55.0"},"reference-count":41,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2015,4,1]],"date-time":"2015-04-01T00:00:00Z","timestamp":1427846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Sardinia Regional Government and Post Doc fellowship (P.O.R. Sardegna F.S.E. Operational Programme of the Autonomous Region of Sardinia, European Social Fund 2007\u20132013-Axis IV Human Resources, Objective l.3, Line of Activity l.3.1.)"},{"name":"Cyprus Research Promotion Foundation (CRPF) Framework Programme for Research, Technological Development and Innovation 2009\u20132010 (CRPF's FP 2009\u20132010), co-funded by the Republic of Cyprus and the European Regional Development Fund, and specifically under Grant T\u03a0E\/OPIZO\/0609(BE)\/08"},{"name":"RAS project (L.R. n. 7\/2007, Year 2010)"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/tac.2014.2363916","type":"journal-article","created":{"date-parts":[[2014,10,20]],"date-time":"2014-10-20T18:28:28Z","timestamp":1413829708000},"page":"997-1009","source":"Crossref","is-referenced-by-count":126,"title":["State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions"],"prefix":"10.1109","volume":"60","author":[{"given":"Francesco","family":"Basile","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Maria Paola","family":"Cabasino","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carla","family":"Seatzu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.195"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.12.005"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2005.12.021"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-8133-9"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2290314"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.04.041"},{"key":"ref36","article-title":"K-diagnosability of time labeled Petri nets","author":"basile","year":"0","journal-title":"Proc IFAC WODES'14 12th Work Discrete Event Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200372"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref10","first-page":"2871","article-title":"Observer design for discrete event systems modeled by interpreted Petri nets","author":"ramirez-trevi\u00f1o","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref40","article-title":"Comparison of different semantics for time Petri nets","author":"b\u00e9rard","year":"0","journal-title":"Proc 3rd Int Conf Automated Technol Verification Anal"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/9.940942"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802763"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"ref14","first-page":"497","article-title":"Fault diagnosis with static and dynamic observers","volume":"88","author":"cassez","year":"2008","journal-title":"Fundam Inform"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2014932"},{"key":"ref16","article-title":"Fault detection of discrete event systems using Petri nets and integer linear programming","author":"dotoli","year":"0","journal-title":"Proc 17th IFAC World Congress"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.879916"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2203050"},{"key":"ref19","article-title":"Diagnosis of labeled time Petri nets using time interval splitting","author":"liu","year":"0","journal-title":"Proc 19th IFAC World Congress"},{"key":"ref28","article-title":"Fault diagnosis graph of time Petri nets","author":"wang","year":"0","journal-title":"Proc Eur Control Conf (ECC'13)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648063"},{"key":"ref27","article-title":"On state estimation of Timed Choice-Free Petri Nets","author":"wang","year":"0","journal-title":"Proc 18th IFAC World Congress"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6647939"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2002.802769"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1986.267551"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1531","DOI":"10.1016\/j.automatica.2010.06.013","article-title":"Fault detection for discrete event systems using Petri nets with unobservable transitions","volume":"46","author":"cabasino","year":"2010","journal-title":"Automatica"},{"key":"ref2","author":"merlin","year":"1974","journal-title":"A study of the recoverability of computing systems"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1007\/3-540-48745-X_12","article-title":"Monitoring discrete event systems using Petri net embeddings","volume":"1639","author":"hadjicostis","year":"1999","journal-title":"Lecture Notes in Computer Science"},{"key":"ref1","author":"ramchandani","year":"1974","journal-title":"Analysis of asynchronous concurrent systems by timed Petri nets"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/9.272327"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-45739-9_14","article-title":"Fault diagnosis for timed automata","volume":"2469","author":"tripakis","year":"2002","journal-title":"Lecture Notes Comp Sci"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.851444"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717696"},{"key":"ref41","volume":"433","author":"seatzu","year":"2012","journal-title":"Control of Discrete-Event Systems Automata and Petri Net Perspectives"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_3"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0060-0"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.matcom.2005.11.003"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/7064679\/06930794.pdf?arnumber=6930794","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:40:56Z","timestamp":1642005656000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6930794\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":41,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tac.2014.2363916","relation":{},"ISSN":["0018-9286","1558-2523"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4]]}}}