E209A: Analysis and Control of Nonlinear Systems Problem Set 6 Solutions

Similar documents
Solution of Additional Exercises for Chapter 4

2 Lyapunov Stability. x(0) x 0 < δ x(t) x 0 < ɛ

MCE/EEC 647/747: Robot Dynamics and Control. Lecture 8: Basic Lyapunov Stability Theory

Handout 2: Invariant Sets and Stability

MCE693/793: Analysis and Control of Nonlinear Systems

1. Find the solution of the following uncontrolled linear system. 2 α 1 1

E209A: Analysis and Control of Nonlinear Systems Problem Set 3 Solutions

EE222 - Spring 16 - Lecture 2 Notes 1

Solutions to Dynamical Systems 2010 exam. Each question is worth 25 marks.

Nonlinear Control Lecture 7: Passivity

Nonlinear systems. Lyapunov stability theory. G. Ferrari Trecate

Nonlinear Control. Nonlinear Control Lecture # 2 Stability of Equilibrium Points

Prof. Krstic Nonlinear Systems MAE281A Homework set 1 Linearization & phase portrait

3 Stability and Lyapunov Functions

Practice Problems for Final Exam

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems

Chapter #4 EEE8086-EEE8115. Robust and Adaptive Control Systems

Classification of Phase Portraits at Equilibria for u (t) = f( u(t))

Stabilization and Passivity-Based Control

3.3. SYSTEMS OF ODES 1. y 0 " 2y" y 0 + 2y = x1. x2 x3. x = y(t) = c 1 e t + c 2 e t + c 3 e 2t. _x = A x + f; x(0) = x 0.

Calculus for the Life Sciences II Assignment 6 solutions. f(x, y) = 3π 3 cos 2x + 2 sin 3y

2.10 Saddles, Nodes, Foci and Centers

Lecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.

Entrance Exam, Differential Equations April, (Solve exactly 6 out of the 8 problems) y + 2y + y cos(x 2 y) = 0, y(0) = 2, y (0) = 4.

Georgia Institute of Technology Nonlinear Controls Theory Primer ME 6402

Introduction to Nonlinear Control Lecture # 4 Passivity

154 Chapter 9 Hints, Answers, and Solutions The particular trajectories are highlighted in the phase portraits below.

Lecture - 11 Bendixson and Poincare Bendixson Criteria Van der Pol Oscillator

Nonlinear differential equations - phase plane analysis

Dynamics and Bifurcations in Predator-Prey Models with Refuge, Dispersal and Threshold Harvesting

Topic # /31 Feedback Control Systems. Analysis of Nonlinear Systems Lyapunov Stability Analysis

King Fahd University of Petroleum and Minerals Prep-Year Math Program Math Term 161 Recitation (R1, R2)

REVIEW OF DIFFERENTIAL CALCULUS

Chapter 6 Nonlinear Systems and Phenomena. Friday, November 2, 12

Problem set 7 Math 207A, Fall 2011 Solutions

Sample Solutions of Assignment 10 for MAT3270B

6.3. Nonlinear Systems of Equations

Lyapunov Stability Theory

BIFURCATION PHENOMENA Lecture 1: Qualitative theory of planar ODEs

DO NOT DO HOMEWORK UNTIL IT IS ASSIGNED. THE ASSIGNMENTS MAY CHANGE UNTIL ANNOUNCED.

11 Chaos in Continuous Dynamical Systems.

Complex Dynamic Systems: Qualitative vs Quantitative analysis

MATH 415, WEEKS 7 & 8: Conservative and Hamiltonian Systems, Non-linear Pendulum

MATH 215/255 Solutions to Additional Practice Problems April dy dt

16.30/31, Fall 2010 Recitation # 13

Mathematics (MEI) Advanced Subsidiary GCE Core 1 (4751) May 2010

Modeling and Analysis of Dynamic Systems

1.7. Stability and attractors. Consider the autonomous differential equation. (7.1) ẋ = f(x),

z x = f x (x, y, a, b), z y = f y (x, y, a, b). F(x, y, z, z x, z y ) = 0. This is a PDE for the unknown function of two independent variables.

Output Feedback and State Feedback. EL2620 Nonlinear Control. Nonlinear Observers. Nonlinear Controllers. ẋ = f(x,u), y = h(x)

