Parametrization of completeness in symbolic abstraction of bounded input linear systems.

Santosh Arvind Adimoolam

Published in: MED (2014)

Keyphrases

linear systems
sufficient conditions
linear equations
dynamical systems
high level
coefficient matrix
sparse linear systems
genetic algorithm
artificial neural networks
machine learning
control system
symbolic representation
interior point methods