Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems.
Muhammad Syifa'ul MufidDieky AdzkiyaAlessandro AbatePublished in: CoRR (2020)
Keyphrases
- linear systems
- reachability analysis
- high dimensional
- model checking
- markov decision processes
- dynamical systems
- sufficient conditions
- linear equations
- timed automata
- state space
- nearest neighbor
- dimensionality reduction
- incremental algorithms
- coefficient matrix
- sparse linear systems
- data points
- interior point methods
- inference rules
- machine learning
- neural network