Chapter 8B - Trigonometric Functions (the first part)

Lyapunov Stability Analysis: Open Loop

APPPHYS217 Tuesday 25 May 2010

EN Nonlinear Control and Planning in Robotics Lecture 3: Stability February 4, 2015

Part II. Dynamical Systems. Year

Consider an ideal pendulum as shown below. l θ is the angular acceleration θ is the angular velocity

Stability lectures. Stability of Linear Systems. Stability of Linear Systems. Stability of Continuous Systems. EECE 571M/491M, Spring 2008 Lecture 5

Invariant Manifolds of Dynamical Systems and an application to Space Exploration

MEM 255 Introduction to Control Systems: Modeling & analyzing systems

STABILITY. Phase portraits and local stability

MCE693/793: Analysis and Control of Nonlinear Systems

Calculus I Review Solutions

Math 312 Lecture Notes Linear Two-dimensional Systems of Differential Equations

The Derivative. Appendix B. B.1 The Derivative of f. Mappings from IR to IR

1. (i) Determine how many periodic orbits and equilibria can be born at the bifurcations of the zero equilibrium of the following system:

I ml. g l. sin. l 0,,2,...,n A. ( t vs. ), and ( vs. ). d dt. sin l

Math 46, Applied Math (Spring 2008): Final

EG4321/EG7040. Nonlinear Control. Dr. Matt Turner

Dynamical Systems & Lyapunov Stability

Mathematics (MEI) Advanced Subsidiary GCE Core 1 (4751) June 2010

Stability of Stochastic Differential Equations

Linearization at equilibrium points

Computer Problems for Methods of Solving Ordinary Differential Equations

SOLUTIONS FOR PROBLEMS 1-30

Updated: January 16, 2016 Calculus II 7.4. Math 230. Calculus II. Brian Veitch Fall 2015 Northern Illinois University

Stability and Robustness Analysis of Nonlinear Systems via Contraction Metrics and SOS Programming

1 The pendulum equation

Some solutions of the written exam of January 27th, 2014

B. Differential Equations A differential equation is an equation of the form

CDS 101/110a: Lecture 2.1 Dynamic Behavior

Ordinary Differential Equations

2t t dt.. So the distance is (t2 +6) 3/2

ANSWERS Final Exam Math 250b, Section 2 (Professor J. M. Cushing), 15 May 2008 PART 1

Math 312 Lecture Notes Linearization

Construction of Lyapunov functions by validated computation

Systems of Equations and Inequalities. College Algebra

Roots and Coefficients Polynomials Preliminary Maths Extension 1

Calculus of Variations

Partial Fraction Decomposition Honors Precalculus Mr. Velazquez Rm. 254

Chapter III. Stability of Linear Systems

Practice Exam 1 Solutions

ENGI 9420 Lecture Notes 4 - Stability Analysis Page Stability Analysis for Non-linear Ordinary Differential Equations

Existence Theory: Green s Functions

Calculus with business applications, Lehigh U, Lecture 03 notes Summer

Lyapunov stability ORDINARY DIFFERENTIAL EQUATIONS

Lotka Volterra Predator-Prey Model with a Predating Scavenger

1MA6 Partial Differentiation and Multiple Integrals: I

March Algebra 2 Question 1. March Algebra 2 Question 1

STABILITY ANALYSIS OF DYNAMIC SYSTEMS

4 Partial Differentiation

Transcription:

E9A: Analysis and Control of Nonlinear Systems Problem Set 6 Solutions Michael Vitus Gabe Hoffmann Stanford University Winter 7 Problem 1 The governing equations are: ẋ 1 = x 1 + x 1 x ẋ = x + x 3 Using the function V (x) = x 1 +x let s see what we can say about the stability of the origin. Since V (x) is a class-k function, by definition V (x) is a positive-definite and decrescent function. The Lie derivative is: V = (x 1 + x )(x 1) () Therefore, V only when x 1. Therefore, the equilibrium is only locally stable on G r = {x x 1}. (1)

