Reachability Analysis of Large Linear Systems with Uncertain Inputs in the Krylov Subspace

Matthias Althoff

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-s…