{"id":"https://openalex.org/W3138440795","doi":"https://doi.org/10.23919/ecc54610.2021.9654875","title":"Behavioural contracts for linear dynamical systems: input assumptions and output guarantees","display_name":"Behavioural contracts for linear dynamical systems: input assumptions and output guarantees","publication_year":2021,"publication_date":"2021-06-29","ids":{"openalex":"https://openalex.org/W3138440795","doi":"https://doi.org/10.23919/ecc54610.2021.9654875","mag":"3138440795"},"language":"en","primary_location":{"id":"doi:10.23919/ecc54610.2021.9654875","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc54610.2021.9654875","pdf_url":null,"source":{"id":"https://openalex.org/S4363608272","display_name":"2021 European Control Conference (ECC)","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":"2021 European Control Conference (ECC)","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/b85cc677-9a40-46d7-baeb-69a943d5d72d","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":["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":"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":["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":"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":["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":"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.4289,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88405508,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"567","last_page":"572"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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.9997000098228455,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9983999729156494,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9919000267982483,"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/conjunction","display_name":"Conjunction (astronomy)","score":0.7941009998321533},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7109605669975281},{"id":"https://openalex.org/keywords/contract-management","display_name":"Contract management","score":0.4791761636734009},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.4685327410697937},{"id":"https://openalex.org/keywords/contract-theory","display_name":"Contract theory","score":0.44167560338974},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4179142117500305},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16195666790008545},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16193625330924988},{"id":"https://openalex.org/keywords/economics","display_name":"Economics","score":0.09822282195091248},{"id":"https://openalex.org/keywords/microeconomics","display_name":"Microeconomics","score":0.08836087584495544}],"concepts":[{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.7941009998321533},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7109605669975281},{"id":"https://openalex.org/C55451941","wikidata":"https://www.wikidata.org/wiki/Q1783273","display_name":"Contract management","level":2,"score":0.4791761636734009},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.4685327410697937},{"id":"https://openalex.org/C79301358","wikidata":"https://www.wikidata.org/wiki/Q1918846","display_name":"Contract theory","level":2,"score":0.44167560338974},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4179142117500305},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16195666790008545},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16193625330924988},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.09822282195091248},{"id":"https://openalex.org/C175444787","wikidata":"https://www.wikidata.org/wiki/Q39072","display_name":"Microeconomics","level":1,"score":0.08836087584495544},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C187736073","wikidata":"https://www.wikidata.org/wiki/Q2920921","display_name":"Management","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.23919/ecc54610.2021.9654875","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc54610.2021.9654875","pdf_url":null,"source":{"id":"https://openalex.org/S4363608272","display_name":"2021 European Control Conference (ECC)","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":"2021 European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/b85cc677-9a40-46d7-baeb-69a943d5d72d","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/b85cc677-9a40-46d7-baeb-69a943d5d72d","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, van der Schaft, A & Besselink, B 2021, Behavioural contracts for linear dynamical systems : Input assumptions and output guarantees. in 2021 European Control Conference (ECC). IEEE, pp. 567-572. https://doi.org/10.23919/ECC54610.2021.9654875","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/b85cc677-9a40-46d7-baeb-69a943d5d72d","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/b85cc677-9a40-46d7-baeb-69a943d5d72d","pdf_url":"https://research.rug.nl/files/207223014/Behavioural_contracts_for_linear_dynamical_systems_input_assumptions_and_output_guarantees.pdf","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, van der Schaft, A & Besselink, B 2021, Behavioural contracts for linear dynamical systems : Input assumptions and output guarantees. in 2021 European Control Conference (ECC). IEEE, pp. 567-572. https://doi.org/10.23919/ECC54610.2021.9654875","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/b85cc677-9a40-46d7-baeb-69a943d5d72d","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/b85cc677-9a40-46d7-baeb-69a943d5d72d","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, van der Schaft, A & Besselink, B 2021, Behavioural contracts for linear dynamical systems : Input assumptions and output guarantees. in 2021 European Control Conference (ECC). IEEE, pp. 567-572. https://doi.org/10.23919/ECC54610.2021.9654875","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W63990713","https://openalex.org/W80370608","https://openalex.org/W1507065317","https://openalex.org/W1588015963","https://openalex.org/W1871610027","https://openalex.org/W1992160941","https://openalex.org/W1994901326","https://openalex.org/W2004830337","https://openalex.org/W2025017159","https://openalex.org/W2025192585","https://openalex.org/W2052363833","https://openalex.org/W2095477585","https://openalex.org/W2116604784","https://openalex.org/W2148443868","https://openalex.org/W2171505650","https://openalex.org/W2264340030","https://openalex.org/W2486190861","https://openalex.org/W2606327778","https://openalex.org/W2789981122","https://openalex.org/W2898323626","https://openalex.org/W2964390353","https://openalex.org/W2967555261","https://openalex.org/W3046182703","https://openalex.org/W3140388948","https://openalex.org/W4212995568","https://openalex.org/W4245305869","https://openalex.org/W6603259056","https://openalex.org/W6766398056"],"related_works":["https://openalex.org/W2140622287","https://openalex.org/W1984580890","https://openalex.org/W2374094987","https://openalex.org/W2167994705","https://openalex.org/W2371815991","https://openalex.org/W4239007977","https://openalex.org/W2255808802","https://openalex.org/W2088686133","https://openalex.org/W2386102158","https://openalex.org/W2389906965"],"abstract_inverted_index":{"We":[0],"introduce":[1],"contracts":[2,120],"for":[3],"linear":[4,35,61],"dynamical":[5],"systems":[6,24],"with":[7,74],"inputs":[8],"and":[9,29,84,90],"outputs.":[10],"Contracts":[11],"are":[12,33,59],"used":[13],"to":[14,55,79,97,117],"express":[15],"formal":[16],"specifications":[17,105,128],"on":[18],"the":[19,39,43,47,51,65,70,110,127],"dynamic":[20,44,67],"behaviour":[21,45,68],"of":[22,46,69,87],"such":[23],"through":[25],"two":[26],"aspects:":[27],"assumptions":[28,32],"guarantees.":[30],"The":[31,57],"a":[34,60,100,103,122],"system":[36,52,62,71],"that":[37,63,125],"captures":[38,64],"available":[40],"knowledge":[41],"about":[42],"environment":[48],"in":[49],"which":[50],"is":[53],"supposed":[54],"operate.":[56],"guarantees":[58],"required":[66],"when":[72],"interconnected":[73],"its":[75],"environment.":[76],"In":[77],"addition":[78],"contracts,":[80],"we":[81],"also":[82],"define":[83],"characterize":[85],"notions":[86],"contract":[88,91,101,113,124],"refinement":[89,94],"conjunction.":[92],"Contract":[93],"allows":[95,115],"one":[96,116],"determine":[98],"if":[99],"expresses":[102],"stricter":[104],"than":[106],"another":[107],"contract.":[108],"On":[109],"other":[111],"hand,":[112],"conjunction":[114],"combine":[118],"multiple":[119],"into":[121],"single":[123],"fuses":[126],"they":[129],"express.":[130]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}