A sufficient condition for the boundedness of matrix products accepted by an automaton.

Matthew Philippe Raphaël M. Jungers

Published in: HSCC (2015)

Keyphrases

sufficient conditions
linear complementarity problem
linear matrix inequality
semidefinite
asymptotic stability
fixed point
lyapunov function
exponential stability
linear systems
singular value decomposition
neural network
state space
low rank
uniform convergence
equilibrium point
sensitivity analysis