Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
IEEE Transactions on Automatic Control, pp. 477-492, 2020.
Linear systemsReachability analysisPower system dynamicsLarge-scale systemsTime-varying systemsMore(2+)
One often wishes for the ability to formally analyze large-scale systems---typically, however, one can either formally analyze a rather small system or informally analyze a large-scale system. This work tries to further close this performance gap for reachability analysis of linear systems. Reachability analysis can capture the whole set ...More
Full Text (Upload PDF)
PPT (Upload PPT)