Reachability Analysis of Continuous-Time Piecewise Linear Systems.
Abdullah Omar HamadehJorge M. GoncalvesPublished in: CDC/ECC (2005)
Keyphrases
- linear systems
- reachability analysis
- dynamical systems
- state space
- markov decision processes
- model checking
- markov chain
- linear equations
- timed automata
- sufficient conditions
- incremental algorithms
- coefficient matrix
- dynamic programming
- reinforcement learning
- partially observable
- optimal control
- machine learning
- sparse linear systems
- optimal policy
- expert systems
- search algorithm