{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:42:21Z","timestamp":1730209341391,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"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":[[2019,4]]},"DOI":"10.1109\/codit.2019.8820433","type":"proceedings-article","created":{"date-parts":[[2019,9,3]],"date-time":"2019-09-03T01:09:32Z","timestamp":1567472972000},"page":"1061-1066","source":"Crossref","is-referenced-by-count":3,"title":["A Two-Step Approach for Fault Diagnosis of Max-Plus Automata"],"prefix":"10.1109","author":[{"given":"Aiwen","family":"Lai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Lahaye","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":"publisher","DOI":"10.1109\/TAC.2009.2014932"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.06.039"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2363916"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.06.013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.12.010"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2289360"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2699278"},{"key":"ref17","first-page":"2542","article-title":"A polynomial algorithm for checking diagnosability of Petri nets","volume":"3","author":"wen","year":"2005","journal-title":"Proceedings of IEEE International Conference on Systems Man and Cybernetics"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2006.872122"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.07.021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45739-9_14"},{"key":"ref3","first-page":"31","article-title":"Modeling and diagnosis of timed discrete event systems-A factory automation example","volume":"1","author":"chen","year":"0","journal-title":"American Control Conference Albuquerque NM"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF01441211"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31982-5_14"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"1010","DOI":"10.1109\/TAC.2005.851444","article-title":"Fault diagnosis in discrete-event systems: Incorporating timing information","volume":"50","author":"zad","year":"2005","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.814099"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.412626"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2005.860249"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2013.09.009"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811249"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2017.2726108"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2046106"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"1992","author":"baccelli","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2019.03.003"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/9.478227"}],"event":{"name":"2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)","start":{"date-parts":[[2019,4,23]]},"location":"Paris, France","end":{"date-parts":[[2019,4,26]]}},"container-title":["2019 6th International Conference on Control, Decision and Information Technologies (CoDIT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8806019\/8820291\/08820433.pdf?arnumber=8820433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:05Z","timestamp":1658261885000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8820433\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/codit.2019.8820433","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}