{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T04:04:43Z","timestamp":1772769883395,"version":"3.50.1"},"reference-count":84,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annual Reviews in Control"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1016\/j.arcontrol.2023.100902","type":"journal-article","created":{"date-parts":[[2023,8,2]],"date-time":"2023-08-02T12:45:35Z","timestamp":1690980335000},"page":"100902","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":13,"special_numbering":"C","title":["A unified concurrent-composition method to state\/event inference and concealment in labeled finite-state automata as discrete-event systems"],"prefix":"10.1016","volume":"56","author":[{"given":"Kuize","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/j.arcontrol.2023.100902_b1","article-title":"Structural accessibility and structural observability of nonlinear networked systems","author":"Angulo","year":"2019","journal-title":"IEEE Transactions on Network Science and Engineering"},{"key":"10.1016\/j.arcontrol.2023.100902_b2","series-title":"Principles of model checking","author":"Baier","year":"2008"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b3","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/s10626-021-00344-2","article-title":"Comparing the notions of opacity for discrete-event systems","volume":"31","author":"Balun","year":"2021","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2023.100902_b4","doi-asserted-by":"crossref","unstructured":"Balun, J., & Masopust, T. (2022a). On transformations among opacity notions. In 2022 IEEE international conference on systems, man, and cybernetics (pp. 3012\u20133017a).","DOI":"10.1109\/SMC53654.2022.9945608"},{"key":"10.1016\/j.arcontrol.2023.100902_b5","doi-asserted-by":"crossref","unstructured":"Balun, J., & Masopust, T. (2022b). On verification of weak and strong K-step opacity for discrete-svent systems. In 2022 16th international workshop on discrete event systems.","DOI":"10.1016\/j.automatica.2023.111153"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1561\/2600000024","article-title":"Analysis and control for resilience of discrete event systems: Fault diagnosis, opacity and cyber security","volume":"8","author":"Basilio","year":"2021","journal-title":"Foundations and Trends\u00ae in Systems and Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1877714.1877719","article-title":"The tractability of model checking for LTL: The good, the bad, and the ugly fragments","volume":"12","author":"Bauland","year":"2011","journal-title":"ACM Transactions on Computational Logic"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.3233\/FI-2018-1706","article-title":"The complexity of diagnosability and opacity verification for Petri nets","volume":"161","author":"B\u00e9rard","year":"2018","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/j.arcontrol.2023.100902_b9","series-title":"Model-based testing of reactive systems: Advanced lectures","author":"Broy","year":"2005"},{"issue":"6","key":"10.1016\/j.arcontrol.2023.100902_b10","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","article-title":"Opacity generalised to transition systems","volume":"7","author":"Bryans","year":"2008","journal-title":"International Journal of Information Security"},{"key":"10.1016\/j.arcontrol.2023.100902_b11","series-title":"Proceedings of the 2nd international workshop on security issues with Petri nets and other computational models","first-page":"101","article-title":"Modelling opacity using Petri nets","volume":"vol. 121","author":"Bryans","year":"2005"},{"issue":"12","key":"10.1016\/j.arcontrol.2023.100902_b12","doi-asserted-by":"crossref","first-page":"3104","DOI":"10.1109\/TAC.2012.2200372","article-title":"A new approach for diagnosability analysis of Petri nets using verifier nets","volume":"57","author":"Cabasino","year":"2012","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b13","doi-asserted-by":"crossref","unstructured":"Caines, P. E., Greiner, R., & Wang, S. (1988). Dynamical logic observers for finite automata. In Proceedings of the 27th IEEE conference on decision and control, vol. 1 (pp. 226\u2013233).","DOI":"10.1109\/CDC.1988.194300"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b14","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1093\/imamci\/8.1.45","article-title":"Classical and logic-based dynamic observers for finite automata","volume":"8","author":"Caines","year":"1991","journal-title":"IMA Journal of Mathematical Control and Information"},{"key":"10.1016\/j.arcontrol.2023.100902_b15","series-title":"Introduction to discrete event systems","author":"Cassandras","year":"2008"},{"key":"10.1016\/j.arcontrol.2023.100902_b16","series-title":"Advances in information security and assurance","first-page":"21","article-title":"The dark side of timed opacity","author":"Cassez","year":"2009"},{"key":"10.1016\/j.arcontrol.2023.100902_b17","series-title":"Automated technology for verification and analysis","first-page":"352","article-title":"Dynamic observers for the synthesis of opaque systems","author":"Cassez","year":"2009"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b18","first-page":"497","article-title":"Fault diagnosis with static and dynamic observers","volume":"88","author":"Cassez","year":"2008","journal-title":"Fundamenta Informaticae"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b19","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/BF00206326","article-title":"The dining cryptographers problem: Unconditional sender and recipient untraceability","volume":"1","author":"Chaum","year":"1988","journal-title":"Journal of Cryptology"},{"key":"10.1016\/j.arcontrol.2023.100902_b20","series-title":"Algebraic methods for nonlinear control systems","author":"Conte","year":"2007"},{"key":"10.1016\/j.arcontrol.2023.100902_b21","doi-asserted-by":"crossref","unstructured":"Fabre, E. (2022). Resilience in discrete event systems. In 16th IFAC workshop on discrete event systems, vol. 55 (pp. 250\u2013255).","DOI":"10.1016\/j.ifacol.2022.10.350"},{"key":"10.1016\/j.arcontrol.2023.100902_b22","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","article-title":"Enforcement and validation (at runtime) of various notions of opacity","volume":"25","author":"Falcone","year":"2015","journal-title":"Discrete Event Dynamic Systems: Theory & Applications"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b23","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/j.automatica.2008.06.022","article-title":"Predictability of event occurrences in partially-observed discrete-event systems","volume":"45","author":"Genc","year":"2009","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b24","series-title":"Introduction to theory of finite-state machines","author":"Gill","year":"1962"},{"key":"10.1016\/j.arcontrol.2023.100902_b25","doi-asserted-by":"crossref","unstructured":"G\u00f3es, R. M., Rawlings, B. C., Recker, N., Willett, G., & Lafortune, S. (2018). Demonstration of indoor location privacy enforcement using obfuscation. In 14th IFAC workshop on discrete event systems, vol. 51 (pp. 145\u2013151).","DOI":"10.1016\/j.ifacol.2018.06.293"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b26","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.jcss.2016.04.007","article-title":"Optimal constructions for active diagnosis","volume":"83","author":"Haar","year":"2017","journal-title":"Journal of Computer and System Sciences"},{"key":"10.1016\/j.arcontrol.2023.100902_b27","series-title":"40th IARCS annual conference on foundations of software technology and theoretical computer science","first-page":"48:1","article-title":"Active prediction for discrete event systems","volume":"vol. 182","author":"Haar","year":"2020"},{"key":"10.1016\/j.arcontrol.2023.100902_b28","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110756","article-title":"Strong current-state and initial-state opacity of discrete-event systems","volume":"148","author":"Han","year":"2023","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b29","series-title":"Communications and control engineering","author":"Isidori. Nonlinear Control Systems","year":"1995"},{"issue":"8","key":"10.1016\/j.arcontrol.2023.100902_b30","doi-asserted-by":"crossref","first-page":"1318","DOI":"10.1109\/9.940942","article-title":"A polynomial algorithm for testing diagnosability of discrete-event systems","volume":"46","author":"Jiang","year":"2001","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b31","doi-asserted-by":"crossref","unstructured":"Kalman, R. E. (1960). On the general theory of control systems. In 1st international IFAC congress on automatic and remote control, vol. 1 (pp. 491\u2013502).","DOI":"10.1016\/S1474-6670(17)70094-8"},{"issue":"12","key":"10.1016\/j.arcontrol.2023.100902_b32","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1137\/0301010","article-title":"Mathematical description of linear dynamical systems","volume":"1","author":"Kalman","year":"1963","journal-title":"Journal of the Society for Industrial and Applied Mathematics Series A Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b33","series-title":"Input and state observability of network systems with a single unknown input, 49","first-page":"37","author":"Kibangou","year":"2016"},{"key":"10.1016\/j.arcontrol.2023.100902_b34","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.arcontrol.2018.04.002","article-title":"On the history of diagnosability and opacity in discrete event systems","volume":"45","author":"Lafortune","year":"2018","journal-title":"Annual Reviews in Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b35","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/BF01441211","article-title":"Diagnosability of discrete event systems and its applications","volume":"4","author":"Lin","year":"1994","journal-title":"Discrete Event Dynamic Systems"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b36","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","article-title":"Opacity of discrete event systems and its applications","volume":"47","author":"Lin","year":"2011","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b37","article-title":"An improved approach for verifying delayed detectability of discrete-event systems","author":"Liu","year":"2020","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b38","unstructured":"Liu, Z., Yin, X., & Li, S. (2019). Improved approaches for verifying I-detectability of discrete-event systems. In 2019 12th Asian control conference (pp. 248\u2013253)."},{"key":"10.1016\/j.arcontrol.2023.100902_b39","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109838","article-title":"Verification and enforcement of strong infinite- and K-step opacity using state recognizers","volume":"133","author":"Ma","year":"2021","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b40","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/j.automatica.2018.03.077","article-title":"Complexity of deciding detectability in discrete event systems","volume":"93","author":"Masopust","year":"2018","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b41","unstructured":"Mazar\u00e9, L. (2004). Using unification for opacity properties. In Proceedings of the workshop on issues in the theory of security (pp. 165\u2013176)."},{"key":"10.1016\/j.arcontrol.2023.100902_b42","first-page":"129","article-title":"Gedanken-experiments on sequential machines","volume":"34","author":"Moore","year":"1956","journal-title":"Automata Studies, Annals of Mathematics Studies"},{"issue":"7","key":"10.1016\/j.arcontrol.2023.100902_b43","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1109\/9.57018","article-title":"Observability of discrete event dynamic systems","volume":"35","author":"\u00d6zveren","year":"1990","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b44","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The temporal logic of programs. In 18th annual symposium on foundations of computer science (pp. 46\u201357).","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.1016\/j.arcontrol.2023.100902_b45","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1109\/TSMCA.2005.853503","article-title":"Decentralized failure diagnosis of discrete event systems","volume":"36","author":"Qiu","year":"2006","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b46","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1147\/rd.32.0114","article-title":"Finite automata and their decision problems","volume":"3","author":"Rabin","year":"1959","journal-title":"IBM Journal of Research and Development"},{"key":"10.1016\/j.arcontrol.2023.100902_b47","doi-asserted-by":"crossref","unstructured":"Ramadge, P. J. (1986). Observability of discrete event systems. In 1986 25th IEEE conference on decision and control (pp. 1108\u20131112).","DOI":"10.1109\/CDC.1986.267551"},{"key":"10.1016\/j.arcontrol.2023.100902_b48","series-title":"Verification and enforcement of state-based notions of opacity in discrete event systems","author":"Saboori","year":"2010"},{"key":"10.1016\/j.arcontrol.2023.100902_b49","doi-asserted-by":"crossref","unstructured":"Saboori, A., & Hadjicostis, C. N. (2007). Notions of security and opacity in discrete event systems. In 2007 46th IEEE conference on decision and control (pp. 5056\u20135061).","DOI":"10.1109\/CDC.2007.4434515"},{"key":"10.1016\/j.arcontrol.2023.100902_b50","doi-asserted-by":"crossref","unstructured":"Saboori, A., & Hadjicostis, C. N. (2009). Verification of K-step opacity and analysis of its complexity. In Proceedings of the 48h IEEE conference on decision and control (CDC) held jointly with 2009 28th Chinese control conference (pp. 205\u2013210).","DOI":"10.1109\/CDC.2009.5400083"},{"issue":"5","key":"10.1016\/j.arcontrol.2023.100902_b51","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1109\/TAC.2011.2173774","article-title":"Verification of infinite-step opacity and complexity considerations","volume":"57","author":"Saboori","year":"2012","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b52","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.ins.2013.05.033","article-title":"Verification of initial-state opacity in security applications of discrete event systems","volume":"246","author":"Saboori","year":"2013","journal-title":"Information Sciences"},{"issue":"9","key":"10.1016\/j.arcontrol.2023.100902_b53","doi-asserted-by":"crossref","first-page":"1555","DOI":"10.1109\/9.412626","article-title":"Diagnosability of discrete-event systems","volume":"40","author":"Sampath","year":"1995","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b54","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s10626-018-0268-y","article-title":"Detectability of networked discrete event systems","volume":"28","author":"Sasi","year":"2018","journal-title":"Discrete Event Dynamic Systems"},{"issue":"5","key":"10.1016\/j.arcontrol.2023.100902_b55","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1016\/j.sysconle.2011.02.001","article-title":"Generalized detectability for discrete event systems","volume":"60","author":"Shu","year":"2011","journal-title":"Systems & Control Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b56","doi-asserted-by":"crossref","first-page":"862","DOI":"10.1109\/TAC.2012.2224255","article-title":"Delayed detectability of discrete event systems","volume":"58","author":"Shu","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b57","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1109\/TASE.2012.2215959","article-title":"I-detectability of discrete-event systems","volume":"10","author":"Shu","year":"2013","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"12","key":"10.1016\/j.arcontrol.2023.100902_b58","doi-asserted-by":"crossref","first-page":"2356","DOI":"10.1109\/TAC.2007.910713","article-title":"Detectability of discrete event systems","volume":"52","author":"Shu","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b59","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.arcontrol.2018.03.004","article-title":"On the history of discrete event systems","volume":"45","author":"Silva","year":"2018","journal-title":"Annual Reviews in Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b60","series-title":"Introduction to the theory of computation","author":"Sipser","year":"1996"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b61","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/3828.3837","article-title":"The complexity of propositional linear temporal logics","volume":"32","author":"Sistla","year":"1985","journal-title":"Journal of the ACM"},{"key":"10.1016\/j.arcontrol.2023.100902_b62","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1137\/0317011","article-title":"On the observability of polynomial systems, I: Finite-time problems","volume":"17","author":"Sontag","year":"1979","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"4","key":"10.1016\/j.arcontrol.2023.100902_b63","doi-asserted-by":"crossref","first-page":"891","DOI":"10.1109\/TAC.2012.2224257","article-title":"Observability for switched linear systems: characterization and observer design","volume":"58","author":"Tanwani","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b64","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10626-017-0264-7","article-title":"Current-state opacity enforcement in discrete event systems under incomparable observations","volume":"28","author":"Tong","year":"2018","journal-title":"Discrete Event Dynamic Systems"},{"issue":"2","key":"10.1016\/j.arcontrol.2023.100902_b65","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10626-021-00357-x","article-title":"A general language-based framework for specifying and verifying notions of opacity","volume":"32","author":"Wintenberg","year":"2022","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2023.100902_b66","series-title":"Linear multivariable control: A geometric approach","author":"Wonham","year":"1985"},{"key":"10.1016\/j.arcontrol.2023.100902_b67","series-title":"Supervisory control of discrete-event systems","author":"Wonham","year":"2019"},{"key":"10.1016\/j.arcontrol.2023.100902_b68","series-title":"Verification and enforcement of opacity security properties in discrete event systems","author":"Wu","year":"2014"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b69","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10626-012-0145-z","article-title":"Comparative analysis of related notions of opacity in centralized and coordinated architectures","volume":"23","author":"Wu","year":"2013","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2023.100902_b70","series-title":"NASA formal methods","first-page":"133","article-title":"Obfuscator synthesis for privacy and utility","author":"Wu","year":"2016"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b71","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10817-017-9420-x","article-title":"Synthesis of obfuscation policies to ensure privacy and utility","volume":"60","author":"Wu","year":"2018","journal-title":"Journal of Automated Reasoning"},{"key":"10.1016\/j.arcontrol.2023.100902_b72","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.automatica.2017.02.037","article-title":"A new approach for the verification of infinite-step and K-step opacity using two-way observers","volume":"80","author":"Yin","year":"2017","journal-title":"Automatica"},{"issue":"9","key":"10.1016\/j.arcontrol.2023.100902_b73","doi-asserted-by":"crossref","first-page":"1491","DOI":"10.1109\/TAC.2002.802763","article-title":"Polynomial-time verification of diagnosability of partially observed discrete-event systems","volume":"47","author":"Yoo","year":"2002","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b74","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/j.automatica.2017.03.023","article-title":"The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete","volume":"81","author":"Zhang","year":"2017","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2023.100902_b75","doi-asserted-by":"crossref","first-page":"339","DOI":"10.3233\/FI-2021-2062","article-title":"A unified method to decentralized state detection and fault diagnosis\/prediction of discrete-event systems","volume":"181","author":"Zhang","year":"2021","journal-title":"Fundamenta Informaticae"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b76","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/s10626-022-00362-8","article-title":"Detectability of labeled weighted automata over monoids","volume":"32","author":"Zhang","year":"2022","journal-title":"Discrete Event Dynamic Systems"},{"issue":"1","key":"10.1016\/j.arcontrol.2023.100902_b77","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1109\/TAC.2021.3140111","article-title":"Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems","volume":"68","author":"Zhang","year":"2023","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2023.100902_b78","doi-asserted-by":"crossref","first-page":"1518","DOI":"10.1109\/LCSYS.2023.3273472","article-title":"Removing two fundamental assumptions in verifying strong periodic (D-)detectability of discrete-dvent systems","volume":"7","author":"Zhang","year":"2023","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2023.100902_b79","doi-asserted-by":"crossref","unstructured":"Zhang, K., & Feng, L. (2020). Revisiting strong detectability of networked discrete-event systems. In 15th IFAC workshop on discrete event systems, vol. 53 (pp. 21\u201327).","DOI":"10.1016\/j.ifacol.2021.04.002"},{"key":"10.1016\/j.arcontrol.2023.100902_b80","doi-asserted-by":"crossref","unstructured":"Zhang, K., & Giua, A. (2019). K-delayed strong detectability of discrete-event systems. In Proceedings of the 58th IEEE conference on decision and control (pp. 7647\u20137652).","DOI":"10.1109\/CDC40024.2019.9028873"},{"issue":"3","key":"10.1016\/j.arcontrol.2023.100902_b81","doi-asserted-by":"crossref","first-page":"465","DOI":"10.1007\/s10626-020-00311-3","article-title":"On detectability of labeled Petri nets and finite automata","volume":"30","author":"Zhang","year":"2020","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2023.100902_b82","doi-asserted-by":"crossref","unstructured":"Zhang, T., & Zhang, K. (2022). Eventual strong detectability of labeled weighted automata over monoids. In 16th IFAC workshop on discrete event systems, vol. 55 (pp. 270\u2013275).","DOI":"10.1016\/j.ifacol.2022.10.353"},{"key":"10.1016\/j.arcontrol.2023.100902_b83","series-title":"Communications and control engineering","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-030-25972-3_2","article-title":"Discrete-time and discrete-space dynamical systems","author":"Zhang","year":"2020"},{"key":"10.1016\/j.arcontrol.2023.100902_b84","series-title":"A unified framework for verification of observational properties for partially-observed discrete-event systems","author":"Zhao","year":"2022"}],"container-title":["Annual Reviews in Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1367578823000664?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S1367578823000664?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,24]],"date-time":"2025-10-24T02:10:55Z","timestamp":1761271855000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S1367578823000664"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":84,"alternative-id":["S1367578823000664"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.arcontrol.2023.100902","relation":{},"ISSN":["1367-5788"],"issn-type":[{"value":"1367-5788","type":"print"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"A unified concurrent-composition method to state\/event inference and concealment in labeled finite-state automata as discrete-event systems","name":"articletitle","label":"Article Title"},{"value":"Annual Reviews in Control","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.arcontrol.2023.100902","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2023 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"100902"}}