Benutzer: Gast  Login
Titel:

Inner Approximations of Reachable Sets for Nonlinear Systems using the Minkowski Difference

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mark Wetzlinger, Adrian Kulmburg, Matthias Althoff
Abstract:
Reachability analysis is a formal method that rigorously proves whether a dynamical system can reach certain states. Inner approximations of the exact reachable set contain only states that are definitely reachable and are therefore used to falsify specifications. While the majority of state-of-the-art approaches for nonlinear systems obtain an inner approximation via first computing an outer approximation of the reachable set, we directly obtain sound inner approximations by using the Minkowski...     »
Stichworte:
Formal verification, falsification, reachability analysis, nonlinear systems, set-based computing
Kongress- / Buchtitel:
IEEE Control Systems Letters
Verlag / Institution:
IEEE
Publikationsdatum:
01.07.2024
Jahr:
2024
Volltext / DOI:
doi:10.1109/LCSYS.2024.3421194
 BibTeX