{"id":"https://openalex.org/W3207130869","doi":"https://doi.org/10.1109/ccta49430.2022.9966120","title":"Sampling-based Computation of Viability Domain to Prevent Safety Violations by Attackers","display_name":"Sampling-based Computation of Viability Domain to Prevent Safety Violations by Attackers","publication_year":2022,"publication_date":"2022-08-23","ids":{"openalex":"https://openalex.org/W3207130869","doi":"https://doi.org/10.1109/ccta49430.2022.9966120","mag":"3207130869"},"language":"en","primary_location":{"id":"doi:10.1109/ccta49430.2022.9966120","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta49430.2022.9966120","pdf_url":null,"source":{"id":"https://openalex.org/S4363608038","display_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"},"type":"conference-paper","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/A5010180273","display_name":"Kunal Garg","orcid":"https://orcid.org/0000-0002-1895-4991"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kunal Garg","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016892225","display_name":"\u00c1lvaro A. C\u00e1rdenas","orcid":"https://orcid.org/0000-0002-5142-9750"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alvaro A. Cardenas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5028224738","display_name":"Ricardo G. Sanfelice","orcid":"https://orcid.org/0000-0002-6671-5362"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ricardo G. Sanfelice","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"720","last_page":"725"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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.9970999956130981,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.9955999851226807,"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.9901000261306763,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6856623888015747},{"id":"https://openalex.org/keywords/adversarial-system","display_name":"Adversarial system","score":0.6406823992729187},{"id":"https://openalex.org/keywords/adversary","display_name":"Adversary","score":0.5364485383033752},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.527271568775177},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5210025310516357},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5138435959815979},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4641121029853821},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.45806485414505005},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.44238758087158203},{"id":"https://openalex.org/keywords/iterative-method","display_name":"Iterative method","score":0.4403940439224243},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.4318382740020752},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4180455207824707},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2804870307445526},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1839953362941742},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.15003743767738342},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13481804728507996}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6856623888015747},{"id":"https://openalex.org/C37736160","wikidata":"https://www.wikidata.org/wiki/Q1801315","display_name":"Adversarial system","level":2,"score":0.6406823992729187},{"id":"https://openalex.org/C41065033","wikidata":"https://www.wikidata.org/wiki/Q2825412","display_name":"Adversary","level":2,"score":0.5364485383033752},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.527271568775177},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5210025310516357},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5138435959815979},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4641121029853821},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.45806485414505005},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.44238758087158203},{"id":"https://openalex.org/C159694833","wikidata":"https://www.wikidata.org/wiki/Q2321565","display_name":"Iterative method","level":2,"score":0.4403940439224243},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4318382740020752},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4180455207824707},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2804870307445526},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1839953362941742},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.15003743767738342},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13481804728507996},{"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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ccta49430.2022.9966120","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ccta49430.2022.9966120","pdf_url":null,"source":{"id":"https://openalex.org/S4363608038","display_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Conference on Control Technology and Applications (CCTA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G1424887769","display_name":null,"funder_award_id":"ECS-1710621","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1940323886","display_name":null,"funder_award_id":"ECS-1710621","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G3949202386","display_name":null,"funder_award_id":"FA9550-19-1-0053,FA9550-19-1-0169,FA9550-20-1-0238","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1714207109","https://openalex.org/W1960239420","https://openalex.org/W2003530067","https://openalex.org/W2098266409","https://openalex.org/W2118245099","https://openalex.org/W2118410985","https://openalex.org/W2171505650","https://openalex.org/W2535751405","https://openalex.org/W2560504659","https://openalex.org/W2785394676","https://openalex.org/W2799935950","https://openalex.org/W2891240227","https://openalex.org/W2951360139","https://openalex.org/W2963768083","https://openalex.org/W2963995490","https://openalex.org/W2964040381","https://openalex.org/W3035677232","https://openalex.org/W3045680489","https://openalex.org/W3080716118","https://openalex.org/W3094773491","https://openalex.org/W3098925401","https://openalex.org/W3143034939","https://openalex.org/W3184816927","https://openalex.org/W4210902945","https://openalex.org/W4224314738","https://openalex.org/W6677471289","https://openalex.org/W6782080126"],"related_works":["https://openalex.org/W2502115930","https://openalex.org/W2482350142","https://openalex.org/W4320018150","https://openalex.org/W2040808657","https://openalex.org/W4239582170","https://openalex.org/W2918664383","https://openalex.org/W106056076","https://openalex.org/W4320855730","https://openalex.org/W2135200719","https://openalex.org/W4322731072"],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"the":[3,29,45,110,129],"security":[4],"of":[5,8,47,79,90,112],"a":[6,21,48,59,67,70,77,81,87,95,135],"class":[7],"constrained":[9],"nonlinear":[10],"systems":[11,30],"under":[12,50],"attacks.":[13,53],"Our":[14],"goal":[15],"is":[16,31,69],"to":[17,43,64,92,108,119],"design":[18],"initial":[19,113],"conditions,":[20,56],"control":[22,141],"action":[23],"and":[24,115],"input":[25,116],"bounds,":[26],"so":[27],"that":[28],"secure":[32],"by":[33],"design.":[34],"To":[35],"this":[36],"end,":[37],"we":[38,57,75,103,133],"propose":[39,58,104],"novel":[40],"sufficient":[41],"conditions":[42,114],"guarantee":[44],"safety":[46],"system":[49],"adversarial":[51],"actuator":[52],"Using":[54],"these":[55],"computationally":[60],"efficient":[61],"sampling-based":[62],"method":[63,78],"verify":[65],"whether":[66,94],"set":[68,89,96,111,118],"viability":[71],"domain.":[72],"In":[73],"particular,":[74],"devise":[76],"checking":[80],"modified":[82],"barrier":[83],"function":[84],"condition":[85],"on":[86],"finite":[88],"points":[91],"assess":[93],"can":[97,124],"be":[98],"rendered":[99],"forward":[100],"invariant.":[101],"Then,":[102],"an":[105,122],"iterative":[106],"algorithm":[107],"compute":[109],"constraint":[117],"limit":[120],"what":[121],"adversary":[123],"do":[125],"if":[126],"it":[127],"compromises":[128],"vulnerable":[130],"inputs.":[131],"Finally,":[132],"utilize":[134],"Quadratic":[136],"Program":[137],"approach":[138],"for":[139],"online":[140],"synthesis.":[142]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}