Overapproximating the reachable sets of LTI systems through a similarity transformation


We present a decomposition method for complexity reduction in reachability analysis and controller synthesis based on a series of transformations. The decomposition is guaranteed to yield weakly-coupled (lower dimensional) subsystems with disjoint control input across them. Reachable sets, computed independently for each subsystem, are back-projected and… (More)

1 Figure or Table


  • Presentations referencing similar topics