Inferring Sufficient Conditions with Backward Polyhedral Under-Approximations.

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

sufficient conditions
convex hull
linear systems
fixed point
linear complementarity problem
asymptotic stability
optimal policy
exponential stability
equilibrium point
markov random field
convex sets