Benutzer: Gast  Login
Titel:

Scalable Reachset-Conformant Identification of Linear Systems

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Lützow, Laura; Althoff, Matthias
Abstract:
By monitoring the set of reachable outputs, safety can be verified. However, to compute the reachable set of real-world systems, we require models that are able to produce all possible system behaviors. These kinds of models are called reachset-conformant, and their identification is a promising new research direction. While many existing reachset-conformant identification techniques require the computation of the halfspace representation of the zonotopic reachable sets, we propose an approach t...     »
Stichworte:
Formal verification, reachability analysis, set-based computing.
Zeitschriftentitel:
IEEE Control Systems Letters
Jahr:
2024
Band / Volume:
8
Seitenangaben Beitrag:
520-525
Volltext / DOI:
doi:10.1109/lcsys.2024.3397058
Verlag / Institution:
Institute of Electrical and Electronics Engineers (IEEE)
E-ISSN:
2475-1456
Publikationsdatum:
06.05.2024
 BibTeX