Problem : Phase-Locked Loop. We are to analyze the phase-locked loop described by ÿ(t) + (a + bcos y(t))ẏ + csin y(t) = (3) Let x 1 = y and x = ẏ. We need to show that (,) is a stable equilibrium point if a b. The system is then ẋ 1 = x ẋ = (a + bcos x 1 )x csin x 1 Given the Lyapunov function candidate V (x 1,x ) = c(1 cos x 1 ) + x /, we need to start by showing that V (x,t) is positive definite and decrescent on G r. We assume that c > for the hint to be helpful. It is helpful to use the trig identity Thus, 1 cos x 1 = sin x 1 V = csin x 1 + x (5) For simplicity, choose G r = {x R n : x < π}. Thus, V monotonically increases with x from the origin until x 1 = ±π, when sin x 1 = sin π = 1, and the x 1 term is maximum with respect to x 1. To show that the function is decrescent on G r, we look at x ( csin 1 + x c x max, 1 ) (6) where the c condition in the max function arises from sin x 1 x 1 x 1 (7) and the 1 condition in the max function is for the case where x / dominates if c is too small. Therefore, φ( x ) = max( c, 1 ) x is a class-k function that bounds V from above, proving that V is decrescent on G r. To show that V is positive definite on G r, we use the fact that x ( csin 1 + x c min 1 ) π, x when x 1 (8) where the 1 condition in the min function is from the case where x c / dominates if c is too big. The π term is from solving for the coefficient necessary for x 1 to intercect csin x 1 at x 1 = π. That is, when csin π = kπ. The parabola can only intercept the square of the sin at one point between and π, and it does so from below, so it the condition in (8) is proven true. Thus, min ( c, 1 π ) x, another class-k function, bounds V from below on G r, proving that V is positive definite on G r. Now, we need to show that V is positive definite. V = V ẋ 1 + V ẋ x 1 x ( = csin x 1 cos x ) 1 (x ) + (x ) ( (a + bcos x 1 )x csin x 1 ) = cx sin x 1 x (a + bcos x 1) csin x 1 = x (a + bcos x 1) (4)

Clearly, x is always. The term (a + bcos x 1) is always, because a b, so a + bcos x 1 b(1 + cos x 1 ). Therefore, V, so the origin is a stable equilibrium point. An alternative method to prove stability, although it goes against the implication of the hint, is to find the Jacobian linearization of the system about the equilibrium. [ ] [ ] 1 1 Df (,) = = (9) bx sin x 1 ccos x 1 (a + bcos x 1 ) c (a + b) This ( leads to a characteristic equation of λ + (a + b)λ + c =. Solving for λ, we see that λ = 1 (a + b) ± ) (a + b) 4c. Thus, the real part of the eigenvalue is always less than zero, by the triangle inequality. There is the rather large exception to this stability claim, a = b =, which is allowed by the constraints, where the roots are purely imaginary. By Hartman-Grobman, we cannot tell the stability of the system from the linearization in this case. We can, however, tell from the Lyapunov analysis that we already did. If a = b =, then V =, so the solution trajectories would follow level curves of V encircling the origin. (,) 3

Problem 3. ÿ = u u = k(y) Using V (y,ẏ) = 1 ẏ + y o k(σ)dσ show that the origin is stable in the sense of Lyapunov if k() = and dk dy () >. Let x 1 = y and x = ẏ. V (x) = x ẋ + k(x 1 )ẋ 1 (1) V (x) = x ( k(x 1 )) + k(x 1 )x (11) V (x) = (1) Therefore, V (x). Setting ẋ 1 = ẋ =, yields (k 1 (),) and since k() =, the origin is an equilibrium point. Now we need to show that V (x) is positive-definite and decrescent. Since V (x) is time-invariant, it is decrescent. Since dk dx 1 () >, there is no deadband in k(x 1 ). Therefore, at least locally around (,) we can bound the function V (x) from below. Therefore, V (x) is LPDF, decrescent Lyapunov function. Therefore, the origin is locally stable. (13) 4

