Probabilistic reachability analysis for large scale stochastic hybrid systems.
Henk A. P. BlomG. J. BakkerJaroslav KrystulPublished in: CDC (2007)
Keyphrases
- hybrid systems
- reachability analysis
- discrete event
- black box
- markov decision processes
- intelligent systems
- computational intelligence
- soft computing
- neural network
- model checking
- timed automata
- meta learning
- artificial intelligence
- real world
- state space
- bayesian networks
- heuristic search
- search space
- evolutionary algorithm
- training set
- learning algorithm