{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T19:01:41Z","timestamp":1777489301603,"version":"3.51.4"},"reference-count":36,"publisher":"Informa UK Limited","issue":"11","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61876195"],"award-info":[{"award-number":["61876195"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61572532"],"award-info":[{"award-number":["61572532"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003453","name":"Natural Science Foundation of Guangdong Province of China","doi-asserted-by":"publisher","award":["2017B030311011"],"award-info":[{"award-number":["2017B030311011"]}],"id":[{"id":"10.13039\/501100003453","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003453","name":"Natural Science Foundation of Guangdong Province of China","doi-asserted-by":"publisher","award":["2017A030310583"],"award-info":[{"award-number":["2017A030310583"]}],"id":[{"id":"10.13039\/501100003453","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010226","name":"Characteristic Innovation Projects of Education Department of Guangdong Province of China","doi-asserted-by":"publisher","award":["2019KTSCX113"],"award-info":[{"award-number":["2019KTSCX113"]}],"id":[{"id":"10.13039\/501100010226","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Project of Improving the Basic Scientific Research Ability of Young and middle-aged Teachers in Guangxi Universities","award":["2021KY0591"],"award-info":[{"award-number":["2021KY0591"]}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2022,11,2]]},"DOI":"10.1080\/00207179.2021.1951357","type":"journal-article","created":{"date-parts":[[2021,7,3]],"date-time":"2021-07-03T04:31:18Z","timestamp":1625286678000},"page":"3037-3049","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":6,"title":["Current-state opacity and initial-state opacity of modular discrete event systems"],"prefix":"10.1080","volume":"95","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2684-0617","authenticated-orcid":false,"given":"Jingkai","family":"Yang","sequence":"first","affiliation":[{"name":"Institute of Quantum Computing and Computer Theory, School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, People's Republic of China"},{"name":"Guangdong Key Laboratory of Information Security Technology, Sun Yat-sen University, Guangzhou, People's Republic of China"},{"name":"School of Mathematics and Statistics, Yulin Normal University, Yulin, People's Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weilin","family":"Deng","sequence":"additional","affiliation":[{"name":"School of Internet Finance and Information Engineering, Guangdong University of Finance, Guangzhou, People's Republic of China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daowen","family":"Qiu","sequence":"additional","affiliation":[{"name":"Institute of Quantum Computing and Computer Theory, School of Computer Science and Engineering, Sun Yat-sen University, Guangzhou, People's Republic of China"},{"name":"Guangdong Key Laboratory of Information Security Technology, Sun Yat-sen University, Guangzhou, People's Republic of China"},{"name":"Instituto de Telecomunica\u00e7\u00f5es, Departamento de Matem\u00e1tica, Instituto Superior T\u00e9cnico, Lisbon, Portugal"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2022,11,16]]},"reference":[{"key":"CIT0001","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.10.010"},{"key":"CIT0002","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.04.021"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1016\/j.isatra.2019.01.023"},{"key":"CIT0005","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-6177-5"},{"key":"CIT0006","first-page":"1","author":"Deng W. L.","year":"2020","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"CIT0007","first-page":"1","author":"Deng W. L.","year":"2020","journal-title":"IEEE Transactions on Fuzzy Systems"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2018.1479537"},{"key":"CIT0009","unstructured":"Hosseini, M. N., Lennartson, B. & Hadjicostis, C. N. (2018). Incremental observer reduction applied to opacity verification and synthesis. arXiv, 2018."},{"key":"CIT0010","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2018.1523566"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2018.04.002"},{"key":"CIT0013","doi-asserted-by":"crossref","unstructured":"Liu, S. Y. & Zamani, M. (2020). Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. arXiv, 2020.","DOI":"10.1016\/j.automatica.2021.109745"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.12.019"},{"key":"CIT0015","unstructured":"Mazar\u00e9, L. (2004). Using unification for opacity properties (Verimag Tech. Rep.)."},{"key":"CIT0016","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2946165"},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2934708"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315028"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2020.108907"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.3182\/20100830-3-DE-4013.00015"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2106775"},{"key":"CIT0023","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2173774"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2013.05.033"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2279914"},{"key":"CIT0026","volume-title":"Control of discrete-event systems: Automata and Petri net perspectives","author":"Seatzu C.","year":"2012"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029367"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.01.013"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2620429"},{"key":"CIT0030","volume-title":"Supervisory control of discrete-event systems","author":"Wonham W. M.","year":"2018"},{"key":"CIT0031","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0145-z"},{"key":"CIT0032","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2020.07.017"},{"key":"CIT0033","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.02.037"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2017.06.013"},{"key":"CIT0035","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.10.049"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2017.1403049"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207179.2021.1951357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T11:26:36Z","timestamp":1668597996000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207179.2021.1951357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,2]]},"references-count":36,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2022,11,2]]}},"alternative-id":["10.1080\/00207179.2021.1951357"],"URL":"https:\/\/doi.org\/10.1080\/00207179.2021.1951357","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,2]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2020-12-22","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-06-29","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-11-16","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}