Login / Signup
Parametrization of completeness in symbolic abstraction of bounded input linear systems.
Santosh Arvind Adimoolam
Published in:
CoRR (2014)
Keyphrases
</>
linear systems
sufficient conditions
dynamical systems
high level
linear equations
coefficient matrix
sparse linear systems
interior point methods
real time
rough sets
convex optimization