Stability Analysis of Linear Switched Systems: An Optimal Control Approach 1 Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.

Slides:



Advertisements
Similar presentations
Completeness and Expressiveness
Advertisements

Boyce/DiPrima 9th ed, Ch 2.4: Differences Between Linear and Nonlinear Equations Elementary Differential Equations and Boundary Value Problems, 9th edition,
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Chapter 9 Approximating 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 &
Properties of State Variables
Extremum Properties of Orthogonal Quotients Matrices By Achiya Dax Hydrological Service, Jerusalem, Israel
Ch 9.1: The Phase Plane: Linear Systems
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
1 Stability Analysis of Switched Systems: A Variational Approach Michael Margaliot School of EE-Systems Tel Aviv University Joint work with Daniel Liberzon.
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
Symmetric Matrices and Quadratic Forms
1 Maximizing Lifetime of Sensor Surveillance Systems IEEE/ACM TRANSACTIONS ON NETWORKING Authors: Hai Liu, Xiaohua Jia, Peng-Jun Wan, Chih- Wei Yi, S.
Chapter 5 Orthogonality
Laplace Transforms Important analytical method for solving linear ordinary differential equations. - Application to nonlinear ODEs? Must linearize first.
Universidad de La Habana Lectures 5 & 6 : Difference Equations Kurt Helmes 22 nd September - 2nd October, 2008.
A Unified View of Kernel k-means, Spectral Clustering and Graph Cuts
1 Absolute Stability with a Generalized Sector Condition Tingshu Hu.
Dirac Notation and Spectral decomposition Michele Mosca.
Modern Control Systems1 Lecture 07 Analysis (III) -- Stability 7.1 Bounded-Input Bounded-Output (BIBO) Stability 7.2 Asymptotic Stability 7.3 Lyapunov.
Tutorial 10 Iterative Methods and Matrix Norms. 2 In an iterative process, the k+1 step is defined via: Iterative processes Eigenvector decomposition.
1 Stability Analysis of Continuous- Time Switched Systems: A Variational Approach Michael Margaliot School of EE-Systems Tel Aviv University, Israel Joint.

Maximum likelihood (ML)
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.
Scientific Computing Matrix Norms, Convergence, and Matrix Condition Numbers.
Asymptotic Techniques
EXAMPLES: Example 1: Consider the system Calculate the equilibrium points for the system. Plot the phase portrait of the system. Solution: The equilibrium.
1 Stability Analysis of Linear Switched Systems: An Optimal Control Approach Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.
Algorithms for a large sparse nonlinear eigenvalue problem Yusaku Yamamoto Dept. of Computational Science & Engineering Nagoya University.
Three different ways There are three different ways to show that ρ(A) is a simple eigenvalue of an irreducible nonnegative matrix A:
Chapter 2 Nonnegative Matrices. 2-1 Introduction.
A Maximum Principle for Single-Input Boolean Control Networks Michael Margaliot School of Electrical Engineering Tel Aviv University, Israel Joint work.
A variational expression for a generlized relative entropy Nihon University Shigeru FURUICHI || Tsallis.
Daniel Liberzon Coordinated Science Laboratory and
Consistency An estimator is a consistent estimator of θ, if , i.e., if
Chapter 24 Sturm-Liouville problem Speaker: Lung-Sheng Chien Reference: [1] Veerle Ledoux, Study of Special Algorithms for solving Sturm-Liouville and.
What is the determinant of What is the determinant of
Linear Program Set Cover. Given a universe U of n elements, a collection of subsets of U, S = {S 1,…, S k }, and a cost function c: S → Q +. Find a minimum.
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
Feedback Stabilization of Nonlinear Singularly Perturbed Systems MENG Bo JING Yuanwei SHEN Chao College of Information Science and Engineering, Northeastern.
Point Estimation of Parameters and Sampling Distributions Outlines:  Sampling Distributions and the central limit theorem  Point estimation  Methods.
Differential Equations MTH 242 Lecture # 09 Dr. Manshoor Ahmed.
STATIC ANALYSIS OF UNCERTAIN STRUCTURES USING INTERVAL EIGENVALUE DECOMPOSITION Mehdi Modares Tufts University Robert L. Mullen Case Western Reserve University.
Optimization of Nonlinear Singularly Perturbed Systems with Hypersphere Control Restriction A.I. Kalinin and J.O. Grudo Belarusian State University, Minsk,
Linear & Nonlinear Programming -- Basic Properties of Solutions and Algorithms.
Chapter 4 The Maximum Principle: General Inequality Constraints.
Solving Scalar Linear Systems A Little Theory For Jacobi Iteration
A function is a rule f that associates with each element in a set A one and only one element in a set B. If f associates the element b with the element.
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.
Compression for Fixed-Width Memories Ori Rottenstriech, Amit Berman, Yuval Cassuto and Isaac Keslassy Technion, Israel.
5 5.1 © 2016 Pearson Education, Ltd. Eigenvalues and Eigenvectors EIGENVECTORS AND EIGENVALUES.
Singular Systems Differential Algebraic Equations Introduction Systems & Control Theory Chemical Engineering & DAE Index for DAE Optimal Control Directions.
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.
11-1 Lyapunov Based Redesign Motivation But the real system is is unknown but not necessarily small. We assume it has a known bound. Consider.
Tutorial 6. Eigenvalues & Eigenvectors Reminder: Eigenvectors A vector x invariant up to a scaling by λ to a multiplication by matrix A is called.
Advanced Algorithms Analysis and Design
of Matrices and Vectors
§7-4 Lyapunov Direct Method
Chap 9. General LP problems: Duality and Infeasibility
Michael Margaliot School of Elec. Eng. -Systems
Stability Analysis of Linear Systems
Symmetric Matrices and Quadratic Forms
Linear Algebra Lecture 32.
Symmetric Matrices and Quadratic Forms
Presentation transcript:

