A sufficient condition to polynomially compute a minimum separating DFA.

Manuel Vazquez de Parga Pedro García Damián López

Published in: Inf. Sci. (2016)

Keyphrases

sufficient conditions
exponential stability
linear complementarity problem
asymptotic stability
linear systems
fixed point
lyapunov function
efficiently computable
machine learning
semidefinite
genetic algorithm
convex optimization
uniform convergence