Formal Synthesis of Controllers for Uncertain Linear Systems against $\omega$-Regular Properties: A Set-based Approach

Bingzhuo Zhong, Majid Zamani, Marco Caccamo

In this paper, 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 using the linear control system and the deterministic Rabin automata (DRA) modeling the negation of the desired property. Then, we compute the maximal HCI set over the state set of the product system by leveraging a set-based approach. To ensure termination of the computation of the HCI sets within a finite number of iterations, we also propose two iterative schemes to compute approximations of the maximal HCI set. Finally, we show the effectiveness of our approach on two case studies.

picture_as_pdf flag

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment