{"id":"https://openalex.org/W4411232050","doi":"https://doi.org/10.1109/lcsys.2025.3578993","title":"Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information","display_name":"Protect Your Knowledge: Epistemic Property Enforcement of Discrete-Event Systems With Asymmetric Information","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4411232050","doi":"https://doi.org/10.1109/lcsys.2025.3578993"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2025.3578993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3578993","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","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/A5103162007","display_name":"Shaowen Miao","orcid":null},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Shaowen Miao","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I200769079"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068652180","display_name":"Bohan Cui","orcid":"https://orcid.org/0009-0003-8637-8548"},"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":"Bohan Cui","raw_affiliation_strings":["School of Automation and Sensing, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Automation and Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084543188","display_name":"Yiding Ji","orcid":"https://orcid.org/0000-0003-2678-7051"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Yiding Ji","raw_affiliation_strings":["Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China"],"affiliations":[{"raw_affiliation_string":"Robotics and Autonomous Systems Thrust, Hong Kong University of Science and Technology (Guangzhou), Guangzhou, China","institution_ids":["https://openalex.org/I200769079"]}]},{"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":["School of Automation and Sensing, Shanghai Jiao Tong University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"School of Automation and Sensing, Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5103162007"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06437382,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":null,"first_page":"1832","last_page":"1837"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9850000143051147,"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"}},"topics":[{"id":"https://openalex.org/T10237","display_name":"Cryptography and Data Security","score":0.9850000143051147,"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"}},{"id":"https://openalex.org/T10270","display_name":"Blockchain Technology Applications and Security","score":0.9783999919891357,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10764","display_name":"Privacy-Preserving Technologies in Data","score":0.9736999869346619,"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/property","display_name":"Property (philosophy)","score":0.7366946339607239},{"id":"https://openalex.org/keywords/enforcement","display_name":"Enforcement","score":0.5468196868896484},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5386602282524109},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.4801734983921051},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4008602201938629},{"id":"https://openalex.org/keywords/knowledge-management","display_name":"Knowledge management","score":0.36709633469581604},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.341083824634552},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.26094746589660645},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.17507299780845642},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.10727888345718384},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.0970812439918518}],"concepts":[{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.7366946339607239},{"id":"https://openalex.org/C2779777834","wikidata":"https://www.wikidata.org/wiki/Q4202277","display_name":"Enforcement","level":2,"score":0.5468196868896484},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5386602282524109},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.4801734983921051},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4008602201938629},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.36709633469581604},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.341083824634552},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.26094746589660645},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.17507299780845642},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.10727888345718384},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0970812439918518},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2025.3578993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2025.3578993","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"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 Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-157747","is_oa":false,"landing_page_url":"http://repository.hkust.edu.hk/ir/Record/1783.1-157747","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6100000143051147,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2768035641","https://openalex.org/W2914280847","https://openalex.org/W2957340013","https://openalex.org/W2983973397","https://openalex.org/W3004266930","https://openalex.org/W3011364142","https://openalex.org/W3042263168","https://openalex.org/W3105909361","https://openalex.org/W3131283487","https://openalex.org/W3189479682","https://openalex.org/W3214913876","https://openalex.org/W4287458760","https://openalex.org/W4313598838","https://openalex.org/W4321485097","https://openalex.org/W4386027682","https://openalex.org/W4386090300","https://openalex.org/W4392745143","https://openalex.org/W4396596593","https://openalex.org/W4399409172","https://openalex.org/W4400586420","https://openalex.org/W4404424034","https://openalex.org/W4406145603","https://openalex.org/W6873479816"],"related_works":["https://openalex.org/W4226026301","https://openalex.org/W2099704814","https://openalex.org/W3046446793","https://openalex.org/W3125992077","https://openalex.org/W1580010780","https://openalex.org/W2138148318","https://openalex.org/W2009765263","https://openalex.org/W3121915999","https://openalex.org/W4252664052","https://openalex.org/W4251875448"],"abstract_inverted_index":{"Many":[0],"property":[1,131],"verification":[2],"and":[3,44,98,151,172,177],"enforcement":[4,127],"problems":[5],"of":[6,52,128],"partially":[7,134],"observed":[8,135],"discrete":[9],"event":[10],"systems":[11,23],"(DES)":[12],"are":[13],"typically":[14],"addressed":[15],"solely":[16],"from":[17,84,92,166],"the":[18,50,53,67,73,81,89,93,96,99,120,126,129,147,149,152,163,170,182],"outside":[19],"observer\u2019s":[20,82],"perspective.":[21],"However,":[22],"may":[24],"be":[25],"monitored":[26],"not":[27,69],"only":[28,70],"by":[29,35],"a":[30,36,133,143],"designated":[31],"observer":[32,48,97],"but":[33,76],"also":[34,77],"potentially":[37],"malicious":[38],"intruder":[39,68,100],"when":[40],"deployed":[41],"in":[42,104,132],"complex":[43],"open":[45],"environments.":[46],"The":[47],"infers":[49],"information":[51,90],"system":[54,94],"based":[55],"on":[56,72],"its":[57,85],"observation,":[58],"which":[59,167],"is":[60,101,160],"referred":[61],"to":[62,79,95,180],"as":[63,119,162],"knowledge.":[64],"In":[65],"addition,":[66],"eavesdrops":[71],"system\u2019s":[74],"behaviors":[75],"attempts":[78],"infer":[80],"knowledge":[83],"own":[86],"observation.":[87],"Notably,":[88],"flow":[91],"asymmetric,":[102],"resulting":[103],"incomparable":[105],"observable":[106,178],"events":[107],"for":[108],"each":[109],"agent.":[110],"Such":[111],"an":[112],"inference":[113],"scenario":[114],"has":[115],"recently":[116],"been":[117],"formalized":[118],"epistemic":[121,130,183],"property.":[122],"This":[123],"paper":[124],"addresses":[125],"DES":[136],"through":[137],"supervisory":[138],"control.":[139],"Specifically,":[140],"we":[141,168],"propose":[142],"game-theoretic":[144],"framework":[145],"involving":[146],"observer/supervisor,":[148],"intruder,":[150],"environment.":[153],"A":[154],"bipartite":[155],"structure":[156,159],"named":[157],"all-protect":[158],"constructed":[161],"game":[164,171],"area,":[165],"solve":[169],"synthesize":[173],"maximally":[174],"permissive":[175],"controllable":[176],"supervisors":[179],"enforce":[181],"properties.":[184]},"counts_by_year":[],"updated_date":"2026-04-01T17:29:45.350535","created_date":"2025-10-10T00:00:00"}