{"id":"https://openalex.org/W4404103073","doi":"https://doi.org/10.1109/tcad.2024.3438072","title":"Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift","display_name":"Statistical Reachability Analysis of Stochastic Cyber-Physical Systems Under Distribution Shift","publication_year":2024,"publication_date":"2024-11-01","ids":{"openalex":"https://openalex.org/W4404103073","doi":"https://doi.org/10.1109/tcad.2024.3438072"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2024.3438072","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3438072","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-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/A5054637010","display_name":"Navid Hashemi","orcid":"https://orcid.org/0000-0002-6147-3675"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Navid Hashemi","raw_affiliation_strings":["Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0002-6147-3675","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027184150","display_name":"Lars Lindemann","orcid":"https://orcid.org/0000-0003-3430-6625"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lars Lindemann","raw_affiliation_strings":["Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-3430-6625","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057473400","display_name":"Jyotirmoy V. Deshmukh","orcid":"https://orcid.org/0000-0003-4683-5540"},"institutions":[{"id":"https://openalex.org/I1174212","display_name":"University of Southern California","ror":"https://ror.org/03taz7m60","country_code":"US","type":"education","lineage":["https://openalex.org/I1174212"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jyotirmoy V. Deshmukh","raw_affiliation_strings":["Department of Computer Science, University of Southern California, Los Angeles, CA, USA"],"raw_orcid":"https://orcid.org/0000-0003-4683-5540","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Southern California, Los Angeles, CA, USA","institution_ids":["https://openalex.org/I1174212"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5826,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68995321,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"43","issue":"11","first_page":"4250","last_page":"4261"},"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.8809999823570251,"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.8809999823570251,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.8032000064849854,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.7896000146865845,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.911213219165802},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7081183195114136},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.49577435851097107},{"id":"https://openalex.org/keywords/distribution","display_name":"Distribution (mathematics)","score":0.4379582405090332},{"id":"https://openalex.org/keywords/statistical-physics","display_name":"Statistical physics","score":0.32734525203704834},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25244706869125366},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.21261543035507202},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.1038229763507843}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.911213219165802},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7081183195114136},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49577435851097107},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.4379582405090332},{"id":"https://openalex.org/C121864883","wikidata":"https://www.wikidata.org/wiki/Q677916","display_name":"Statistical physics","level":1,"score":0.32734525203704834},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25244706869125366},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21261543035507202},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.1038229763507843},{"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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tcad.2024.3438072","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2024.3438072","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1207027810","display_name":null,"funder_award_id":"CCF-SHF-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2091120815","display_name":null,"funder_award_id":"FMitF-1837131","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4851802478","display_name":null,"funder_award_id":"SHF-2048094","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535605147","display_name":null,"funder_award_id":"CNS-1932620","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W192952563","https://openalex.org/W1553101044","https://openalex.org/W1584444527","https://openalex.org/W1824914642","https://openalex.org/W1973071586","https://openalex.org/W1974274514","https://openalex.org/W1990621008","https://openalex.org/W2080813827","https://openalex.org/W2086234878","https://openalex.org/W2096904991","https://openalex.org/W2116200501","https://openalex.org/W2535870504","https://openalex.org/W2543296129","https://openalex.org/W2590655739","https://openalex.org/W2594877703","https://openalex.org/W2766658289","https://openalex.org/W2912106686","https://openalex.org/W2937290319","https://openalex.org/W2939750219","https://openalex.org/W2950306824","https://openalex.org/W2963525569","https://openalex.org/W2964040381","https://openalex.org/W2964060211","https://openalex.org/W2974147052","https://openalex.org/W2980176594","https://openalex.org/W2980176926","https://openalex.org/W2991096134","https://openalex.org/W3045590379","https://openalex.org/W3046272654","https://openalex.org/W3048186544","https://openalex.org/W3113374047","https://openalex.org/W3125949109","https://openalex.org/W3149026061","https://openalex.org/W3157497799","https://openalex.org/W3160457970","https://openalex.org/W3178340160","https://openalex.org/W3185186402","https://openalex.org/W4287075774","https://openalex.org/W4293243623","https://openalex.org/W4312660377","https://openalex.org/W4383066412","https://openalex.org/W4391021814","https://openalex.org/W4393146905","https://openalex.org/W4400189275","https://openalex.org/W6636301970","https://openalex.org/W6754543342","https://openalex.org/W6761341600","https://openalex.org/W6798067434","https://openalex.org/W6802226090","https://openalex.org/W6857217975","https://openalex.org/W6858178272"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2127267268","https://openalex.org/W2136512912","https://openalex.org/W2067910792","https://openalex.org/W2156446763","https://openalex.org/W2143461633","https://openalex.org/W2150194458","https://openalex.org/W4321471459"],"abstract_inverted_index":{"Reachability":[0],"analysis":[1,54,141,197],"is":[2,70,88,107,179],"a":[3,18,40,62,73,94,111,122,138,145,157,187,237,246,258,268],"popular":[4],"method":[5,178,239,260],"to":[6,29,81,109,216,225,240],"give":[7],"safety":[8],"guarantees":[9,160,264],"for":[10,55],"stochastic":[11],"cyber-physical":[12],"systems":[13],"(SCPSs)":[14],"that":[15,58,77,89,159,161,244,261],"takes":[16],"in":[17,121,167,232],"symbolic":[19,63],"description":[20,64],"of":[21,33,36,51,65,100,102,118,213,251,276],"the":[22,34,49,66,90,98,103,115,119,129,133,199,218,226,252,274],"system":[23,83],"dynamics":[24],"and":[25,202,257],"uses":[26],"set-propagation":[27],"methods":[28],"compute":[30],"an":[31,56,210],"overapproximation":[32],"set":[35,99,158,169,212],"reachable":[37,233],"states":[38],"over":[39,97,198],"bounded":[41],"time":[42],"horizon.":[43],"In":[44],"this":[45,168,175],"article,":[46],"we":[47,235],"investigate":[48],"problem":[50],"performing":[52],"reachability":[53,140,196],"SCPS":[57],"does":[59],"not":[60,172],"have":[61,110],"dynamics,":[67],"but":[68],"instead":[69],"described":[71],"using":[72,209,265,267],"digital":[74],"twin":[75],"model":[76,190],"can":[78],"be":[79,126],"simulated":[80],"generate":[82],"trajectories.":[84],"An":[85],"important":[86],"challenge":[87],"simulator":[91],"implicitly":[92],"models":[93,243],"probability":[95,171],"distribution":[96,117,130,221],"trajectories":[101,120,215],"SCPS;":[104],"however,":[105],"it":[106],"typical":[108],"sim2real":[112],"gap,":[113],"i.e.,":[114],"actual":[116],"deployment":[123,165],"setting":[124],"may":[125],"shifted":[127],"from":[128,191],"assumed":[131],"by":[132],"simulator.":[134],"We":[135,272],"thus":[136],"propose":[137,236],"statistical":[139],"technique":[142,278],"that,":[143],"given":[144],"user-provided":[146],"threshold":[147],"<inline-formula":[148],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[149],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">":[150],"<tex-math":[151],"notation=\"LaTeX\">$1-\\epsilon":[152],"$":[153],"</tex-math></inline-formula>":[154],",":[155],"provides":[156,262],"any":[162],"trajectory":[163],"during":[164],"lies":[166],"with":[170,223],"smaller":[173],"than":[174],"threshold.":[176],"Our":[177],"based":[180],"on":[181,279],"three":[182],"main":[183],"steps:":[184],"1)":[185],"learning":[186],"deterministic":[188],"surrogate":[189,200,219,242,270],"sampled":[192,214],"trajectories;":[193],"2)":[194],"conducting":[195],"model;":[201],"3)":[203],"employing":[204],"robust":[205],"conformal":[206],"inference":[207],"(CI)":[208],"additional":[211],"quantify":[217],"model\u2019s":[220],"shift":[222],"respect":[224],"deployed":[227],"SCPS.":[228],"To":[229],"counter":[230],"conservatism":[231],"sets,":[234],"novel":[238],"train":[241],"minimizes":[245],"quantile":[247],"loss":[248],"term":[249],"(instead":[250],"usual":[253],"mean":[254],"squared":[255],"loss),":[256],"new":[259],"tighter":[263],"CI":[266],"normalized":[269],"error.":[271],"demonstrate":[273],"effectiveness":[275],"our":[277],"various":[280],"case":[281],"studies.":[282]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}