1 / 16

AUTOMATIC CONTROL THEORY II

Slovak University of Technology Faculty of Material Science and Technology in Trnava. AUTOMATIC CONTROL THEORY II. Lyapunov Stability Theory. consider a dynamical system which satisfies assume that f(x, t) satisfies the standard conditions for the existence and uniqueness of solutions

byrd
Download Presentation

AUTOMATIC CONTROL THEORY II

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Slovak University of Technology Faculty of Material Science and Technology in Trnava AUTOMATIC CONTROL THEORY II

  2. Lyapunov Stability Theory • consider a dynamical system which satisfies • assume that f(x, t) satisfies the standard conditions for the existence and uniqueness of solutions • f(x, t) is Lipschitz continuous • with respect to x • uniformly in t • piecewise continuous in t

  3. Lyapunov Stability Theory • a point x* є Rn is an equilibrium point of (1) • if f(x*, t) ≡ 0 • an equilibrium point is locally stable • if all solutions which start near x* remain near x* for all time • the equilibrium point x* is said to be locally asymptotically stable if • x* is locally stable • all solutions starting near x* tend towards x* as t → ∞

  4. Lyapunov Stability Theory • a pendulum has • a locally stable equilibrium point when • the pendulum is hanging straight down • an unstable equilibrium point when • it is pointing straight up • of the pendulum is damped • the stable equilibrium point is locally asymptotically stable

  5. Lyapunov Stability Theory • if multiple equilibrium points exist • we will need to study the stability of each by appropriately shifting the origin • Definition 1. Stability in the sense of Lyapunov • the equilibrium point x* = 0 is stable at t = t0 • if for any є > 0 there exists a δ(t0, є) > 0 such that

  6. Lyapunov Stability Theory • Lyapunov stability is a very mild requirement on equilibrium points • it does not require that trajectories starting close to the origin tend to the origin asymptotically • stability is defined at a time instant t0 • uniform stability is a concept which guarantees that the equilibrium point is not losing stability

  7. Lyapunov Stability Theory • Definition 2. Asymptotic stability • an equilibrium point x* = 0 of (1) is asymptotically stable at t = t0 if • x* = 0 is stable, and • x* = 0 is locally attractive; i.e., there exists δ(t0) such that

  8. Lyapunov Stability Theory • uniform asymptotic stability requires • x* = 0 is uniformly stable, and • x* = 0 is uniformly locally attractive • in robotics, we are interested in uniformly asymptotically stable equilibria • if we wish to move the robot to a point • we would like to actually converge to that point, not merely remain nearby

  9. Lyapunov Stability Theory • Definitions 1 and 2 are local definitions • they describe the behavior of a system near an equilibrium point • global stability is very desirable, but in many applications it can be difficult to achieve • we will concentrate on local stability theorems and indicate where it is possible to extend the results to the global case

  10. Lyapunov Stability Theory • for time-invariant systems • stability implies uniform stability • asymptotic stability implies uniform asymptotic stability • the definitions of asymptotic stability do not quantify the rate of convergence

  11. Lyapunov Stability Theory • Definition 3. Exponential stability, rate of convergence • the equilibrium point x* = 0 is an exponentially stable equilibrium point if • there exist constants m, α > 0and є > 0 such thatfor all ||x(t0)|| ≤ є and t ≥ t0 • constant α is called the rate of convergence

  12. Lyapunov Stability Theory • the direct method of Lyapunov • allows to determine the stability of a system without explicitly integrating the differential equation • is a generalization of the idea that • if there is some “measure of energy” in a system • then we can study the rate of change of the energy of the system to ascertain stability

  13. Lyapunov Stability Theory • Definition 4. Locally positive definite functions (lpdf) • a continuous function V : Rn×R+ → R is a locally positive definite function • if for some є > 0 and some continuous, strictly increasing function α : R+ → R • a locally positive definite function is locally like an energy function

  14. Lyapunov Stability Theory • functions which are globally like energy functions are called positive definite functions • Definition 5. Positive definite functions (pdf) • a continuous function V : Rn×R+ → R is a positive definite function • if it satisfies the conditions of Definition 4 • and α(p) → ∞ as p→∞

  15. Lyapunov Stability Theory • To bound the energy function, we define decrescence • Definition 6. Decrescent functions • a continuous function V : Rn×R+ → R is decrescent • if for some є> 0 and some continuous, strictly increasing function β : R+ → R

  16. Lyapunov Stability Theory • this theorem states that • when V (x, t) is a locally positive definite function and (x, t) ≤ 0 • then we can conclude stability of the equilibrium point • the time derivative of V is taken along the trajectories of the system .V

More Related