Abstraction based reachability analysis for finite branching stochastic hybrid systems.
Wenji ZhangPavithra PrabhakarBalasubramaniam NatarajanPublished in: ICCPS (2017)
Keyphrases
- real time
- hybrid systems
- reachability analysis
- discrete event
- markov decision processes
- black box
- model checking
- neural network
- meta learning
- intelligent systems
- soft computing
- timed automata
- computational intelligence
- incremental algorithms
- dynamic systems
- artificial intelligence
- state space
- branch and bound
- simulation model
- data mining
- learning tasks
- decision making
- dynamical systems
- inductive learning
- learning algorithm
- genetic algorithm
- machine learning
- decision trees
- knowledge representation