{"id":"https://openalex.org/W3186600195","doi":"https://doi.org/10.1109/med51440.2021.9480178","title":"Critical Observability of Finite State Machines Under Attacks","display_name":"Critical Observability of Finite State Machines Under Attacks","publication_year":2021,"publication_date":"2021-06-22","ids":{"openalex":"https://openalex.org/W3186600195","doi":"https://doi.org/10.1109/med51440.2021.9480178","mag":"3186600195"},"language":"en","primary_location":{"id":"doi:10.1109/med51440.2021.9480178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med51440.2021.9480178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 29th Mediterranean Conference on Control and Automation (MED)","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/A5008665858","display_name":"Naeimeh Fakhr Shamloo","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Naeimeh Fakhr Shamloo","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048093480","display_name":"Elena De Santis","orcid":"https://orcid.org/0000-0001-9498-3148"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Elena De Santis","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria D. Di Benedetto","raw_affiliation_strings":["Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]},{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics,(DISIM), Center of Excellence DEWS (Design Methodologies for Embedded Controllers, Wireless Interconnect and System on Chip), University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":0.3045,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6213789,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"337","issue":null,"first_page":"162","last_page":"166"},"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.9972000122070312,"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.9972000122070312,"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/T10142","display_name":"Formal Methods in Verification","score":0.9901000261306763,"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/T11424","display_name":"Security and Verification in Computing","score":0.987500011920929,"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/observability","display_name":"Observability","score":0.9686861038208008},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6006155014038086},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5869927406311035},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5481380820274353},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.5363057851791382},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.529966413974762},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.5067275166511536},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.47922760248184204},{"id":"https://openalex.org/keywords/finite-set","display_name":"Finite set","score":0.43526309728622437},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3662288784980774},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34731096029281616},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2855672836303711},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.13821318745613098}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.9686861038208008},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6006155014038086},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5869927406311035},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5481380820274353},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.5363057851791382},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.529966413974762},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.5067275166511536},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.47922760248184204},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.43526309728622437},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3662288784980774},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34731096029281616},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2855672836303711},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.13821318745613098},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/med51440.2021.9480178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/med51440.2021.9480178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 29th Mediterranean Conference on Control and Automation (MED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5699999928474426,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1587663028","https://openalex.org/W1966547590","https://openalex.org/W2059057465","https://openalex.org/W2077099824","https://openalex.org/W2152440281","https://openalex.org/W2411925053","https://openalex.org/W2496504753","https://openalex.org/W2504058988","https://openalex.org/W2554376400","https://openalex.org/W2585833112","https://openalex.org/W2755285785","https://openalex.org/W2801350667","https://openalex.org/W2884397601","https://openalex.org/W3011364142","https://openalex.org/W3100571116","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W2046459260","https://openalex.org/W2967463586","https://openalex.org/W2765830098","https://openalex.org/W1971989957","https://openalex.org/W2517338020","https://openalex.org/W3157641275","https://openalex.org/W4312300846","https://openalex.org/W4206221578","https://openalex.org/W2615757685","https://openalex.org/W2126123335"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"a":[3,31,164],"general":[4],"framework":[5],"is":[6,26,75,90,99,133,156,161],"proposed":[7,174],"for":[8,67],"the":[9,37,42,45,54,57,61,68,73,80,94,103,119,123,148,151,173],"analysis":[10],"and":[11,34],"characterization":[12],"of":[13,16,39,44,56,60,111,116,145,150,172],"critical":[14,32,50,131],"observability":[15,25,132],"finite":[17],"state":[18,47,86],"systems,":[19],"affected":[20],"by":[21],"malicious":[22],"attacks.":[23,137],"Critical":[24],"defined":[27],"with":[28],"respect":[29],"to":[30,36,48,84,93],"set,":[33,51],"corresponds":[35],"property":[38],"immediately":[40],"detecting":[41],"belonging":[43],"current":[46],"such":[49],"based":[52],"on":[53],"knowledge":[55],"output":[58,88,112,120],"evolution":[59],"system.":[62],"This":[63],"concept,":[64],"analyzed":[65],"before":[66],"nominal":[69],"case,":[70],"in":[71,96,102,118,126,163],"which":[72,82,97,105,130,168],"model":[74],"known,":[76],"as":[77,79],"well":[78],"function":[81],"associates":[83],"each":[85],"an":[87,100],"symbol,":[89],"here":[91],"extended":[92],"case":[95,144],"there":[98],"intrusion":[101],"system,":[104],"could":[106],"cause":[107],"replacement":[108],"or":[109,114],"removal":[110],"symbols,":[113],"injection":[115],"symbols":[117],"string.":[121],"Therefore":[122],"problem":[124,160],"consists":[125],"giving":[127],"conditions":[128],"under":[129],"preserved,":[134],"despite":[135],"possible":[136],"Different":[138],"attacker":[139,152],"models":[140],"are":[141],"considered.":[142],"The":[143,159],"attacks":[146],"where":[147],"presence":[149],"cannot":[153],"be":[154],"detected":[155],"also":[157],"addressed.":[158],"solved":[162],"set":[165],"membership":[166],"framework,":[167],"guarantees":[169],"polynomial":[170],"complexity":[171],"algorithms.":[175]},"counts_by_year":[{"year":2024,"cited_by_count":2}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}