Compositional Construction of Barrier Functions for Switched Impulsive Systems

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

Beitragende

  • Katharina Bieker - , Ludwig-Maximilians-Universität München (LMU) (Autor:in)
  • Hugo Kussaba - , Technische Universität München (Autor:in)
  • Philipp Scholl - , Ludwig-Maximilians-Universität München (LMU) (Autor:in)
  • Jaesug Jung - , Technische Universität München (Autor:in)
  • Abdalla Swikir - , Omar Al-Mukhtar University, Technische Universität München (Autor:in)
  • Sami Haddadin - , Aalto University, Mohamed Bin Zayed University of Artificial Intelligence, Technische Universität Dresden (Autor:in)
  • Gitta Kutyniok - , Ludwig-Maximilians-Universität München (LMU), Munich Center for Machine Learning (MCML), University of Tromsø – The Arctic University of Norway, Deutsches Zentrum für Luft- und Raumfahrt (DLR) e.V. (Autor:in)

Abstract

Many systems occurring in real-world applications, such as controlling the motions of robots or modeling the spread of diseases, are switched impulsive systems. To ensure that the system state stays in a safe region (e.g., to avoid collisions with obstacles), barrier functions are widely utilized. As the system dimension increases, deriving suitable barrier functions becomes extremely complex. Fortunately, many systems consist of multiple subsystems, such as different areas where the disease occurs. In this work, we present sufficient conditions for interconnected switched impulsive systems to maintain safety by constructing local barrier functions for the individual subsystems instead of a global one, allowing for much easier and more efficient derivation. To validate our results, we numerically demonstrate its effectiveness using an epidemiological model.

Details

OriginalspracheEnglisch
Titel2024 IEEE 63rd Conference on Decision and Control, CDC 2024
Herausgeber (Verlag)Institute of Electrical and Electronics Engineers (IEEE)
Seiten7085-7091
Seitenumfang7
ISBN (elektronisch)979-8-3503-1633-9, 979-8-3503-1632-2
ISBN (Print)979-8-3503-1634-6
PublikationsstatusVeröffentlicht - Feb. 2025
Peer-Review-StatusJa

Publikationsreihe

ReiheProceedings of the IEEE Conference on Decision and Control
ISSN0743-1546

Konferenz

Titel63rd IEEE Conference on Decision and Control
KurztitelCDC 2024
Veranstaltungsnummer63
Dauer16 - 19 Dezember 2024
Webseite
OrtMilan Convention Centre
StadtMilan
LandItalien