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).
The definition for discrete-time systems is almost identical to that for continuous-time systems. The definition below provides this, using an alternate language commonly used in more mathematical texts. Let (X, d) be a metric space and f : X → X a continuous function. A point x in X is said to be Lyapunov stable, if,
Lyapunov functions are used extensively in control theory to ensure different forms of system stability. The state of a system at a particular time is often described by a multi-dimensional vector. A Lyapunov function is a nonnegative scalar measure of this multi-dimensional state.
Lyapunov proved that if the system of the first approximation is regular (e.g., all systems with constant and periodic coefficients are regular) and its largest Lyapunov exponent is negative, then the solution of the original system is asymptotically Lyapunov stable. Later, it was stated by O. Perron that the requirement of regularity of the ...
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.
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
Comparison functions are primarily used to obtain quantitative restatements of stability properties as Lyapunov stability, uniform asymptotic stability, etc. These restatements are often more useful than the qualitative definitions of stability properties given in ε - δ {\displaystyle \varepsilon {\text{-}}\delta } language.
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.