Bart Besselink, Karl Henrik Johansson, Arjan van der Schaft. Contracts as specifications for dynamical systems in driving variable form. In 18th European Control Conference, ECC 2019, Naples, Italy, June 25-28, 2019. pages 263-268, IEEE, 2019. [doi]
Abstract is missing.