1 of 16 NORM - CONTROLLABILITY, or How a Nonlinear System Responds to Large Inputs Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. NOLCOS.

Slides:



Advertisements
Similar presentations
Efficient classification for metric data Lee-Ad GottliebWeizmann Institute Aryeh KontorovichBen Gurion U. Robert KrauthgamerWeizmann Institute TexPoint.
Advertisements

CHAPTER 4 INTRAVENOUS INFUSION.
Subspace Embeddings for the L1 norm with Applications Christian Sohler David Woodruff TU Dortmund IBM Almaden.
Answering Approximate Queries over Autonomous Web Databases Xiangfu Meng, Z. M. Ma, and Li Yan College of Information Science and Engineering, Northeastern.
0 - 0.
COMMON WEAK LYAPUNOV FUNCTIONS and OBSERVABILITY Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois.
Reductions Complexity ©D.Moshkovitz.
Pole Placement.
1 STABILITY OF SWITCHED SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
1 of 16 SMALL - GAIN THEOREMS of LASALLE TYPE for HYBRID SYSTEMS Daniel Liberzon (Urbana-Champaign) Dragan Nešić (Melbourne) Andy Teel (Santa Barbara)
Vertex sparsifiers: New results from old techniques (and some open questions) Robert Krauthgamer (Weizmann Institute) Joint work with Matthias Englert,
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.
OUTPUT – INPUT STABILITY Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at Urbana-Champaign.
5.1 Real Vector Spaces.
Shortest Vector In A Lattice is NP-Hard to approximate
INPUT-TO-STATE STABILITY of SWITCHED SYSTEMS Debasish Chatterjee, Linh Vu, Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer.
Mathematics1 Mathematics 1 Applied Informatics Štefan BEREŽNÝ.
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.
1 of 14 LIMITED - INFORMATION CONTROL of SWITCHED and HYBRID SYSTEMS via PROPAGATION of REACHABLE SETS HSCC, Philadelphia, April 2013 Daniel Liberzon Coordinated.
Week 8 2. The Laurent series and the Residue Theorem (continued)
CONTROL of SWITCHED SYSTEMS with LIMITED INFORMATION
Succinct Data Structures for Permutations, Functions and Suffix Arrays
INTRODUCTION to SWITCHED SYSTEMS ; STABILITY under ARBITRARY SWITCHING
NONLINEAR OBSERVABILITY NOTIONS and STABILITY of SWITCHED SYSTEMS CDC ’02 João Hespanha Univ. of California at Santa Barbara Daniel Liberzon Univ. of Illinois.
Properties of State Variables
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.
Gradient Methods May Preview Background Steepest Descent Conjugate Gradient.
1 A Lyapunov Approach to Frequency Analysis Tingshu Hu, Andy Teel UC Santa Barbara Zongli Lin University of Virginia.
Preference Analysis Joachim Giesen and Eva Schuberth May 24, 2006.
Lattices for Distributed Source Coding - Reconstruction of a Linear function of Jointly Gaussian Sources -D. Krithivasan and S. Sandeep Pradhan - University.
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.
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.
1 of 17 NORM - CONTROLLABILITY, or How a Nonlinear System Responds to Large Inputs Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. Workshop.
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.,
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.
1 CS546: Machine Learning and Natural Language Discriminative vs Generative Classifiers This lecture is based on (Ng & Jordan, 02) paper and some slides.
Languages with Bounded Multiparty Communication Complexity Arkadev Chattopadhyay (McGill) Joint work with: Andreas Krebs (Tubingen) Michal Koucky (Czech.
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
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.
State Observer (Estimator)
NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at.
Stability Analysis of Positive Linear Switched Systems: A Variational Approach 1 Michael Margaliot School of Elec. Eng. -Systems Tel Aviv University, Israel.
Singular Value Decomposition and Numerical Rank. The SVD was established for real square matrices in the 1870’s by Beltrami & Jordan for complex square.
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.
Eigenvalues, Zeros and Poles
Finite data-rate stabilization of a switched
§7-4 Lyapunov Direct Method
Pole Placement and Decoupling by State Feedback
Input-to-State Stability for Switched Systems
Nonlinear Observers Robust to Measurement Errors and
ROBUST OBSERVERS and PECORA – CARROLL
Autonomous Cyber-Physical Systems: Dynamical Systems
Lecture #10 Switched systems
Michael Margaliot School of Elec. Eng. -Systems
Stability Analysis of Linear Systems
Guosong Yang1, A. James Schmidt2, and Daniel Liberzon2
On Topological Entropy and Stability of Switched Linear Systems
Presentation transcript:

1 of 16 NORM - CONTROLLABILITY, or How a Nonlinear System Responds to Large Inputs Daniel Liberzon Univ. of Illinois at Urbana-Champaign, U.S.A. NOLCOS 2013, Toulouse, France Joint work with Matthias Müller and Frank Allgöwer, Univ. of Stuttgart, Germany TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A A

2 of 16 TALK OUTLINE Motivating remarks Definitions Main technical result Examples Conclusions

3 of 16 CONTROLLABILITY: LINEAR vs. NONLINEAR Point-to-point controllability Linear systems: can check controllability via matrix rank conditions Kalman contr. decomp. controllable modes Nonlinear control-affine systems: similar results exist but more difficult to apply General nonlinear systems: controllability is not well understood

4 of 16 NORM - CONTROLLABILITY: BASIC IDEA process control: does more reagent yield more product ? economics: does increasing advertising lead to higher sales ? Instead of point-to-point controllability: look at the norm ask if can get large by applying large for long time This means that can be steered far away at least in some directions (output map will define directions) Possible application contexts:

5 of 16 NORM - CONTROLLABILITY vs. ISS Lyapunov characterization [ Sontag–Wang ’95 ] : Lyapunov sufficient condition: (to be made precise later) Input-to-state stability (ISS) [ Sontag ’89 ] : small / bounded ISS gain: upper bound on for all Norm-controllability (NC): large NC gain: lower bound on for worst-case

6 of 16 NORM - CONTROLLABILITY vs. NORM - OBSERVABILITY where For dual notion of observability, [ Hespanha–L–Angeli–Sontag ’05 ] followed a conceptually similar path Precise duality relation – if any – between norm-controllability and norm-observability remains to be understood Instead of reconstructing precisely from measurements of, norm-observability asks to obtain an upper bound on from knowledge of norm of :

7 of 16 FORMAL DEFINITION (e.g., ) Definition: System is norm-controllable (NC) if where is nondecreasing in and class in reachable set at from using radius of smallest ball around containing

8 of 16 LYAPUNOV - LIKE SUFFICIENT CONDITION where where continuous, is NC if satisfying Theorem: : s.t., that gives See paper for extension using higher-order derivatives ( e.g., )

9 of 16 IDEA of CONTROL CONSTRUCTION For time s.t., where is arb. small Repeat for time s.t. until when, with s.t. For simplicity take and. Fix. 1)Given, pick a “good” value ( is “good” for )

