Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections.
Willem HagemannPublished in: CAV (2014)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- black box
- intelligent systems
- neural network
- meta learning
- computational intelligence
- timed automata
- discrete event
- artificial intelligence
- soft computing
- incremental algorithms
- state space
- dynamic programming
- evolutionary computation
- dynamical systems
- sufficient conditions
- fuzzy sets
- machine learning