{"id":"https://openalex.org/W7123346281","doi":"https://doi.org/10.1109/cdc57313.2025.11312943","title":"Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach","display_name":"Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123346281","doi":"https://doi.org/10.1109/cdc57313.2025.11312943"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th 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/A5106693649","display_name":"Negar Monir","orcid":null},"institutions":[{"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":["GB"],"is_corresponding":true,"raw_author_name":"Negar Monir","raw_affiliation_strings":["Newcastle University,School of Computing,United Kingdom"],"affiliations":[{"raw_affiliation_string":"Newcastle University,School of Computing,United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082696747","display_name":"Youssef Ait","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131560","display_name":"Universit\u00e9 Mohammed VI Polytechnique","ror":"https://ror.org/03xc55g68","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210131560"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Youssef AIT Si","raw_affiliation_strings":["University Mohammed IV Polytechnic (UM6P),Morocco"],"affiliations":[{"raw_affiliation_string":"University Mohammed IV Polytechnic (UM6P),Morocco","institution_ids":["https://openalex.org/I4210131560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056836426","display_name":"Ratnangshu Das","orcid":"https://orcid.org/0009-0004-5214-4791"},"institutions":[{"id":"https://openalex.org/I4210127127","display_name":"Bangalore Diabetes Centre","ror":"https://ror.org/033q83c72","country_code":"IN","type":"healthcare","lineage":["https://openalex.org/I4210127127"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ratnangshu Das","raw_affiliation_strings":["Centre for Cyber-Physical Systems, IISc,Bangalore,India"],"affiliations":[{"raw_affiliation_string":"Centre for Cyber-Physical Systems, IISc,Bangalore,India","institution_ids":["https://openalex.org/I4210127127"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073867567","display_name":"Pushpak Jagtap","orcid":"https://orcid.org/0000-0002-5452-8850"},"institutions":[{"id":"https://openalex.org/I4210127127","display_name":"Bangalore Diabetes Centre","ror":"https://ror.org/033q83c72","country_code":"IN","type":"healthcare","lineage":["https://openalex.org/I4210127127"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Pushpak Jagtap","raw_affiliation_strings":["Centre for Cyber-Physical Systems, IISc,Bangalore,India"],"affiliations":[{"raw_affiliation_string":"Centre for Cyber-Physical Systems, IISc,Bangalore,India","institution_ids":["https://openalex.org/I4210127127"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044636057","display_name":"Saharsh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210131560","display_name":"Universit\u00e9 Mohammed VI Polytechnique","ror":"https://ror.org/03xc55g68","country_code":"MA","type":"education","lineage":["https://openalex.org/I4210131560"]}],"countries":["MA"],"is_corresponding":false,"raw_author_name":"Adnane Saoud","raw_affiliation_strings":["University Mohammed IV Polytechnic (UM6P),Morocco"],"affiliations":[{"raw_affiliation_string":"University Mohammed IV Polytechnic (UM6P),Morocco","institution_ids":["https://openalex.org/I4210131560"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Max Planck Institute for Software Systems,Germany"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5106693649"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":1.42,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88610246,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"8122","last_page":"8129"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8526999950408936,"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.8526999950408936,"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.03739999979734421,"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/T11424","display_name":"Security and Verification in Computing","score":0.01510000042617321,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7529000043869019},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.725600004196167},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.5927000045776367},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5758000016212463},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5605000257492065},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.520799994468689},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4478999972343445},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.4043000042438507}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7529000043869019},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.725600004196167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.629800021648407},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.5927000045776367},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5758000016212463},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5605000257492065},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.520799994468689},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4478999972343445},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.4043000042438507},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.40220001339912415},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.37790000438690186},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34150001406669617},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3271999955177307},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2881999909877777},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26420000195503235},{"id":"https://openalex.org/C74172769","wikidata":"https://www.wikidata.org/wiki/Q1446839","display_name":"Routing (electronic design automation)","level":2,"score":0.2639999985694885},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.2632000148296356},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C2776784348","wikidata":"https://www.wikidata.org/wiki/Q5762595","display_name":"Microgrid","level":3,"score":0.25589999556541443},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.25110000371932983}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322923","display_name":"Siemens","ror":"https://ror.org/059mq0909"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W29365316","https://openalex.org/W1533557569","https://openalex.org/W2049399166","https://openalex.org/W2164261482","https://openalex.org/W2166280160","https://openalex.org/W2178935672","https://openalex.org/W2284512813","https://openalex.org/W2293400264","https://openalex.org/W2789981122","https://openalex.org/W2963149920","https://openalex.org/W2963931816","https://openalex.org/W2964390353","https://openalex.org/W2966653964","https://openalex.org/W2967116690","https://openalex.org/W2972844747","https://openalex.org/W3006348814","https://openalex.org/W3119019335","https://openalex.org/W3201269056","https://openalex.org/W4205178436","https://openalex.org/W4225725160","https://openalex.org/W4295364605","https://openalex.org/W4383108341","https://openalex.org/W4391019779","https://openalex.org/W4394568899","https://openalex.org/W4399700757","https://openalex.org/W4401811209","https://openalex.org/W4403949222","https://openalex.org/W4415180503","https://openalex.org/W7101581379","https://openalex.org/W7123346281","https://openalex.org/W7123347391"],"related_works":[],"abstract_inverted_index":{"We":[0,28,49,78],"propose":[1],"a":[2,30,113],"resilience-based":[3],"framework":[4,81,124],"for":[5,58],"computing":[6],"feasible":[7],"assume-guarantee":[8],"contracts":[9],"that":[10],"ensure":[11],"the":[12,33,80,120],"satisfaction":[13],"of":[14,56,69,75,122],"temporal":[15,127],"specifications":[16,39,129],"in":[17],"interconnected":[18],"discrete-time":[19],"systems.":[20],"Interconnection":[21],"effects":[22],"are":[23],"modeled":[24],"as":[25],"structured":[26],"disturbances.":[27],"use":[29],"resilience":[31],"metric,":[32],"maximum":[34],"disturbance":[35],"under":[36],"which":[37],"local":[38],"hold,":[40],"to":[41,66],"refine":[42],"assumptions":[43],"and":[44,53,91,95,112],"guarantees":[45,57],"across":[46],"subsystems":[47,71],"iteratively.":[48],"first":[50],"demonstrate":[51],"correctness":[52],"monotone":[54],"refinement":[55],"two":[59],"subsystems.":[60],"Then,":[61],"we":[62],"extend":[63],"our":[64,123],"approach":[65,105],"general":[67,101],"networks":[68],"L":[70],"using":[72],"weighted":[73],"combinations":[74],"interconnection":[76],"effects.":[77],"instantiate":[79],"on":[82,96,125],"linear":[83,110],"systems":[84,98],"by":[85,99],"meeting":[86],"finite-horizon":[87,92,102],"safety,":[88],"exact-time":[89],"reachability,":[90],"reachability":[93],"specifications,":[94],"nonlinear":[97,114],"fulfilling":[100],"specifications.":[103],"Our":[104],"is":[106],"demonstrated":[107],"through":[108],"numerical":[109],"examples":[111],"DC":[115],"microgrid":[116],"case":[117],"study,":[118],"showcasing":[119],"impact":[121],"verifying":[126],"logic":[128],"with":[130],"compositional":[131],"reasoning.":[132]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2026-01-14T00:00:00"}