  This paper develops a dissipativity-based framework for synthesis of
stabilizing controllers for discrete-time nonlinear systems subject to
state/input constraints. Firstly, we revisit dissipation inequalities for
discrete-time nonlinear systems that involve general storage and supply
functions. We prove that positive definite storage functions and cyclically
negative supply functions yield asymptotic Lyapunov stability. Secondly, we
define control dissipation functions (CDFs) and we construct stabilizing
receding horizon controllers by minimizing CDFs subject to a cyclically
negative supply condition. The effectiveness of stabilizing controllers based
on CDFs is demonstrated on stabilization of interconnected synchronous
generators with nonlinear coupling and state/input constraints.
