Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (extended version)

Dario Cattaruzza, Alessandro Abate, Peter Schrammel +1

Linear Time Invariant (LTI) systems are ubiquitous in control applications. Unbounded-time reachability analysis that can cope with industrial-scale models with thousands of variab…