{"id":"https://openalex.org/W4315472297","doi":"https://doi.org/10.1109/cdc51059.2022.9992487","title":"Series composition of simulation-based assume-guarantee contracts for linear dynamical systems","display_name":"Series composition of simulation-based assume-guarantee contracts for linear dynamical systems","publication_year":2022,"publication_date":"2022-12-06","ids":{"openalex":"https://openalex.org/W4315472297","doi":"https://doi.org/10.1109/cdc51059.2022.9992487"},"language":"en","primary_location":{"id":"doi:10.1109/cdc51059.2022.9992487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9992487","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/526bf180-2e9d-44cd-9a71-285761f59cce","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007525577","display_name":"B. M. Shali","orcid":"https://orcid.org/0000-0003-3471-9761"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"B. M. Shali","raw_affiliation_strings":["University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031336931","display_name":"H. M. Heidema","orcid":null},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"H. M. Heidema","raw_affiliation_strings":["University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005018540","display_name":"Arjan van der Schaft","orcid":"https://orcid.org/0000-0002-2383-9234"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A. J. van der Schaft","raw_affiliation_strings":["University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083507299","display_name":"Bart Besselink","orcid":"https://orcid.org/0000-0001-5194-3306"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"B. Besselink","raw_affiliation_strings":["University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Groningen,Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence,Groningen,The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Jan C. Willems Center for Systems and Control, and the Bernoulli Institute for Mathematics, Computer Science, and Artificial Intelligence, University of Groningen, Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":null,"apc_paid":null,"fwci":2.2447,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.89845201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"2204","last_page":"2209"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9986000061035156,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7938713431358337},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.7555015087127686},{"id":"https://openalex.org/keywords/series","display_name":"Series (stratigraphy)","score":0.6192149519920349},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.5412620306015015},{"id":"https://openalex.org/keywords/basis","display_name":"Basis (linear algebra)","score":0.5371094346046448},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4844694137573242},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.4842769503593445},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3535435199737549},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3207350969314575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14184105396270752},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.13338729739189148}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7938713431358337},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7555015087127686},{"id":"https://openalex.org/C143724316","wikidata":"https://www.wikidata.org/wiki/Q312468","display_name":"Series (stratigraphy)","level":2,"score":0.6192149519920349},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.5412620306015015},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.5371094346046448},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4844694137573242},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.4842769503593445},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3535435199737549},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3207350969314575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14184105396270752},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.13338729739189148},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"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":3,"locations":[{"id":"doi:10.1109/cdc51059.2022.9992487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc51059.2022.9992487","pdf_url":null,"source":{"id":"https://openalex.org/S4363607710","display_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE 61st Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/526bf180-2e9d-44cd-9a71-285761f59cce","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/526bf180-2e9d-44cd-9a71-285761f59cce","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Shali, B M, Heidema, H M, Van Der Schaft, A J & Besselink, B 2022, Series composition of simulation-based assume-guarantee contracts for linear dynamical systems. in 2022 IEEE 61st Conference on Decision and Control, CDC 2022. Proceedings of the IEEE Conference on Decision and Control, vol. 2022-December, IEEE, pp. 2204-2209, 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, 06/12/2022. https://doi.org/10.1109/CDC51059.2022.9992487","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/526bf180-2e9d-44cd-9a71-285761f59cce","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/526bf180-2e9d-44cd-9a71-285761f59cce","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Shali, B M, Heidema, H M, Van Der Schaft, A J & Besselink, B 2022, Series composition of simulation-based assume-guarantee contracts for linear dynamical systems. in 2022 IEEE 61st Conference on Decision and Control, CDC 2022. Proceedings of the IEEE Conference on Decision and Control, vol. 2022-December, IEEE, pp. 2204-2209, 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, 06/12/2022. https://doi.org/10.1109/CDC51059.2022.9992487","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/526bf180-2e9d-44cd-9a71-285761f59cce","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/526bf180-2e9d-44cd-9a71-285761f59cce","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Shali, B M, Heidema, H M, Van Der Schaft, A J & Besselink, B 2022, Series composition of simulation-based assume-guarantee contracts for linear dynamical systems. in 2022 IEEE 61st Conference on Decision and Control, CDC 2022. Proceedings of the IEEE Conference on Decision and Control, vol. 2022-December, IEEE, pp. 2204-2209, 61st IEEE Conference on Decision and Control, CDC 2022, Cancun, Mexico, 06/12/2022. https://doi.org/10.1109/CDC51059.2022.9992487","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.5}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1507065317","https://openalex.org/W1991698050","https://openalex.org/W1994901326","https://openalex.org/W1997070622","https://openalex.org/W2011979623","https://openalex.org/W2025017159","https://openalex.org/W2025192585","https://openalex.org/W2090771707","https://openalex.org/W2096603442","https://openalex.org/W2109080678","https://openalex.org/W2118100616","https://openalex.org/W2137310406","https://openalex.org/W2149811200","https://openalex.org/W2264340030","https://openalex.org/W2487779201","https://openalex.org/W2557568629","https://openalex.org/W2565969279","https://openalex.org/W2594675090","https://openalex.org/W2606327778","https://openalex.org/W2964390353","https://openalex.org/W2966653964","https://openalex.org/W2967116690","https://openalex.org/W2967555261","https://openalex.org/W3006348814","https://openalex.org/W3046182703","https://openalex.org/W3091875160","https://openalex.org/W3120350889","https://openalex.org/W3138440795","https://openalex.org/W3199712845","https://openalex.org/W3201269056","https://openalex.org/W4205178436","https://openalex.org/W4315472297"],"related_works":["https://openalex.org/W2155019192","https://openalex.org/W2014709025","https://openalex.org/W2766970861","https://openalex.org/W2378076731","https://openalex.org/W3125341812","https://openalex.org/W1991674760","https://openalex.org/W1668171714","https://openalex.org/W4286888643","https://openalex.org/W4380607112","https://openalex.org/W2218294330"],"abstract_inverted_index":{"We":[0,91],"present":[1],"assume-guarantee":[2],"contracts":[3,14,117,129],"for":[4,53,68,99,133],"continuous-time":[5],"linear":[6],"dynamical":[7],"systems":[8,111],"with":[9],"inputs":[10],"and":[11,70,85,126,136],"outputs.":[12],"These":[13],"are":[15],"used":[16,132],"to":[17,28,34,60,104,130],"express":[18],"specifications":[19],"on":[20,64,76,112,118],"the":[21,36,44,61,107,113,116,122],"dynamic":[22,37],"behaviour":[23,38],"of":[24,39,46,88,96,110,115,124,138],"a":[25,86,94],"system.":[26],"Contrary":[27],"existing":[29],"approaches,":[30],"we":[31,81],"use":[32],"simulation":[33],"compare":[35],"two":[40],"systems.":[41,140],"This":[42],"has":[43],"advantage":[45],"being":[47,58],"supported":[48],"by":[49],"efficient":[50],"numerical":[51],"algorithms":[52],"verification":[54,69],"as":[55,57,73],"well":[56],"related":[59],"rich":[62],"literature":[63],"(bi)simulation":[65],"based":[66,75],"techniques":[67],"control,":[71],"such":[72],"those":[74],"(discrete)":[77],"abstractions.":[78],"Using":[79],"simulation,":[80],"define":[82,93],"contract":[83,89],"implementation":[84],"notion":[87,95],"refinement.":[90],"also":[92],"series":[97,108],"composition":[98,127],"contracts,":[100],"which":[101],"allows":[102],"us":[103],"reason":[105],"about":[106],"interconnection":[109],"basis":[114],"its":[119],"components.":[120],"Together,":[121],"notions":[123],"refinement":[125],"allow":[128],"be":[131],"modular":[134],"design":[135],"analysis":[137],"interconnected":[139]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}