{"id":"https://openalex.org/W4389722242","doi":"https://doi.org/10.1109/tac.2023.3342880","title":"Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications","display_name":"Optimal Synthesis of Opacity-Enforcing Supervisors for Qualitative and Quantitative Specifications","publication_year":2023,"publication_date":"2023-12-14","ids":{"openalex":"https://openalex.org/W4389722242","doi":"https://doi.org/10.1109/tac.2023.3342880"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2023.3342880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3342880","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-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/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Yifan Xie","raw_affiliation_strings":["Institute for Systems Theory and Automatic Control, University of Stuttgart, Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"Institute for Systems Theory and Automatic Control, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041126305","display_name":"Shaoyuan Li","orcid":"https://orcid.org/0000-0003-3427-2912"},"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":"Shaoyuan Li","raw_affiliation_strings":["Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, 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 and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"Department of Automation and Key Laboratory of System Control and Information Processing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101729450"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":1.1911,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.82842011,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"69","issue":"8","first_page":"4958","last_page":"4973"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9984999895095825,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9958999752998352,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.782464861869812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5184011459350586},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.34187835454940796},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24619144201278687},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0675940215587616}],"concepts":[{"id":"https://openalex.org/C60056205","wikidata":"https://www.wikidata.org/wiki/Q691914","display_name":"Opacity","level":2,"score":0.782464861869812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5184011459350586},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.34187835454940796},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24619144201278687},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0675940215587616},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2023.3342880","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3342880","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1195885390","display_name":null,"funder_award_id":"61833012","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G210139373","display_name":null,"funder_award_id":"62061136004","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G229885113","display_name":null,"funder_award_id":"61803259","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W1976202267","https://openalex.org/W1985508025","https://openalex.org/W1992424076","https://openalex.org/W2001653139","https://openalex.org/W2008737885","https://openalex.org/W2031373068","https://openalex.org/W2037457229","https://openalex.org/W2052227055","https://openalex.org/W2061598829","https://openalex.org/W2064886960","https://openalex.org/W2090930915","https://openalex.org/W2093645787","https://openalex.org/W2098432798","https://openalex.org/W2146852848","https://openalex.org/W2148114786","https://openalex.org/W2160029445","https://openalex.org/W2277995286","https://openalex.org/W2334782222","https://openalex.org/W2342445930","https://openalex.org/W2416559203","https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2521231675","https://openalex.org/W2538443008","https://openalex.org/W2550886631","https://openalex.org/W2601738991","https://openalex.org/W2768035641","https://openalex.org/W2768356411","https://openalex.org/W2783071694","https://openalex.org/W2796125030","https://openalex.org/W2800404248","https://openalex.org/W2804520243","https://openalex.org/W2809079675","https://openalex.org/W2882998909","https://openalex.org/W2884727389","https://openalex.org/W2901162916","https://openalex.org/W2912987268","https://openalex.org/W2945445283","https://openalex.org/W2953150142","https://openalex.org/W2957340013","https://openalex.org/W2964092980","https://openalex.org/W2968762186","https://openalex.org/W2979734265","https://openalex.org/W3003404631","https://openalex.org/W3010736334","https://openalex.org/W3011778292","https://openalex.org/W3045572615","https://openalex.org/W3046019229","https://openalex.org/W3046081542","https://openalex.org/W3075583475","https://openalex.org/W3090798789","https://openalex.org/W3110752692","https://openalex.org/W3112275921","https://openalex.org/W3113215678","https://openalex.org/W3155498667","https://openalex.org/W3155812964","https://openalex.org/W4236251966","https://openalex.org/W6781844433"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2161791806","https://openalex.org/W2073474947","https://openalex.org/W4366824690","https://openalex.org/W2613656770","https://openalex.org/W2482431380","https://openalex.org/W2082077321","https://openalex.org/W2053059436"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,86,137,186,251],"investigate":[4,139],"both":[5,169],"qualitative":[6,84,123,171,191],"and":[7,172,247],"quantitative":[8,141,173,202,268],"synthesis":[9,124,142,174,192,203],"of":[10,90],"optimal":[11,190,201,211],"privacy-enforcing":[12],"supervisors":[13],"for":[14,107,117],"partially-observed":[15],"discrete-event":[16],"systems.":[17],"We":[18,38],"consider":[19],"a":[20,35,44,61,68,114,159,198,223,266],"dynamic":[21],"system":[22,42,66,77,111],"whose":[23],"information-flow":[24],"is":[25,32,58,126,133,148],"partially":[26],"available":[27],"to":[28,50,53,59,167,226,257],"an":[29,210,216,239],"intruder,":[30],"which":[31,233],"modeled":[33],"as":[34,95,156,197,209,265],"passive":[36],"observer.":[37],"assume":[39],"that":[40,46,63,74,101,109,145,182,188],"the":[41,54,65,75,79,83,88,96,102,110,122,130,140,146,170,189,227,242,253,258,263],"has":[43,234],"\u201csecret\u201d":[45],"does":[47],"not":[48,127,235],"want":[49],"be":[51,195,207],"revealed":[52,149],"intruder.":[55],"Our":[56,220],"goal":[57],"synthesize":[60],"supervisor":[62],"controls":[64],"in":[67],"<italic":[69,91,152],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[70,92,153],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">least-restrictive</i>":[71],"manner":[72],"such":[73],"closed-loop":[76],"meets":[78],"privacy":[80,97],"requirement.":[81],"For":[82],"case,":[85],"adopt":[87],"notion":[89],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">infinite-step":[93],"opacity</i>":[94],"specification":[98],"by":[99,177,261],"requiring":[100],"intruder":[103],"can":[104,194,205],"never":[105],"determine":[106],"sure":[108],"is/was":[112],"at":[113],"secret":[115,147],"state":[116],"any":[118],"specific":[119],"instant.":[120],"If":[121],"problem":[125,143,193,204,214,256],"solvable":[128],"or":[129],"synthesized":[131],"solution":[132,225],"too":[134],"restrictive,":[135],"then":[136],"further":[138],"so":[144],"(if":[150],"unavoidable)":[151],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">as":[154],"late":[155],"possible</i>":[157],"within":[158],"finite":[160],"security-preserving":[161],"horizon.":[162],"Effective":[163],"algorithms":[164],"are":[165],"provided":[166],"solve":[168],"problems.":[175],"Specifically,":[176],"building":[178],"suitable":[179],"information":[180,184,218],"structures":[181],"involve":[183],"delays,":[185],"show":[187],"solved":[196,208,237],"safety-game.":[199],"The":[200],"also":[206],"total-cost":[212],"control":[213,231],"over":[215],"augmented":[217],"structure.":[219],"work":[221],"provides":[222],"complete":[224],"standard":[228],"infinite-step":[229],"opacity":[230,254],"problem,":[232],"been":[236],"without":[238],"assumption":[240],"on":[241],"relationship":[243],"between":[244],"controllable":[245],"events":[246],"observable":[248],"events.":[249],"Furthermore,":[250],"generalize":[252],"enforcement":[255],"numerical":[259],"setting":[260],"introducing":[262],"secret-revelation-time":[264],"new":[267],"measure.":[269]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-27T14:29:43.386196","created_date":"2025-10-10T00:00:00"}