Problem 4: Control. We are to consider the system ẋ 1 = a(x x 1 ) ẋ = bx 1 x x 1 x 3 + u ẋ 3 = x 1 + x 1 x ax 3 where a > and b > are constants. We are asked if using Lyapunov theory, we can design a control law u(x) which globally stabilizes the origin. Let s choose a positive definite, decrescent candidate Lyapunov function, V (x), and see if we can define u(x) such that V (x). Let s try Then, we find the Lie derivative. V (x) = 1 x 1 + 1 x + 1 x 3 (14) V (x) = x 1 ẋ 1 + x ẋ + x 3 ẋ 3 = x 1 a(x x 1 ) + x (bx 1 x x 1 x 3 + u) + x 3 (x 1 + x 1 x ax 3 ) = ax 1 x ax 1 + bx 1 x bx x 1 x x 3 + x u + x 1 x 3 + x 1 x x 3 ax 3 = (a + b)x 1 x + x 1 x 3 ax 1 bx ax 3 + x u In order to eliminate the terms that can be positive in the derivative, we could chose u(x) = x 1 (a + b) x 1x 3 x (15) However, this control law goes to infinity when x. Let s see what the real impact of the x 1 x 3 term is. Perhaps it is cancelled by the quadratic terms. Using the control law u(x) = x 1 (a + b), we would have V (x) = x 1 x 3 ax 1 bx ax 3 (16) Clearly, the x term is less than or equal to zero. The remainder of the terms can be simplified by seeing that we can rewrite x 1 x 3 in a quadratic form. (x 1 cx 3 ) = x 1 + cx 1 x 3 c x 3 x 1 x 3 = 1 c x 1 + c x 3 (x 1 cx 3 ) (17) where c is an arbitrary scaling constant. Substituting (17) back into (16) we obtain V (x) = 1 ( (x 1 x 3 ) a 1 ) ( x 1 a c ) x 3 (18) c Therefore, if a 1 c and a c, then V, and the origin is globally stabilized. To find the value of c that constrains a the least, we solve for c at the point where both inequalities transition from true to false at the same time. That leads to the system of equations a = 1 c a = c 5

The solution is c = and a = 1 1. Thus, if a, then the Lie derivative is less than or equal to zero, and the origin is globally stabilized. However, we do not have the option of picking a, therefore this candidate function does not work. Therefore, let s try a different candidate function. V (x) = 1 (αx 1 + βx + δx 3 ) (19) As long as α, β, and δ, the function V (x) is positive definite and decrescent. Taking the Lie derivative yields, V = αx 1 ẋ 1 + βx ẋ + δx 3 ẋ 3 V = aαx 1 βx aδx 3 + (δ β)x 1x x 3 + δx 1 x 3 + (bβ + aα)x 1 x + βu Let s choose β = δ, which will eliminate the term (δ β)x 1 x x 3. Also, let s choose u = 1 β (bβ + aα)x 1, which will eliminate one of the two positive terms. Substituting and simplifying yields, V = aαx 1 βx aβx 3 + βx 1 x 3 Now we need to show that V for some α and β. V can be written in the form where Q = V = x T Qx () aα.5β β.5β aβ (1) We now need to show that Q is positive-semidefinite so that V (x). In order for Q, the diagonal of Q needs to be positive, and the determinant needs to be greater than or equal. Therefore, a >, α >, and β >. The determinant of Q is (a αβ.5β ) () Setting the determinant equal to zero, and solving for β yields β = 8a α (3) Choosing α = 1, yeilds β = 8a. Therefore, with the function V (x) = 1 x 1 + 4a (x + x 3 ) which is positive definite and decrescent, and with u = (b + 1 8a )x 1, we have shown that V (x). Therefore, we have found a control input which makes the origin stable in the sense of Lyapunov. 6

Problem 5: RLC circuit with passive nonlinear resistor. The state equations of this RLC circuit are ẋ = y f(x) (4) ẏ = x (5) where x is the current, y is the capacitor voltage, and f(x) is the nonlinear resistor s effect. We can assume that f(x) is a continuous function, because a resistor is a physical device. We are to show that if the resistor is strictly passive, then the equations admit only one stable equilibrium. Let s start by finding the equilibria. ẏ = x = x = (6) ẋ = y f(x) = y = f(x) = f() (7) So the equilibrium is at (,f()). It is unique, because xf(x) = only when x =. Next, we use the stored energy function for the circuit, W = (x + y )/, as the Lyapunov function. It is obviously positive definite and decrescent. Then, V = Ẇ = xẋ + yẏ = x(y f(x) + y( x)) = xf(x) The resistor is passive, so xf(x) = only at x =, and is positive otherwise. Therefore, V, so the minimum of W is a stable equilibrium point. There is only one equilibrium point, so the one equilibrium point is stable. 7

