Computational Methods for Reachability Analysis of Stochastic Hybrid Systems.
Xenofon D. KoutsoukosDerek RileyPublished in: HSCC (2006)
Keyphrases
- computational methods
- hybrid systems
- reachability analysis
- discrete event
- black box
- model checking
- markov decision processes
- neural network
- intelligent systems
- meta learning
- soft computing
- computational intelligence
- timed automata
- statistical methods
- incremental algorithms
- artificial intelligence
- dynamic systems
- simulation model
- state space
- protein protein interactions
- search problems
- learning algorithm
- software engineering
- control system
- data analysis