Path-oriented bounded reachability analysis of composed linear hybrid systems.
Lei BuXuandong LiPublished in: Int. J. Softw. Tools Technol. Transf. (2011)
Keyphrases
- hybrid systems
- reachability analysis
- black box
- markov decision processes
- neural network
- intelligent systems
- soft computing
- computational intelligence
- discrete event
- model checking
- meta learning
- artificial intelligence
- incremental algorithms
- state space
- timed automata
- real time
- relational databases
- inductive learning
- search problems
- learning algorithm