Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools

Miel Sharf, Bart Besselink*, Adam Molin, Qiming Zhao, Karl Henrik Johansson

*Bijbehorende auteur voor dit werk

OnderzoeksoutputAcademicpeer review

2 Citaten (Scopus)
16 Downloads (Pure)

Samenvatting

Modern 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.
Originele taal-2English
TitelProceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, Brussels, Belgium
RedacteurenRaphaël M. Jungers, Necmiye Ozay
UitgeverijElsevier
Pagina's25-30
Aantal pagina's6
DOI's
StatusPublished - 2021
Evenement7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021 - Brussels, Belgium
Duur: 7-jul-20219-jul-2021

Publicatie series

NaamIFAC-PapersOnLine
UitgeverijELSEVIER
Nummer5
Volume54
ISSN van geprinte versie2405-8963

Conference

Conference7th IFAC Conference on Analysis and Design of Hybrid Systems ADHS 2021
Land/RegioBelgium
StadBrussels
Periode07/07/202109/07/2021

Citeer dit