Reachability analysis of constrained switched linear systems.
Zhendong SunPublished in: Autom. (2007)
Keyphrases
- linear systems
- reachability analysis
- model checking
- markov decision processes
- sufficient conditions
- dynamical systems
- timed automata
- linear equations
- incremental algorithms
- coefficient matrix
- state space
- sparse linear systems
- interior point methods
- optimal solution
- real time
- solving problems
- decision making
- machine learning