{"id":"https://openalex.org/W4313318716","doi":"https://doi.org/10.1109/tac.2022.3233290","title":"Composition of Behavioural Assume\u2013Guarantee Contracts","display_name":"Composition of Behavioural Assume\u2013Guarantee Contracts","publication_year":2022,"publication_date":"2022-12-30","ids":{"openalex":"https://openalex.org/W4313318716","doi":"https://doi.org/10.1109/tac.2022.3233290"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2022.3233290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3233290","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":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","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":"Brayan M. Shali","raw_affiliation_strings":["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":"https://orcid.org/0000-0003-3471-9761","affiliations":[{"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":"Arjan van der Schaft","raw_affiliation_strings":["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":"https://orcid.org/0000-0002-2383-9234","affiliations":[{"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":"Bart Besselink","raw_affiliation_strings":["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":"https://orcid.org/0000-0001-5194-3306","affiliations":[{"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":0.9297,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.77602716,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":"68","issue":"10","first_page":"5991","last_page":"6006"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9986000061035156,"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.9986000061035156,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.995199978351593,"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/modular-design","display_name":"Modular design","score":0.7546157836914062},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7271468639373779},{"id":"https://openalex.org/keywords/variety","display_name":"Variety (cybernetics)","score":0.6737111210823059},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6040356159210205},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4352019131183624},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.4316880702972412},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3512597680091858},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14541423320770264},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10874050855636597}],"concepts":[{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.7546157836914062},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7271468639373779},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.6737111210823059},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6040356159210205},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4352019131183624},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.4316880702972412},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3512597680091858},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14541423320770264},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10874050855636597},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tac.2022.3233290","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2022.3233290","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"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","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, van der Schaft, A & Besselink, B 2023, 'Composition of behavioural assume-guarantee contracts', IEEE Transactions on Automatic Control, vol. 68, no. 10, pp. 5991-6006. https://doi.org/10.1109/TAC.2022.3233290","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pure.rug.nl:publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/d4efb264-15d1-4b2c-b355-8ae4d0750903","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, van der Schaft, A & Besselink, B 2023, 'Composition of behavioural assume-guarantee contracts', IEEE Transactions on Automatic Control, vol. 68, no. 10, pp. 5991-6006. https://doi.org/10.1109/TAC.2022.3233290","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/d4efb264-15d1-4b2c-b355-8ae4d0750903","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, van der Schaft, A & Besselink, B 2023, 'Composition of behavioural assume-guarantee contracts', IEEE Transactions on Automatic Control, vol. 68, no. 10, pp. 5991-6006. https://doi.org/10.1109/TAC.2022.3233290","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.4300000071525574,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W220525228","https://openalex.org/W1507065317","https://openalex.org/W1994901326","https://openalex.org/W2004830337","https://openalex.org/W2025017159","https://openalex.org/W2025192585","https://openalex.org/W2052363833","https://openalex.org/W2055561145","https://openalex.org/W2095477585","https://openalex.org/W2116604784","https://openalex.org/W2144355672","https://openalex.org/W2165894964","https://openalex.org/W2171505650","https://openalex.org/W2325779777","https://openalex.org/W2606327778","https://openalex.org/W2617174690","https://openalex.org/W2789981122","https://openalex.org/W2895214799","https://openalex.org/W2898323626","https://openalex.org/W2914443869","https://openalex.org/W2964390353","https://openalex.org/W2966653964","https://openalex.org/W2967116690","https://openalex.org/W2967555261","https://openalex.org/W3006348814","https://openalex.org/W3023792852","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/W4211232706","https://openalex.org/W4212995568","https://openalex.org/W4213231302","https://openalex.org/W4245305869","https://openalex.org/W4301712079"],"related_works":["https://openalex.org/W2032233321","https://openalex.org/W3121970507","https://openalex.org/W2110028391","https://openalex.org/W54497855","https://openalex.org/W217960748","https://openalex.org/W3125814499","https://openalex.org/W2090827041","https://openalex.org/W2565703248","https://openalex.org/W2061430247","https://openalex.org/W2066343225"],"abstract_inverted_index":{"The":[0,71,162],"growing":[1],"complexity":[2],"of":[3,34,42,77,80,96,99,124,145,156,164],"modern":[4],"engineering":[5],"systems":[6,57],"necessitates":[7],"a":[8,32,105],"method":[9],"for":[10,23,31,53,86,173],"design":[11,25,175],"and":[12,60,121,127,141,160,166,176],"analysis":[13],"that":[14,148],"is":[15,109,133],"inherently":[16],"modular.":[17],"Methods":[18],"based":[19],"on":[20],"using":[21],"contracts":[22,52,63,169],"system":[24,35,66,101,117,157],"have":[26],"successfully":[27],"tackled":[28],"this":[29],"issue":[30],"variety":[33],"classes,":[36],"but":[37],"mostly":[38],"in":[39],"the":[40,74,78,81,89,92,97,100,113,131],"context":[41],"discrete":[43],"software":[44],"systems.":[45],"Motivated":[46],"by":[47,111],"this,":[48],"we":[49],"present":[50],"assume\u2013guarantee":[51],"continuous":[54],"linear":[55],"dynamical":[56],"with":[58,104],"inputs":[59,85],"outputs.":[61],"Such":[62],"serve":[64],"as":[65],"specifications":[67],"through":[68],"two":[69,143,154],"aspects.":[70],"assumptions":[72],"specify":[73,91],"dynamic":[75,94],"behavior":[76,95],"environment":[79],"system,":[82],"which":[83],"provides":[84],"it,":[87],"whereas,":[88],"guarantees":[90],"desired":[93],"output":[98],"when":[102],"interconnected":[103],"relevant":[106],"environment.":[107],"This":[108],"formalized":[110],"utilizing":[112],"behavioral":[114],"approach":[115],"to":[116,135,151,170],"theory.":[118],"We":[119,138],"define":[120,140],"characterize":[122,142],"notions":[123,144],"contract":[125,128,146],"implementation":[126],"refinement,":[129],"where":[130],"latter":[132],"used":[134,172],"compare":[136],"contracts.":[137],"also":[139],"composition":[147,167],"allow":[149,168],"one":[150],"reason":[152],"about":[153],"types":[155],"interconnections:":[158],"series":[159],"feedback.":[161],"properties":[163],"refinement":[165],"be":[171],"modular":[174],"analysis.":[177]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}