1 On several composite quadratic Lyapunov functions for switched systems Tingshu Hu, Umass Lowell Liqiang Ma, Umass Lowell Zongli Lin, Univ. of Virginia.

Slides:



Advertisements
Similar presentations
C&O 355 Lecture 15 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A A A A A A A A.
Advertisements

1 STABILITY OF SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
Ch 7.6: Complex Eigenvalues
INTRODUCTION to SWITCHED SYSTEMS ; STABILITY under ARBITRARY SWITCHING
THE ROLE OF LIE BRACKETS IN STABILITY OF LINEAR AND NONLINEAR SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &
The Stability of a Good Clustering Marina Meila University of Washington
Optimization 吳育德.
Page 1 Page 1 ENGINEERING OPTIMIZATION Methods and Applications A. Ravindran, K. M. Ragsdell, G. V. Reklaitis Book Review.
C&O 355 Mathematical Programming Fall 2010 Lecture 15 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AA A.
Venkataramanan Balakrishnan Purdue University Applications of Convex Optimization in Systems and Control.
1 Nonlinear Control Design for LDIs via Convex Hull Quadratic Lyapunov Functions Tingshu Hu University of Massachusetts, Lowell.
by Rianto Adhy Sasongko Supervisor: Dr.J.C.Allwright
Graph Laplacian Regularization for Large-Scale Semidefinite Programming Kilian Weinberger et al. NIPS 2006 presented by Aggeliki Tsoli.
Lecture #13 Stability under slow switching & state-dependent switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched.
STABILITY under CONSTRAINED SWITCHING Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
0 Pattern Classification All materials in these slides were taken from Pattern Classification (2nd ed) by R. O. Duda, P. E. Hart and D. G. Stork, John.
Computer Algorithms Integer Programming ECE 665 Professor Maciej Ciesielski By DFG.
COMP322/S2000/L221 Relationship between part, camera, and robot (cont’d) the inverse perspective transformation which is dependent on the focal length.
1 A Lyapunov Approach to Frequency Analysis Tingshu Hu, Andy Teel UC Santa Barbara Zongli Lin University of Virginia.
1 Absolute Stability with a Generalized Sector Condition Tingshu Hu.
Tier I: Mathematical Methods of Optimization
A LIE-ALGEBRAIC CONDITION for STABILITY of SWITCHED NONLINEAR SYSTEMS CDC ’04 Michael Margaliot Tel Aviv University, Israel Daniel Liberzon Univ. of Illinois.
1 of 12 COMMUTATORS, ROBUSTNESS, and STABILITY of SWITCHED LINEAR SYSTEMS SIAM Conference on Control & its Applications, Paris, July 2015 Daniel Liberzon.
Stability Analysis of Linear Switched Systems: An Optimal Control Approach 1 Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.
Multiple-Lyapunov Functions for Guaranteeing the Stability of a class of Hybrid Systems.
C&O 355 Mathematical Programming Fall 2010 Lecture 4 N. Harvey TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A.
TUTORIAL on LOGIC-BASED CONTROL Part I: SWITCHED CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
LOGO A Path –Following Method for solving BMI Problems in Control Author: Arash Hassibi Jonathan How Stephen Boyd Presented by: Vu Van PHong American Control.
1 Optimization Multi-Dimensional Unconstrained Optimization Part II: Gradient Methods.
Lecture #11 Stability of switched system: Arbitrary switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
Daniel Liberzon Coordinated Science Laboratory and
X y x-y · 4 -y-2x · 5 -3x+y · 6 x+y · 3 Given x, for what values of y is (x,y) feasible? Need: y · 3x+6, y · -x+3, y ¸ -2x-5, and y ¸ x-4 Consider the.
1  The Problem: Consider a two class task with ω 1, ω 2   LINEAR CLASSIFIERS.
Lecture #14 Computational methods to construct multiple Lyapunov functions & Applications João P. Hespanha University of California at Santa Barbara Hybrid.
1  Problem: Consider a two class task with ω 1, ω 2   LINEAR CLASSIFIERS.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
Lecture #12 Controller realizations for stable switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
CSCE 441: Keyframe Animation/Smooth Curves (Cont.) Jinxiang Chai.
CSCE 441: Keyframe Animation/Smooth Curves (Cont.) Jinxiang Chai.
Chapter 2-OPTIMIZATION G.Anuradha. Contents Derivative-based Optimization –Descent Methods –The Method of Steepest Descent –Classical Newton’s Method.
Nonlinear Programming In this handout Gradient Search for Multivariable Unconstrained Optimization KKT Conditions for Optimality of Constrained Optimization.
Ch 1.1: Basic Mathematical Models; Direction Fields Differential equations are equations containing derivatives. The following are examples of physical.
STABILITY of SWITCHED SYSTEMS – family of asymptotically stable systems – piecewise constant switching signal Want GUAS w.r.t. want GUES For switched linear.
Linear & Nonlinear Programming -- Basic Properties of Solutions and Algorithms.
(COEN507) LECTURE III SLIDES By M. Abdullahi
Linear Programming Chapter 9. Interior Point Methods  Three major variants  Affine scaling algorithm - easy concept, good performance  Potential.
Lecture #7 Stability and convergence of ODEs João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems NO CLASSES.
Stability Analysis of Positive Linear Switched Systems: A Variational Approach 1 Michael Margaliot School of Elec. Eng. -Systems Tel Aviv University, Israel.
Support Vector Machine: An Introduction. (C) by Yu Hen Hu 2 Linear Hyper-plane Classifier For x in the side of o : w T x + b  0; d = +1; For.
D. AriflerCMPE 548 Fall CMPE 548 Routing and Congestion Control.
Ch 9.6: Liapunov’s Second Method In Section 9.3 we showed how the stability of a critical point of an almost linear system can usually be determined from.
Submodularity Reading Group Matroid Polytopes, Polymatroid M. Pawan Kumar
LINEAR CLASSIFIERS The Problem: Consider a two class task with ω1, ω2.
Boyce/DiPrima 9th ed, Ch 9.6: Liapunov’s Second Method Elementary Differential Equations and Boundary Value Problems, 9th edition, by William E. Boyce.
Chapter 10 Optimal Control Homework 10 Consider again the control system as given before, described by Assuming the linear control law Determine the constants.
Polynomial Norms Amir Ali Ahmadi (Princeton University) Georgina Hall
§7-4 Lyapunov Direct Method
Proving that a Valid Inequality is Facet-defining
Input-to-State Stability for Switched Systems
Nuclear Norm Heuristic for Rank Minimization
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Chap 3. The simplex method
Polyhedron Here, we derive a representation of polyhedron and see the properties of the generators. We also see how to identify the generators. The results.
Michael Margaliot School of Elec. Eng. -Systems
I.4 Polyhedral Theory.
Proving that a Valid Inequality is Facet-defining
1.2 Guidelines for strong formulations
Chapter 7 Inverse Dynamics Control
1.2 Guidelines for strong formulations
Presentation transcript:

