Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes.

Yushen Huang Ertai Luo Stanley Bak Yifan Sun

Published in: CoRR (2024)

Keyphrases

linear systems
reachability analysis
sufficient conditions
dynamical systems
linear equations
sparse linear systems
coefficient matrix
model checking
markov decision processes
artificial intelligence
knowledge representation
timed automata
interior point methods