Login / Signup

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

Dario CattaruzzaAlessandro AbatePeter SchrammelDaniel Kroening
Published in: SAS (2015)
Keyphrases
  • genetic algorithm
  • data analysis
  • learning systems
  • complex systems
  • real time
  • high level
  • distributed systems
  • knowledge based systems
  • management system
  • linear time invariant