Predicate abstraction for reachability analysis of hybrid systems.
Rajeev AlurThao DangFranjo IvancicPublished in: ACM Trans. Embed. Comput. Syst. (2006)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- intelligent systems
- black box
- neural network
- timed automata
- soft computing
- meta learning
- discrete event
- incremental algorithms
- computational intelligence
- artificial intelligence
- state space
- first order logic
- knowledge base
- dynamic systems
- real time
- feature selection
- simulation model
- heuristic search
- data mining
- model selection
- dynamic programming