{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T02:17:13Z","timestamp":1770689833729,"version":"3.49.0"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation of USA","doi-asserted-by":"crossref","award":["1507096"],"award-info":[{"award-number":["1507096"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61673297"],"award-info":[{"award-number":["61673297"]}],"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":["61374058"],"award-info":[{"award-number":["61374058"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s10626-019-00303-y","type":"journal-article","created":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T15:02:47Z","timestamp":1580569367000},"page":"243-268","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Information control in networked discrete event systems and its application to battery management systems"],"prefix":"10.1007","volume":"30","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6831-4458","authenticated-orcid":false,"given":"Feng","family":"Lin","sequence":"first","affiliation":[]},{"given":"Le Yi","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Wen","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Weilin","family":"Wang","sequence":"additional","affiliation":[]},{"given":"Fei","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,1]]},"reference":[{"issue":"2","key":"303_CR1","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1017\/S0960129513000583","volume":"25","author":"ME Andres","year":"2015","unstructured":"Andres ME, Palamidessi C, Smith G (2015) Preface to the special issue on quantitative information flow. Math Struct Comput Sci 25(2):203\u2013206","journal-title":"Math Struct Comput Sci"},{"issue":"4","key":"303_CR2","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 Dynamic Systems: Theory and Applications 17(4):425\u2013446","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"303_CR3","unstructured":"Ben-Kalefa M, Lin F (2011) Supervisory control for opacity of discrete event systems, proceedings of 49th annual allerton conference on communication. Control, and Computing:1113\u20131119"},{"issue":"2","key":"303_CR4","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1017\/S0960129513000637","volume":"25","author":"B B\u00e9rard","year":"2015","unstructured":"B\u00e9rard B, Mullins J, Sassolas M (2015a) Quantifying opacity. Math Struct Comput Sci 25(2):361\u2013403","journal-title":"Math Struct Comput Sci"},{"issue":"1","key":"303_CR5","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1016\/j.ipl.2014.09.001","volume":"115","author":"B B\u00e9rard","year":"2015","unstructured":"B\u00e9rard B, Chatterjee K, Sznajder N (2015b) Probabilistic opacity for Markov decision processes. Inf Process Lett 115(1):52\u201359","journal-title":"Inf Process Lett"},{"key":"303_CR6","unstructured":"B\u00e9rard B, Haddad S, Lefaucheux E (2017) Probabilistic disclosure: Maximisation vs. minimisation. In: Proceedings of 37th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2017), Kanpur, India"},{"key":"303_CR7","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 P (2005) Modeling opacity using petri nets. Electronic Notes in Theoretical Computer Science 121:101\u2013115","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"6","key":"303_CR8","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","journal-title":"Int J Inf Secur"},{"issue":"9","key":"303_CR9","doi-asserted-by":"publisher","first-page":"2068","DOI":"10.1016\/j.automatica.2012.06.042","volume":"48","author":"LK Carvalho","year":"2012","unstructured":"Carvalho LK, Basilio JC, Moreira MV (2012) Robust diagnosis of discrete event systems against intermittent loss of observations. Automatica 48(9):2068\u20132078","journal-title":"Automatica"},{"key":"303_CR10","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. Springer, Berlin"},{"issue":"1","key":"303_CR11","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. Formal Methods in System Design 40(1):88\u2013115","journal-title":"Formal Methods in System Design"},{"issue":"3","key":"303_CR12","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1023\/A:1024007808984","volume":"13","author":"R Debouk","year":"2003","unstructured":"Debouk R, Lafortune S, Teneketzis D (2003) On the effect of communication delays in failure diagnosis of decentralized discrete event systems. Discrete Event Dynamic Systems: Theory and Applications 13(3):263\u2013289","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"5","key":"303_CR13","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"},{"key":"303_CR14","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 J-J, Faure J -M (2016) Overview of discrete event systems opacity: models, validation, and quantification. Annu Rev Control 41:135\u2013146","journal-title":"Annu Rev Control"},{"key":"303_CR15","doi-asserted-by":"crossref","unstructured":"Keroglou C, Hadjicostis CN (2018) Probabilistic system opacity in discrete event systems. Discrete Event Dynamic Systems: Theory and Applications","DOI":"10.1007\/s10626-017-0263-8"},{"key":"303_CR16","unstructured":"Lafortune S, Lin F (2017) From diagnosability to opacity: A brief history of diagnosability or lack thereof. In: Proceedings of 20th IFAC world congress, pp 3022\u20133027"},{"key":"303_CR17","unstructured":"Lakhnech Y, Mazar\u00e9 L (2005) Probabilistic opacity for a passive adversary and its application to chaum\u2019s voting scheme. IACR Cryptology ePrint Archive: 98"},{"issue":"3","key":"303_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"},{"issue":"2","key":"303_CR19","doi-asserted-by":"publisher","first-page":"1276","DOI":"10.1137\/130914942","volume":"52","author":"F Lin","year":"2014","unstructured":"Lin F (2014) Control of networked discrete event systems: dealing with communication delays and losses. SIAM J Control Optim 52(2):1276\u20131298","journal-title":"SIAM J Control Optim"},{"key":"303_CR20","doi-asserted-by":"crossref","unstructured":"Nunes CE, Moreira MV, Alves MV, Carvalho LK, Basilio JC (2018) Codiagnosability of networked discrete event systems subject to communication delays and intermittent loss of observation. Discrete Event Dynamic Systems: 1\u201332","DOI":"10.1007\/s10626-017-0265-6"},{"key":"303_CR21","unstructured":"Ryan PY, Peacock T (2007) Opacity-further insights on an information flow property. Technical Report Series-University of Newcastle Upon Tyne Computing Science 958"},{"key":"303_CR22","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2007) Notions of security and opacity in discrete event systems. In: Proceedings of the 46th IEEE conference on decision and control (CDC), pp 5056\u20135061","DOI":"10.1109\/CDC.2007.4434515"},{"issue":"3","key":"303_CR23","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","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"303_CR24","doi-asserted-by":"crossref","unstructured":"Saboori A, Hadjicostis CN (2008) Opacity-enforcing supervisory strategies for secure discrete event systems. In: Proceedings of the 47th IEEE conference on decision and control (CDC), pp 889\u2013894","DOI":"10.1109\/CDC.2008.4738646"},{"issue":"1","key":"303_CR25","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1109\/TAC.2013.2279914","volume":"59","author":"A Saboori","year":"2014","unstructured":"Saboori A, Hadjicostis CN (2014) Current-state opacity formulations in probabilistic finite automata. IEEE Trans Autom Control 59(1):120\u2013133","journal-title":"IEEE Trans Autom Control"},{"key":"303_CR26","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1016\/j.sysconle.2011.02.001","volume":"60","author":"S Shu","year":"2011","unstructured":"Shu S, Lin F (2011) Generalized detectability for discrete event systems. Systems & Control Letters 60:310\u2013317","journal-title":"Systems & Control Letters"},{"issue":"8","key":"303_CR27","doi-asserted-by":"publisher","first-page":"2108","DOI":"10.1016\/j.automatica.2014.05.035","volume":"50","author":"S Shu","year":"2014","unstructured":"Shu S, Lin F (2014) Decentralized control of networked discrete event systems with communication delays. Automatica 50(8):2108\u20132112","journal-title":"Automatica"},{"issue":"9","key":"303_CR28","doi-asserted-by":"publisher","first-page":"4698","DOI":"10.1109\/TAC.2016.2630276","volume":"62","author":"S Shu","year":"2017","unstructured":"Shu S, Lin F (2017) Predictive networked control of discrete event systems. IEEE Trans Autom Control 62(9):4698\u20134705","journal-title":"IEEE Trans Autom Control"},{"issue":"6","key":"303_CR29","doi-asserted-by":"publisher","first-page":"2823","DOI":"10.1109\/TAC.2016.2620429","volume":"62","author":"Y Tong","year":"2017","unstructured":"Tong Y, Li Z, Seatzu C, Giua A (2017) Verification of state-based opacity using petri nets. IEEE Trans Autom Control 62(6):2823\u20132837","journal-title":"IEEE Trans Autom Control"},{"key":"303_CR30","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.automatica.2017.01.013","volume":"80","author":"Y Tong","year":"2017","unstructured":"Tong Y, Li Z, Seatzu C, Giua A (2017) Decidability of opacity verification problems in labeled petri net systems. Automatica 80:48\u201353","journal-title":"Automatica"},{"key":"303_CR31","unstructured":"Wonham WM (2017) Design Software: TCT, available at University of Toronto, https:\/\/www.control.utoronto.ca\/DES\/Research.html"},{"issue":"3","key":"303_CR32","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 Dynamic Systems 23(3):307\u2013339","journal-title":"Discrete Event Dynamic Systems"},{"key":"303_CR33","doi-asserted-by":"crossref","unstructured":"Zhang B, Shu S, Lin F (2012) Polynomial algorithm to check opacity in discrete event system. Proceedings of 24th Chinese Control and Decision Conference:763\u2013769","DOI":"10.1109\/CCDC.2012.6244117"},{"issue":"3","key":"303_CR34","doi-asserted-by":"publisher","first-page":"1067","DOI":"10.1109\/TASE.2014.2379623","volume":"12","author":"B Zhang","year":"2015","unstructured":"Zhang B, Shu S, 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"}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00303-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10626-019-00303-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10626-019-00303-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,31]],"date-time":"2021-01-31T00:23:24Z","timestamp":1612052604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10626-019-00303-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2,1]]},"references-count":34,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["303"],"URL":"https:\/\/doi.org\/10.1007\/s10626-019-00303-y","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,2,1]]},"assertion":[{"value":"29 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 November 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 February 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}