15 citations · 22 across the 3 of their papers we have counts for
3 papers · 1 filter
Backward Reachability Analysis of Perturbed Continuous-Time Linear Systems Using Set Propagation
Mark Wetzlinger, Matthias Althoff
Backward reachability analysis computes the set of states that reach a target set under the competing influence of control input and disturbances. Depending on their interplay, the…
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Mark Wetzlinger, Niklas Kochdumper, Stanley Bak +1
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is t…
Adaptive Parameter Tuning for Reachability Analysis of Linear Systems
Mark Wetzlinger, Niklas Kochdumper, Matthias Althoff
Despite the possibility to quickly compute reachable sets of large-scale linear systems, current methods are not yet widely applied by practitioners. The main reason for this is pr…