Direct Verification of Linear Systems with over 10000 Dimensions.

Stanley Bak Parasara Sridhar Duggirala

Published in: ARCH@CPSWeek (2017)

Keyphrases

approximation algorithms
linear systems
sufficient conditions
linear equations
dynamical systems
model checking
coefficient matrix
sparse linear systems
neural network
pid controller
expert systems
artificial neural networks
linear combination