1 On several composite quadratic Lyapunov functions for switched systems Tingshu Hu, Umass Lowell Liqiang Ma, Umass Lowell Zongli Lin, Univ. of Virginia

2 Outline  Background on switched systems and sliding motion  Approach of this work, main issues  Use three Lyapunov functions to construct switching laws  How to ensure stability in the presence of sliding motion?  Main Results  Switching law based on directional derivatives  Directional derivatives along sliding surface  Stabilization via min function  Dual result for max function and convex hull function  Conclusions

3 Switched systems and LDIs Given a family of linear systems  A linear differential inclusion (LDI): Switching controlled by unknown force Expect the worst case Switching orchestrated by controller, Can be optimized for best performance  This work considers the second type, the switched systems  A switched system Two approaches: Analytical methods for lower-order sys [ Antsaklis, Michel, Hu, Xu, Zhai] Using Lyapunov functions for switching laws construction and stability analysis

4 Earlier constructive approaches  Find P > 0 and  [0,1] such that [Wicks, Peletics & Decarlo, 1998] A switching law can be constructed for quadratic stability  Find P 1, P 2 >0,     ≥  or     ≤  such that [Wicks & Decarlo, 1997] A switching law can be constructed based on V(x) = max{x T P 1 x, x T P 2 x}, or V(x) = min{x T P 1 x, x T P 2 x}.  Stability ensured only if no sliding motion occurs.  Both methods involving BMIs, harder than LMIs but numerically possible  More recent development based on BMIs: [Decarlo, Branicky, Pettesson, Lennartson, Zhai, etc].