10 of 16 2)Pick a “good” for until we reach For time s.t. Repeat for IDEA of CONTROL CONSTRUCTION For simplicity take and. Fix. when, with s.t. ( is “good” for )

11 of 16 piecewise constant ’s and ’s don’t accumulate Can prove: IDEA of CONTROL CONSTRUCTION

12 of 16 EXAMPLES 1) For, Take For, System is NC with where is arbitrary when For each, “good” are and : non-smooth at 0 can be increased from 0 at desired speed so any with is “good”:

13 of 16 EXAMPLES 2) For, For, – same as above Assume Take “Good” inputs: when, System is NC with

14 of 16 EXAMPLES 3) Isothermal continuous stirred tank reactor with irreversible 2nd-order reaction from reagent A to product B, reactor volume concentrations of species A and B concentration of reagent A in inlet stream amount of product B per time unit flow rate, reaction rate This system is (globally) NC, but showing this is not straightforward: Several regions in state space need to be analyzed separately Relative degree = 2 need to work with Lyapunov sufficient condition only applies when initial conditions satisfy – meaning that enough of reagent A is present to increase the amount of product B

15 of 16 LINEAR SYSTEMS More generally, consider Kalman controllability decomposition If is a real left eigenvector of, then system is NC w.r.t. from initial conditions ( ) Corollary: If is controllable and has real eigenvalues, then is NC Let be real. Then is controllable if and only if system is NC w.r.t. left eigenvectors of If is a real left eigenvector of not orthogonal to then system is NC w.r.t.

16 of 16 CONCLUSIONS Introduced a new notion of norm-controllability for general nonlinear systems Developed a Lyapunov-like sufficient condition for it (“anti-ISS Lyapunov function”) Established relations with usual controllability for linear systems Contributions: Future work: Identify classes of systems that are norm-controllable Study alternative (weaker) norm-controllability notions Develop necessary conditions for norm-controllability Treat other application-related examples