Reachability analysis of rational eigenvalue linear systems.
Ming XuLiangyu ChenZhenbing ZengZhi-bin LiPublished in: Int. J. Syst. Sci. (2010)
Keyphrases
- linear systems
- reachability analysis
- markov decision processes
- model checking
- sufficient conditions
- timed automata
- dynamical systems
- linear equations
- incremental algorithms
- state space
- sparse linear systems
- coefficient matrix
- decision making
- optimal policy
- interior point methods
- knowledge representation
- support vector
- real time