Unbounded−Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration

Dario Cattaruzza‚ Alessandro Abate‚ Peter Schrammel and Daniel Kroening