Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction.
Rajeev AlurThao DangFranjo IvancicPublished in: HSCC (2003)
Keyphrases
- hybrid systems
- reachability analysis
- model checking
- markov decision processes
- intelligent systems
- black box
- computational intelligence
- timed automata
- meta learning
- incremental algorithms
- neural network
- artificial intelligence
- soft computing
- discrete event
- state space
- first order logic
- knowledge base
- qualitative and quantitative
- workflow systems
- real time
- multi class