{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T08:37:32Z","timestamp":1770453452543,"version":"3.49.0"},"reference-count":40,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2020,7,11]],"date-time":"2020-07-11T00:00:00Z","timestamp":1594425600000},"content-version":"am","delay-in-days":284,"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Automatica"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1016\/j.automatica.2019.06.028","type":"journal-article","created":{"date-parts":[[2019,7,12]],"date-time":"2019-07-12T05:44:26Z","timestamp":1562910266000},"page":"108476","update-policy":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":55,"special_numbering":"C","title":["Enforcing opacity by insertion functions under multiple energy constraints"],"prefix":"10.1016","volume":"108","author":[{"given":"Yiding","family":"Ji","sequence":"first","affiliation":[]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[]},{"given":"St\u00e9phane","family":"Lafortune","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.automatica.2019.06.028_b1","series-title":"Lectures in game theory for computer scientists","author":"Apt","year":"2011"},{"key":"10.1016\/j.automatica.2019.06.028_b2","doi-asserted-by":"crossref","unstructured":"Barcelos, R. J., & Basilio, J. C. (2018). Enforcing current-state opacity through shuffle in event observations. In Proceedings of the 14th international workshop on discrete event systems (pp. 100\u2013105).","DOI":"10.1016\/j.ifacol.2018.06.286"},{"issue":"Special issue 2","key":"10.1016\/j.automatica.2019.06.028_b3","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1017\/S0960129513000637","article-title":"Quantifying opacity","volume":"25","author":"B\u00e9rard","year":"2015","journal-title":"Mathematical Structures in Computer Science"},{"key":"10.1016\/j.automatica.2019.06.028_b4","series-title":"Convex optimization","author":"Boyd","year":"2004"},{"issue":"2","key":"10.1016\/j.automatica.2019.06.028_b5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/s10703-010-0105-x","article-title":"Faster algorithms for mean-payoff games","volume":"38","author":"Brim","year":"2011","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/j.automatica.2019.06.028_b6","series-title":"Introduction to discrete event systems \u2013 2nd edition","author":"Cassandras","year":"2008"},{"key":"10.1016\/j.automatica.2019.06.028_b7","series-title":"International conference on information security and assurance","first-page":"21","article-title":"The dark side of timed opacity","author":"Cassez","year":"2009"},{"issue":"1","key":"10.1016\/j.automatica.2019.06.028_b8","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/s10703-012-0141-9","article-title":"Synthesis of opaque systems with static and dynamic masks","volume":"40","author":"Cassez","year":"2012","journal-title":"Formal Methods in System Design"},{"key":"10.1016\/j.automatica.2019.06.028_b9","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1016\/j.jcss.2017.04.005","article-title":"Hyperplane separation technique for multidimensional mean-payoff games","volume":"88","author":"Chatterjee","year":"2017","journal-title":"Journal of Computer and System Sciences"},{"issue":"1\u20132","key":"10.1016\/j.automatica.2019.06.028_b10","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1007\/s10626-014-0197-3","article-title":"Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems","volume":"25","author":"Ch\u00e9dor","year":"2015","journal-title":"Discrete Event Dynamic Systems: Theory and Application"},{"issue":"1","key":"10.1016\/j.automatica.2019.06.028_b11","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1109\/TASE.2016.2604222","article-title":"Quantification of secrecy in partially observed stochastic discrete event systems","volume":"14","author":"Chen","year":"2017","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"10.1016\/j.automatica.2019.06.028_b12","series-title":"Computer science logic","first-page":"260","article-title":"Energy and mean-payoff games with imperfect information","author":"Degorre","year":"2010"},{"issue":"5","key":"10.1016\/j.automatica.2019.06.028_b13","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1109\/TAC.2010.2042008","article-title":"Supervisory control for opacity","volume":"55","author":"Dubreil","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.automatica.2019.06.028_b14","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF01768705","article-title":"Positional strategies for mean payoff games","volume":"8","author":"Ehrenfeucht","year":"1979","journal-title":"International Journal of Game Theory"},{"issue":"4","key":"10.1016\/j.automatica.2019.06.028_b15","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1007\/s10626-014-0196-4","article-title":"Enforcement and validation (at runtime) of various notions of opacity","volume":"25","author":"Falcone","year":"2015","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10.1016\/j.automatica.2019.06.028_b16","doi-asserted-by":"crossref","DOI":"10.1016\/j.arcontrol.2016.04.015","article-title":"Overview of discrete event systems opacity: Models, validation, and quantification","author":"Jacob","year":"2016","journal-title":"Annual Reviews in Control"},{"key":"10.1016\/j.automatica.2019.06.028_b17","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1016\/j.automatica.2018.03.041","article-title":"Enforcement of opacity by public and private insertion functions","volume":"93","author":"Ji","year":"2018","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2019.06.028_b18","doi-asserted-by":"crossref","unstructured":"Ji, Y., Yin, X., & Lafortune, S. (2018). Opacity enforcement by insertion functions under energy constraints. In Proceedings of the 14th international workshop on discrete event systems (pp. 302\u2013308).","DOI":"10.1016\/j.ifacol.2018.06.315"},{"key":"10.1016\/j.automatica.2019.06.028_b19","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2019.2897553","article-title":"Opacity enforcement using nondeterministic publicly-known edit functions","author":"Ji","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.automatica.2019.06.028_b20","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10626-017-0263-8","article-title":"Probabilistic system opacity in discrete event systems","volume":"28","author":"Keroglou","year":"2018","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"key":"10.1016\/j.automatica.2019.06.028_b21","series-title":"Basic set theory (Vol. 13)","author":"Levy","year":"2002"},{"issue":"3","key":"10.1016\/j.automatica.2019.06.028_b22","doi-asserted-by":"crossref","first-page":"496","DOI":"10.1016\/j.automatica.2011.01.002","article-title":"Opacity of discrete event systems and its applications","volume":"47","author":"Lin","year":"2011","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2019.06.028_b23","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1016\/j.automatica.2018.12.019","article-title":"Complexity of detectability, opacity and A-diagnosability for modular discrete event systems","volume":"101","author":"Masopust","year":"2019","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2019.06.028_b24","doi-asserted-by":"crossref","unstructured":"Mohajerani, S., Ji, Y., & Lafortune, S. (2018). Efficient synthesis of edit functions for opacity enforcement using bisimulation-based abstractions. In Proc. of 57th IEEE conf. on decision and control (pp. 4849\u20134854).","DOI":"10.1109\/CDC.2018.8619045"},{"key":"10.1016\/j.automatica.2019.06.028_b25","doi-asserted-by":"crossref","unstructured":"Mullins, J., & Yeddes, M. (2014). Opacity with Orwellian observers and intransitive non-interference. In Proceedings of the 12th international workshop on discrete event systems (pp. 344\u2013349).","DOI":"10.3182\/20140514-3-FR-4046.00016"},{"issue":"4","key":"10.1016\/j.automatica.2019.06.028_b26","doi-asserted-by":"crossref","first-page":"833","DOI":"10.1017\/S0305004100003844","article-title":"On well-quasi-ordering finite trees","volume":"59","author":"Nash-Williams","year":"1963","journal-title":"Mathematical Proceedings of the Cambridge Philosophy Society"},{"key":"10.1016\/j.automatica.2019.06.028_b27","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/j.ipl.2016.10.005","article-title":"The fixed initial credit problem for partial-observation energy games is ack-complete","volume":"118","author":"P\u00e9rez","year":"2017","journal-title":"Information Processing Letters"},{"issue":"6","key":"10.1016\/j.automatica.2019.06.028_b28","doi-asserted-by":"crossref","first-page":"1166","DOI":"10.1587\/transinf.2016FOP0008","article-title":"Supervisory control of partially observed quantitative discrete event systems for fixed-initial-credit energy problem","volume":"100","author":"Pruekprasert","year":"2017","journal-title":"IEICE Transactions on Information and Systems"},{"issue":"2","key":"10.1016\/j.automatica.2019.06.028_b29","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0304-3975(78)90036-1","article-title":"The covering and boundedness problems for vector addition systems","volume":"6","author":"Rackoff","year":"1978","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.automatica.2019.06.028_b30","series-title":"Proceedings of the 46th IEEE conference on decision and control","first-page":"5056","article-title":"Notions of security and opacity in discrete event systems","author":"Saboori","year":"2007"},{"key":"10.1016\/j.automatica.2019.06.028_b31","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.ins.2013.05.033","article-title":"Verification of initial-state opacity in security applications of discrete event systems","volume":"246","author":"Saboori","year":"2013","journal-title":"Information Sciences"},{"issue":"4","key":"10.1016\/j.automatica.2019.06.028_b32","doi-asserted-by":"crossref","first-page":"307","DOI":"10.9746\/jcmsi.1.307","article-title":"A formula for the supremal controllable and opaque sublanguage arising in supervisory control","volume":"1","author":"Takai","year":"2008","journal-title":"SICE Journal of Control, Measurement, and System Integration"},{"key":"10.1016\/j.automatica.2019.06.028_b33","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1016\/j.automatica.2017.01.013","article-title":"Decidability of opacity verification problems in labeled Petri net systems","volume":"80","author":"Tong","year":"2017","journal-title":"Automatica"},{"issue":"2","key":"10.1016\/j.automatica.2019.06.028_b34","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/s10626-017-0264-7","article-title":"Current-state opacity enforcement in discrete event systems under incomparable observations","volume":"28","author":"Tong","year":"2018","journal-title":"Discrete Event Dynamic Systems: Theory and Applications"},{"issue":"8","key":"10.1016\/j.automatica.2019.06.028_b35","doi-asserted-by":"crossref","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","article-title":"A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems","volume":"61","author":"Yin","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.automatica.2019.06.028_b36","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1016\/j.automatica.2017.02.037","article-title":"A new approach for the verification of infinite-step and K-step opacity using two-way observers","volume":"80","author":"Yin","year":"2017","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2019.06.028_b37","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1016\/j.automatica.2019.04.001","article-title":"A general approach for optimizing dynamic sensor activations for discrete event systems","volume":"105","author":"Yin","year":"2019","journal-title":"Automatica"},{"key":"10.1016\/j.automatica.2019.06.028_b38","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1016\/j.automatica.2018.10.049","article-title":"Infinite-step opacity and K-step opacity of stochastic discrete-event systems","volume":"99","author":"Yin","year":"2019","journal-title":"Automatica"},{"issue":"3","key":"10.1016\/j.automatica.2019.06.028_b39","doi-asserted-by":"crossref","first-page":"1067","DOI":"10.1109\/TASE.2014.2379623","article-title":"Maximum information release while ensuring opacity in discrete event systems","volume":"12","author":"Zhang","year":"2015","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"10.1016\/j.automatica.2019.06.028_b40","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2019.2908726","article-title":"Opacity of nondeterministic transition systems: A (bi) simulation relation approach","author":"Zhang","year":"2019","journal-title":"IEEE Transactions on Automatic Control"}],"container-title":["Automatica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0005109819303243?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/api.elsevier.com\/content\/article\/PII:S0005109819303243?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:42:36Z","timestamp":1757749356000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/linkinghub.elsevier.com\/retrieve\/pii\/S0005109819303243"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":40,"alternative-id":["S0005109819303243"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.automatica.2019.06.028","relation":{},"ISSN":["0005-1098"],"issn-type":[{"value":"0005-1098","type":"print"}],"subject":[],"published":{"date-parts":[[2019,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Enforcing opacity by insertion functions under multiple energy constraints","name":"articletitle","label":"Article Title"},{"value":"Automatica","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1016\/j.automatica.2019.06.028","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2019 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"108476"}}