Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.
Mohammad Al KhatibAntoine GirardThao DangPublished in: ADHS (2015)
Keyphrases
- linear systems
- reachability analysis
- model checking
- dynamical systems
- timed automata
- sufficient conditions
- control theory
- markov decision processes
- sparse linear systems
- state space
- coefficient matrix
- interior point methods
- neural network
- incremental algorithms
- pid controller
- constraint satisfaction problems
- video sequences
- artificial intelligence