Login / Signup

HyLAA: A Tool for Computing Simulation-Equivalent Reachability for Linear Systems.

Stanley BakParasara 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