Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems.
Amit BhatiaEmilio FrazzoliPublished in: HSCC (2004)
Keyphrases
- search methods
- hybrid systems
- reachability analysis
- incremental algorithms
- search algorithm
- intelligent systems
- model checking
- computational intelligence
- black box
- neural network
- soft computing
- meta learning
- markov decision processes
- artificial intelligence
- metaheuristic
- search strategies
- discrete event
- timed automata
- temporal constraints
- search problems
- machine learning
- state space
- business processes
- workflow systems
- knowledge base