Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata.
Viktorio S. el HakimMarco Jan Gerrit BekooijPublished in: HSCC (2020)
Keyphrases
- reachability analysis
- hybrid automata
- model checking
- markov decision processes
- timed automata
- low dimensional
- dynamical systems
- finite state automata
- dimensionality reduction
- incremental algorithms
- high dimensional
- principal component analysis
- high dimensional data
- relational databases
- subspace clustering
- feature space
- face recognition
- state space
- real time
- hidden markov models
- optimal solution