Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.
Ertai LuoNiklas KochdumperStanley BakPublished in: HSCC (2023)
Keyphrases
- linear systems
- reachability analysis
- sufficient conditions
- dynamical systems
- linear equations
- decision making
- markov decision processes
- sparse linear systems
- coefficient matrix
- real time
- state space
- global optimization
- model checking
- control algorithm
- dynamic programming
- control system
- incremental algorithms
- machine learning