{"id":"https://openalex.org/W3046081542","doi":"https://doi.org/10.23919/acc45564.2020.9148014","title":"Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity","display_name":"Note that each information-Supervisory Control of Discrete-Event Systems for Infinite-Step Opacity","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3046081542","doi":"https://doi.org/10.23919/acc45564.2020.9148014","mag":"3046081542"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9148014","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9148014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101729450","display_name":"Yifan Xie","orcid":"https://orcid.org/0000-0002-7158-1514"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yifan Xie","raw_affiliation_strings":["Department of Automation, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034304769","display_name":"Xiang Yin","orcid":"https://orcid.org/0000-0003-1944-1570"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiang Yin","raw_affiliation_strings":["Department of Automation, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5101729450"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":0.4222,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.68117586,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/opacity","display_name":"Opacity","score":0.9407985210418701},{"id":"https://openalex.org/keywords/supervisor","display_name":"Supervisor","score":0.8059514164924622},{"id":"https://openalex.org/keywords/supervisory-control","display_name":"Supervisory control","score":0.7787633538246155},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.575177013874054},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5277510285377502},{"id":"https://openalex.org/keywords/observer","display_name":"Observer (physics)","score":0.4961901307106018},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4777616560459137},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.42123186588287354},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.332174152135849},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2615712881088257},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08760794997215271}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.9407985210418701},{"id":"https://openalex.org/C2779110517","wikidata":"https://www.wikidata.org/wiki/Q1240788","display_name":"Supervisor","level":2,"score":0.8059514164924622},{"id":"https://openalex.org/C92991967","wikidata":"https://www.wikidata.org/wiki/Q7644329","display_name":"Supervisory control","level":3,"score":0.7787633538246155},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.575177013874054},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5277510285377502},{"id":"https://openalex.org/C2780704645","wikidata":"https://www.wikidata.org/wiki/Q9251458","display_name":"Observer (physics)","level":2,"score":0.4961901307106018},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4777616560459137},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.42123186588287354},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.332174152135849},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2615712881088257},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08760794997215271},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc45564.2020.9148014","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9148014","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1976202267","https://openalex.org/W1985508025","https://openalex.org/W2001653139","https://openalex.org/W2008737885","https://openalex.org/W2052227055","https://openalex.org/W2061598829","https://openalex.org/W2064886960","https://openalex.org/W2093645787","https://openalex.org/W2148114786","https://openalex.org/W2416559203","https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2521231675","https://openalex.org/W2538443008","https://openalex.org/W2601738991","https://openalex.org/W2761853058","https://openalex.org/W2768035641","https://openalex.org/W2768356411","https://openalex.org/W2796125030","https://openalex.org/W2804520243","https://openalex.org/W2882998909","https://openalex.org/W2901162916","https://openalex.org/W2912987268","https://openalex.org/W2914280847","https://openalex.org/W2945445283","https://openalex.org/W2957340013","https://openalex.org/W2963995273","https://openalex.org/W2979734265","https://openalex.org/W6745309365"],"related_works":["https://openalex.org/W1536962364","https://openalex.org/W46796605","https://openalex.org/W2333630979","https://openalex.org/W1502177156","https://openalex.org/W2325169597","https://openalex.org/W4309988904","https://openalex.org/W2331919730","https://openalex.org/W4317418604","https://openalex.org/W2070318121","https://openalex.org/W1964497242"],"abstract_inverted_index":{"In":[0],"this":[1,100],"paper,":[2],"we":[3],"investigate":[4],"the":[5,29,44,56,73,81,93,118,127,134,159,168],"problem":[6,97,101,163],"of":[7,22,133],"synthesizing":[8,68],"maximally-permissive":[9],"opacity-enforcing":[10,138],"supervisors":[11],"for":[12,41,51,91],"partially-observed":[13],"discrete-event":[14],"systems.":[15],"We":[16,86,115],"focus":[17],"on":[18,137,167],"a":[19,35,48,69,76,103,107,155],"specific":[20,53],"type":[21],"opacity":[23,26,95,144,161],"called":[24],"infinite-step":[25,94,160],"requiring":[27],"that":[28,43,71,80,111,117],"intruder,":[30],"which":[31,146],"is":[32,59,65,84,122,130,150],"modeled":[33],"as":[34,102],"passive":[36],"observer,":[37],"can":[38],"never":[39],"determine":[40],"sure":[42],"system":[45,58,74,83],"is/was":[46],"at":[47],"secret":[49],"state":[50],"any":[52,165],"instant.":[54],"When":[55],"original":[57],"verified":[60],"to":[61,158],"be":[62],"non-opaque,":[63],"one":[64],"interested":[66],"in":[67,75,145],"supervisor":[70,129],"controls":[72],"least-restrictive":[77],"manner":[78],"such":[79],"closed-loop":[82],"opaque.":[85],"provide":[87],"an":[88],"effective":[89],"approach":[90],"solving":[92],"control":[96,140,162],"by":[98],"re-formulating":[99],"two-player":[104],"game":[105],"over":[106],"generalized":[108],"information":[109,113,149],"structure":[110],"involves":[112],"delays.":[114],"show":[116],"proposed":[119],"synthesis":[120],"algorithm":[121],"sound":[123],"and":[124,126,173],"complete,":[125],"resulting":[128],"maximally-permissive.":[131],"Most":[132],"existing":[135],"works":[136],"supervisory":[139],"only":[141],"consider":[142],"current-state":[143],"no":[147],"delayed":[148],"involved.":[151],"Our":[152],"work":[153],"provides":[154],"complete":[156],"solution":[157],"without":[164],"assumption":[166],"relationship":[169],"between":[170],"controllable":[171],"events":[172],"observable":[174],"events.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}