Search results
Results from the WOW.Com Content Network
A Lyapunov function for an autonomous dynamical system {: ˙ = ()with an equilibrium point at = is a scalar function: that is continuous, has continuous first derivatives, is strictly positive for , and for which the time derivative ˙ = is non positive (these conditions are required on some region containing the origin).
Here is a characteristic example of applying a Lyapunov candidate function to a control problem. Consider the non-linear system, which is a mass-spring-damper system with spring hardening and position dependent mass described by (+) ¨ + ˙ + + =
This example shows a system where a Lyapunov function can be used to prove Lyapunov stability but cannot show asymptotic stability. Consider the following equation, based on the Van der Pol oscillator equation with the friction term changed:
In particular, the discrete-time Lyapunov equation (also known as Stein equation) for is A X A H − X + Q = 0 {\displaystyle AXA^{H}-X+Q=0} where Q {\displaystyle Q} is a Hermitian matrix and A H {\displaystyle A^{H}} is the conjugate transpose of A {\displaystyle A} , while the continuous-time Lyapunov equation is
A Lyapunov function is a nonnegative scalar measure of this multi-dimensional state. Typically, the function is defined to grow large when the system moves towards undesirable states. System stability is achieved by taking control actions that make the Lyapunov function drift in the negative direction towards zero.
It can be easily proved, [13] that if is an iISS-Lyapunov function with , then is actually an ISS-Lyapunov function for a system . This shows in particular, that every ISS system is integral ISS. The converse implication is not true, as the following example shows.
If ˙ is negative definite, then the global asymptotic stability of the origin is a consequence of Lyapunov's second theorem. The invariance principle gives a criterion for asymptotic stability in the case when V ˙ ( x ) {\displaystyle {\dot {V}}(\mathbf {x} )} is only negative semidefinite.
In 1930 O. Perron constructed an example of a second-order system, where the first approximation has negative Lyapunov exponents along a zero solution of the original system but, at the same time, this zero solution of the original nonlinear system is Lyapunov unstable. Furthermore, in a certain neighborhood of this zero solution almost all ...