Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2011, Article ID 306031, 6 pages
http://dx.doi.org/10.1155/2011/306031
Research Article

A Note on Stabilization of Discrete Nonlinear Systems

School of Mathematical Sciences, Beijing Normal University, Beijing 100080, China

Received 29 July 2010; Revised 31 October 2010; Accepted 25 January 2011

Academic Editor: Maria do Rosário de Pinho

Copyright © 2011 Fengjun Tang and Rong Yuan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

We deal with the stabilization problem of discrete nonlinear systems. We construct a control Lyapunov function on discrete nonlinear systems. Then, we present a new method to construct a continuous state feedback law.

1. Introduction

For nonlinear dynamical systems, Lyapunov function-based methods play a vital role in stability analysis since the Lyapunov functions have been used to design stabilizing feedback laws that render asymptotically controllable systems ISS to actuator errors and small observation noise [1]. This is an important and challenging problem for the general class of nonlinear systems. Artstein [2] proves that, for smooth control-affine systems evolving on with controls in , there exists a globally stabilizing feedback control law continuously on if the system has a smooth control Lyapunov function. Sontag [3] provided an explicit proof of Artstein's Theorem which uses a “universal formula” for the stabilizing controller. Shahmansoorian et al. [4] presented a new stabilizing control law with respect to a control Lyapunov function. Many researchers dealt with the effects of control Lyapunov functions and obtained considerably meaningful results, just as in [512].

The stabilization of discrete systems is studied by means of Lyapunov functions in this paper. Xiushan et al. [13] also studied discrete system, but the control Lyapunov function and the control law they give are not easy to get. We will present an explicit control Lyapunov function and feedback law stabilizing a discrete-time control system. Furthermore, a new way to construct a continuous state feedback law is designed.

2. Main Results

The problem amounts to find a function with , such that the closed-loop system is asymptotically stable at the origin. Of course we assume that , but the origin is not asymptotically stable equilibrium for the unforced system .

Equation (2.1) describes the behavior of the system in the sense that its evolution depends not only on an initial state, but also on a sequence of input signal. In this paper, we address the following discrete-time nonlinear control systems of the form: which is said to be affine-in-control, where and are continuous on and , (a sequence of input signal). The system (2.2) is globally asymptotically stable at the origin if there exists a map , such that the system is globally asymptotically stable at .

Definition 2.1. A smooth, proper, and positive definite function mapping into is said to be a control Lyapunov for the discrete system (2.2) if and only if for all .

Remark 2.2. Suppose that , then is a function about and .

Theorem 2.3. Suppose that , , and let Assume that there exist constants , such that , and then there exists a positive definite matrix , such that is a control Lyapunov function of system (2.2).

Proof. For , let Obviously, .
(i) If , does not depend on , then we just need Suppose are the eigenvalues of , then So, it is easy for us to give a suitable positive definite matrix such that which satisfies the relationship.
(ii) If , , for the same reason, there exists such that . Let An easy computation shows that is equal to and let , through a simple computation, we can get Thus, we obtain So, if we can choose suitable positive definite matrix .
Then, we can choose a suitable positive definite matrix satisfies (i) and (ii), such that is a control Lyapunov function of system (2.2). The proof is end.

Corollary 2.4. If is a control Lyapunov function for the discrete-time control system (2.2), then the control globally asymptotically stabilizes the equilibrium of the system (2.2).

Proposition 2.5. Suppose that for any . is a control Lyapunov function for the discrete-time system (2.1), then the control Law (2.16) is smooth and globally asymptotically stabilizes the equilibrium of the system (2.1).

Theorem 2.6. If there exists a quadratic control Lyapunov function for the discrete-time system (2.2), there exists a continuous stabilizing feedback law , and .

Proposition 2.7. Consider where .
Assume that are the roots of (2.17). If only have one discontinuity of the second kind , then one can construct one continuous function , such that and .

