{"id":"https://openalex.org/W4391020176","doi":"https://doi.org/10.1109/cdc49753.2023.10383509","title":"A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems","display_name":"A Compositional Resilience Index for Computationally Efficient Safety Analysis of Interconnected Systems","publication_year":2023,"publication_date":"2023-12-13","ids":{"openalex":"https://openalex.org/W4391020176","doi":"https://doi.org/10.1109/cdc49753.2023.10383509"},"language":"en","primary_location":{"id":"doi:10.1109/cdc49753.2023.10383509","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cdc49753.2023.10383509","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 62nd IEEE 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/A5018806127","display_name":"Luyao Niu","orcid":"https://orcid.org/0000-0001-8591-5522"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Luyao Niu","raw_affiliation_strings":["University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500"],"affiliations":[{"raw_affiliation_string":"University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500","institution_ids":["https://openalex.org/I201448701"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091549518","display_name":"Abdullah Al Maruf","orcid":"https://orcid.org/0000-0001-5595-9647"},"institutions":[{"id":"https://openalex.org/I27825529","display_name":"California State University Los Angeles","ror":"https://ror.org/0294hxs80","country_code":"US","type":"education","lineage":["https://openalex.org/I27825529"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abdullah Al Maruf","raw_affiliation_strings":["California State University,Department of Electrical and Computer Engineering,Los Angeles,CA,90032"],"affiliations":[{"raw_affiliation_string":"California State University,Department of Electrical and Computer Engineering,Los Angeles,CA,90032","institution_ids":["https://openalex.org/I27825529"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109255641","display_name":"Andrew L. Clark","orcid":"https://orcid.org/0000-0002-5213-9624"},"institutions":[{"id":"https://openalex.org/I204465549","display_name":"Washington University in St. Louis","ror":"https://ror.org/01yc7t268","country_code":"US","type":"education","lineage":["https://openalex.org/I204465549"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Clark","raw_affiliation_strings":["McKelvey School of Engineering, Washington University in St. Louis,Electrical and Systems Engineering Department,St. Louis,MO,63130"],"affiliations":[{"raw_affiliation_string":"McKelvey School of Engineering, Washington University in St. Louis,Electrical and Systems Engineering Department,St. Louis,MO,63130","institution_ids":["https://openalex.org/I204465549"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039718380","display_name":"J. Sukarno Mertoguno","orcid":"https://orcid.org/0000-0003-0572-3737"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"J. Sukarno Mertoguno","raw_affiliation_strings":["School of Cybersecurity and Privacy, Georgia Institute of Technology,Atlanta,GA,30332"],"affiliations":[{"raw_affiliation_string":"School of Cybersecurity and Privacy, Georgia Institute of Technology,Atlanta,GA,30332","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079723268","display_name":"Radha Poovendran","orcid":"https://orcid.org/0000-0003-0269-8097"},"institutions":[{"id":"https://openalex.org/I201448701","display_name":"University of Washington","ror":"https://ror.org/00cvxb145","country_code":"US","type":"education","lineage":["https://openalex.org/I201448701"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Radha Poovendran","raw_affiliation_strings":["University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500"],"affiliations":[{"raw_affiliation_string":"University of Washington,Network Security Lab,Department of Electrical and Computer Engineering,Seattle,WA,98195-2500","institution_ids":["https://openalex.org/I201448701"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5018806127"],"corresponding_institution_ids":["https://openalex.org/I201448701"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24725312,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"7554","last_page":"7561"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9940999746322632,"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/T11807","display_name":"Infrastructure Resilience and Vulnerability Analysis","score":0.9675999879837036,"subfield":{"id":"https://openalex.org/subfields/2205","display_name":"Civil and Structural 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/resilience","display_name":"Resilience (materials science)","score":0.759852409362793},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6174265742301941},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5628941655158997},{"id":"https://openalex.org/keywords/index","display_name":"Index (typography)","score":0.5332412719726562},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.528185248374939},{"id":"https://openalex.org/keywords/curse-of-dimensionality","display_name":"Curse of dimensionality","score":0.5231108069419861},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.4374169707298279},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.43500757217407227},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4339151680469513},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3633560538291931},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22987115383148193},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08766409754753113}],"concepts":[{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.759852409362793},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6174265742301941},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5628941655158997},{"id":"https://openalex.org/C2777382242","wikidata":"https://www.wikidata.org/wiki/Q6017816","display_name":"Index (typography)","level":2,"score":0.5332412719726562},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.528185248374939},{"id":"https://openalex.org/C111030470","wikidata":"https://www.wikidata.org/wiki/Q1430460","display_name":"Curse of dimensionality","level":2,"score":0.5231108069419861},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.4374169707298279},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.43500757217407227},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4339151680469513},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3633560538291931},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22987115383148193},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08766409754753113},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc49753.2023.10383509","is_oa":false,"landing_page_url":"http://dx.doi.org/10.1109/cdc49753.2023.10383509","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 62nd IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.5,"id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G1777756407","display_name":null,"funder_award_id":"N00014-20-1-2636,N00014-23-1-2386","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2172658800","display_name":null,"funder_award_id":"CNS-1941670","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2345424625","display_name":null,"funder_award_id":"FA9550-20-1-0074,FA9550-22-1-0054","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/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W120333500","https://openalex.org/W1588345844","https://openalex.org/W1993446335","https://openalex.org/W1995810576","https://openalex.org/W2003530067","https://openalex.org/W2006557476","https://openalex.org/W2024267548","https://openalex.org/W2033118636","https://openalex.org/W2036031393","https://openalex.org/W2062132646","https://openalex.org/W2116364955","https://openalex.org/W2116520617","https://openalex.org/W2137782938","https://openalex.org/W2156093990","https://openalex.org/W2560504659","https://openalex.org/W2601924125","https://openalex.org/W2765203865","https://openalex.org/W2788931035","https://openalex.org/W2798916184","https://openalex.org/W2943651313","https://openalex.org/W2962787891","https://openalex.org/W2963525569","https://openalex.org/W3005637461","https://openalex.org/W3035313359","https://openalex.org/W3042678697","https://openalex.org/W3104239214","https://openalex.org/W3123324479","https://openalex.org/W4210279164","https://openalex.org/W4242741415","https://openalex.org/W4250589301","https://openalex.org/W4283367824","https://openalex.org/W4315471985"],"related_works":["https://openalex.org/W4296209631","https://openalex.org/W3097449145","https://openalex.org/W2561617217","https://openalex.org/W4294811468","https://openalex.org/W2355801475","https://openalex.org/W4206659427","https://openalex.org/W2170062176","https://openalex.org/W2148135840","https://openalex.org/W106004901","https://openalex.org/W2973622563"],"abstract_inverted_index":{"Interconnected":[0],"systems":[1,5,72],"such":[2],"as":[3],"power":[4],"and":[6,21,38,44,75,104,150,169],"chemical":[7,208],"processes":[8],"are":[9,167,173],"often":[10],"required":[11],"to":[12,33,66,120,145,154,159],"satisfy":[13,146],"safety":[14,24,68,93,122,148,179],"properties":[15,69],"in":[16,211],"the":[17,51,55,84,107,111,140,161,178,182],"presence":[18],"of":[19,25,41,70,114,136,142,181,193],"faults":[20,43,74,103],"attacks.":[22,76,105],"Verifying":[23],"these":[26,152],"systems,":[27],"however,":[28],"is":[29,80,95,100],"computationally":[30],"challenging":[31],"due":[32],"nonlinear":[34],"dynamics,":[35],"high":[36],"dimensionality,":[37],"combinatorial":[39],"number":[40],"possible":[42],"attacks":[45],"that":[46,177],"can":[47,185],"be":[48,186],"incurred":[49],"by":[50,102,189],"subsystems":[52,166],"interconnected":[53,71,168,183],"within":[54],"network.":[56],"In":[57],"this":[58],"paper,":[59],"we":[60,175],"develop":[61,133],"a":[62,81,92,98,115,134,191,203],"compositional":[63],"resilience":[64,78,108,162,171,200],"index":[65,79,109,201],"verify":[67],"under":[73],"The":[77],"tuple":[82],"serving":[83],"following":[85],"two":[86],"purposes.":[87],"First,":[88],"it":[89],"quantifies":[90],"how":[91],"property":[94],"impacted":[96],"when":[97,127],"subsystem":[99,116,144],"compromised":[101],"Second,":[106],"characterizes":[110],"needed":[112],"behavior":[113],"during":[117],"normal":[118],"operations":[119],"ensure":[121],"violations":[123],"will":[124],"not":[125],"occur":[126],"future":[128],"adverse":[129],"events":[130],"occur.":[131],"We":[132,196],"set":[135],"sufficient":[137],"conditions":[138,153],"on":[139,207],"dynamics":[141],"each":[143],"its":[147],"constraint,":[149],"leverage":[151],"formulate":[155],"an":[156],"optimization":[157],"program":[158],"compute":[160],"index.":[163],"When":[164],"multiple":[165],"their":[170],"indices":[172],"given,":[174],"show":[176],"constraints":[180],"system":[184,192],"efficiently":[187],"verified":[188],"solving":[190],"linear":[194],"inequalities.":[195],"demonstrate":[197],"our":[198],"developed":[199],"using":[202],"numerical":[204],"case":[205],"study":[206],"reactors":[209],"connected":[210],"series.":[212]},"counts_by_year":[],"updated_date":"2025-12-25T23:11:45.687758","created_date":"2025-10-10T00:00:00"}