Compositional Construction of Barrier Functions for Switched Impulsive Systems
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , , , , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866913493658107904 |
|---|---|
| author | Bieker, Katharina Kussaba, Hugo Tadashi Scholl, Philipp Jung, Jaesug Swikir, Abdalla Haddadin, Sami Kutyniok, Gitta |
| author_facet | Bieker, Katharina Kussaba, Hugo Tadashi Scholl, Philipp Jung, Jaesug Swikir, Abdalla Haddadin, Sami Kutyniok, Gitta |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_20084 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Compositional Construction of Barrier Functions for Switched Impulsive Systems Bieker, Katharina Kussaba, Hugo Tadashi Scholl, Philipp Jung, Jaesug Swikir, Abdalla Haddadin, Sami Kutyniok, Gitta Optimization and Control 93-08 I.2.8 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. |
| title | Compositional Construction of Barrier Functions for Switched Impulsive Systems |
| topic | Optimization and Control 93-08 I.2.8 |
| url | https://arxiv.org/abs/2407.20084 |