Design and Control for Implementation of Simulation-Based Assume-Guarantee Contracts

• 成果类型: Article
• 署名作者: Shali, Brayan M.; van der Schaft, Arjan J.; Besselink, Bart
• 署名单位: University of Groningen; KU Leuven
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2025.3587874
• 发表日期: 2026
• 关键词: dynamical-systems; EQUIVALENCE

摘要

We present assume-guarantee contracts as specifications for the dynamic behavior of linear dynamical systems with inputs and outputs. We define and characterize contract implementation using the notion of simulation as a means of comparing system behavior. We show that contract implementation can be verified by using the computationally tractable numerical procedures for verifying simulation. We then consider two problems related to contract-based design. First, we consider the problem of constructing an implementation for a given contract. We find necessary and sufficient conditions under which an implementation exists, and we provide a systematic procedure for the construction of an implementation if it exists. Second, we consider the problem of constructing a linear dynamic output feedback controller that turns a given plant system into an implementation of a given contract. We find necessary and sufficient conditions for the existence of such a controller, and we provide a systematic procedure for its construction if it exists. The latter is then demonstrated with a simple example of a vehicle following system.