TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &

Slides:



Advertisements
Similar presentations
COMMON WEAK LYAPUNOV FUNCTIONS and OBSERVABILITY Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois.
Advertisements

1 STABILITY OF SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
SWITCHING ADAPTIVE CONTROL Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
NONLINEAR HYBRID CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois.
CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
Ch 7.6: Complex Eigenvalues
OUTPUT – INPUT STABILITY Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS Debasish Chatterjee, Linh Vu, Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
TOWARDS a UNIFIED FRAMEWORK for NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS 49 th CDC, Atlanta, GA, Dec 2010 Daniel Liberzon Univ. of Illinois, Urbana-Champaign,
1 of 13 STABILIZING a SWITCHED LINEAR SYSTEM by SAMPLED - DATA QUANTIZED FEEDBACK 50 th CDC-ECC, Orlando, FL, Dec 2011, last talk in the program! Daniel.
Nonlinear Systems: an Introduction to Lyapunov Stability Theory A. Pascoal, Jan
ISS of Switched Systems and Application to Adaptive Control
INTRODUCTION to SWITCHED SYSTEMS ; STABILITY under ARBITRARY SWITCHING
INTRODUCTION to SWITCHED and HYBRID SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at.
THE ROLE OF LIE BRACKETS IN STABILITY OF LINEAR AND NONLINEAR SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical &
IFAC AIRTC, Budapest, October 2000 On the Dynamic Instability of a Class of Switching System Robert Noel Shorten Department of Computer Science National.
NONLINEAR OBSERVABILITY NOTIONS and STABILITY of SWITCHED SYSTEMS CDC ’02 João Hespanha Univ. of California at Santa Barbara Daniel Liberzon Univ. of Illinois.
GRADIENT ALGORITHMS for COMMON LYAPUNOV FUNCTIONS Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. Roberto Tempo IEIIT-CNR, Politecnico di.
1 of 9 ON ALMOST LYAPUNOV FUNCTIONS Daniel Liberzon University of Illinois, Urbana-Champaign, U.S.A. TexPoint fonts used in EMF. Read the TexPoint manual.
1 Formal Models for Stability Analysis : Verifying Average Dwell Time * Sayan Mitra MIT,CSAIL Research Qualifying Exam 20 th December.
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.
1 Stability of Hybrid Automata with Average Dwell Time: An Invariant Approach Daniel Liberzon Coordinated Science Laboratory University of Illinois at.
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 Stability Analysis of Continuous- Time Switched Systems: A Variational Approach Michael Margaliot School of EE-Systems Tel Aviv University, Israel Joint.
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.
QUANTIZED CONTROL and GEOMETRIC OPTIMIZATION Francesco Bullo and Daniel Liberzon Coordinated Science Laboratory Univ. of Illinois at Urbana-Champaign U.S.A.
CONTROL of NONLINEAR SYSTEMS with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
STABILIZING a NONLINEAR SYSTEM with LIMITED INFORMATION FEEDBACK Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
CONTROL of NONLINEAR SYSTEMS under COMMUNICATION CONSTRAINTS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
MEETING THE NEED FOR ROBUSTIFIED NONLINEAR SYSTEM THEORY CONCEPTS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
1 Stability Analysis of Linear Switched Systems: An Optimal Control Approach Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.
Nonlinear Systems: an Introduction to Lyapunov Stability Theory A. Pascoal, April 2013 (draft under revision)
CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
Multiple-Lyapunov Functions for Guaranteeing the Stability of a class of Hybrid Systems.
TUTORIAL on LOGIC-BASED CONTROL Part I: SWITCHED CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
QUANTIZED OUTPUT FEEDBACK CONTROL of NONLINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
OUTPUT – INPUT STABILITY and FEEDBACK STABILIZATION Daniel Liberzon CDC ’03 Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
QUANTIZATION and DELAY EFFECTS in NONLINEAR CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
Lecture #8 Stability and convergence of hybrid systems João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
To clarify the statements, we present the following simple, closed-loop system where x(t) is a tracking error signal, is an unknown nonlinear function,
Lecture #11 Stability of switched system: Arbitrary switching João P. Hespanha University of California at Santa Barbara Hybrid Control and Switched Systems.
SWITCHING CONTROL DESIGN Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
Daniel Liberzon Coordinated Science Laboratory and
Boyce/DiPrima 9 th ed, Ch 7.6: Complex Eigenvalues Elementary Differential Equations and Boundary Value Problems, 9 th edition, by William E. Boyce and.
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Lecture #14 Computational methods to construct multiple Lyapunov functions & Applications João P. Hespanha University of California at Santa Barbara Hybrid.
COMMUTATION RELATIONS and STABILITY of SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of.
OUTPUT-INPUT STABILITY: A NEW VARIANT OF THE MINIMUM-PHASE PROPERTY FOR NONLINEAR SYSTEMS D. Liberzon Univ. of Illinois at Urbana-Champaign, USA A. S.
Announcements Read Chapters 11 and 12 (sections 12.1 to 12.3)
STABILIZATION by QUANTIZED FEEDBACK : HYBRID CONTROL APPROACH Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ.
NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at.
ECE 576 – Power System Dynamics and Stability Prof. Tom Overbye Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
STABILITY of SWITCHED SYSTEMS – family of asymptotically stable systems – piecewise constant switching signal Want GUAS w.r.t. want GUES For switched linear.
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.
TOWARDS a UNIFIED FRAMEWORK for NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
1 Lu LIU and Jie HUANG Department of Mechanics & Automation Engineering The Chinese University of Hong Kong 9 December, Systems Workshop on Autonomous.
Input-to-State Stability for Switched Systems
Autonomous Cyber-Physical Systems: Dynamical Systems
SWITCHED SYSTEMS Switched system: is a family of systems
SWITCHED SYSTEMS Switched system: is a family of systems
Michael Margaliot School of Elec. Eng. -Systems
SWITCHING CONTROL DESIGN
Boyce/DiPrima 10th ed, Ch 7.6: Complex Eigenvalues Elementary Differential Equations and Boundary Value Problems, 10th edition, by William E. Boyce and.
Guosong Yang1, A. James Schmidt2, and Daniel Liberzon2
On Topological Entropy and Stability of Switched Linear Systems
Presentation transcript:

