Necessary and Sufficient Conditions for Task Automaton Decomposition

Mohammad Karimadini Hai Lin

Published in: CoRR (2011)

Keyphrases

sufficient conditions
asymptotic stability
fixed point
linear systems
exponential stability
linear complementarity problem
lyapunov function
efficiently computable
neural network
level set
optimal policy
linear program
equilibrium point