Anytime Ellipsoidal Over-approximation of Forward Reach Sets of Uncertain Linear Systems.

Shadi Haddad Abhishek Halder

Published in: CoRR (2021)

Keyphrases

linear systems
dynamical systems
sufficient conditions
linear equations
coefficient matrix
numerical solution
approximation algorithms
difference equations
sparse linear systems
decision making
real time
search algorithm
input output
neural network
rbf neural network