Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report).

A. J. Kfoury Pawel Urzyczyn

Published in: Logic of Programs (1983)

Keyphrases

sufficient conditions
linear systems
exponential stability
asymptotic stability
programming language
fixed point
linear complementarity problem
semidefinite
lyapunov function
objective function
multi class
optimal policy