Abstract:
The iterative methods of designing Lyapunov functions [1,2] for nonlinear continuous control systems are extended to the case of nonlinear digital systems. A criterion for uniform asymptotic stability is formulated as a numerical procedure. An algorithm is given which defines the domains of uniform asymptotical stability in the space of system parameters.