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).
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
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.
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.
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.
In stability theory and nonlinear control, Massera's lemma, named after José Luis Massera, deals with the construction of the Lyapunov function to prove the stability of a dynamical system. [1] The lemma appears in ( Massera 1949 , p. 716) as the first lemma in section 12, and in more general form in ( Massera 1956 , p. 195) as lemma 2.
Artstein's theorem states that a nonlinear dynamical system in the control-affine form ˙ = + = has a differentiable control-Lyapunov function if and only if it admits a regular stabilizing feedback u(x), that is a locally Lipschitz function on R n \{0}.
The first method developed the solution in a series which was then proved convergent within limits. The second method, which is now referred to as the Lyapunov stability criterion or the Direct Method, makes use of a Lyapunov function V(x) which has an analogy to the potential