{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,20]],"date-time":"2026-03-20T17:48:13Z","timestamp":1774028893828,"version":"3.50.1"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2024,11]]},"DOI":"10.1007\/s11432-023-4041-6","type":"journal-article","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T03:03:05Z","timestamp":1729825385000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":20,"title":["Multi-step state-based opacity for unambiguous weighted machines"],"prefix":"10.1007","volume":"67","author":[{"given":"Zhipeng","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Chengyi","family":"Xia","sequence":"additional","affiliation":[]},{"given":"Guoyuan","family":"Qi","sequence":"additional","affiliation":[]},{"given":"Jun","family":"Fu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"4041_CR1","doi-asserted-by":"publisher","first-page":"179202","DOI":"10.1007\/s11432-021-3388-y","volume":"66","author":"S L Wang","year":"2023","unstructured":"Wang S L, Li H T. Aggregation method to reachability and optimal control of large-size Boolean control networks. Sci China Inf Sci, 2023, 66: 179202","journal-title":"Sci China Inf Sci"},{"key":"4041_CR2","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TAI.2021.3088084","volume":"2","author":"J Curzon","year":"2021","unstructured":"Curzon J, Kosa T A, Akalu R, et al. Privacy and artificial intelligence. IEEE Trans Artif Intell, 2021, 2: 96\u2013108","journal-title":"IEEE Trans Artif Intell"},{"key":"4041_CR3","doi-asserted-by":"publisher","first-page":"132201","DOI":"10.1007\/s11432-021-3430-7","volume":"66","author":"Z T Li","year":"2023","unstructured":"Li Z T, Guo Y Q, Gui W H. Asymptotical stability of continuous-time probabilistic logic networks based on transition rate. Sci China Inf Sci, 2023, 66: 132201","journal-title":"Sci China Inf Sci"},{"key":"4041_CR4","doi-asserted-by":"publisher","first-page":"1436","DOI":"10.1109\/TMECH.2021.3096375","volume":"27","author":"G Zong","year":"2022","unstructured":"Zong G, Yang D, Lam J, et al. Fault-tolerant control of switched LPV systems: a bumpless transfer approach. IEEE ASME Trans Mechatron, 2022, 27: 1436\u20131446","journal-title":"IEEE ASME Trans Mechatron"},{"key":"4041_CR5","doi-asserted-by":"publisher","first-page":"1075","DOI":"10.1109\/TSMC.2019.2894978","volume":"51","author":"S Li","year":"2021","unstructured":"Li S, Ahn C K, Guo J, et al. Global output feedback sampled-data stabilization of a class of switched nonlinear systems in the p-normal form. IEEE Trans Syst Man Cybern Syst, 2021, 51: 1075\u20131084","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"4041_CR6","doi-asserted-by":"publisher","first-page":"6396","DOI":"10.1109\/TSMC.2022.3145449","volume":"52","author":"Z P Zhang","year":"2022","unstructured":"Zhang Z P, Xia C Y, Fu J, et al. Initial-state observability of mealy-based finite-state machine with nondeterministic output functions. IEEE Trans Syst Man Cybern Syst, 2022, 52: 6396\u20136405","journal-title":"IEEE Trans Syst Man Cybern Syst"},{"key":"4041_CR7","doi-asserted-by":"publisher","first-page":"139202","DOI":"10.1007\/s11432-020-3168-1","volume":"66","author":"Y R Zhou","year":"2023","unstructured":"Zhou Y R, Chen Z Q, Liu Z X, et al. Strong fault prognosability of partially-observed discrete event systems. Sci China Inf Sci, 2023, 66: 139202","journal-title":"Sci China Inf Sci"},{"key":"4041_CR8","doi-asserted-by":"publisher","first-page":"7803","DOI":"10.1109\/TAC.2023.3246429","volume":"68","author":"H Chen","year":"2023","unstructured":"Chen H, Zong G, Gao F, et al. Probabilistic event-triggered policy for extended dissipative finite-time control of MJSs under cyber-attacks and actuator failures. IEEE Trans Automat Contr, 2023, 68: 7803\u20137810","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR9","doi-asserted-by":"publisher","first-page":"2882","DOI":"10.1016\/j.jfranklin.2019.12.002","volume":"357","author":"G Zhao","year":"2020","unstructured":"Zhao G, Li H. Robustness analysis of logical networks and its application in infinite systems. J Franklin Inst, 2020, 357: 2882\u20132891","journal-title":"J Franklin Inst"},{"key":"4041_CR10","doi-asserted-by":"publisher","first-page":"109155","DOI":"10.1016\/j.automatica.2020.109155","volume":"120","author":"W Zou","year":"2020","unstructured":"Zou W, Ahn C K, Xiang Z. Analysis on existence of compact set in neural network control for nonlinear systems. Automatica, 2020, 120: 109155","journal-title":"Automatica"},{"key":"4041_CR11","doi-asserted-by":"publisher","first-page":"1234","DOI":"10.1109\/TAC.2019.2925498","volume":"65","author":"L An","year":"2020","unstructured":"An L, Yang G H. Opacity enforcement for confidential robust control in linear cyber-physical systems. IEEE Trans Automat Contr, 2020, 65: 1234\u20131241","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR12","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, et al. Concurrent secrets. Discrete Event Dyn Syst, 2007, 17: 425\u2013446","journal-title":"Discrete Event Dyn Syst"},{"key":"4041_CR13","doi-asserted-by":"publisher","first-page":"2823","DOI":"10.1109\/TAC.2016.2620429","volume":"62","author":"Y Tong","year":"2016","unstructured":"Tong Y, Li Z W, Seatzu C, et al. Verification of state-based opacity using Petri nets. IEEE Trans Automat Contr, 2016, 62: 2823\u20132837","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR14","first-page":"165","volume-title":"Proceedings of the Workshop on Issues in the Theory of Security","author":"L Mazare\u2019E","year":"2004","unstructured":"Mazare\u2019E L. Using unification for opacity properties. In: Proceedings of the Workshop on Issues in the Theory of Security, 2004. 165\u2013176"},{"key":"4041_CR15","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. Opacity of discrete event systems and its applications. Automatica, 2011, 47: 496\u2013503","journal-title":"Automatica"},{"key":"4041_CR16","first-page":"5056","volume-title":"Proceedings of the 46th IEEE Conference on Decision and Control","author":"A Saboori","year":"2007","unstructured":"Saboori A, Hadjicostis C N. Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE Conference on Decision and Control, 2007. 5056\u20135061"},{"key":"4041_CR17","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.ins.2013.05.033","volume":"246","author":"A Saboori","year":"2013","unstructured":"Saboori A, Hadjicostis C N. Verification of initial-state opacity in security applications of discrete event systems. Inf Sci, 2013, 246: 115\u2013132","journal-title":"Inf Sci"},{"key":"4041_CR18","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1109\/TASE.2011.2106775","volume":"8","author":"A Saboori","year":"2011","unstructured":"Saboori A, Hadjicostis C N. Verification of K-step opacity and analysis of its complexity. IEEE Trans Automat Sci Eng, 2011, 8: 549\u2013559","journal-title":"IEEE Trans Automat Sci Eng"},{"key":"4041_CR19","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1109\/TAC.2011.2173774","volume":"57","author":"A Saboori","year":"2012","unstructured":"Saboori A, Hadjicostis C N. Verification of infinite-step opacity and complexity considerations. IEEE Trans Automat Contr, 2012, 57: 1265\u20131269","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR20","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.automatica.2017.02.037","volume":"80","author":"X Yin","year":"2017","unstructured":"Yin X, Lafortune S. A new approach for the verification of infinite-step and k-step opacity using two-way observers. Automatica, 2017, 80: 162\u2013171","journal-title":"Automatica"},{"key":"4041_CR21","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1016\/j.automatica.2018.10.049","volume":"99","author":"X Yin","year":"2019","unstructured":"Yin X, Li Z J, Wang W L, et al. Infinite-step opacity and k-step opacity of stochastic discrete-event systems. Automatica, 2019, 99: 266\u2013274","journal-title":"Automatica"},{"key":"4041_CR22","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.ins.2021.04.072","volume":"572","author":"Z P Zhang","year":"2021","unstructured":"Zhang Z P, Shu S L, Xia C Y. Networked opacity for finite state machine with bounded communication delays. Inf Sci, 2021, 572: 57\u201366","journal-title":"Inf Sci"},{"key":"4041_CR23","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1016\/j.ins.2020.07.017","volume":"543","author":"J K Yang","year":"2021","unstructured":"Yang J K, Deng W L, Qiu D W, et al. Opacity of networked discrete event systems. Inf Sci, 2021, 543: 328\u2013344","journal-title":"Inf Sci"},{"key":"4041_CR24","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/s10626-012-0145-z","volume":"23","author":"Y C Wu","year":"2013","unstructured":"Wu Y C, Lafortune S. Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discrete Event Dyn Syst, 2013, 23: 307\u2013339","journal-title":"Discrete Event Dyn Syst"},{"key":"4041_CR25","doi-asserted-by":"publisher","first-page":"100859","DOI":"10.1016\/j.nahs.2020.100859","volume":"36","author":"B Wang","year":"2020","unstructured":"Wang B, Feng J, Li H, et al. On detectability of Boolean control networks. Nonlinear Anal-Hybrid Syst, 2020, 36: 100859","journal-title":"Nonlinear Anal-Hybrid Syst"},{"key":"4041_CR26","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. Supervisory control for opacity. IEEE Trans Automat Contr, 2010, 55: 1089\u20131100","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_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. A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems. IEEE Trans Automat Contr, 2016, 61: 2140\u20132154","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR28","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. Synthesis of opaque systems with static and dynamic masks. Form Methods Syst Des, 2012, 40: 88\u2013115","journal-title":"Form Methods Syst Des"},{"key":"4041_CR29","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. Synthesis of dynamic masks for infinite-step opacity. IEEE Trans Automat Contr, 2020, 65: 1429\u20131441","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR30","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1016\/j.automatica.2018.03.041","volume":"93","author":"Y D Ji","year":"2018","unstructured":"Ji Y D, Wu Y C, Lafortune S. Enforcement of opacity by public and private insertion functions. Automatica, 2018, 93: 369\u2013378","journal-title":"Automatica"},{"key":"4041_CR31","doi-asserted-by":"publisher","first-page":"1336","DOI":"10.1016\/j.automatica.2014.02.038","volume":"50","author":"Y C Wu","year":"2014","unstructured":"Wu Y C, Lafortune S. Synthesis of insertion functions for enforcement of opacity security properties. Automatica, 2014, 50: 1336\u20131348","journal-title":"Automatica"},{"key":"4041_CR32","doi-asserted-by":"publisher","first-page":"3026","DOI":"10.23919\/ACC.2018.8431583","volume-title":"Proceedings of Annual American Control Conference (ACC)","author":"B Wu","year":"2018","unstructured":"Wu B, Dai J, Lin H. Synthesis of insertion functions to enforce decentralized and joint opacity properties of discrete-event systems. In: Proceedings of Annual American Control Conference (ACC), 2018. 3026\u20133031"},{"key":"4041_CR33","doi-asserted-by":"publisher","first-page":"4369","DOI":"10.1109\/TAC.2019.2897553","volume":"64","author":"Y D Ji","year":"2019","unstructured":"Ji Y D, Yin X, Lafortune S. Opacity enforcement using nondeterministic publicly known edit functions. IEEE Trans Automat Contr, 2019, 64: 4369\u20134376","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR34","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s10626-008-0057-0","volume":"20","author":"P Buchholz","year":"2010","unstructured":"Buchholz P, Kemper P. Model checking for a class of weighted automata. Discrete Event Dyn Syst, 2010, 20: 103\u2013137","journal-title":"Discrete Event Dyn Syst"},{"key":"4041_CR35","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.automatica.2019.03.003","volume":"105","author":"A Lai","year":"2019","unstructured":"Lai A, Lahaye S, Giua A. State estimation of max-plus automata with unobservable events. Automatica, 2019, 105: 36\u201342","journal-title":"Automatica"},{"key":"4041_CR36","doi-asserted-by":"publisher","first-page":"1437","DOI":"10.1109\/TAC.2020.2995173","volume":"66","author":"A W Lai","year":"2020","unstructured":"Lai A W, Lahaye S, Giua A. Verification of detectability for unambiguous weighted automata. IEEE Trans Automat Contr, 2020, 66: 1437\u20131444","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR37","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/s10626-022-00362-8","volume":"32","author":"K Z Zhang","year":"2022","unstructured":"Zhang K Z. Detectability of labeled weighted automata over monoids. Discrete Event Dyn Syst, 2022, 32: 435\u2013494","journal-title":"Discrete Event Dyn Syst"},{"key":"4041_CR38","doi-asserted-by":"publisher","first-page":"109490","DOI":"10.1016\/j.automatica.2021.109490","volume":"127","author":"A W Lai","year":"2021","unstructured":"Lai A W, Lahaye S, Li Z W. Initial-state detectability and initial-state opacity of unambiguous weighted automata. Automatica, 2021, 127: 109490","journal-title":"Automatica"},{"key":"4041_CR39","doi-asserted-by":"publisher","first-page":"1582","DOI":"10.1109\/TAC.2021.3069899","volume":"67","author":"A W Lai","year":"2022","unstructured":"Lai A W, Lahaye S, Komenda J. Observer construction for polynomially ambiguous max-plus automata. IEEE Trans Automat Contr, 2022, 67: 1582\u20131588","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR40","doi-asserted-by":"publisher","first-page":"2506","DOI":"10.1109\/TAC.2022.3175931","volume":"68","author":"X Yang","year":"2023","unstructured":"Yang X, Li H. Stability analysis of probabilistic Boolean networks with switching discrete probability distribution. IEEE Trans Automat Contr, 2023, 68: 2506\u20132512","journal-title":"IEEE Trans Automat Contr"},{"key":"4041_CR41","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/JAS.2016.7510259","volume":"5","author":"G Zhao","year":"2016","unstructured":"Zhao G, Wang Y, Li H. A matrix approach to the modeling and analysis of networked evolutionary games with time delays. IEEE CAA J Autom Sin, 2016, 5: 818\u2013826","journal-title":"IEEE CAA J Autom Sin"},{"key":"4041_CR42","doi-asserted-by":"publisher","first-page":"111201","DOI":"10.1007\/s11432-022-3538-4","volume":"66","author":"Y Y Yan","year":"2023","unstructured":"Yan Y Y, Cheng D Z, Feng J-E, et al. Survey on applications of algebraic state space theory of logical systems to finite state machines. Sci China Inf Sci, 2023, 66: 111201","journal-title":"Sci China Inf Sci"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-4041-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-023-4041-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-023-4041-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,20]],"date-time":"2025-12-20T22:02:12Z","timestamp":1766268132000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-023-4041-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"references-count":42,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["4041"],"URL":"https:\/\/doi.org\/10.1007\/s11432-023-4041-6","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"19 September 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 December 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 January 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 October 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"212204"}}