{"id":"https://openalex.org/W4360770963","doi":"https://doi.org/10.1109/tac.2023.3260729","title":"A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems","display_name":"A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems","publication_year":2023,"publication_date":"2023-03-23","ids":{"openalex":"https://openalex.org/W4360770963","doi":"https://doi.org/10.1109/tac.2023.3260729"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2023.3260729","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3260729","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","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/A5011080021","display_name":"Abolfazl Lavaei","orcid":"https://orcid.org/0000-0003-4993-3170"},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["AU","GB"],"is_corresponding":true,"raw_author_name":"Abolfazl Lavaei","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle, U.K"],"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle, U.K","institution_ids":["https://openalex.org/I84884186","https://openalex.org/I78757542"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I78757542","display_name":"University of Newcastle Australia","ror":"https://ror.org/00eae9z71","country_code":"AU","type":"education","lineage":["https://openalex.org/I78757542"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["AU","GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["School of Computing, Newcastle University, Newcastle, U.K"],"affiliations":[{"raw_affiliation_string":"School of Computing, Newcastle University, Newcastle, U.K","institution_ids":["https://openalex.org/I84884186","https://openalex.org/I78757542"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029069358","display_name":"Emilio Frazzoli","orcid":null},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Emilio Frazzoli","raw_affiliation_strings":["Institute for Dynamic Systems and Control, ETH Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Institute for Dynamic Systems and Control, ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5011080021"],"corresponding_institution_ids":["https://openalex.org/I78757542","https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.9391,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.73584935,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"68","issue":"12","first_page":"7240","last_page":"7253"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9991999864578247,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9991999864578247,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9828000068664551,"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"}},{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.9728999733924866,"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/computer-science","display_name":"Computer science","score":0.637391209602356},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.5677608251571655},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.5038372874259949},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.4950787127017975},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.4636261463165283},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4212988317012787},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38143354654312134},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23492032289505005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14042311906814575}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.637391209602356},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5677608251571655},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.5038372874259949},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.4950787127017975},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.4636261463165283},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4212988317012787},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38143354654312134},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23492032289505005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14042311906814575},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tac.2023.3260729","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2023.3260729","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Automatic Control","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1491203899","https://openalex.org/W1563025436","https://openalex.org/W1607353007","https://openalex.org/W2023808162","https://openalex.org/W2033118636","https://openalex.org/W2040871222","https://openalex.org/W2043772803","https://openalex.org/W2076424721","https://openalex.org/W2077987282","https://openalex.org/W2087486424","https://openalex.org/W2126074357","https://openalex.org/W2131295967","https://openalex.org/W2164261482","https://openalex.org/W2167412190","https://openalex.org/W2326471176","https://openalex.org/W2333918096","https://openalex.org/W2396495043","https://openalex.org/W2490900388","https://openalex.org/W2546505240","https://openalex.org/W2558765880","https://openalex.org/W2582186538","https://openalex.org/W2588802774","https://openalex.org/W2789826932","https://openalex.org/W2889348608","https://openalex.org/W2895196950","https://openalex.org/W2963644532","https://openalex.org/W2963686733","https://openalex.org/W2968945909","https://openalex.org/W2969264971","https://openalex.org/W2972429904","https://openalex.org/W2990296706","https://openalex.org/W2993061841","https://openalex.org/W3001057880","https://openalex.org/W3001311638","https://openalex.org/W3007639543","https://openalex.org/W3023718358","https://openalex.org/W3025302876","https://openalex.org/W3026873144","https://openalex.org/W3098173350","https://openalex.org/W3102238624","https://openalex.org/W3123324479","https://openalex.org/W3135387141","https://openalex.org/W3153831685","https://openalex.org/W3199571574","https://openalex.org/W3199797691","https://openalex.org/W4226165084","https://openalex.org/W4295854926","https://openalex.org/W6774429152","https://openalex.org/W6785978685","https://openalex.org/W6948146480"],"related_works":["https://openalex.org/W2366107444","https://openalex.org/W4388145910","https://openalex.org/W1976205134","https://openalex.org/W2381570729","https://openalex.org/W4248336175","https://openalex.org/W3009369890","https://openalex.org/W1497573972","https://openalex.org/W1846253165","https://openalex.org/W2071659383","https://openalex.org/W2124122503"],"abstract_inverted_index":{"This":[0],"work":[1],"is":[2,73],"concerned":[3],"with":[4,20,202,247],"a":[5,64,89,112,127,141,149,183,195,225],"<italic":[6,41,154,160,242],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[7,42,155,161,243],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">compositional":[8],"data-driven":[9],"approach</i>":[10],"for":[11,59,130,241],"formal":[12],"safety":[13,228],"verification":[14],"of":[15,34,40,51,84,103,107,119,123,138,144,165,172,223,234],"large-scale":[16],"continuous-time":[17,245],"dynamical":[18],"systems":[19,167,246],"unknown":[21,79,132,248,256],"models.":[22],"The":[23],"proposed":[24,71],"framework":[25],"enjoys":[26],"the":[27,38,48,52,56,70,78,96,116,136,177,187,221,231,235],"interconnection":[28],"matrix":[29],"and":[30,121,140],"joint":[31],"dissipativity-type":[32],"properties":[33],"subsystems,":[35],"described":[36],"by":[37,99],"notion":[39],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">stochastic":[43,162],"storage":[44,61,128,170],"certificates</i>":[45,164],".":[46],"In":[47,230],"first":[49],"part":[50,233],"paper,":[53,236],"we":[54,87,125,181,237],"cast":[55],"required":[57,142],"conditions":[58],"constructing":[60],"certificates":[62,171],"as":[63],"robust":[65],"optimization":[66,91],"program":[67,92],"(ROP).":[68],"Since":[69],"ROP":[72,98],"not":[74],"tractable":[75],"due":[76],"to":[77,95,158],"model":[80],"appearing":[81],"in":[82,199],"one":[83],"its":[85],"constraints,":[86],"propose":[88,148,209,238],"scenario":[90],"(SOP)":[93],"corresponding":[94],"original":[97],"collecting":[100],"finite":[101],"numbers":[102],"data":[104,139],"from":[105],"trajectories":[106],"each":[108,131],"subsystem.":[109],"By":[110,175],"establishing":[111],"probabilistic":[113],"relation":[114],"between":[115],"optimal":[117],"value":[118],"SOP":[120],"that":[122,189],"ROP,":[124],"construct":[126,159],"certificate":[129],"subsystem":[133],"based":[134,152,168],"on":[135,153,169,186],"number":[137],"level":[143],"confidence.":[145,206],"We":[146,207,250],"accordingly":[147],"compositional":[150,212],"technique":[151],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">dissipativity":[156],"reasoning</i>":[157],"barrier":[163,179],"interconnected":[166,191],"individual":[173],"subsystems.":[174],"leveraging":[176],"acquired":[178],"certificate,":[180],"quantify":[182],"lower":[184],"bound":[185],"probability":[188],"an":[190,203,210,255],"system":[192],"never":[193],"reaches":[194],"certain":[196],"unsafe":[197],"region":[198],"finite-time":[200],"horizons":[201],"a-priori":[204],"guaranteed":[205],"also":[208],"auxiliary":[211],"approach":[213],"without":[214],"requiring":[215],"any":[216],"compositionality":[217],"condition":[218],"but":[219],"at":[220],"cost":[222],"providing":[224],"potentially":[226],"conservative":[227],"guarantee.":[229],"second":[232],"our":[239,252],"approaches":[240],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">deterministic</i>":[244],"dynamics.":[249],"verify":[251],"results":[253],"over":[254],"room":[257],"temperature":[258],"network":[259],"containing":[260],"100":[261],"rooms.":[262]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}