TY  - RPRT
TI  - Compositional Construction of Barrier Functions for Switched Impulsive Systems
AU  - Katharina Bieker
AU  - Hugo Tadashi Kussaba
AU  - Philipp Scholl
AU  - Jaesug Jung
AU  - Abdalla Swikir
AU  - Sami Haddadin
AU  - Gitta Kutyniok
PY  - 2024
UR  - https://arxiv.org/abs/2407.20084
ID  - 2407.20084
ER  -