Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach

• 成果类型: Article
• 署名作者: Zhong, Bingzhuo; Zamani, Majid; Caccamo, Marco
• 署名单位: Technical University of Munich; University of Colorado System; University of Colorado Boulder
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3267397
• 发表日期: 2024
• 页码: 214-229
• 关键词: omega-Regular properties; Controller synthesis; uncertain linear control systems

摘要

In this article, we present how to synthesize controllers to enforce omega-regular properties over linear control systems affected by bounded disturbances. In particular, these controllers are synthesized based on so-called hybrid controlled invariant (HCI) sets. To compute these sets, we first construct a product system between the linear control system and the deterministic Streett automata (DSA) modeling the desired property. Then, we propose a set-based approach, which exploits a new iterative scheme over hybrid state sets of the product system, to compute the maximal HCI set. To ensure the termination of the iterative scheme within a finite number of steps, we propose two alternative approaches to compute approximations of the maximal HCI set. Moreover, we show the relations between the (worst-case) complexities of the proposed iterative schemes over hybrid sets and the structure of the DSA modeling omega-regular properties. Finally, we demonstrate the effectiveness of our results via two case studies.