Login / Signup
HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems.
Stanley Bak
Parasara Sridhar Duggirala
Published in:
HSCC (2017)
Keyphrases
</>
linear systems
sufficient conditions
dynamical systems
linear equations
coefficient matrix
sparse linear systems
artificial intelligence
numerical solution
neural network
state space
mathematical model