文章基本信息

标题：Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools ⁎
本地全文：下载
作者：Miel Sharf ; Bart Besselink ; Adam Molin 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2021
卷号：54
期号：5
页码：25-30
DOI：10.1016/j.ifacol.2021.08.469
语种：English
出版社：Elsevier
摘要：AbstractModern engineering systems include many components of different types and functions. Verifying that these systems satisfy given specifications can be an arduous task, as most formal verification methods are limited to systems of moderate size. Recently, contract theory has been proposed as a modular framework for defining specifications. In this paper, we present a contract theory for discrete-time dynamical control systems relying on assume/guarantee contracts, which prescribe assumptions on the input of the system and guarantees on the output. We then focus on contracts defined by linear constraints, and develop efficient computational tools for verification of satisfaction and refinement based on linear programming. We exemplify these tools in a simulation example, proving a certain safety specification for a two-vehicle autonomous driving setting.