Scalable Zonotopic Under-approximation of Backward Reachable Sets for Uncertain Linear Systems.

Liren Yang Necmiye Ozay

Published in: CoRR (2021)

Keyphrases

linear systems
sufficient conditions
dynamical systems
linear equations
coefficient matrix
approximation algorithms
sparse linear systems
decision making
numerical solution
interior point methods
objective function
multi objective
k nearest neighbor