Verification and control of hybrid systems using reachability analysis with machine learning.
Anil AswaniJerry DingHaomiao HuangMichael P. VitusJeremy H. GillulaPatrick BouffardClaire J. TomlinPublished in: HSCC (2012)
Keyphrases
- hybrid systems
- reachability analysis
- machine learning
- model checking
- discrete event
- computational intelligence
- meta learning
- intelligent systems
- black box
- neural network
- artificial intelligence
- machine learning algorithms
- soft computing
- control system
- data mining
- markov decision processes
- machine learning methods
- timed automata
- spatial information
- text classification
- simulation model
- decision trees
- decision making
- learning algorithm
- knowledge acquisition
- search space
- reinforcement learning
- training data
- knowledge base