{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T19:58:21Z","timestamp":1740167901872,"version":"3.37.3"},"reference-count":29,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,1]],"date-time":"2022-12-01T00:00:00Z","timestamp":1669852800000},"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":["61973175","61773222"],"award-info":[{"award-number":["61973175","61773222"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006606","name":"Tianjin Natural Science Foundation of China","doi-asserted-by":"publisher","award":["20JCYBJC01060","20JCQNJC01450"],"award-info":[{"award-number":["20JCYBJC01060","20JCQNJC01450"]}],"id":[{"id":"10.13039\/501100006606","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Circuits Syst. II"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1109\/tcsii.2022.3194160","type":"journal-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T19:23:29Z","timestamp":1658949809000},"page":"4894-4898","source":"Crossref","is-referenced-by-count":0,"title":["z-Reliable SE-Coprognosability of Discrete Event Systems and an Algebraic State Space Approach to Verification"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5856-6184","authenticated-orcid":false,"given":"Zhou","family":"Yingrui","sequence":"first","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1415-4073","authenticated-orcid":false,"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3984-3120","authenticated-orcid":false,"given":"Yuanhua","family":"Ni","sequence":"additional","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3565-4800","authenticated-orcid":false,"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2021.101073"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2022.3165216"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.05.035"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.10.104"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2499178"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2021.3051260"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2298731"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2925870"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2019.2928474"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2015.2507162"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"1609","DOI":"10.1049\/iet-cta.2013.0096","article-title":"Observability analysis and observer design for finite automata via matrix approach","volume":"7","author":"xu","year":"2013","journal-title":"IET Control Theory Appl"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2020.2967062"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2897272"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2980920"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.06.022"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.03.015"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2034216"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2382991"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2799961"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-019-00307-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3017645"},{"key":"ref22","article-title":"On the sensors construction of large Boolean networks via pinning observability","author":"zhu","year":"2021","journal-title":"IEEE Trans Autom Control"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-020-2981-4"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2015.2404471"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3069739"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2021.02.033"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2020.02.040"}],"container-title":["IEEE Transactions on Circuits and Systems II: Express Briefs"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8920\/9969381\/09843881.pdf?arnumber=9843881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T19:51:47Z","timestamp":1671479507000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9843881\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12]]},"references-count":29,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tcsii.2022.3194160","relation":{},"ISSN":["1549-7747","1558-3791"],"issn-type":[{"type":"print","value":"1549-7747"},{"type":"electronic","value":"1558-3791"}],"subject":[],"published":{"date-parts":[[2022,12]]}}}