User: Guest  Login
Title:

Scalable Reachset-Conformant Identification of Linear Systems

Document type:
Zeitschriftenaufsatz
Author(s):
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...     »
Keywords:
Formal verification, reachability analysis, set-based computing.
Journal title:
IEEE Control Systems Letters
Year:
2024
Journal volume:
8
Pages contribution:
520-525
Fulltext / DOI:
doi:10.1109/lcsys.2024.3397058
Publisher:
Institute of Electrical and Electronics Engineers (IEEE)
E-ISSN:
2475-1456
Date of publication:
06.05.2024
 BibTeX