Invariance of Approximating Automata for Piecewise Linear Systems with Uncertainties.

Published in: HSCC (2000)

Keyphrases

linear systems
parametric curves
sufficient conditions
linear equations
dynamical systems
cellular automata
coefficient matrix
sparse linear systems
linear model
finite state machines
expert systems
convex optimization
interior point methods