Safety verification for linear systems.

Parasara Sridhar Duggirala Ashish Tiwari

Published in: EMSOFT (2013)

Keyphrases

linear systems
dynamical systems
linear equations
sufficient conditions
model checking
sparse linear systems
safety analysis
coefficient matrix
decision making
real time
genetic algorithm
computational intelligence
learning algorithm
evolutionary algorithm
interior point methods