{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T13:00:28Z","timestamp":1770814828529,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T00:00:00Z","timestamp":1663545600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T00:00:00Z","timestamp":1663545600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"name":"The Walter C. Sumner Foundation","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]},{"name":"Faculty of Engineering and Applied Science, Queen\u2019s University","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10626-022-00365-5","type":"journal-article","created":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T09:03:27Z","timestamp":1663578207000},"page":"611-640","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Using Subobservers to Synthesize Opacity-Enforcing Supervisors"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8822-8848","authenticated-orcid":false,"given":"Richard Hugh","family":"Moulton","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5731-214X","authenticated-orcid":false,"given":"Behnam Behinaein","family":"Hamgini","sequence":"additional","affiliation":[]},{"given":"Zahra Abedi","family":"Khouzani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3567-9685","authenticated-orcid":false,"given":"R\u00f4mulo","family":"Meira-G\u00f3es","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0846-235X","authenticated-orcid":false,"given":"Fei","family":"Wang","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8675-334X","authenticated-orcid":false,"given":"Karen","family":"Rudie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,9,19]]},"reference":[{"issue":"4","key":"365_CR1","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/s10626-007-0020-5","volume":"17","author":"E Badouel","year":"2007","unstructured":"Badouel E, Bednarczyk M, Borzyszkowski A, Caillaud B, Darondeau P (2007) Concurrent secrets. Discrete Event Dyn Syst 17(4):425\u2013446. https:\/\/doi.org\/10.1007\/s10626-007-0020-5","journal-title":"Discrete Event Dyn Syst"},{"key":"365_CR2","doi-asserted-by":"publisher","unstructured":"Ben-Kalefa M, Lin F (2011) Supervisory control for opacity of discrete event systems. In: 49Th annual allerton conference on communication, control, and computing. IEEE, pp 1113\u20131119. https:\/\/doi.org\/10.1109\/Allerton.2011.6120292","DOI":"10.1109\/Allerton.2011.6120292"},{"issue":"6","key":"365_CR3","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s10207-008-0058-x","volume":"7","author":"JW Bryans","year":"2008","unstructured":"Bryans JW, Koutny M, Mazar\u00e9 L, Ryan PY (2008) Opacity generalised to transition systems. Int J Inf Secur 7(6):421\u2013435. https:\/\/doi.org\/10.1007\/s10207-008-0058-x","journal-title":"Int J Inf Secur"},{"key":"365_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"CG Cassandras","year":"2008","unstructured":"Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, Boston. https:\/\/doi.org\/10.1007\/978-0-387-68612-7","edition":"2nd edn."},{"issue":"1","key":"365_CR5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BF02088297","volume":"22","author":"H Cho","year":"1989","unstructured":"Cho H, Marcus SI (1989) Supremal and maximal sublanguages arising in supervisor synthesis problems with partial observations. Math Syst Theory 22(1):177\u2013211. https:\/\/doi.org\/10.1007\/BF02088297","journal-title":"Math Syst Theory"},{"issue":"12","key":"365_CR6","doi-asserted-by":"publisher","first-page":"1921","DOI":"10.1109\/9.182478","volume":"37","author":"SL Chung","year":"1992","unstructured":"Chung SL, Lafortune S, Lin F (1992) Limited lookahead policies in supervisory control of discrete event systems. IEEE Trans Autom Control 37(12):1921\u20131935. https:\/\/doi.org\/10.1109\/9.182478","journal-title":"IEEE Trans Autom Control"},{"issue":"5","key":"365_CR7","doi-asserted-by":"publisher","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","volume":"55","author":"J Dubreil","year":"2010","unstructured":"Dubreil J, Darondeau P, Marchand H (2010) Supervisory control for opacity. IEEE Trans Autom Control 55(5):1089\u20131100. https:\/\/doi.org\/10.1109\/TAC.2010.2042008","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"365_CR8","doi-asserted-by":"publisher","first-page":"419","DOI":"10.1007\/s10626-006-0020-x","volume":"16","author":"L Grigorov","year":"2006","unstructured":"Grigorov L, Rudie K (2006) Near-Optimal Online control of dynamic Discrete-Event systems. Discrete Event Dyn Syst 16(4):419\u2013449. https:\/\/doi.org\/10.1007\/s10626-006-0020-x","journal-title":"Discrete Event Dyn Syst"},{"key":"365_CR9","unstructured":"Hopcroft JE, Ullman JD (1979) Introduction to automata theory languages and computation"},{"key":"365_CR10","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/j.arcontrol.2016.04.015","volume":"41","author":"R Jacob","year":"2016","unstructured":"Jacob R, Lesage JJ, Faure JM (2016) Overview of discrete event systems opacity: models, validation, and quantification. Annu Rev Control 41:135\u2013146. https:\/\/doi.org\/10.1016\/j.arcontrol.2016.04.015","journal-title":"Annu Rev Control"},{"key":"365_CR11","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-642-33475-7_12","volume":"7604","author":"G Jir\u00e1skov\u00e1","year":"2012","unstructured":"Jir\u00e1skov\u00e1 G, Masopust T (2012) On properties and state complexity of deterministic state-partition automata. Lect Notes Comput Sci 7604:164\u2013178. https:\/\/doi.org\/10.1007\/978-3-642-33475-7_12","journal-title":"Lect Notes Comput Sci"},{"issue":"3","key":"365_CR12","doi-asserted-by":"publisher","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","volume":"47","author":"F Lin","year":"2011","unstructured":"Lin F (2011) Opacity of discrete event systems and its applications. Automatica 47(3):496\u2013503. https:\/\/doi.org\/10.1016\/j.automatica.2011.01.002","journal-title":"Automatica"},{"issue":"3","key":"365_CR13","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0020-0255(88)90002-3","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) Decentralized supervisory control of discrete-event systems. Inf Sci 44(3):199\u2013224. https:\/\/doi.org\/10.1016\/0020-0255(88)90002-3","journal-title":"Inf Sci"},{"issue":"3","key":"365_CR14","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1016\/0020-0255(88)90001-1","volume":"44","author":"F Lin","year":"1988","unstructured":"Lin F, Wonham WM (1988) On observability of discrete-event systems. Inf Sci 44(3):173\u2013198. https:\/\/doi.org\/10.1016\/0020-0255(88)90001-1","journal-title":"Inf Sci"},{"key":"365_CR15","unstructured":"Mazar\u00e9 L (2004) Using unification for opacity properties. In: Proceedings of the workshop on issues in the theory of security (WITS\u201904), vol 7, pp 165\u2013176"},{"issue":"1","key":"365_CR16","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"PJ Ramadge","year":"1987","unstructured":"Ramadge PJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230. https:\/\/doi.org\/10.1137\/0325013","journal-title":"SIAM J Control Optim"},{"key":"365_CR17","volume-title":"Discrete mathematics and its applications","author":"KH Rosen","year":"2019","unstructured":"Rosen KH (2019) Discrete mathematics and its applications, 8th edn. New York, McGraw-Hill Education","edition":"8th edn."},{"key":"365_CR18","doi-asserted-by":"publisher","unstructured":"Rudie K (2006) The integrated discrete-event systems tool. 8th international workshop on discrete event systems pp 394\u2013395. https:\/\/doi.org\/10.1109\/WODES.2006.382403","DOI":"10.1109\/WODES.2006.382403"},{"key":"365_CR19","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1109\/WODES.2008.4605967","volume":"08","author":"A Saboori","year":"2008","unstructured":"Saboori A, Hadjicostis CN (2008) Verification of initial-state opacity in security applications of DES. 9th International Workshop on Discrete Event Systems (WODES 08:328\u2013333. https:\/\/doi.org\/10.1109\/WODES.2008.4605967","journal-title":"9th International Workshop on Discrete Event Systems (WODES"},{"issue":"3","key":"365_CR20","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1109\/TASE.2011.2106775","volume":"8","author":"A Saboori","year":"2011","unstructured":"Saboori A, Hadjicostis CN (2011) Verification of K-Step opacity and analysis of its complexity. IEEE Trans Autom Sci Eng 8(3):549\u2013559. https:\/\/doi.org\/10.1109\/TASE.2011.2106775","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"5","key":"365_CR21","doi-asserted-by":"publisher","first-page":"1155","DOI":"10.1109\/TAC.2011.2170453","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori A, Hadjicostis CN (2012) Opacity-enforcing supervisory strategies via state estimator constructions. IEEE Trans Autom Control 57(5):1155\u20131165. https:\/\/doi.org\/10.1109\/TAC.2011.2170453","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"365_CR22","doi-asserted-by":"publisher","first-page":"307","DOI":"10.9746\/jcmsi.1.307","volume":"1","author":"S Takai","year":"2008","unstructured":"Takai S, Oka Y (2008) A formula for the supremal controllable and opaque sublanguage arising in supervisory control. SICE Journal of Control Measurement, and System Integration 1(4):307\u2013311. https:\/\/doi.org\/10.9746\/jcmsi.1.307","journal-title":"SICE Journal of Control Measurement, and System Integration"},{"issue":"2","key":"365_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10626-017-0264-7","volume":"28","author":"Y Tong","year":"2018","unstructured":"Tong Y, Li Z, Seatzu C, Giua A (2018) Current-state opacity enforcement in discrete event systems under incomparable observations. Discrete Event Dyn Syst: Theory Appl 28(2):161\u2013182. https:\/\/doi.org\/10.1007\/s10626-017-0264-7","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"365_CR24","doi-asserted-by":"publisher","unstructured":"Wonham WM, Cai K (2019) Supervisory control of Discrete-Event systems. Communications and control engineering. Springer International Publishing Cham. https:\/\/doi.org\/10.1007\/978-3-319-77452-7","DOI":"10.1007\/978-3-319-77452-7"},{"issue":"3","key":"365_CR25","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10626-012-0145-z","volume":"23","author":"YC Wu","year":"2013","unstructured":"Wu YC, Lafortune S (2013) Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discrete Event Dyn Syst: Theory Appl 23(3):307\u2013339. https:\/\/doi.org\/10.1007\/s10626-012-0145-z","journal-title":"Discrete Event Dyn Syst: Theory Appl"},{"key":"365_CR26","doi-asserted-by":"publisher","unstructured":"Yin X, Lafortune S (2015) A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. In: 2015 American control conference (ACC). IEEE, Chicago, pp 377\u2013383. https:\/\/doi.org\/10.1109\/ACC.2015.7170765","DOI":"10.1109\/ACC.2015.7170765"},{"issue":"8","key":"365_CR27","doi-asserted-by":"publisher","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","volume":"61","author":"X Yin","year":"2016","unstructured":"Yin X, Lafortune S (2016) A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Autom Control 61(8):2140\u20132154. https:\/\/doi.org\/10.1109\/TAC.2015.2484359","journal-title":"IEEE Trans Autom Control"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00365-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-022-00365-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-022-00365-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,11]],"date-time":"2022-11-11T13:27:33Z","timestamp":1668173253000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-022-00365-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,19]]},"references-count":27,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["365"],"URL":"https:\/\/doi.org\/10.1007\/s10626-022-00365-5","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,9,19]]},"assertion":[{"value":"11 February 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 July 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 September 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"<!--Emphasis Type='Bold' removed-->Conflict of Interests"}}]}}