{"id":"https://openalex.org/W4413393876","doi":"https://doi.org/10.23919/acc63710.2025.11108064","title":"Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors","display_name":"Actuator-Enabling Attacks in Discrete-event Systems with Unknown Supervisors","publication_year":2025,"publication_date":"2025-07-08","ids":{"openalex":"https://openalex.org/W4413393876","doi":"https://doi.org/10.23919/acc63710.2025.11108064"},"language":"en","primary_location":{"id":"doi:10.23919/acc63710.2025.11108064","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc63710.2025.11108064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 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/A5030774236","display_name":"Ziyue Ma","orcid":"https://orcid.org/0000-0001-5787-5738"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Ziyue Ma","raw_affiliation_strings":["Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071"],"affiliations":[{"raw_affiliation_string":"Xidian University,School of Electro-Mechanical Engineering,Xi’an,China,710071","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030895170","display_name":"Alessandro Giua","orcid":"https://orcid.org/0000-0002-3859-9472"},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Giua","raw_affiliation_strings":["University of Cagliari,Department of Electrical and Electronic Engineering,Cagliari,Italy,09123"],"affiliations":[{"raw_affiliation_string":"University of Cagliari,Department of Electrical and Electronic Engineering,Cagliari,Italy,09123","institution_ids":["https://openalex.org/I172446870"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066818776","display_name":"Carla Seatzu","orcid":null},"institutions":[{"id":"https://openalex.org/I172446870","display_name":"University of Cagliari","ror":"https://ror.org/003109y17","country_code":"IT","type":"education","lineage":["https://openalex.org/I172446870"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carla Seatzu","raw_affiliation_strings":["University of Cagliari,Department of Electrical and Electronic Engineering,Cagliari,Italy,09123"],"affiliations":[{"raw_affiliation_string":"University of Cagliari,Department of Electrical and Electronic Engineering,Cagliari,Italy,09123","institution_ids":["https://openalex.org/I172446870"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5030774236"],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29133689,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5210","last_page":"5215"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.991100013256073,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.991100013256073,"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.9866999983787537,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6551944613456726},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.6515499353408813},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5452327132225037},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4179677963256836},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3666698932647705},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19630253314971924},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.08029541373252869}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6551944613456726},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.6515499353408813},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5452327132225037},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4179677963256836},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3666698932647705},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19630253314971924},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.08029541373252869},{"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/acc63710.2025.11108064","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc63710.2025.11108064","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 American Control Conference (ACC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W2126295866","https://openalex.org/W2421199393","https://openalex.org/W2497816991","https://openalex.org/W2509841691","https://openalex.org/W2585833112","https://openalex.org/W2883996237","https://openalex.org/W2884397601","https://openalex.org/W2898913212","https://openalex.org/W2990223680","https://openalex.org/W3011364142","https://openalex.org/W3048888572","https://openalex.org/W3136610484","https://openalex.org/W3166665528","https://openalex.org/W3194981700","https://openalex.org/W4206507777","https://openalex.org/W4226068369","https://openalex.org/W4233908264","https://openalex.org/W4285745050","https://openalex.org/W4288853474"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"In":[0],"this":[1],"work":[2],"we":[3],"study":[4],"a":[5,23,26,30,46],"property":[6],"of":[7,22,42,53,62,79,91,111],"resiliency":[8],"in":[9],"discrete":[10],"event":[11],"systems":[12],"modeled":[13],"by":[14,102,119],"finite":[15],"state":[16],"automata.":[17],"The":[18,48,89],"closed-loop":[19,70],"system":[20,44,98],"consists":[21],"plant":[24,56],"and":[25,58],"supervisor":[27,64,81,86],"which":[28],"enforces":[29],"specification.":[31],"There":[32],"exists":[33],"an":[34],"external":[35],"attacker":[36,49,93],"who":[37],"can":[38,116],"eavesdrops":[39],"the":[40,43,51,54,60,63,68,80,83,85,92,97,100,109,121],"output":[41],"via":[45],"mask.":[47],"has":[50],"knowledge":[52,78],"exact":[55,69],"model":[57],"knows":[59],"existence":[61,110],"as":[65,67],"well":[66],"language,":[71],"but":[72],"it":[73],"does":[74],"not":[75],"have":[76],"any":[77],"nor":[82],"specification":[84,101],"is":[87,94],"enforcing.":[88],"aim":[90],"to":[95],"let":[96],"violate":[99],"performing":[103],"actuator-enabling":[104,113],"attacks.":[105],"We":[106],"prove":[107],"that":[108],"such":[112],"harmful":[114],"attacks":[115],"be":[117],"verified":[118],"checking":[120],"supremal":[122],"consistent":[123],"supervisor.":[124]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}