{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T05:27:06Z","timestamp":1749619626809,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8618895","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"4845-4850","source":"Crossref","is-referenced-by-count":2,"title":["Verification of Coprognosability in Decentralized Fault Prognosis of Labeled Petri Nets"],"prefix":"10.1109","author":[{"given":"Wenqing","family":"Wu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2499178"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/j.automatica.2016.03.015","article-title":"Decentralized fault prognosis of discrete event systems with guaranteed performance bound","volume":"69","author":"yin","year":"2016","journal-title":"Automatica"},{"key":"ref30","article-title":"Decentralized fault prognosis of discrete-event systems using state-estimate-based protocols","author":"yin","year":"2018","journal-title":"IEEE Transactions on Cybernetics"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.748"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2381437"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.06.022"},{"key":"ref13","first-page":"537","article-title":"Predictability of sequence patterns in discrete event systems","author":"j\u00e9ron","year":"2008","journal-title":"Proc 17th IFAC World Congress"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2012.6265656"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2189563"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034216"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2311760"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3233\/KES-2010-0191"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42972-4_47"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402778"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054111008428"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2756096"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0252-y"},{"key":"ref6","first-page":"417","article-title":"Foundation of diagnosis and predictability in probabilistic systems","author":"bertrand","year":"2014","journal-title":"34th IARCS Annual Conf FSTTCS"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2699278"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-017-0256-7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2200372"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2014.106"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2017.1346835"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/978-3-642-40229-6_5","article-title":"Predictability of event occurrences in timed systems","author":"cassez","year":"2013","journal-title":"Formal Mod Anal Timed Syst"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.automatica.2017.04.028","article-title":"Fault prognosis of timed stochastic discrete event systems with bounded estimation error","volume":"82","author":"ammour","year":"2017","journal-title":"Automatica"},{"key":"ref20","article-title":"Codiagnosability analysis of bounded Petri nets","author":"ran","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2085590"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.104"},{"key":"ref24","first-page":"5009","article-title":"Predictability analysis of distributed discrete event systems","author":"ye","year":"2013","journal-title":"52nd CDC"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173419"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90059-O"},{"key":"ref25","first-page":"201","article-title":"A predictability algorithm for distributed discrete event systems","author":"ye","year":"2015","journal-title":"International Conference on Formal Engineering Methods"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08618895.pdf?arnumber=8618895","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:40:43Z","timestamp":1598229643000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8618895\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/cdc.2018.8618895","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}