{"id":"https://openalex.org/W2897946100","doi":"https://doi.org/10.23919/ecc.2019.8795736","title":"Contracts as specifications for dynamical systems in driving variable form","display_name":"Contracts as specifications for dynamical systems in driving variable form","publication_year":2019,"publication_date":"2019-06-01","ids":{"openalex":"https://openalex.org/W2897946100","doi":"https://doi.org/10.23919/ecc.2019.8795736","mag":"2897946100"},"language":"en","primary_location":{"id":"doi:10.23919/ecc.2019.8795736","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2019.8795736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 18th European Control Conference (ECC)","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1810.05542","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Bart Besselink","raw_affiliation_strings":["Computer Science, and Artificial Intelligence, University of Groningen, The Netherlands","Computer Science, and Artificial Intelligence, University of Groningen, Jan C. Willems Centre for Systems and Control and the Bernoulli Institute for Mathematics, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Computer Science, and Artificial Intelligence, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Computer Science, and Artificial Intelligence, University of Groningen, Jan C. Willems Centre for Systems and Control and the Bernoulli Institute for Mathematics, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045975901","display_name":"Karl Henrik Johansson","orcid":"https://orcid.org/0000-0001-9940-5929"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Karl H. Johansson","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Sweden","[School of Electrical Engineering & Computer Science, KTH Royal Institute of Technology, Sweden]"],"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, KTH Royal Institute of Technology, Sweden","institution_ids":["https://openalex.org/I86987016"]},{"raw_affiliation_string":"[School of Electrical Engineering & Computer Science, KTH Royal Institute of Technology, Sweden]","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"last","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":["Computer Science, and Artificial Intelligence, University of Groningen, The Netherlands","Computer Science, and Artificial Intelligence, University of Groningen, Jan C. Willems Centre for Systems and Control and the Bernoulli Institute for Mathematics, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Computer Science, and Artificial Intelligence, University of Groningen, The Netherlands","institution_ids":["https://openalex.org/I169381384"]},{"raw_affiliation_string":"Computer Science, and Artificial Intelligence, University of Groningen, Jan C. Willems Centre for Systems and Control and the Bernoulli Institute for Mathematics, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083507299"],"corresponding_institution_ids":["https://openalex.org/I169381384"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0225133,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"263","last_page":"268"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.9979000091552734,"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.6257776021957397},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.616355299949646},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5949233770370483},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.5291118025779724},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.48593464493751526},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3206339180469513},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18195176124572754},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17214518785476685},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15474113821983337},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.07937142252922058}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6257776021957397},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.616355299949646},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5949233770370483},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.5291118025779724},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.48593464493751526},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3206339180469513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18195176124572754},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17214518785476685},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15474113821983337},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.07937142252922058},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.23919/ecc.2019.8795736","is_oa":false,"landing_page_url":"https://doi.org/10.23919/ecc.2019.8795736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 18th European Control Conference (ECC)","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1810.05542","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.05542","pdf_url":"https://arxiv.org/pdf/1810.05542","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pure.rug.nl:openaire/075dbb88-4af7-4b10-aa94-fbfb91b20c12","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/075dbb88-4af7-4b10-aa94-fbfb91b20c12","pdf_url":"https://research.rug.nl/files/121196392/08795736.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":"Besselink, B, Johansson, K H & van der Schaft, A 2019, Contracts as specifications for dynamical systems in driving variable form. in Proceedings of the 18th European Control Conference, Naples, Italy. IEEE, pp. 263-268, 2019 18th European Control Conference (ECC), Naples, Italy, 25/06/2019. https://doi.org/10.23919/ECC.2019.8795736","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"mag:2897946100","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1810.05542v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:pure.rug.nl:openaire_cris_publications/075dbb88-4af7-4b10-aa94-fbfb91b20c12","is_oa":true,"landing_page_url":"https://hdl.handle.net/11370/075dbb88-4af7-4b10-aa94-fbfb91b20c12","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":"Besselink, B, Johansson, K H & van der Schaft, A 2019, Contracts as specifications for dynamical systems in driving variable form. in Proceedings of the 18th European Control Conference, Naples, Italy. IEEE, pp. 263-268, 2019 18th European Control Conference (ECC), Naples, Italy, 25/06/2019. https://doi.org/10.23919/ECC.2019.8795736","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"doi:10.48550/arxiv.1810.05542","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1810.05542","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1810.05542","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1810.05542","pdf_url":"https://arxiv.org/pdf/1810.05542","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"display_name":"Partnerships for the goals","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1483893502","https://openalex.org/W1507624518","https://openalex.org/W1535987901","https://openalex.org/W1548148540","https://openalex.org/W1556970733","https://openalex.org/W1776738182","https://openalex.org/W1941866442","https://openalex.org/W1994901326","https://openalex.org/W2004830337","https://openalex.org/W2025192585","https://openalex.org/W2052363833","https://openalex.org/W2090771707","https://openalex.org/W2095477585","https://openalex.org/W2096603442","https://openalex.org/W2097944741","https://openalex.org/W2109080678","https://openalex.org/W2111204826","https://openalex.org/W2144355672","https://openalex.org/W2148443868","https://openalex.org/W2149811200","https://openalex.org/W2171505650","https://openalex.org/W2264340030","https://openalex.org/W2487779201","https://openalex.org/W2557568629","https://openalex.org/W2594675090","https://openalex.org/W2606327778","https://openalex.org/W2789981122","https://openalex.org/W2967555261","https://openalex.org/W4205178436","https://openalex.org/W4245305869","https://openalex.org/W6681720017","https://openalex.org/W6729804105","https://openalex.org/W6736457373","https://openalex.org/W6739645262"],"related_works":["https://openalex.org/W2967555261","https://openalex.org/W3201269056","https://openalex.org/W2911095790","https://openalex.org/W2911738095","https://openalex.org/W2105925832","https://openalex.org/W2163691067","https://openalex.org/W2181423831","https://openalex.org/W1497398488","https://openalex.org/W2769005473","https://openalex.org/W1981443153","https://openalex.org/W1545410075","https://openalex.org/W2066266563","https://openalex.org/W1502714871","https://openalex.org/W2377030814","https://openalex.org/W2579463208","https://openalex.org/W1941942257","https://openalex.org/W2492982004","https://openalex.org/W3177892583","https://openalex.org/W2886818990","https://openalex.org/W2950778660"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"assume/guarantee":[3],"contracts":[4,64],"on":[5],"continuous-time":[6],"control":[7,30],"systems,":[8],"hereby":[9],"extending":[10],"contract":[11,74],"theories":[12],"for":[13,58],"discrete":[14],"systems":[15],"to":[16,35,49],"certain":[17],"new":[18],"model":[19],"classes":[20],"and":[21,76],"specifications.":[22],"Contracts":[23],"are":[24,65,83],"regarded":[25],"as":[26],"formal":[27],"characterizations":[28],"of":[29,39,54,73,79,88],"specifications,":[31],"providing":[32],"an":[33,86],"alternative":[34],"specifications":[36,55],"in":[37],"terms":[38],"dissipativity":[40],"properties":[41],"or":[42],"set-invariance.":[43],"The":[44,62],"framework":[45],"has":[46],"the":[47,71,77],"potential":[48],"capture":[50],"a":[51,89],"richer":[52],"class":[53],"more":[56],"suitable":[57],"complex":[59],"engineering":[60],"systems.":[61],"proposed":[63],"supported":[66],"by":[67,85],"results":[68,82],"that":[69],"enable":[70],"verification":[72],"implementation":[75],"comparison":[78],"contracts.":[80],"These":[81],"illustrated":[84],"example":[87],"vehicle":[90],"following":[91],"system.":[92]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-17T09:09:15.849793","created_date":"2025-10-10T00:00:00"}