RESEARCH ARTICLE Complexity Reduction Through a Schur-Based Decomposition for Reachability Analysis of Linear Time-Invariant Systems
Shahab Kaynama, Meeko Oishi · 2010
This paper presents a method for complexity reduction in reachability analysis and safety-preserving controller synthesis via Schur-based decomposition. The decomposition results in either decoupled or weaklycoupled (lower dimensional) subsystems. Reachable sets, computed independently for each subsystem, are back-projected and intersected to yield an overapproximation of the actual reachable set. Moreover, applying this technique to a class of unstable LTI systems we show that when certain eigenvalue and state-constraint conditions are satised, further reduction of complexity is possible. Evaluating our method for a variety of examples we demonstrate that signicant reduction in the computational costs can be achieved. This technique has considerable potential utility for use in conjunction with computationally intensive reachability tools.