{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:36:01Z","timestamp":1764174961485,"version":"3.37.3"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"7","license":[{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,7,1]],"date-time":"2022-07-01T00:00:00Z","timestamp":1656633600000},"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","award":["61673122"],"award-info":[{"award-number":["61673122"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003453","name":"Natural Science Foundation of Guangdong Province","doi-asserted-by":"publisher","award":["2019A1515010548"],"award-info":[{"award-number":["2019A1515010548"]}],"id":[{"id":"10.13039\/501100003453","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Major Award Training Program of School of Computers of GDUT of China","award":["2016PY01"],"award-info":[{"award-number":["2016PY01"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Cybern."],"published-print":{"date-parts":[[2022,7]]},"DOI":"10.1109\/tcyb.2021.3051260","type":"journal-article","created":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T02:14:24Z","timestamp":1613182464000},"page":"6207-6216","source":"Crossref","is-referenced-by-count":9,"title":["Reliable Co-Prognosability of Decentralized Stochastic Discrete-Event Systems and a Polynomial-Time Verification"],"prefix":"10.1109","volume":"52","author":[{"given":"Hui","family":"Liao","sequence":"first","affiliation":[{"name":"School of Computers, Guangdong University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8941-4239","authenticated-orcid":false,"given":"Fuchun","family":"Liu","sequence":"additional","affiliation":[{"name":"School of Computers, Guangdong University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0287-6156","authenticated-orcid":false,"given":"Rui","family":"Zhao","sequence":"additional","affiliation":[{"name":"School of Computers, Guangdong University of Technology, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Introduction to Probabilistic Automata","year":"1971","author":"Paz","key":"ref1"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-0-387-68612-7"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1016\/j.automatica.2012.06.042"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1109\/TAC.2007.915172"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/TAC.2011.2124950"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/9.412626"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1109\/TAC.2005.844722"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1109\/TSMCA.2005.853503"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1587\/transfun.E97.A.1605"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TAC.2019.2893873"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/TAC.2002.802763"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/TCYB.2014.2347801"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1109\/TAC.2014.2381437"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.3182\/20080706-5-KR-1001.00091"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1016\/j.automatica.2008.06.022"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.automatica.2014.10.104"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.23919\/ChiCC.2018.8484156"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/TAC.2011.2173419"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/TAC.2009.2034216"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/TAC.2010.2085590"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/TSMC.2015.2499178"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/TCYB.2018.2799961"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/TSMCB.2012.2206074"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/j.automatica.2010.06.011"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1109\/3477.875443"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TCYB.2018.2815758"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/TCYB.2017.2668766"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/TCYB.2016.2584087"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/TASE.2016.2604222"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/TAC.2008.921035"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TFUZZ.2014.2362767"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/TCOMM.2018.2867458"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/TASE.2018.2868330"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1615\/Int.J.UncertaintyQuantification.2020030630"}],"container-title":["IEEE Transactions on Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221036\/9814888\/09352541.pdf?arnumber=9352541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:12:42Z","timestamp":1704841962000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9352541\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7]]},"references-count":34,"journal-issue":{"issue":"7"},"URL":"https:\/\/doi.org\/10.1109\/tcyb.2021.3051260","relation":{},"ISSN":["2168-2267","2168-2275"],"issn-type":[{"type":"print","value":"2168-2267"},{"type":"electronic","value":"2168-2275"}],"subject":[],"published":{"date-parts":[[2022,7]]}}}