Reachability Analysis for Stochastic Hybrid Systems Using Multilevel Splitting.
Derek RileyXenofon D. KoutsoukosKasandra RileyPublished in: HSCC (2009)
Keyphrases
- hybrid systems
- reachability analysis
- discrete event
- markov decision processes
- model checking
- black box
- neural network
- meta learning
- soft computing
- intelligent systems
- computational intelligence
- artificial intelligence
- timed automata
- simulation model
- dynamic systems
- incremental algorithms
- state space
- expert systems
- feature selection
- workflow systems
- genetic algorithm