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.

Slides:



Advertisements
Similar presentations

Advertisements

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.
Shortest Vector In A Lattice is NP-Hard to approximate
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.
6.896: Topics in Algorithmic Game Theory Lecture 20 Yang Cai.
Boyce/DiPrima 9th ed, Ch 2.8: The Existence and Uniqueness Theorem Elementary Differential Equations and Boundary Value Problems, 9th edition, by William.
Lect.3 Modeling in The Time Domain Basil Hamed
 (x) f(x,u) u x f(x,  (x) x. Example: Using feed-forward, what should be canceled?
Copyright © Cengage Learning. All rights reserved.
Performance oriented anti-windup for a class of neural network controlled systems G. Herrmann M. C. Turner and I. Postlethwaite Control and Instrumentation.
Analysis of SISO Control Loops
1 Introduction to Computability Theory Lecture12: Reductions Prof. Amos Israeli.
1 Introduction to Computability Theory Lecture4: Non Regular Languages Prof. Amos Israeli.
Recurrence Relations Reading Material –Chapter 2 as a whole, but in particular Section 2.8 –Chapter 4 from Cormen’s Book.
© Goodwin, Graebe, Salgado, Prentice Hall 2000 Chapter7 Synthesis of SISO Controllers.
Algorithm Orals Algorithm Qualifying Examination Orals Achieving 100% Throughput in IQ/CIOQ Switches using Maximum Size and Maximal Matching Algorithms.
עקיבה אחר מטרה נעה Stable tracking control method for a mobile robot מנחה : ולדיסלב זסלבסקי מציגים : רונן ניסים מרק גרינברג.
Transfer Functions Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: The following terminology.
SYSTEMS Identification Ali Karimpour Assistant Professor Ferdowsi University of Mashhad Reference: “System Identification Theory For The User” Lennart.
1 A Lyapunov Approach to Frequency Analysis Tingshu Hu, Andy Teel UC Santa Barbara Zongli Lin University of Virginia.
February 24, Final Presentation AAE Final Presentation Backstepping Based Flight Control Asif Hossain.
Modern Control Systems1 Lecture 07 Analysis (III) -- Stability 7.1 Bounded-Input Bounded-Output (BIBO) Stability 7.2 Asymptotic Stability 7.3 Lyapunov.
Recurrence Relations Reading Material –Chapter 2 as a whole, but in particular Section 2.8 –Chapter 4 from Cormen’s Book.
F.B. Yeh & H.N. Huang, Dept. of Mathematics, Tunghai Univ Nov.8 Fang-Bo Yeh and Huang-Nan Huang Department of Mathematic Tunghai University The 2.
Multivariable Control Systems
Multivariable Control Systems
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.
Stability Analysis of Linear Switched Systems: An Optimal Control Approach 1 Michael Margaliot School of Elec. Eng. Tel Aviv University, Israel Joint work.
MODEL REFERENCE ADAPTIVE CONTROL
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.
Continuity ( Section 1.8) Alex Karassev. Definition A function f is continuous at a number a if Thus, we can use direct substitution to compute the limit.
Multiple-Lyapunov Functions for Guaranteeing the Stability of a class of Hybrid Systems.
Book Adaptive control -astrom and witten mark
1  (x) f(x,u) u x f(x,  (x) x Example: Using feed-forward, what should be canceled?
TUTORIAL on LOGIC-BASED CONTROL Part I: SWITCHED CONTROL SYSTEMS Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng.,
CIS 540 Principles of Embedded Computation Spring Instructor: Rajeev Alur
Lecture #16 Nonlinear Supervisory Control 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.
Model Reference Adaptive Control (MRAC). MRAS The Model-Reference Adaptive system (MRAS) was originally proposed to solve a problem in which the performance.
Feedback Linearization Presented by : Shubham Bhat (ECES-817)
ADAPTIVE CONTROL SYSTEMS
Chapter 2 Mathematical Background Professor Shi-Shang Jang Chemical Engineering Department National Tsing-Hua University Taiwan March,
AUTOMATIC CONTROL THEORY II Slovak University of Technology Faculty of Material Science and Technology in Trnava.
Domain of Attraction Remarks on the domain of attraction
 2005 SDU Lecture13 Reducibility — A methodology for proving un- decidability.
Lecture #14 Computational methods to construct multiple Lyapunov functions & Applications João P. Hespanha University of California at Santa Barbara Hybrid.
Feedback Stabilization of Nonlinear Singularly Perturbed Systems MENG Bo JING Yuanwei SHEN Chao College of Information Science and Engineering, Northeastern.
Adaptive Optimal Control of Nonlinear Parametric Strict Feedback Systems with application to Helicopter Attitude Control OBJECTIVES  Optimal adaptive.
NONLINEAR CONTROL with LIMITED INFORMATION Daniel Liberzon Coordinated Science Laboratory and Dept. of Electrical & Computer Eng., Univ. of Illinois at.
Copyright © Cengage Learning. All rights reserved. CHAPTER 8 RELATIONS.
(COEN507) LECTURE III SLIDES By M. Abdullahi
Stability Analysis of Positive Linear Switched Systems: A Variational Approach 1 Michael Margaliot School of Elec. Eng. -Systems Tel Aviv University, Israel.
1 Lu LIU and Jie HUANG Department of Mechanics & Automation Engineering The Chinese University of Hong Kong 9 December, Systems Workshop on Autonomous.
Finite Element Method. History Application Consider the two point boundary value problem.
Theory of Computational Complexity Probability and Computing Ryosuke Sasanuma Iwama and Ito lab M1.
Chapter 2 The z-transform and Fourier Transforms The Z Transform The Inverse of Z Transform The Prosperity of Z Transform System Function System Function.
Eigenvalues, Zeros and Poles
§7-4 Lyapunov Direct Method
Pole Placement and Decoupling by State Feedback
Autonomous Cyber-Physical Systems: Dynamical Systems
Michael Margaliot School of Elec. Eng. -Systems
Synthesis of SISO Controllers
Stability Analysis of Linear Systems
Continuity Alex Karassev.
IntroductionLecture 1: Basic Ideas & Terminology
Chapter 7 Inverse Dynamics Control
Presentation transcript:

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

11-2 Problem Approach : (i) chosen so that nominal closed loop system is asymptotically stable. (ii) chosen so as to cancel the effect of uncertainty. Find a state feedback controller so that the closed loop system is stable in a sufficiently strong sense.

11-3 Suppose also that is a Lyapunov function that proves the following. is strictly increasing.where, i.e. Assume that results in the uniformly asymptotically stable nominal closed loop system, Solution

11-4 Solution (Continued)

11-5 Let Due to the matching condition, can wipe out There are two ways at least : when is bounded in or in Solution (Continued)

11-6 Solution (Continued)

11-7 Smooth Control Smooth Control ( case)

11-8

11-9 Smooth Control (Continued) Then take large, so that

When is chosen small, we can arrive at a sharper result. Assume that such that where is positive definite if Thus choosing we have Then, when where Also when We conclude which shows that the origin is uniformly asymptotically stable.

11-11 Example Ex: is Hurwitz. Choose are chosen so that where

11-12 Example (Continued)

11-13 Example (Continued)

11-14 Backstepping Consider a system 1 2 +

11-15 Backstepping (Continued) (1) (1),(2) ++ A

11-16 Backstepping (Continued) ++

11-17 Backstepping (Continued) 3 4 which is similar to the original system but  has an asymptotically stable origin when the input is 0.

11-18 Lemma & Example Lemma: (1), (2). (1) A (1), (2) Ex:

11-19 Example (Continued) Let’s consider

11-20 Recursive Backstepping Consider the following strict feedback system

11-21 Recursive procedure p.d.f   Consider Then using the previous result, obtain

11-22 Recursive procedure (Continued) Next consider Then we recognize that Thus, similarly, obtain the state feedback control and

11-23  Motivation  Plant – nonlinear  Controller – linear  Design method – classical linearization  Assumption – no single linear controller satisfies the performance specification  Idea – design a set of controllers, each good at a particular operating point, and switch (schedule) the gains of the controllers accordingly  Problem – now we have a nonlinear (piecewise linear) system with time dependent jump  Solution – no good tool but some theory is being developed mostly simulation in the past Extended Linearization (Gain scheduling method)

Examples  Tank system Structure & Examples Structure ControllerPlant Gain Scheduler gains y Operating point

11-25 Control Goal + -

11-26  A different angle – nonlinear actuator Nonlinear Actuator actuator Large gain u f(u)

11-27 Step Responses

11-28 Approximation + - Domain f(u) Domain

11-29 Results

11-30 Classification + - Operating point gain

11-31 Issues Controller :

11-32 Example Ex: Theorem: Proof: See Ch 5 in Nonlinear System Analysis

11-33  A version of scheduling on the output Formalization

11-34 Block Diagram

11-35 Conditions  