Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming.
Xuandong LiSumit Jha AanandLei BuPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- hybrid systems
- reachability analysis
- linear programming
- black box
- meta learning
- neural network
- discrete event
- intelligent systems
- model checking
- markov decision processes
- soft computing
- dynamic programming
- computational intelligence
- artificial intelligence
- orders of magnitude
- timed automata
- multi class
- objective function
- genetic algorithm
- data mining