Parallel reachability analysis for hybrid systems.
Amit GurungArup DekaEzio BartocciSergiy BogomolovRadu GrosuRajarshi RayPublished in: MEMOCODE (2016)
Keyphrases
- hybrid systems
- reachability analysis
- neural network
- model checking
- intelligent systems
- markov decision processes
- black box
- computational intelligence
- soft computing
- discrete event
- meta learning
- artificial intelligence
- timed automata
- expert systems
- incremental algorithms
- knowledge acquisition
- data model
- reinforcement learning
- service oriented
- simulation model
- genetic algorithm