{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T15:33:48Z","timestamp":1770392028688,"version":"3.49.0"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:00:00Z","timestamp":1770336000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T00:00:00Z","timestamp":1770336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61203040"],"award-info":[{"award-number":["61203040"]}],"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":["61973130"],"award-info":[{"award-number":["61973130"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Science and Technology Association Projection of Quanzhou"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2026,12]]},"DOI":"10.1007\/s10626-026-00429-w","type":"journal-article","created":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:52:27Z","timestamp":1770353547000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimal control strategy for k-level opaque systems based on the optimization method of multi-selection problems at each stage"],"prefix":"10.1007","volume":"36","author":[{"given":"Yinyin","family":"Dai","sequence":"first","affiliation":[]},{"given":"Fei","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Jiliang","family":"Luo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,2,6]]},"reference":[{"issue":"4","key":"429_CR1","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/s10626-021-00344-2","volume":"31","author":"J Balun","year":"2021","unstructured":"Balun J, Masopust T (2021) Comparing the notions of opacity for discrete-event systems. Discrete Event Dyn Syst Theory Appl 31(4):553\u2013582. https:\/\/doi.org\/10.1007\/s10626-021-00344-2","journal-title":"Discrete Event Dyn Syst Theory Appl"},{"key":"429_CR2","doi-asserted-by":"publisher","unstructured":"Balun J, Masopust T (2023) Verifying weak and strong k-step opacity in discrete-event systems. Automatica 155. https:\/\/doi.org\/10.1016\/j.automatica.2023.111153","DOI":"10.1016\/j.automatica.2023.111153"},{"issue":"4","key":"429_CR3","doi-asserted-by":"publisher","first-page":"1960","DOI":"10.1109\/TASE.2019.2917136","volume":"16","author":"B Behinaein","year":"2019","unstructured":"Behinaein B, Lin F, Rudie K (2019) Optimal information release for mixed opacity in discrete-event systems. IEEE Trans Autom Sci Eng 16(4):1960\u20131970","journal-title":"IEEE Trans Autom Sci Eng"},{"issue":"5\u20138","key":"429_CR4","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1080\/01969722.2016.1187032","volume":"47","author":"M Ben-Kalefa","year":"2016","unstructured":"Ben-Kalefa M, Lin F (2016) Opaque superlanguages and sublanguages in discrete event systems. Cybern Syst 47(5\u20138):392\u2013426","journal-title":"Cybern Syst"},{"key":"429_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/j.entcs.2004.10.010","volume":"121","author":"JW Bryans","year":"2005","unstructured":"Bryans JW, Koutny M, Ryan PY (2005) Modelling opacity using petri nets. Electr Notes Theor Comput Sci 121:101\u2013115. https:\/\/doi.org\/10.1016\/j.entcs.2004.10.010","journal-title":"Electr Notes Theor Comput Sci"},{"key":"429_CR6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to discrete event systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras C, Lafortune S (2008) Introduction to discrete event systems. Springer"},{"issue":"1","key":"429_CR7","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/s10703-012-0141-9","volume":"40","author":"F Cassez","year":"2012","unstructured":"Cassez F, Dubreil J, Marchand H (2012) Synthesis of opaque systems with static and dynamic masks. Form Methods Syst Des 40(1):88\u2013115. https:\/\/doi.org\/10.1007\/s10703-012-0141-9","journal-title":"Form Methods Syst Des"},{"key":"429_CR8","doi-asserted-by":"crossref","unstructured":"Dai Y, Wang F, Luo J (2024) Optimal opacity-enforcing supervisory control of discrete event systems on choosing cost. Appl Sci (2076-3417) 14(6)","DOI":"10.3390\/app14062532"},{"issue":"5","key":"429_CR9","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","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"429_CR10","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","volume":"25","author":"Y Falcone","year":"2015","unstructured":"Falcone Y, Marchand H (2015) Enforcement and validation (at runtime) of various notions of opacity. Discrete Event Dyn Syst 25(4):531\u2013570","journal-title":"Discrete Event Dyn Syst"},{"key":"429_CR11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110238","author":"J Hou","year":"2022","unstructured":"Hou J, Yin X, Li S (2022) A framework for current-state opacity under dynamic information release mechanism. Automatica. https:\/\/doi.org\/10.1016\/j.automatica.2022.110238","journal-title":"Automatica"},{"issue":"1","key":"429_CR12","doi-asserted-by":"publisher","first-page":"65","DOI":"10.3934\/jimo.2005.1.65","volume":"1","author":"Q Hu","year":"2017","unstructured":"Hu Q, Yue W (2017) Two new optimal models for controlling discrete event systems. J Ind Manag Optim 1(1):65\u201380","journal-title":"J Ind Manag Optim"},{"key":"429_CR13","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.automatica.2018.03.041","volume":"93","author":"Y Ji","year":"2018","unstructured":"Ji Y, Wu YC, Lafortune S (2018) Enforcement of opacity by public and private insertion functions. Automatica 93:369\u2013378","journal-title":"Automatica"},{"key":"429_CR14","doi-asserted-by":"publisher","unstructured":"Ji Y, Yin X, Lafortune S (2019a) Enforcing opacity by insertion functions under multiple energy constraints. Automatica 108. https:\/\/doi.org\/10.1016\/j.automatica.2019.06.028","DOI":"10.1016\/j.automatica.2019.06.028"},{"issue":"10","key":"429_CR15","doi-asserted-by":"publisher","first-page":"4369","DOI":"10.1109\/TAC.2019.2897553","volume":"64","author":"Y Ji","year":"2019","unstructured":"Ji Y, Yin X, Lafortune S (2019b) Opacity enforcement using nondeterministic publicly-known edit functions. IEEE Trans Autom Control 64(10):4369\u20134376","journal-title":"IEEE Trans Autom Control"},{"key":"429_CR16","unstructured":"Khouzani ZA (2019) Optimal payoff to ensure opacity in discrete-event systems. Queen\u2019s University"},{"issue":"11","key":"429_CR17","doi-asserted-by":"publisher","first-page":"6797","DOI":"10.1109\/TAC.2023.3239433","volume":"68","author":"X Li","year":"2023","unstructured":"Li X, Hadjicostis CN, Li Z (2023) Opacity enforcement in discrete event systems using extended insertion functions under inserted language constraints. IEEE Trans Autom Control 68(11):6797\u20136803. https:\/\/doi.org\/10.1109\/TAC.2023.3239433","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"429_CR18","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","journal-title":"Automatica"},{"key":"429_CR19","doi-asserted-by":"publisher","unstructured":"Liu R, Lu J (2022) Enforcement for infinite-step opacity and k-step opacity via insertion mechanism. Automatica 140. https:\/\/doi.org\/10.1016\/j.automatica.2022.110212","DOI":"10.1016\/j.automatica.2022.110212"},{"key":"429_CR20","doi-asserted-by":"publisher","unstructured":"Ma Z, Yin X, Li Z (2021) Verification and enforcement of strong infinite- and k-step opacity using state recognizers. Automatica 133. https:\/\/doi.org\/10.1016\/j.automatica.2021.109838","DOI":"10.1016\/j.automatica.2021.109838"},{"issue":"1","key":"429_CR21","doi-asserted-by":"publisher","first-page":"3349","DOI":"10.1109\/TAC.2019.2912484","volume":"65","author":"T Masopust","year":"2020","unstructured":"Masopust T (2020) Critical observability for automata and petri nets. IEEE Trans Autom Control 65(1):3349\u20133364. https:\/\/doi.org\/10.1109\/TAC.2019.2912484","journal-title":"IEEE Trans Autom Control"},{"key":"429_CR22","doi-asserted-by":"crossref","unstructured":"Mazare L (2004) Using unification for opacity properties. In: Proceedings of workshop on information technology & systems, pp 165\u2013176","DOI":"10.1016\/S0257-8972(03)00740-0"},{"issue":"8","key":"429_CR23","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1109\/TAC.2019.2946165","volume":"65","author":"S Mohajerani","year":"2020","unstructured":"Mohajerani S, Ji Y, Lafortune S (2020) Compositional and abstraction-based approach for synthesis of edit functions for opacity enforcement. IEEE Trans Autom Control 65(8):341\u2013346. https:\/\/doi.org\/10.1109\/TAC.2019.2946165","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"429_CR24","doi-asserted-by":"publisher","first-page":"611","DOI":"10.1007\/s10626-022-00365-5","volume":"32","author":"R Moulton","year":"2022","unstructured":"Moulton R, Hamgini B, Khouzani Z et al (2022) Using subobservers to synthesize opacity enforcing supervisors. Discrete Event Dyn Syst 32(4):611\u2013640","journal-title":"Discrete Event Dyn Syst"},{"issue":"1","key":"429_CR25","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P Ramadge","year":"1987","unstructured":"Ramadge P, Wonham W (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206\u2013230","journal-title":"SIAM J Control Optim"},{"issue":"8","key":"429_CR26","doi-asserted-by":"publisher","first-page":"2090","DOI":"10.1080\/00207179.2022.2082321","volume":"96","author":"J Tan","year":"2023","unstructured":"Tan J, Liu F, Dziong Z (2023) Active opacity of discrete-event systems. Int J Control 96(8):2090\u20132099. https:\/\/doi.org\/10.1080\/00207179.2022.2082321","journal-title":"Int J Control"},{"issue":"3","key":"429_CR27","first-page":"618","volume":"42","author":"F Wang","year":"2025","unstructured":"Wang F, Dai Y, Jin F (2025) Supervisory control on opacity-margin of discrete event systems. Control Theory Appl 42(3):618\u2013626","journal-title":"Control Theory Appl"},{"issue":"2","key":"429_CR28","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/s10626-021-00357-x","volume":"32","author":"A Wintenberg","year":"2022","unstructured":"Wintenberg A, Blischke M, Lafortune S et al (2022) A general language-based framework for specifying and verifying notions of opacity. Discrete Event Dyn Syst Theory Appl 32(2):253\u2013289. https:\/\/doi.org\/10.1007\/s10626-021-00357-x","journal-title":"Discrete Event Dyn Syst Theory Appl"},{"key":"429_CR29","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1016\/j.arcontrol.2018.03.002","volume":"45","author":"W Wonham","year":"2018","unstructured":"Wonham W, Cai K, Rudie K (2018) Supervisory control of discrete-event systems: a brief history. Annu Rev Control 45:250\u2013256. https:\/\/doi.org\/10.1016\/j.arcontrol.2018.03.002","journal-title":"Annu Rev Control"},{"issue":"3","key":"429_CR30","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 23(3):307\u2013339","journal-title":"Discrete Event Dyn Syst"},{"issue":"5","key":"429_CR31","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.automatica.2014.02.038","volume":"50","author":"YC Wu","year":"2014","unstructured":"Wu YC, Lafortune S (2014) Synthesis of insertion functions for enforcement of opacity security properties. Automatica 50(5):1336\u20131348","journal-title":"Automatica"},{"issue":"3","key":"429_CR32","doi-asserted-by":"publisher","first-page":"571","DOI":"10.1109\/TAC.2015.2440632","volume":"61","author":"YC Wu","year":"2016","unstructured":"Wu YC, Lafortune S (2016) Synthesis of optimal insertion functions for opacity enforcement. IEEE Trans Autom Control 61(3):571\u2013584. https:\/\/doi.org\/10.1109\/TAC.2015.2440632","journal-title":"IEEE Trans Autom Control"},{"issue":"8","key":"429_CR33","doi-asserted-by":"publisher","first-page":"4958","DOI":"10.1109\/TAC.2023.3342880","volume":"69","author":"Y Xie","year":"2024","unstructured":"Xie Y, Li S, Yin X (2024) Optimal synthesis of opacity-enforcing supervisors for qualitative and quantitative specifications. IEEE Trans Autom Control 69(8):4958\u20134973. https:\/\/doi.org\/10.1109\/TAC.2023.3342880","journal-title":"IEEE Trans Autom Control"},{"issue":"4","key":"429_CR34","doi-asserted-by":"publisher","first-page":"1429","DOI":"10.1109\/TAC.2019.2916940","volume":"65","author":"X Yin","year":"2020","unstructured":"Yin X, Li S (2020) Synthesis of dynamic masks for infinite-step opacity. IEEE Trans Autom Control 65(4):1429\u20131441. https:\/\/doi.org\/10.1109\/TAC.2019.2916940","journal-title":"IEEE Trans Autom Control"},{"issue":"3","key":"429_CR35","first-page":"535","volume":"6","author":"W Yue","year":"2012","unstructured":"Yue W, Hu Q (2012) Optimal control for discrete event systems with arbitrary control pattern. Discrete Cont Dyn Syst - Series B (DCDS-B) 6(3):535\u2013558","journal-title":"Discrete Cont Dyn Syst - Series B (DCDS-B)"},{"issue":"3","key":"429_CR36","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1109\/TASE.2014.2379623","volume":"12","author":"B Zhang","year":"2015","unstructured":"Zhang B, Shu SL, Lin F (2015) Maximum information release while ensuring opacity in discrete event systems. IEEE Trans Autom Sci Eng 12(3):1067\u20131079","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"429_CR37","doi-asserted-by":"publisher","unstructured":"Zhou Y, Chen Z, Liu ZX (2023) Verification and enforcement of current-state opacity based on a state space approach. Eur J Control 71. https:\/\/doi.org\/10.1016\/j.ejcon.2023.100795","DOI":"10.1016\/j.ejcon.2023.100795"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00429-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10626-026-00429-w","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-026-00429-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T04:52:29Z","timestamp":1770353549000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10626-026-00429-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,6]]},"references-count":37,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2026,12]]}},"alternative-id":["429"],"URL":"https:\/\/doi.org\/10.1007\/s10626-026-00429-w","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,6]]},"assertion":[{"value":"12 December 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 February 2026","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 no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}],"article-number":"8"}}