In this paper, we set a new framework for the analysis of nonlinear di
screte systems, to carry out the stabilization theorem, and to design
stable controllers of the systems within that framework. This framewor
k includes many practically important systems-described, for example,
by Lipschitz functions, functions with arbitrary order bounded derivat
ives, bilinear functions and all polynomial functions. An important ex
istence theorem for stabilizing has been proven for this framework. Th
e theorem basically states that under definite, rather broad condition
s, the zero solution of the plants can be made stable by a nonlinear o
utput feedback. In addition, this nonlinear feedback is from a larger
class of functions than these classes given by current literature. Fol
lowing these stabilization theorems, a new design procedure for the ou
tput feedback control law is presented. All results presented are easy
to use and convenient to apply. The application is illustrated by sev
eral examples, including the design of stabilizing control for a bilin
ear control system.