Sufficient conditions for reachability in automata networks with priorities.

Maxime Folschette Loïc Paulevé Morgan Magnin Olivier F. Roux

Published in: Theor. Comput. Sci. (2015)

Keyphrases

sufficient conditions
asymptotic stability
fixed point
exponential stability
linear complementarity problem
state space
lyapunov function
network structure
neural network
artificial neural networks
membership functions
semidefinite
equilibrium point