Contracts as specifications for dynamical systems in driving variable form

作     者：Besselink, Bart Johansson, Karl H. Van Der Schaft, Arjan 

作者机构：Jan C. Willems Centre for Systems and Control and the Bernoulli Institute for Mathematics Computer Science and Artificial Intelligence University of Groningen Netherlands School of Electrical Engineering and Computer Science KTH Royal Institute of Technology Sweden 

出 版 物：《arXiv》 (arXiv)

年 卷 期：2018年

核心收录：

主　　题：Specifications 

摘      要：This paper introduces assume/guarantee contracts on continuous-Time control systems, hereby extending contract theories for discrete systems to certain new model classes and specifications. Contracts are regarded as formal characterizations of control specifications, providing an alternative to specifications in terms of dissipativity properties or setinvariance. The framework has the potential to capture a richer class of specifications more suitable for complex engineering systems. The proposed contracts are supported by results that enable the verification of contract implementation and the comparison of contracts. These results are illustrated by an example of a vehicle following system. Copyright © 2018, The Authors. All rights reserved.