Simulation-Equivalent Reachability of Large Linear Systems with Inputs.

Stanley Bak Parasara Sridhar Duggirala

Published in: CAV (1) (2017)

Keyphrases

linear systems
dynamical systems
coefficient matrix
sufficient conditions
linear equations
linear combination
numerical solution
sparse linear systems
neural network
machine learning
artificial neural networks
real time
state space
rough sets
mathematical model
global optimization