Benutzer: Gast  Login
Titel:

Compositional Construction of Control Barrier Functions for Interconnected Control Systems

Dokumenttyp:
Konferenzbeitrag
Autor(en):
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...     »
Stichworte:
interconnected systems, Büchi automata, small-gain condition, control barrier functions, compositionality
Kongress- / Buchtitel:
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
Verlag / Institution:
Association for Computing Machinery
Verlagsort:
New York, NY, USA
Jahr:
2020
Print-ISBN:
9781450370189
Serientitel:
HSCC '20
Volltext / DOI:
doi:10.1145/3365365.3382196
WWW:
https://doi.org/10.1145/3365365.3382196
 BibTeX