Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems.

Shadi Haddad Abhishek Halder

Published in: CAADCPS@CPSIoTWeek (2021)

Keyphrases

linear systems
dynamical systems
sufficient conditions
linear equations
sparse linear systems
approximation algorithms
coefficient matrix
numerical solution
real time
neural network
machine learning
genetic algorithm
difference equations