TOWARDS ROBUST LIE-ALGEBRAIC STABILITY CONDITIONS for SWITCHED LINEAR SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign European Control Conference, Budapest, Aug 2009

SWITCHED SYSTEMS Switched system: is a family of systems is a switching signal Switching can be: State-dependent or time-dependent Autonomous or controlled Details of discrete behavior are “abstracted away” : stabilityProperties of the continuous state Discrete dynamics classes of switching signals

STABILITY ISSUE unstable Asymptotic stability of each subsystem is not sufficient for stability under arbitrary switching

KNOWN RESULTS: LINEAR SYSTEMS Lie algebra w.r.t. No further extension based on Lie algebra only Quadratic common Lyapunov function exists in all these cases Assuming GES of all modes, GUES is guaranteed for: commuting subsystems: [ Narendra–Balakrishnan, nilpotent Lie algebras (suff. high-order Lie brackets are 0) e.g. Gurvits, solvable Lie algebras (triangular up to coord. transf.) Kutepov,L–Hespanha–Morse, solvable + compact (purely imaginary eigenvalues) Agrachev–L ]

KNOWN RESULTS: NONLINEAR SYSTEMS Linearization (Lyapunov’s indirect method) Can prove by trajectory analysis [ Mancilla-Aguilar ’00 ] or common Lyapunov function [ Shim et al. ’98, Vu–L ’05 ] Global results beyond commuting case Recently obtained using optimal control approach [ Margaliot–L ’06, Sharon–Margaliot ’07 ] Commuting systems GUAS

REMARKS on LIE-ALGEBRAIC CRITERIA Checkable conditions In terms of the original data Independent of representation Not robust to small perturbations In any neighborhood of any pair of matrices there exists a pair of matrices generating the entire Lie algebra [ Agrachev–L ’01 ] How to measure closeness to a “nice” Lie algebra?

EXAMPLE ( discrete time, or cont. time periodic switching: ) Suppose. Fact 1 Stable for dwell time : Fact 2 If then always stable: This generalizes Fact 1 (didn’t need ) and Fact 2 ( ) Switching between and Schur Fact 3 Stable if where is small enough s.t. When we have where

EXAMPLE ( discrete time, or cont. time periodic switching: ) Suppose. Fact 1 Stable for dwell time : Fact 2 If then always stable: Switching between and Schur When we have where

MORE GENERAL FORMULATION Assume switching period :

MORE GENERAL FORMULATION Find smallest s.t. Assume switching period

MORE GENERAL FORMULATION Assume switching period Intuitively, captures: how far and are from commuting ( ) how big is compared to ( ), define byFind smallest s.t.

MORE GENERAL FORMULATION Stability condition: where already discussed: (“elementary shuffling”) Assume switching period, define byFind smallest s.t.

SOME OPEN ISSUES Relation between and Lie brackets of and general formula seems to be lacking

SOME OPEN ISSUES Relation between and Lie brackets of and Suppose but Elementary shuffling:, not nec. close to but commutes with and Smallness of higher-order Lie brackets Example:

SOME OPEN ISSUES Relation between and Lie brackets of and Suppose but Elementary shuffling:, not nec. close to but commutes with and This shows stability for Example: In general, for can define by Smallness of higher-order Lie brackets ( Gurvits: true for any )

SOME OPEN ISSUES Relation between and Lie brackets of and Smallness of higher-order Lie brackets More than 2 subsystems can still define but relation with Lie brackets less clear Optimal way to shuffle especially when is not a multiple of Current work investigates alternative approaches that go beyond periodic switching