Parallel reachability analysis of hybrid systems in XSpeed.
Amit GurungRajarshi RayEzio BartocciSergiy BogomolovRadu GrosuPublished in: Int. J. Softw. Tools Technol. Transf. (2019)
Keyphrases
- hybrid systems
- reachability analysis
- black box
- meta learning
- soft computing
- model checking
- markov decision processes
- intelligent systems
- neural network
- discrete event
- artificial intelligence
- computational intelligence
- incremental algorithms
- timed automata
- state space
- evolutionary algorithm
- machine learning
- fuzzy logic
- artificial neural networks
- decision trees
- decision making