User: Guest  Login
Title:

Compositional Construction of Control Barrier Functions for Interconnected Control Systems

Document type:
Konferenzbeitrag
Author(s):
Jagtap, Pushpak; Swikir, Abdalla; Zamani, Majid
Abstract:
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Büchi automata. In particular, we first decompose the given specification to simpler reachability tasks based on automata representing the complements of original co-Büchi automata. Then, we provide a systematic approach to solve those simpler reachability tasks by computing cor-responding control barrier functions. We s...     »
Keywords:
interconnected systems, Büchi automata, small-gain condition, control barrier functions, compositionality
Book / Congress title:
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Publisher:
Association for Computing Machinery
Publisher address:
New York, NY, USA
Year:
2020
Print-ISBN:
9781450370189
Bookseries title:
HSCC '20
Fulltext / DOI:
doi:10.1145/3365365.3382196
WWW:
https://doi.org/10.1145/3365365.3382196
 BibTeX