Proof. Since is the only second category discontinuous point of the roots of , so for any , there must exist , such that for any thus, we can let Define in the same way and let then it is easy for us to verify that is what we want to get.

Proposition 2.8. Consider where , , .
If is the only second category discontinuous point of the roots of (2.21), then one can construct one continuous function , such that and .

Proof. For all , there must exist , such that for any . Let , . Obviously, there exists satisfying , , then we can let Using the same way, we can get , then we can get what we want to get.
By Proposition 2.8, it is easy for us to prove Theorem 2.6.

3. Example

Consider a discrete-time nonlinear system where , . Let , then it is easy for us to obtain By Theorem 2.6, we can get that a continuous control law globally asymptotically stabilizes the equilibrium of the system (2.21).

References

  1. E. D. Sontag, “The ISS philosophy as a unifying framework for stability-like behavior,” in Nonlinear Control in the Year 2000, vol. 2, vol. 259 of Lecture Notes in Control and Information Sciences, pp. 443–467, Springer, London, UK, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  2. Z. Artstein, “Stabilization with relaxed controls,” Nonlinear Analysis. Theory, Methods & Applications, vol. 7, no. 11, pp. 1163–1173, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  3. E. D. Sontag, “A “universal” construction of Artstein's theorem on nonlinear stabilization,” Systems & Control Letters, vol. 13, no. 2, pp. 117–123, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. A. Shahmansoorian, B. Moshiri, A. Khaki Sedigh, and S. Mohammadi, “A new stabilizing control law with respect to a control Lyapunov function and construction of control Lyapunov function for particular nonaffine nonlinear systems,” Journal of Dynamical and Control Systems, vol. 13, no. 4, pp. 563–576, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. F. Albertini and E. D. Sontag, “Continuous control-Lyapunov functions for asymptotically controllable time-varying systems,” International Journal of Control, vol. 72, no. 18, pp. 1630–1641, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  6. D. Angeli and E. D. Sontag, “Forward completeness, unboundedness observability, and their Lyapunov characterizations,” Systems & Control Letters, vol. 38, no. 4-5, pp. 209–217, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  7. F. Mazenc, “Strict Lyapunov functions for time-varying systems,” Automatica, vol. 39, no. 2, pp. 349–353, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. F. Mazenc and Nesic, “Lyapunov functions for time varying systems satisfying generalized conditions of Matrosov theorem,” in Proceedings of the 44th IEEE Conference on Decision and Control (CDC) and European Control Conference (ECC '05), pp. 2432–2437, Seville, Spain, 2005.
  9. M. Malisoff and F. Mazenc, “Constructions of strict Lyapunov functions for discrete time and hybrid time-varying systems,” Nonlinear Analysis: Hybrid Systems, vol. 2, no. 2, pp. 394–407, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  10. M. Malisoff, L. Rifford, and E. D. Sontag, “Global asymptotic control lability and input-to-state stabilization: the effect of actuator errors,” in Optimal Control, Stabilization, and Nonsmooth Analysis, vol. 301 of Lecture Notes in Control and Information Sciences, pp. 155–171, Springer, Heidelberg, German, 2004. View at Google Scholar
  11. M. Malisoff and F. Mazenc, “Further remarks on strict input-to-state stable Lyapunov functions for time-varying systems,” Automatica, vol. 41, no. 11, pp. 1973–1978, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. F. Mazenc and M. Malisoff, “Further constructions of control-Lyapunov functions and stabilizing feedbacks for systems satisfying the Jurdjevic-Quinn conditions,” IEEE Transactions on Automatic Control, vol. 51, no. 2, pp. 360–365, 2006. View at Publisher · View at Google Scholar · View at MathSciNet
  13. C. Xiushan, W. Xiaodong, and L. Ganyun, “Stabilization of discrete nonlinear systems based on control Lyapunov functions,” Journal of Systems Engineering and Electronics, vol. 19, no. 1, pp. 131–133, 2008. View at Publisher · View at Google Scholar