{"id":"https://openalex.org/W7123347391","doi":"https://doi.org/10.1109/cdc57313.2025.11312103","title":"Maximally Resilient Controllers under Temporal Logic Specifications","display_name":"Maximally Resilient Controllers under Temporal Logic Specifications","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123347391","doi":"https://doi.org/10.1109/cdc57313.2025.11312103"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312103","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312103","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/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":true,"raw_author_name":"Youssef Ait Si","raw_affiliation_strings":["University Mohammed VI Polytechnic,College of Computing,Benguerir,Morocco"],"affiliations":[{"raw_affiliation_string":"University Mohammed VI Polytechnic,College of Computing,Benguerir,Morocco","institution_ids":["https://openalex.org/I4210131560"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122845206","display_name":"Ratnangshu Das","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091347","display_name":"Robert Bosch (China)","ror":"https://ror.org/00cedkn40","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210091347","https://openalex.org/I889804353"]},{"id":"https://openalex.org/I4210112210","display_name":"Robert Bosch (Brazil)","ror":"https://ror.org/01yjxek63","country_code":"BR","type":"company","lineage":["https://openalex.org/I4210112210","https://openalex.org/I889804353"]}],"countries":["BR","CN"],"is_corresponding":false,"raw_author_name":"Ratnangshu Das","raw_affiliation_strings":["IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India"],"affiliations":[{"raw_affiliation_string":"IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India","institution_ids":["https://openalex.org/I4210112210","https://openalex.org/I4210091347"]}]},{"author_position":"middle","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":false,"raw_author_name":"Negar Monir","raw_affiliation_strings":["Newcastle University,Newcastle Upon Tyne,United Kingdom"],"affiliations":[{"raw_affiliation_string":"Newcastle University,Newcastle Upon Tyne,United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"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/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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122903703","display_name":"Pushpak Jagtap","orcid":null},"institutions":[{"id":"https://openalex.org/I4210091347","display_name":"Robert Bosch (China)","ror":"https://ror.org/00cedkn40","country_code":"CN","type":"company","lineage":["https://openalex.org/I4210091347","https://openalex.org/I889804353"]},{"id":"https://openalex.org/I4210112210","display_name":"Robert Bosch (Brazil)","ror":"https://ror.org/01yjxek63","country_code":"BR","type":"company","lineage":["https://openalex.org/I4210112210","https://openalex.org/I889804353"]}],"countries":["BR","CN"],"is_corresponding":false,"raw_author_name":"Pushpak Jagtap","raw_affiliation_strings":["IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India"],"affiliations":[{"raw_affiliation_string":"IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India","institution_ids":["https://openalex.org/I4210112210","https://openalex.org/I4210091347"]}]},{"author_position":"last","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 VI Polytechnic,College of Computing,Benguerir,Morocco"],"affiliations":[{"raw_affiliation_string":"University Mohammed VI Polytechnic,College of Computing,Benguerir,Morocco","institution_ids":["https://openalex.org/I4210131560"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5082696747"],"corresponding_institution_ids":["https://openalex.org/I4210131560"],"apc_list":null,"apc_paid":null,"fwci":1.6516,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.89795392,"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":"5034","last_page":"5040"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8733000159263611,"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.8733000159263611,"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/T10621","display_name":"Gene Regulatory Network Analysis","score":0.05810000002384186,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.014499999582767487,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.5950000286102295},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5895000100135803},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5734999775886536},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5676000118255615},{"id":"https://openalex.org/keywords/linear-dynamical-system","display_name":"Linear dynamical system","score":0.5148000121116638},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.5105999708175659},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.4778999984264374},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.474700003862381},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.4593000113964081}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5950000286102295},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5895000100135803},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5734999775886536},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5676000118255615},{"id":"https://openalex.org/C114275822","wikidata":"https://www.wikidata.org/wiki/Q621512","display_name":"Linear dynamical system","level":3,"score":0.5148000121116638},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.5105999708175659},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.4778999984264374},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.474700003862381},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47049999237060547},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.4593000113964081},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.4171999990940094},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4138999879360199},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.39899998903274536},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.3785000145435333},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.37290000915527344},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.37040001153945923},{"id":"https://openalex.org/C2983030100","wikidata":"https://www.wikidata.org/wiki/Q638328","display_name":"Nonlinear dynamical systems","level":3,"score":0.3499999940395355},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.3287999927997589},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3109999895095825},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.303600013256073},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.27880001068115234},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.2540999948978424},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.25270000100135803}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312103","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312103","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":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1552319950","https://openalex.org/W1935692274","https://openalex.org/W2049399166","https://openalex.org/W2062973696","https://openalex.org/W2127546815","https://openalex.org/W2150335178","https://openalex.org/W2171495471","https://openalex.org/W2898323626","https://openalex.org/W2963149920","https://openalex.org/W2991484107","https://openalex.org/W3044908040","https://openalex.org/W3191343975","https://openalex.org/W3215341229","https://openalex.org/W4293775970","https://openalex.org/W4375852066","https://openalex.org/W4391019779","https://openalex.org/W4394568899","https://openalex.org/W4412714480","https://openalex.org/W7101581379"],"related_works":[],"abstract_inverted_index":{"In":[0],"this":[1,50],"paper,":[2],"we":[3,110],"consider":[4],"the":[5,15,37,42,46,66,71,77,92,99,114,123,137],"notion":[6],"of":[7,9,94,101,122],"resilience":[8,73],"a":[10,18,31,35,61,119],"dynamical":[11,20,32],"system,":[12],"defined":[13],"by":[14],"maximum":[16,72],"disturbance":[17],"controlled":[19],"system":[21,33,48],"can":[22],"withstand":[23],"while":[24,52,74],"satisfying":[25],"given":[26],"temporal":[27],"logic":[28],"specifications.":[29,97],"Given":[30],"and":[34,84,106],"specification,":[36],"objective":[38,67],"is":[39,58,68],"to":[40,69,135],"synthesize":[41],"controller":[43,79],"such":[44],"that":[45],"closed-loop":[47],"satisfies":[49],"specification":[51],"maximizing":[53],"its":[54],"resilience.":[55],"The":[56],"problem":[57],"formulated":[59],"as":[60,125,127],"robust":[62],"optimization":[63,116],"program":[64],"where":[65],"compute":[70],"simultaneously":[75],"synthesizing":[76],"corresponding":[78],"parameters.":[80],"For":[81,98],"linear":[82,85],"systems":[83],"controllers,":[86],"exact":[87],"solutions":[88],"are":[89,133],"provided":[90],"for":[91],"class":[93],"time-varying":[95],"polytopic":[96],"case":[100,131],"nonlinear":[102,104],"systems,":[103],"controllers":[105],"more":[107],"general":[108],"specifications,":[109],"leverage":[111],"tools":[112],"from":[113],"scenario":[115],"approach,":[117],"offering":[118],"probabilistic":[120],"guarantee":[121],"solution":[124],"well":[126],"computational":[128],"feasibility.":[129],"Different":[130],"studies":[132],"presented":[134],"illustrate":[136],"theoretical":[138],"results.":[139]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-01-14T00:46:21.520733","created_date":"2026-01-14T00:00:00"}