{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:20:38Z","timestamp":1730204438538,"version":"3.28.0"},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1109\/cdc.2018.8619045","type":"proceedings-article","created":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T05:12:50Z","timestamp":1548306770000},"page":"4849-4854","source":"Crossref","is-referenced-by-count":5,"title":["Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions"],"prefix":"10.1109","author":[{"given":"Sahar","family":"Mohajerani","sequence":"first","affiliation":[]},{"given":"Yiding","family":"Ji","sequence":"additional","affiliation":[]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264378"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.038"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264506"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2018.03.041","article-title":"Enforcement of opacity by public and private insertion functions","author":"ji","year":"2018","journal-title":"Automatica"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"194","DOI":"10.1007\/BFb0055624","article-title":"Automata and coinduction (an exercise in coalgebra)","volume":"1466","author":"rutten","year":"1998","journal-title":"Proc 9th Int Conf Concurrency Theory CONCUR'98"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9420-x"},{"key":"ref8","article-title":"Opacity enforcement using edit functions","author":"ji","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref7","first-page":"291","article-title":"Opacity enforcement by insertion functions under energy constraints","author":"ji","year":"2018","journal-title":"Proc Int Workshop Discrete Event Syst"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2007.4434515"},{"journal-title":"Communication and Concurrency","year":"1989","author":"milner","key":"ref9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.arcontrol.2016.04.015"}],"event":{"name":"2018 IEEE Conference on Decision and Control (CDC)","start":{"date-parts":[[2018,12,17]]},"location":"Miami Beach, FL","end":{"date-parts":[[2018,12,19]]}},"container-title":["2018 IEEE Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/8592870\/8618647\/08619045.pdf?arnumber=8619045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T23:27:38Z","timestamp":1598225258000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/8619045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12]]},"references-count":11,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.1109\/cdc.2018.8619045","relation":{},"subject":[],"published":{"date-parts":[[2018,12]]}}}