Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
Antoine GirardColas Le GuernicPublished in: HSCC (2008)
Keyphrases
- hyperplane
- hybrid systems
- reachability analysis
- markov decision processes
- model checking
- intelligent systems
- neural network
- support vector
- black box
- timed automata
- soft computing
- data points
- training samples
- meta learning
- input space
- computational intelligence
- support vector machine
- incremental algorithms
- feature space
- discrete event
- artificial intelligence
- principal components
- kernel function
- convex hull
- state space
- pattern recognition
- text classification
- search space
- video sequences