Stability Analysis of Linear Switched Systems: An Optimal Control Approach 1 Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work with Lior Fainshil Part 2

Outline Positive linear switched systems Variational approach ■ Relaxation: a positive bilinear control system ■ Maximizing the spectral radius of the transition matrix ■ Main result: a maximum principle ■ Applications 2

Linear Systems Solution: 3 Theorem: Definition: The system is stable if A is called a Hurwitz matrix. stability

Linear Switched Systems A system that can switch between them: Global Uniform Asymptotic Stability (GUAS): AKA, “stability under arbitrary switching”. Two (or more) linear systems: 4

Why is the GUAS problem difficult? 1. The number of possible switching laws is huge. 5

Why is the GUAS problem difficult? 2. Even if each linear subsystem is stable, the switched system may not be GUAS. 6

Why is the GUAS problem difficult? 2. Even if each linear subsystem is stable, the switched system may not be GUAS. 7

Variational Approach Basic idea: (1) relaxation: linear switched system → bilinear control system (2) characterize the “most destabilizing control” (3) the switched system is GUAS iff Pioneered by E. S. Pyatnitsky (1970s). 8

Variational Approach for Positive Linear Switched Systems Basic idea: (1) positive linear switched system → positive bilinear control system (PBCS) (2) characterize the “most destabilizing control” 9

Positive Linear Systems 10 Motivation: suppose that the state variables can never attain negative values. In a linear system this holds if Such a matrix is called a Metzler matrix. i.e., off-diagonal entries are non-negative. 10

Positive Linear Systems 11 with Theorem An example: 11

Positive Linear Systems 12 If A is Metzler then for any so transition matrix The solution ofis The transition matrix is a non-negative matrix. 12

Perron-Frobenius Theory 13 Definition Spectral radius of a matrix 13 Example Let The eigenvalues are so

Perron-Frobenius Theorem 14 The corresponding eigenvectors of, denoted, satisfy has a real eigenvalue such that: Theorem Suppose that 14

Some Perturbation Theory 15 Let be a smooth parameter-dependent non-negative matrix. Denote: dominant eigenvalue of dominant eigenvectors of Then, 15

Sketch of Proof 16 Differentiate with respect to 16

Positive Linear Switched Systems: A Variational Approach 17 Relaxation: “Most destabilizing control”: maximize the spectral radius of the transition matrix. 17

Positive Linear Switched Systems: A variational Approach 18 Theorem For any T>0, is called the transition matrix corresponding to u. where is the solution at time T of 18

Transition Matrix of a Positive System 19 If are Metzler, then eigenvaluesuch that: admit a real and The corresponding eigenvectors satisfy 19

Optimal Control Problem 20 Fix an arbitrary T>0. Problem: find a control that maximizes We refer to as the “most destabilizing” control. 20

Relation to Stability 21 Define: Theorem: the PBCS is GAS if and only if 21

Main Result: A Maximum Principle 22 Theorem Fix T>0. Consider Let be optimal. Let and let denote the factors of Define and let Then 22

Comments on the Main Result Similar to the Pontryagin MP, but with one-point boundary conditions; 2. The unknown play an important role. 23

Comments on the Main Result The switching function satisfies: 24

Comments on the Main Result 25 The number of switching points in a bang- bang control must be even. 25

Main Result: Sketch of Proof 26 Let be optimal. Introduce a needle variation with perturbation width Let denote the corresponding transition matrix. By optimality, 26

Sketch of Proof 27 Let Then We know that Since is optimal, so with 27

Sketch of Proof 28 We can obtain an expression for Since is optimal, so to first order in as is a needle variation. 28

29 Applications of Main Result Assumptions: are Metzler is Hurwitz Proposition 1 If there exist such that the switched system is GUAS. Proposition 2 If and either or the switched system is GUAS. 29

30 Applications of Main Result Assumptions:are Metzler is Hurwitz Proposition 3 If then any bang-bang control with more than one switch includes at least 4 switches. Conjecture If switched system is GUAS. then the 30

31 Conclusions We considered the stability of positive switched linear systems using a variational approach. 31 The main result is a new MP for the control maximizing the spectral radius of the transition matrix. Further research: numerical algorithms for calculating the optimal control; consensus problems; switched monotone control systems,…

32 Margaliot. “Stability analysis of switched systems using variational principles: an introduction”, Automatica, 42: , Fainshil & Margaliot. “Stability analysis of positive linear switched systems: a variational approach”, submitted. Available online: More Information