{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T06:28:57Z","timestamp":1761719337112,"version":"3.40.3"},"reference-count":35,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100019054","name":"Guangxi Science and Technology Project of China","doi-asserted-by":"publisher","award":["Guike AD23026227"],"award-info":[{"award-number":["Guike AD23026227"]}],"id":[{"id":"10.13039\/501100019054","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Natural Science Foundation of Guangdong Province of China","award":["2022A1515011136","2025A1515012808"],"award-info":[{"award-number":["2022A1515011136","2025A1515012808"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2025]]},"DOI":"10.1109\/access.2025.3554636","type":"journal-article","created":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:47:44Z","timestamp":1742975264000},"page":"54080-54089","source":"Crossref","is-referenced-by-count":1,"title":["Opacity Verification for a Class of Modular Discrete Event Systems"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2684-0617","authenticated-orcid":false,"given":"Jingkai","family":"Yang","sequence":"first","affiliation":[{"name":"School of Mathematics and Statistics, Yulin Normal University, Yulin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7198-1999","authenticated-orcid":false,"given":"Weilin","family":"Deng","sequence":"additional","affiliation":[{"name":"School of Internet Finance and Information Engineering, Guangdong University of Finance, Guangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Using unification for opacity properties","year":"2003","author":"Mazar\u00e9","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2011.2106775"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173774"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.01.002"},{"issue":"6","key":"ref11","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":"1","key":"ref12","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.automatica.2018.10.049","article-title":"Infinite-step opacity and K-step opacity of stochastic discrete-event systems","volume":"99","author":"Yin","year":"2019","journal-title":"Automatica"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.3005335"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TFUZZ.2020.3044359"},{"issue":"1","key":"ref15","doi-asserted-by":"crossref","first-page":"328","DOI":"10.1016\/j.ins.2020.07.017","article-title":"Opacity of networked discrete event systems","volume":"543","author":"Yang","year":"2021","journal-title":"Inf. Sci."},{"issue":"2","key":"ref16","doi-asserted-by":"crossref","first-page":"1577","DOI":"10.1002\/asjc.2956","article-title":"Opacity of discrete-event systems under nondeterministic observation mechanism","volume":"25","author":"Zhang","year":"2023","journal-title":"Asian J. Control"},{"issue":"2","key":"ref17","doi-asserted-by":"crossref","first-page":"614","DOI":"10.1002\/asjc.2570","article-title":"Security and privacy with opacity-based state observation for finite state machine","volume":"24","author":"Zhang","year":"2022","journal-title":"Asian J. Control"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/j.automatica.2018.04.021","article-title":"On-line verification of current-state opacity by Petri nets and integer linear programming","volume":"94","author":"Cong","year":"2018","journal-title":"Automatica"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.isatra.2019.01.023","article-title":"On-line verification of initial-state opacity by Petri nets and integer linear programming","volume":"93","author":"Cong","year":"2019","journal-title":"ISA Trans."},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.108907","article-title":"Current-state opacity modelling and verification in partially observed Petri nets","volume":"116","author":"Saadaoui","year":"2020","journal-title":"Automatica"},{"issue":"6","key":"ref21","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.automatica.2017.01.013","article-title":"Decidability of opacity verification problems in labeled Petri net systems","volume":"80","author":"Tong","year":"2017","journal-title":"Automatica"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/j.automatica.2017.06.013","article-title":"Verification complexity of a class of observational properties for modular discrete events systems","volume":"83","author":"Yin","year":"2017","journal-title":"Automatica"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/j.automatica.2018.12.019","article-title":"Complexity of detectability, opacity and A-diagnosability for modular discrete event systems","volume":"101","author":"Masopust","year":"2019","journal-title":"Automatica"},{"issue":"12","key":"ref25","doi-asserted-by":"crossref","first-page":"78","DOI":"10.3182\/20100830-3-DE-4013.00015","article-title":"Reduced-complexity verification for initial-state opacity in modular discrete event systems","volume":"43","author":"Saboori","year":"2010","journal-title":"IFAC Proc. Volumes"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029367"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/CDC45484.2021.9683017"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2934708"},{"issue":"11","key":"ref29","doi-asserted-by":"crossref","first-page":"3037","DOI":"10.1080\/00207179.2021.1951357","article-title":"Current-state opacity and initial-state opacity of modular discrete event systems","volume":"95","author":"Yang","year":"2022","journal-title":"Int. J. Control"},{"key":"ref30","article-title":"Incremental observer reduction applied to opacity verification and synthesis","author":"Noori-Hosseini","year":"2018","journal-title":"arXiv:1812.08083"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2946165"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2021.109745","article-title":"Compositional synthesis of opacity-preserving finite abstractions for interconnected systems","volume":"131","author":"Liu","year":"2021","journal-title":"Automatica"},{"key":"ref33","doi-asserted-by":"crossref","first-page":"54","DOI":"10.1007\/978-3-030-72274-6","volume-title":"Introduction to Discrete Event Systems","author":"Cassandras","year":"2021"},{"issue":"1","key":"ref34","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF01768479","article-title":"The Cartesian composition of automata","volume":"11","author":"D\u00f6rfler","year":"1977","journal-title":"Math. Syst. Theory"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.automatica.2020.109290","article-title":"Comments on \u2018A new approach for the verification of infinite-step and K-step opacity using two-way observers\u2019 [Automatica 80 (2017) 162\u2013171]","volume":"122","author":"Lan","year":"2020","journal-title":"Automatica"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/10820123\/10938566.pdf?arnumber=10938566","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T00:26:10Z","timestamp":1743639970000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10938566\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/access.2025.3554636","relation":{},"ISSN":["2169-3536"],"issn-type":[{"type":"electronic","value":"2169-3536"}],"subject":[],"published":{"date-parts":[[2025]]}}}