Smooth Lyapunov Function Research Articles

A Smooth Converse Lyapunov Theorem for Robust Stability

This paper presents a converse Lyapunov function theorem motivated by robust control analysis and design. Our result is based upon, but generalizes, various aspects of well-known classical theorems. In a unified and natural manner, it (1) allows arbitrary bounded time-varying parameters in the system description, (2) deals with global asymptotic stability, (3) results in smooth (infinitely differentiable) Lyapunov functions, and (4) applies to stability with respect to not necessarily compact invariant sets.

Inverse of Lyapunov’s Second Theorem for Measurable Functions

Abstract The goal of this article is to provide a generalization of Lyapunov’s second theorem and of it’s inverse in the framework of only (locally essentially bounded) measurable functions. Systems of the form x ˙ = f ( x , t ) , with f only measurable, arise for example when studying differential equations with dry-friction. We mean by “ solution” for such systems any solution in the sense of Filippov. The results of Kurzweil about the (global, local, asymptotic) stability are obtained again, using a not necessarly smooth Lyapunov function. In case of an autonomous homogeneous system, it is showed how to obtain a homogeneous Lyapunov function.

Construction of a smooth Lyapunov function for an asymptotically stable set

Construction of a smooth Lyapunov function for an asymptotically stable set

Stabilization with relaxed controls

cannot in general be stabilized using a continuous closed loop control U(X), even if each state separately can be driven asymptotically to the origin. (An example is analyzed in Section 2.) In this paper we examine the possibility of stabilizing such systems with a continuous closed loop relaxed control. We find, indeed, that the family of systems stabilizable with relaxed controls is larger than the family of those stabilizable with ordinary controls. An even larger class is obtained if the continuity of the closed loop at the origin is not required. The latter class includes all one dimensional systems for which states can be driven asymptotically to the origin. This result does not hold in two dimensional systems and we provide a counter-example. It should be pointed that relaxed control-type stabilization is used both in theory and in practice; the method is known as dither. We shall comment on the similarities. Lyapunov functions for the system (1) help us in the construction of the continuous closed loop stabilizers. In fact, we find that the existence of a smooth Lyapunov function is equivalent to the existence of a stabilizing closed loop which is continuous except possibly at the origin; an additional condition on the Lyapunov function implies the continuity at the origin as well. We present these results in Section 4, after a brief introduction of closed loop relaxed controls, notations and terminology in Section 3. Prior to that, in Section 2, we discuss an example illustrating the power of relaxed controls. In the particular case of systems linear in the controls, relaxed controls can be replaced by ordinary controls, this is discussed in Section 5. The role of Lyapunov functions in the stability and stabilization theories is of course well known. Examples of systems with Lyapunov functions are available in the literature. We display some in Section 6, along with general comments on the construction, applications and counterexamples, including one which cannot be continuously stabilized, yet possesses a nonsmooth Lyapunov function. Closed loop stabilization with ordinary controls is analyzed extensively in the literature, see Sontag [8], Sussmann [ll] and references therein. Lyapunov functions techniques in stabil-