User: Guest  Login
Title:

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

Document type:
Konferenzbeitrag
Author(s):
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...     »
Keywords:
Formal verification, falsification, reachability analysis, nonlinear systems, set-based computing
Book / Congress title:
IEEE Control Systems Letters
Publisher:
IEEE
Date of publication:
01.07.2024
Year:
2024
Fulltext / DOI:
doi:10.1109/LCSYS.2024.3421194
 BibTeX