Contracts as specifications for dynamical systems in driving variable form

Bart Besselink, Karl H. Johansson, Arjan van der Schaft

This paper introduces assume/guarantee contracts on continuous-time control systems, hereby extending contract theories for discrete systems to certain new model classes and specif…