SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems.
Muhammad Syifa'ul MufidDieky AdzkiyaAlessandro AbatePublished in: IEEE Trans. Autom. Control. (2022)
Keyphrases
- linear systems
- reachability analysis
- high dimensional
- markov decision processes
- model checking
- sufficient conditions
- timed automata
- dynamical systems
- state space
- coefficient matrix
- incremental algorithms
- sparse linear systems
- nearest neighbor
- data points
- feature space
- genetic algorithm ga
- pid controller
- real time
- interior point methods
- knowledge base
- decision making
- neural network