{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:19:29Z","timestamp":1768339169643,"version":"3.49.0"},"reference-count":37,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100004830","name":"Siemens","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004830","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312943","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"8122-8129","source":"Crossref","is-referenced-by-count":1,"title":["Computation of Feasible Assume-Guarantee Contracts: A Resilience-based Approach"],"prefix":"10.1109","author":[{"given":"Negar","family":"Monir","sequence":"first","affiliation":[{"name":"Newcastle University,School of Computing,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Youssef AIT","family":"Si","sequence":"additional","affiliation":[{"name":"University Mohammed IV Polytechnic (UM6P),Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ratnangshu","family":"Das","sequence":"additional","affiliation":[{"name":"Centre for Cyber-Physical Systems, IISc,Bangalore,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[{"name":"Centre for Cyber-Physical Systems, IISc,Bangalore,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnane","family":"Saoud","sequence":"additional","affiliation":[{"name":"University Mohammed IV Polytechnic (UM6P),Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550622"},{"key":"ref2","volume-title":"Compositional and efficient controller synthesis for cyber-physical systems","author":"Saoud","year":"2019"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.08.469"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-024-02074-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2024.07.446"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10384033"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3626611"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/151646.151649"},{"key":"ref9","first-page":"200","article-title":"Multiple viewpoint contract-based specification and design","volume-title":"International Symposium on Formal Methods for Components and Objects","author":"Benveniste","year":"2007"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109910"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9993344"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814437"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992715"},{"key":"ref15","article-title":"Data-driven distributionally robust control for interacting agents under logical constraints","author":"Kordabad","year":"2025"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382212"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796095"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796276"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2024.101053"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_37"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44584-6_19"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48891.2023.10161409"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2880651"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1109\/CDC57313.2025.11312103","article-title":"Maximally resilient controllers under temporal logic specifications","author":"SI","year":"2025"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.23919\/ECC65951.2025.11186916"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1039\/D4EW00649F"},{"key":"ref29","doi-asserted-by":"crossref","DOI":"10.1109\/CDC57313.2025.11312943","article-title":"Computation of feasible assume-guarantee contracts: A resiliencebased approach","author":"Monir","year":"2025"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/189"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-30528-9_7"},{"issue":"1","key":"ref32","first-page":"116","article-title":"Mosek optimization toolbox for matlab","volume":"4","author":"ApS","year":"2019","journal-title":"User\u2019s Guide and Reference Manual, Version"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2330702"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-024-02074-3"},{"key":"ref35","first-page":"1460","article-title":"Robust control of uncertain switched affine systems via scenario optimization","volume-title":"7th Annual Learning for Dynamics & Control Conference","author":"Monir"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2021.3050123"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312943.pdf?arnumber=11312943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:20:06Z","timestamp":1768292406000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312943\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312943","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}