{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T16:21:12Z","timestamp":1783786872655,"version":"3.55.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.23919\/ecc.2019.8795736","type":"proceedings-article","created":{"date-parts":[[2019,8,15]],"date-time":"2019-08-15T19:20:02Z","timestamp":1565896802000},"page":"263-268","source":"Crossref","is-referenced-by-count":19,"title":["Contracts as specifications for dynamical systems in driving variable form"],"prefix":"10.23919","author":[{"given":"Bart","family":"Besselink","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arjan","family":"Van Der Schaft","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/25.260745"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.08.002"},{"key":"ref12","first-page":"207","article-title":"A small gain theorem for parametric assume-guarantee contracts","author":"kim","year":"2017","journal-title":"Proceedings of the 20th International Conference on Hybrid Systems Computation and Control"},{"key":"ref13","first-page":"1","article-title":"Bisimulation equivalence of differential-algebraic systems","author":"megawati","year":"2016","journal-title":"International Journal of Control"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/9.587335"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2003.07.003"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2018.8550622"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.838497"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0068-7"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_3"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.4339280"},{"key":"ref3","author":"basile","year":"1992","journal-title":"Controlled and Conditioned Invariants in Linear System Theory"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-50763-7","author":"belta","year":"2017","journal-title":"Formal methods for discrete-time dynamical systems volume 89 of Studies in Systems Decision and Control"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8795736"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1561\/1000000053"},{"key":"ref2","article-title":"Networks of dissipative systems: Compositional certification of stability, performance, and safety","author":"arcak","year":"2016","journal-title":"SpringerBriefs in Control Automation and Robotics"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"1747","DOI":"10.1016\/S0005-1098(99)00113-2","article-title":"Set invariance in control","volume":"35","author":"blanchini","year":"1999","journal-title":"Automatica"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/MCS.2015.2471046","article-title":"Heavy-duty vehicle platooning towards sustainable freight transportation: A cooperative method to enhance safety and efficiency","volume":"35","author":"alam","year":"2015","journal-title":"IEEE Control Systems Magazine"},{"key":"ref20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-49992-5","article-title":"L 2 -gain and passivity techniques in nonlinear control","author":"van der schaft","year":"2017","journal-title":"Communications and Control Engineering Series"},{"key":"ref22","article-title":"Equivalence of hybrid dynamical systems","author":"van der schaft","year":"2004","journal-title":"Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-0967-9","author":"sepulchre","year":"1997","journal-title":"Constructive Nonlinear Control Communications and Control Engineering Series"},{"key":"ref24","article-title":"Control theory for linear systems","author":"trentelman","year":"2001","journal-title":"Communications and Control Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(83)90070-8"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/BF00276493"}],"event":{"name":"2019 18th European Control Conference (ECC)","location":"Naples, Italy","start":{"date-parts":[[2019,6,25]]},"end":{"date-parts":[[2019,6,28]]}},"container-title":["2019 18th European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8778424\/8795605\/08795736.pdf?arnumber=8795736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T21:43:17Z","timestamp":1568065397000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8795736\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.23919\/ecc.2019.8795736","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}