Search results
Results from the WOW.Com Content Network
The Lyapunov equation, named after the Russian mathematician Aleksandr Lyapunov, is a matrix equation used in the stability analysis of linear dynamical systems. [ 1 ] [ 2 ] In particular, the discrete-time Lyapunov equation (also known as Stein equation ) for X {\displaystyle X} is
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).
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:
The ordinary Lyapunov function is used to test whether a dynamical system is (Lyapunov) stable or (more restrictively) asymptotically stable. Lyapunov stability means that if the system starts in a state x ≠ 0 {\displaystyle x\neq 0} in some domain D , then the state will remain in D for all time.
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.
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.
If, in addition, all eigenvalues of have negative real parts (is stable), and the unique solution of the Lyapunov equation + = is positive definite, the system is controllable. The solution is called the Controllability Gramian and can be expressed as W c = ∫ 0 ∞ e A τ B B T e A T τ d τ {\displaystyle {\boldsymbol {W_{c}}}=\int _{0 ...
Conley's decomposition is characterized by a function known as complete Lyapunov function. Unlike traditional Lyapunov functions that are used to assert the stability of an equilibrium point (or a fixed point) and can be defined only on the basin of attraction of the corresponding attractor, complete Lyapunov functions must be defined on the whole phase-portrait.