Problem 6. We consider the system ẋ 1 = x + ǫx 1 (x 1 + x )sin (x 1 + x ) (8) ẋ = x 1 + ǫx (x 1 + x )sin (x 1 + x ) (9) We are to show that the linearization is inconclusive to determine the stability of the origin, and use the method of Lyapunov to study the stability of the origin between ǫ = 1 and ǫ = 1. First, notice that the origin is clearly an equilibrium point. The Jacobian linearization of the system is ] Df = [ f1 x 1 f 1 x f x 1 f x (3) where f 1 x 1 = ǫx 1(x 1 + x )cos (x 1 + x ) + ǫ(3x 1 + x )sin (x 1 + x ) f 1 x = ǫx 1 x (x 1 + x )cos (x 1 + x ) + ǫx 1x sin(x 1 + x ) 1 f x 1 = ǫx 1 x (x 1 + x )cos (x 1 + x ) + ǫx 1x sin(x 1 + x ) + 1 f x = ǫx (x 1 + x )cos (x 1 + x ) + ǫ(x 1 + 3x )sin (x 1 + x ) Evaluating the Jacobian linearization at the origin, it is simply [ 1 Df (,) = 1 ] (31) Thus, the eigenvalues of the linearized system are simply λ = ±j. Because the eigenvalues are purely imaginary, according to Hartman-Grobman, we cannot determine the stability of this equilibrium. Let us pick the simple and common Lyapunov function, V (x 1,x ) = 1 (x 1 + x ), and see how much information it gives us. The Lie derivative is V = x 1 x 1 + x x ( = x 1 x + ǫx 1 (x 1 + x )sin (x 1 + x )) ( + x x1 + ǫx (x 1 + x )sin (x 1 + x )) = ǫ(x 1 + x ) sin (x 1 + x ) The (x 1 + x ) term is always. Around the origin, the sin(x 1 + x ) term is for x < π. So, let us take G r = {x R n : x < π}. Then, in G r, V > if ǫ >, and V < if ǫ <. Therefore, if ǫ <, the origin is stable, and if ǫ >, the origin is unstable. If ǫ =, then clearly the system is a continuum of circular orbits, as can be seen by looking at the system equations. 8

Problem 7: Proving Stability of a Boundary control scheme. The governing equation is m tw(x,t) T xw(x,t) = (3) A vertical force u is applied at the free end of the string, at x = 1. The balance of forces in the vertical direction yields u(t) = T W(x,t) x (33) for all t. We are to show that if the boundary control u(t) = k W(x,t) t is applied, where k >, then Ė(t) for all t. We are given that E(t) = 1 1 ( ) W(x,t) m dx + 1 t (34) 1 ( ) W(x,t) T dx (35) x where the first term is the kinetic energy, and the second term is the strain energy. Taking the derivative, we obtain 1 ( ) ( W ) W 1 ( )( W ) W Ė(t) = m t t dx + T dx (36) x x t Using (3), we see that Thus, ( 1 Ė(t) = T ( W t W t )( W x = T W m x (37) ) dx + 1 ( )( W ) ) W dx x x t Now, we need to simlify this, so we use integration by parts, as given by the hint. To do so, the equations need to be of the form b a udv = uv b a b a vdu. We apply this form to the second integral above, by absorbing the second order derivatives into the differential term, and taking u = W x and v = W t. Then, ( 1 ( ) ( ) W W 1 ( ) ( )) W W Ė(t) = T d + d t x x t ( 1 ( ) ( ) W W = T d + W W 1 1 ( ) ( ) ) W W t x x t d t x = T W W 1 x t = T W W x t T W W x t The first line was found by using W x x = W d ( ) W x x = W dx for the first integral, and similar x calculus for the second integral. The integration limits throughout the problem are from x = to x = 1. The second line was found by applying integration by parts to the second integral in line 1. The third line was found by realizing that the two integrals in line two are equal and have opposite signs. 9 x= (38)

We use W(,t) = to see that W t x= =. In other words, the left end of the string is fixed in place. This eliminates the second term in the equation above, yielding ( Ė(t) = T W ) W x t Ė(t) = u(t) W t where the last step used (33). Now, if we define u(t) as in (34), with k >, we have ( ) W Ė(t) = k t (39) t 1