Showing eess.SYShow all
2 papers · 1 filter
eess.SY2024
Reachset-Conformant System Identification
Laura Lützow, Matthias Althoff
Formal verification techniques play a pivotal role in ensuring the safety of complex cyber-physical systems. To transfer model-based verification results to the real world, we requ…
eess.SY2023
Reachability Analysis of ARMAX Models
Laura Lützow, Matthias Althoff
Reachability analysis is a powerful tool for computing the set of states or outputs reachable for a system. While previous work has focused on systems described by state-space mode…