{"id":"https://openalex.org/W2784151957","doi":"https://doi.org/10.1109/cdc.2017.8263659","title":"An SMT-based approach to secure state estimation under sensor and actuator attacks","display_name":"An SMT-based approach to secure state estimation under sensor and actuator attacks","publication_year":2017,"publication_date":"2017-12-01","ids":{"openalex":"https://openalex.org/W2784151957","doi":"https://doi.org/10.1109/cdc.2017.8263659","mag":"2784151957"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2017.8263659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","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/A5011826350","display_name":"Mehrdad Showkatbakhsh","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mehrdad Showkatbakhsh","raw_affiliation_strings":["UCLA Electrical Engineering Department, Los Angeles, CA"],"affiliations":[{"raw_affiliation_string":"UCLA Electrical Engineering Department, Los Angeles, CA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5019844918","display_name":"Yasser Shoukry","orcid":"https://orcid.org/0000-0002-8224-8477"},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yasser Shoukry","raw_affiliation_strings":["The Department of Electrical & Computer Engineering, University of Maryland, College Park, MD"],"affiliations":[{"raw_affiliation_string":"The Department of Electrical & Computer Engineering, University of Maryland, College Park, MD","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009883963","display_name":"Robert H. Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099535","display_name":"Redondo Optics (United States)","ror":"https://ror.org/00wgn9w85","country_code":"US","type":"company","lineage":["https://openalex.org/I4210099535"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robert H. Chen","raw_affiliation_strings":["NG Next, Redondo Beach, CA"],"affiliations":[{"raw_affiliation_string":"NG Next, Redondo Beach, CA","institution_ids":["https://openalex.org/I4210099535"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083980887","display_name":"Suhas Diggavi","orcid":"https://orcid.org/0000-0001-7313-9861"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Suhas Diggavi","raw_affiliation_strings":["UCLA Electrical Engineering Department, Los Angeles, CA"],"affiliations":[{"raw_affiliation_string":"UCLA Electrical Engineering Department, Los Angeles, CA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Paulo Tabuada","raw_affiliation_strings":["UCLA Electrical Engineering Department, Los Angeles, CA"],"affiliations":[{"raw_affiliation_string":"UCLA Electrical Engineering Department, Los Angeles, CA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5011826350"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6093,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.85128232,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"157","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":0.9943000078201294,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10876","display_name":"Fault Detection and Control Systems","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/actuator","display_name":"Actuator","score":0.7927275896072388},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6408195495605469},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6047518253326416},{"id":"https://openalex.org/keywords/estimation","display_name":"Estimation","score":0.4226042330265045},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38248398900032043},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.37271279096603394},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2390192747116089},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.19839036464691162},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.08683043718338013}],"concepts":[{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.7927275896072388},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6408195495605469},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6047518253326416},{"id":"https://openalex.org/C96250715","wikidata":"https://www.wikidata.org/wiki/Q965330","display_name":"Estimation","level":2,"score":0.4226042330265045},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38248398900032043},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.37271279096603394},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2390192747116089},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.19839036464691162},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.08683043718338013},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc.2017.8263659","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2017.8263659","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W5815757","https://openalex.org/W207267598","https://openalex.org/W1481397690","https://openalex.org/W1499908471","https://openalex.org/W1509328365","https://openalex.org/W1978666674","https://openalex.org/W1995810576","https://openalex.org/W2003530067","https://openalex.org/W2009257627","https://openalex.org/W2010973666","https://openalex.org/W2039427951","https://openalex.org/W2062132646","https://openalex.org/W2068740779","https://openalex.org/W2107043025","https://openalex.org/W2114456964","https://openalex.org/W2125815685","https://openalex.org/W2153741104","https://openalex.org/W2157078218","https://openalex.org/W2157926463","https://openalex.org/W2221032419","https://openalex.org/W2277481029","https://openalex.org/W2296271400","https://openalex.org/W2338673978","https://openalex.org/W2482666470","https://openalex.org/W2555431798","https://openalex.org/W2567876897","https://openalex.org/W2588387258","https://openalex.org/W2784151957","https://openalex.org/W2963580604","https://openalex.org/W2963639842","https://openalex.org/W2963890529","https://openalex.org/W2964243504","https://openalex.org/W3101875661","https://openalex.org/W3105533740","https://openalex.org/W4231980343","https://openalex.org/W4290000100","https://openalex.org/W6628836516"],"related_works":["https://openalex.org/W2490690736","https://openalex.org/W2099333796","https://openalex.org/W1999058329","https://openalex.org/W2080330449","https://openalex.org/W2007221537","https://openalex.org/W785766289","https://openalex.org/W2011222276","https://openalex.org/W2185997459","https://openalex.org/W2967125373","https://openalex.org/W2063875960"],"abstract_inverted_index":{"This":[0],"paper":[1],"addresses":[2],"the":[3,16,27,46,53,64,72],"problem":[4],"of":[5,8,15,55,74],"state":[6,65,84],"estimation":[7,66],"a":[9,31,82],"linear":[10],"time-invariant":[11],"system":[12],"when":[13],"some":[14],"sensors":[17,76],"or/and":[18],"actuators":[19],"are":[20,49],"under":[21],"adversarial":[22,28],"attack.":[23],"In":[24],"our":[25],"set-up,":[26],"agent":[29],"attacks":[30],"sensor":[32],"(actuator)":[33],"by":[34],"manipulating":[35],"its":[36],"measurement":[37],"(input),":[38],"and":[39,77],"we":[40,80],"impose":[41],"no":[42],"constraint":[43],"on":[44,71,87],"how":[45],"measurements":[47],"(inputs)":[48],"corrupted.":[50],"We":[51],"introduce":[52],"notion":[54],"\u201csparse":[56],"strong":[57],"observability\u201d":[58],"to":[59],"characterize":[60],"systems":[61],"for":[62],"which":[63],"is":[67],"possible,":[68],"given":[69],"bounds":[70],"number":[73],"attacked":[75],"actuators.":[78],"Furthermore,":[79],"develop":[81],"secure":[83],"estimator":[85],"based":[86],"Satisfiability":[88],"Modulo":[89],"Theory":[90],"(SMT)":[91],"solvers.":[92]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-25T21:42:39.735039","created_date":"2025-10-10T00:00:00"}