Introduction Set invariance theory isteps sets Robust invariant sets. Set Invariance. D. Limon A. Ferramosca E.F. Camacho


 Briana York
 1 years ago
 Views:
Transcription
1 Set Invariance D. Limon A. Ferramosca E.F. Camacho Department of Automatic Control & Systems Engineering University of Seville HYCONEECI Graduate School on Control Limon, Ferramosca, Camacho Set Invariance Outline Some definitions One step set The reach set 4 Limon, Ferramosca, Camacho Set Invariance
2 Some definitions Set invariance Set invariance is a fundamental concept in design of controller for constrained systems. The reason: constraint satisfaction can be guaranteed for all time (and for all disturbances) if and only if the initial state is contained inside a (robust) control invariant set. The evolution of a constrained system is admissible if there exists an invariant set X, where X is the set where constraints on the state are fullfilled. Hence, if x X, then x k X, for all k. Limon, Ferramosca, Camacho Set Invariance Some definitions Set invariance Set invariance is strictly connected with stability. Lyapunov theory states that, if there exists a Lyapunov function V (x) such that: ΔV (x) then, for all x X, any set defined as: ={x R n : V (x) α} X is an invariant set for the system, and hence for any initial state x, the system fulfills the constraints and remains inside. Limon, Ferramosca, Camacho Set Invariance 4
3 Some definitions Positive invariant set Consider an autonomous system: x k+ = f (x k ), x k X Definition (Positive invariant set) R n is a positive invariant set if x X, x k, for all k. If the system reaches a positive invariant set, its future evolution remains inside this set. The maximum invariant set, max X, is the smallest positive invariant set that contains all the positive invariant sets contained in X. Limon, Ferramosca, Camacho Set Invariance 5 Some definitions Positive control invariant set Consider the system: x k R n and u k R m. x k+ = f (x k, uk), x k X, u k U Definition (Positive control invariant set) R n is a positive control invariant set if x X, there exists a control law u k = h(x k ) such that x k, for all k, and u k = h(x k ) U. Limon, Ferramosca, Camacho Set Invariance 6
4 Onestepset The reach set Onestepset Consider the system: x k+ = f (x k, uk), x k X, u k U x k R n and u k R m. Let f (, ) = be en equilibrium point. Definition (One step set) The set Q() is the set of states in R n for which an admissible control inputs exists which will guarantee that the system will be driven to in one step: Q() = {x k R n u k U : f (x k, u k ) } Limon, Ferramosca, Camacho Set Invariance 7 Onestepset The reach set Onestepset The previous definition is the same for a system controlled by a control law u = h(x): Q h () = {x k R n : f (x k, h(x k )) } Property: Monotonicity: consider sets, then: Q( ) Q( ) Limon, Ferramosca, Camacho Set Invariance 8
5 Onestepset The reach set Geometric invariance condition The one step set definition allow us to define a condition for guaranteing the invariance of a set. Geometric invariance condition: set is a control invariant set if and only if Q() Q().5.5 x.5 Q().5 x is not invariant is invariant Limon, Ferramosca, Camacho Set Invariance 9 The reach set Onestepset The reach set Definition (The reach set) The set R() is the set of states in R n to which the system will evolve at the next time step given any x k and admissible control input: R() = {z R n : x k, u k Us.t.z = f (x k, u k )} For closedloop systems, R h () is the set of states in R n to which the system will evolve at the next time step given any x k : R h () = {z R n : x k, s.t.z = f (x k, h(x k ))} Limon, Ferramosca, Camacho Set Invariance
6 Definition The K i (X, ) is the set of states for which exists an admissible control sequence such that the system reaches the set X in exactly i steps, with an admissible evolution. K i (X, ) = {x X : k =,..., i, u k Us.t.x k Xandx i } This set represents the set of all states that can reach a given set in i steps, with an admissible evolution and an admissible control sequence. Limon, Ferramosca, Camacho Set Invariance Properties K i+ (X, ) = Q(K i (X, )) X, withk (X, ) =. K i (X, ) K i+ (X, ) iff is invariant. The set K (X, ) is finitely determined if and only if i N such that K (X, ) = K i (X, ). The smallest element i N such that K (X, ) = K i (X, ) is called the determinedness index. If j N such that K i+ (X, ) = K i (X, ), i j, then K (X, ) is finitely determined. For closedloop systems: K h i (X, ) = {x X h : x k X h k =,..., i, andx i } where X h = {x X : h(x) U}. Limon, Ferramosca, Camacho Set Invariance
7 Definition The set C (X ) is the maximal control invariant set contained in X for system x k+ = f (x k, u k ) if and only if C (X) is a control invariant set and contains all the invariant sets Φ contained in X. Φ C (X) X This set is derived from the definition of the isteps admissible set, C i (X ), that is the set of states for which exists an admissible control sequence such that the evolution of the system remains in X during the next i steps. C i (X )={x X : k =,..., i, u k Us.t.x k+ X} Limon, Ferramosca, Camacho Set Invariance Properties C i (X )=K i (X, X ). C i+ (X ) C i (X ). If x XC i (X ), there not exists an admissible control law which will ensure that the evolution of the system is admissible for i steps. C (X ) is the set of all states for which there exists an admissible control law which ensures the fulfillment of the constraints for all time. C (X ) is finitely determined if and only if there exists an element i N, such that C i+ (X) =C i (X), i i. Hence, C i (X )=C (X). K i (X, ) C (X ), i and X. Limon, Ferramosca, Camacho Set Invariance 4
8 Definition The set S (X, ) is the maximal stabilisable invariant set contained in X for system x k+ = f (x k, u k ) if and only if S (X, ) is the union of all istep stabilisable sets contained in X. This set is derived from the definition of the isteps stabilisable set, S i (X, ), that is the set of states for which exists an admissible control sequence that drive the system to the invariant set in i steps with an admissible evolution. S i (X, ) = {x X : k =,..., i, u k Us.t.x k Xandx i } The only difference between S i (X, ) and K i (X, ) is the invariance condition for. Limon, Ferramosca, Camacho Set Invariance 5 Properties S i+ (X, ) = Q(S i (X, )) X, withs (X, ) =. S i (X, ) S i+ (X, ). Any S i (X, ) is a control invariant set. Consider and invariant sets, such that. Then S i (X, ) S i (X, ). S i (X, S j (X, )) = S i+j (X, ). S (X, ) is finitely determined if and only if there exists an element i N such that S i+ (X, ) = S i (X, ), for any i i. Furthermore, S (X, ) = S i (X, ), for any i i. For closedloop systems: S h i (X, ) = {x X h : x k X h k =,..., i, andx i } where X h = {x X : h(x) U}. Limon, Ferramosca, Camacho Set Invariance 6
9 isteps controllable and stabilizable sets not Invariant Invariant S x x K x x Controllable set K (X, ) = Q() X Stabilisable set S (X, ) = Q() X Limon, Ferramosca, Camacho Set Invariance 7 isteps controllable and stabilizable sets x x S S K K x x Controllable set K (X, ) = Q(K ) X Stabilisable set S (X, ) = Q(S ) X Limon, Ferramosca, Camacho Set Invariance 8
10 K K isteps controllable and stabilizable sets S S S x x K x x Controllable set K (X, ) = Q(K ) X Stabilisable set S (X, ) = Q(S ) X Limon, Ferramosca, Camacho Set Invariance 9 isteps controllable and stabilizable sets S 4 S S S x x K K K K x x Controllable set K i+ (X, ) = Q(K i ) X K i (X, ) K i+ X Stabilisable set S i+ (X, ) = Q(S i ) X S i (X, ) S i+ X Limon, Ferramosca, Camacho Set Invariance
11 isteps controllable and stabilizable sets S 9 = S = S x x K K K K x x Controllable set K i+ (X, ) = Q(K i ) X K i (X, ) K i+ X Stabilisable set S i+ (X, ) = Q(S i ) X S i (X, ) S i+ X S finitely determined iff S i (X, ) = S i+ X Limon, Ferramosca, Camacho Set Invariance Comments The difference between the controllable set and the stabilisable set is the fact that the set is an invariant set. This difference is very important in relation to the concept of stability: if x S i (X, ), then there exists a control sequence such that the system is driven to, and there exist a control law such that the system remains inside. If is not invariant, then the system might evolve outside, hence loosing stability. S (X, ) C (X). Hence, x C (X) \ S i (X, ), there exists an admissible control law such that the system fulfills the constraints, but there not exists a control law that drives the system to. Set {} is an invariant set. Then, the set of states that asymptotically stabilize the system at the origin in i steps is given by S i (X, {}). Limon, Ferramosca, Camacho Set Invariance
12 Robust positive control invariant set Consider the system: x k+ = f (x k, uk, w k ), x k X, u k U, w k W x k R n, u k R m, w k R q. Definition (Robust positive control invariant set) R n is a robust positive control invariant set if x X, there exists a control law u k = h(x k ) such that x k, for all k and w k W, and u k = h(x k ) U. Limon, Ferramosca, Camacho Set Invariance Robust one step set Definition (Robust one step set) The set Q() is the set of states in R n for which an admissible control inputs exists which will guarantee that the system will be driven to in one step, for any w W: Q() = {x k R n u k U : f (x k, u k, w k ) w k W} For closedloop systems: Q h () = {x k R n : f (x k, h(x k ), w k ) w k W} Limon, Ferramosca, Camacho Set Invariance 4
13 Properties Monotonicity: consider sets, then: Q( ) Q( ) The one step set definition allow us to define a condition for guaranteing the invariance of a set. Geometric robust invariance condition: set is a control invariant set if and only if Q() Limon, Ferramosca, Camacho Set Invariance 5 Robust reach set Definition (Robust reach set) The set R() is the set of states in R n to which the system will evolve at the next time step given any x k, anyw k Wand admissible control input: R() = {z R n : x k, u k U, w k Ws.t.z = f (x k, u k, w k )} For closedloop systems, R h () is the set of states in R n to which the system will evolve at the next time step given any x k and any w k W: R h () = {z R n : x k, w k Ws.t.z = f (x k, h(x k ), w k )} Limon, Ferramosca, Camacho Set Invariance 6
14 isteps robust controllable set Definition The isteps robust controllable set K i (X, ) is the set of states for which exists an admissible control sequence such that the system reaches the set X in exactly i steps, with an admissible evolution, for any w k W. K i (X, ) = {x X : k =,..., i, u k Us.t.x k Xandx i w k W} This set represents the set of all states that can reach a given set in i steps, with an admissible evolution and an admissible control sequence. Limon, Ferramosca, Camacho Set Invariance 7 Maximal robust control invariant set Definition The set C (X ) is the maximal control invariant set contained in X for system x k+ = f (x k, u k, w k ) if and only if C (X) is a robust control invariant set and contains all the robust invariant sets Φ contained in X. Φ C (X) X This set is derived from the definition of the isteps robust admissible set, C i (X ), that is the set of states for which exists an admissible control sequence such that the evolution of the system remains in X during the next i steps, for any w k W. C i (X) ={x X : u k Us.t.x k+ X, w k W, k =,..., i } Limon, Ferramosca, Camacho Set Invariance 8
15 Maximal robust stabilisable set Definition The set S (X, ) is the maximal robust stabilisable invariant set contained in X for system x k+ = f (x k, u k, w k ) if and only if S (X, ) is the union of all istep stabilisable sets contained in X, for any w k W. This set is derived from the definition of the isteps robust stabilisable set, S i (X, ), that is the set of states for which exists an admissible control sequence that drive the system to the invariant set in i steps with an admissible evolution. S i (X, ) = {x X : k =,..., i, u k Us.t.x k Xandx i w k W} All the properties of the nominal invariant sets are applicable to the robust case. Limon, Ferramosca, Camacho Set Invariance 9 Bibliography F. Blanchini. Set invariance in control. Automatica. 5: , 999. E. Kerrigan. Robust Constrained Satisfaction: Invariant Sets and Predictive Control. PhD Dissertation. Limon, Ferramosca, Camacho Set Invariance
An example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationTwoSided Matching Theory
TwoSided Matching Theory M. Utku Ünver Boston College Introduction to the Theory of TwoSided Matching To see which results are robust, we will look at some increasingly general models. Even before we
More informationx 2 if 2 x < 0 4 x if 2 x 6
Piecewisedefined Functions Example Consider the function f defined by x if x < 0 f (x) = x if 0 x < 4 x if x 6 Piecewisedefined Functions Example Consider the function f defined by x if x < 0 f (x) =
More informationCritical points of once continuously differentiable functions are important because they are the only points that can be local maxima or minima.
Lecture 0: Convexity and Optimization We say that if f is a once continuously differentiable function on an interval I, and x is a point in the interior of I that x is a critical point of f if f (x) =
More informationHYBRID systems involve a combination of discrete and continuous
UNPUBLISHED REPORT Formal Semantics and Analysis Methods for Simulink Stateflow Models A. Tiwari Abstract Embedded control systems typically comprise continuous control laws combined with discrete mode
More informationGiotto: A TimeTriggered Language for Embedded Programming
Giotto: A TimeTriggered Language for Embedded Programming THOMAS A HENZINGER, MEMBER, IEEE, BENJAMIN HOROWITZ, MEMBER, IEEE, AND CHRISTOPH M KIRSCH Invited Paper Giotto provides an abstract programmer
More informationControllability and Observability of Partial Differential Equations: Some results and open problems
Controllability and Observability of Partial Differential Equations: Some results and open problems Enrique ZUAZUA Departamento de Matemáticas Universidad Autónoma 2849 Madrid. Spain. enrique.zuazua@uam.es
More informationOPRE 6201 : 2. Simplex Method
OPRE 6201 : 2. Simplex Method 1 The Graphical Method: An Example Consider the following linear program: Max 4x 1 +3x 2 Subject to: 2x 1 +3x 2 6 (1) 3x 1 +2x 2 3 (2) 2x 2 5 (3) 2x 1 +x 2 4 (4) x 1, x 2
More informationFeedback Control of a Nonholonomic Carlike Robot
Feedback Control of a Nonholonomic Carlike Robot A. De Luca G. Oriolo C. Samson This is the fourth chapter of the book: Robot Motion Planning and Control JeanPaul Laumond (Editor) Laboratoire d Analye
More informationFEEDBACK CONTROL OF A NONHOLONOMIC CARLIKE ROBOT
FEEDBACK CONTROL OF A NONHOLONOMIC CARLIKE ROBOT Alessandro De Luca Giuseppe Oriolo Dipartimento di Informatica e Sistemistica Università di Roma La Sapienza Via Eudossiana 8, 84 Rome, Italy {deluca,oriolo}@labrob.ing.uniroma.it
More informationMatching with Contracts
Matching with Contracts By JOHN WILLIAM HATFIELD AND PAUL R. MILGROM* We develop a model of matching with contracts which incorporates, as special cases, the college admissions problem, the KelsoCrawford
More informationTHE PROBLEM OF finding localized energy solutions
600 IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 45, NO. 3, MARCH 1997 Sparse Signal Reconstruction from Limited Data Using FOCUSS: A Reweighted Minimum Norm Algorithm Irina F. Gorodnitsky, Member, IEEE,
More information1. Graphing Linear Inequalities
Notation. CHAPTER 4 Linear Programming 1. Graphing Linear Inequalities x apple y means x is less than or equal to y. x y means x is greater than or equal to y. x < y means x is less than y. x > y means
More informationTwodimensional Languages
Charles University Faculty of Mathematics and Physics Mgr. Daniel Průša Twodimensional Languages Doctoral Thesis Supervisor: Martin Plátek, CSc. Prague, 2004 Acknowledgements The results presented in
More information2.1 CAN Bit Structure The Nominal Bit Rate of the network is uniform throughout the network and is given by:
Order this document by /D CAN Bit Timing Requirements by Stuart Robb East Kilbride, Scotland. 1 Introduction 2 CAN Bit Timing Overview The Controller Area Network (CAN) is a serial, asynchronous, multimaster
More informationGUIDANCE ON AMENDMENTS TO CONTRACTS DURING THEIR TERM
THE PUBLIC CONTRACTS REGULATIONS 2015 GUIDANCE ON AMENDMENTS TO CONTRACTS DURING THEIR TERM Crown Commercial Service, Customer Service Desk: 0345 410 2222 www.gov.uk/ccs follow us on Twitter connect with
More informationAn Impossibility Theorem for Clustering
An Impossibility Theorem for Clustering Jon Kleinberg Department of Computer Science Cornell University Ithaca NY 14853 Abstract Although the study of clustering is centered around an intuitively compelling
More informationThe Monte Carlo Framework, Examples from Finance and Generating Correlated Random Variables
Monte Carlo Simulation: IEOR E4703 Fall 2004 c 2004 by Martin Haugh The Monte Carlo Framework, Examples from Finance and Generating Correlated Random Variables 1 The Monte Carlo Framework Suppose we wish
More information= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without
More informationIs n a Prime Number? Manindra Agrawal. March 27, 2006, Delft. IIT Kanpur
Is n a Prime Number? Manindra Agrawal IIT Kanpur March 27, 2006, Delft Manindra Agrawal (IIT Kanpur) Is n a Prime Number? March 27, 2006, Delft 1 / 47 Overview 1 The Problem 2 Two Simple, and Slow, Methods
More informationRecursive Path Orderings can also be Incremental
Recursive Path Orderings can also be Incremental MirthaLina Fernández 1, Guillem Godoy 2, and Albert Rubio 2 1 Universidad de Oriente, Santiago de Cuba, Cuba Email: mirtha@csd.uo.edu.cu 2 Universitat
More informationSome Research Problems in Uncertainty Theory
Journal of Uncertain Systems Vol.3, No.1, pp.310, 2009 Online at: www.jus.org.uk Some Research Problems in Uncertainty Theory aoding Liu Uncertainty Theory Laboratory, Department of Mathematical Sciences
More informationSelecting a Subset of Cases in SPSS: The Select Cases Command
Selecting a Subset of Cases in SPSS: The Select Cases Command When analyzing a data file in SPSS, all cases with valid values for the relevant variable(s) are used. If I opened the 1991 U.S. General Social
More informationReachability in Succinct and Parametric OneCounter Automata
Reachability in Succinct and Parametric OneCounter Automata Christoph Haase, Stephan Kreutzer, Joël Ouaknine, and James Worrell Oxford University Computing Laboratory, UK {chrh,kreutzer,joel,jbw}@comlab.ox.ac.uk
More informationBPMN by example. Bizagi Suite. Copyright 2014 Bizagi
BPMN by example Bizagi Suite Recruitment and Selection 1 Table of Contents Scope... 2 BPMN 2.0 Business Process Modeling Notation... 2 Why Is It Important To Model With Bpmn?... 2 Introduction to BPMN...
More informationIf You re So Smart, Why Aren t You Rich? Belief Selection in Complete and Incomplete Markets
If You re So Smart, Why Aren t You Rich? Belief Selection in Complete and Incomplete Markets Lawrence Blume and David Easley Department of Economics Cornell University July 2002 Today: June 24, 2004 The
More informationTwoSided Bandits and the Dating Market
TwoSided Bandits and the Dating Market Sanmay Das Center for Biological and Computational Learning and Computer Science and Artificial Intelligence Lab Massachusetts Institute of Technology Cambridge,
More informationA new continuous dependence result for impulsive retarded functional differential equations
CADERNOS DE MATEMÁTICA 11, 37 47 May (2010) ARTIGO NÚMERO SMA#324 A new continuous dependence result for impulsive retarded functional differential equations M. Federson * Instituto de Ciências Matemáticas
More informationPID, LQR and LQRPID on a Quadcopter Platform
PID, LQR and LQRPID on a Quadcopter Platform Lucas M. Argentim unielargentim@fei.edu.br Willian C. Rezende uniewrezende@fei.edu.br Paulo E. Santos psantos@fei.edu.br Renato A. Aguiar preaguiar@fei.edu.br
More informationDefinition of Information Need
Part I Definition of Information Need CHAPTER 1 The Importance of Information Need Information need is the motivation people think and feel to seek information, but it is a complex concept that divides
More information