5 Effect of sliding motion Assume the matrix condition is satisfied [Wicks & Decarlo, 1997] When sliding motion occurs, the system can be stable or unstable  Sliding motion not unusual in switched systems;  It may be a result of optimization  Not realizable but can be approximated via hysteresis, delay, fast sampling, etc. Based on V min Based on V max

6 Approach of this work, main issues Approach:  Use three types of Lyapunov functions to construct switching laws  Functions composed from a family of quadratic functions;  Lead to semi-definite matrix conditions, numerically possible;  Two types of functions are not everywhere differentiable Main issues:  How to dealing with non-differentiable Lyapunov functions?  Use directional derivatives  How to address stability in the presence of possible sliding motion?  Exclude the existence of sliding motion  Characterize directional derivatives along sliding direction

7 Three Lyapunov functions Given matrices : 3) The convex hull function: 2) The max function : 1) The min function: Level set =  Only the convex hull function is everywhere differentiable  V c and V max are convex conjugate pairs, they have been successfully applied to LDIs and saturated systems [Goebel, Hu, Lin, Teel, Zaccarian]. Let Level set =

8 Switching law based on directional derivatives Consider a function V ( x ). The one-sided directional derivative at x along the direction  is, Then, For the family of linear systems  Let the switching law be constructed as V(x) can be V max (x), V min (x ), or V c (x) 

9 How sliding motion complicates the analysis? Along sliding direction:  Sliding along the set of differentiable points is easy to deal with  Sliding along the set of non-differentiable points is more complicated What really matters is

10 Directional derivatives along sliding surfaces A1xA1x A2xA2x  A 1 x+(1-  )A 2 x Different situations w.r.t V max and V min A2xA2x A1xA1x  A 1 x+(1-  )A 2 x Not necessary to require Not sufficient to require  How can we ensure along sliding direction?

11 Some key points in this work A1xA1x A2xA2x  A 1 x+(1-  )A 2 x For V max, If there exists a  s.t. at the non-differentiable point, then along the switching surface. For V min, no sliding motion exist in the set of non-differentiable points Note: A 1 x and A 2 x points away from switching surface Only need to consider the set of differentiable points A2xA2x A1xA1x  A 1 x+(1-  )A 2 x

12 Stabilization via min function The switching law: Proposition 1: There exist no sliding motion in the set of x where V min ( x ) is not differentiable. Matrix condition: Consider V min = min{x T P j x: j=1,2,…,J}. If there exist  ij ≥0,  ij ≥0,  i=1 N  ij =1, such that Then for every solution, Stability ensured by matrix condition even if sliding motion occurs.

13 Stabilization via min function Special case with two A i ’ s: The matrix inequalities [Wicks & Decarlo, 1997] ensures stabilization regardless of sliding motion. The number of matrices P j ’s (J) does not need to be equal to the number of A i ’s (N) : J≥N, or J<N. As J increases, the convergence rate  increases. Example: System cannot be stabilized via quadratic Lyapunov functions: No P>0 and  satisfy both neutrally stable With J=2, maximal  ; With J=3, maximal  ; With J=4, maximal   ;

14 A dual result for V max and V c Recall V max and V c are conjugate functions Consider the dual switched systems: Proposition: Suppose N=2. Sys 1 is stable iff Sys 2 is stable. Sys 1: Sys 2: Remarks: ₋ Results also obtained for the case N >2. ₋ It is easier to obtain matrix conditions via Sys. 2 since V max is piecewise quadratic.

15 Example: A pair of dual systems Sys 1: Sys 2: Sliding motion occurs for both systems. They are stable with the same convergence rate w.r.t correspoding Lyapunov function.

16 Conclusions  Switching laws constructed via three Lyapunov functions  The min function  The max function  The convex hull function  Sliding motion carefully considered by using the directional derivatives  When min function is used, sliding motion does not exist in the set of non-differentiable points  When max function is used, V max decreases along the sliding surface iff it decreases along a certain convex combination of A 1 x and A 2 x.  A dual result obtained via max function and convex hull function  Condition for stabilization characterized by BMIs.