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