Reachability Analysis for Affine Systems Using ε -Decomposition

This paper presents an approach to compute conservative approximations to the set of reachable states and outputs for affine systems using ε-decomposition techniques. Instead of performing reachability analysis on the full-order system model, the method presented in this paper first applies ε-decomposition to obtain a number of ε-coupled subsystem models, and then performs reachability analysis on the subsystems, thus avoiding the complexity involved in computing reach sets for high-order system models. The approach is illustrated with numerical examples.