STABILITY OF RESET SWITCHED SYSTEMS. University of Aveiro, Portugal University of Beira Interior, Portugal University of Aveiro, Portugal

Similar documents
A note on simultaneous block diagonally stable matrices

SWITCHING CONTROL BASED ON MULTIPLE MODELS

Stability of simultaneously block triangularisable switched systems with partial state reset

Hybrid Control and Switched Systems. Lecture #11 Stability of switched system: Arbitrary switching

Gramians based model reduction for hybrid switched systems

Marsh Model. Propofol

A Generalization of Barbalat s Lemma with Applications to Robust Model Predictive Control

Identification Methods for Structural Systems. Prof. Dr. Eleni Chatzi System Stability - 26 March, 2014

L 2 -induced Gains of Switched Systems and Classes of Switching Signals

The goal of this chapter is to study linear systems of ordinary differential equations: dt,..., dx ) T

The Moore-Penrose inverse of 2 2 matrices over a certain -regular ring

Hybrid Systems Course Lyapunov stability

Nonlinear Control Systems

arxiv: v3 [math.ds] 22 Feb 2012

Chapter III. Stability of Linear Systems

Examples include: (a) the Lorenz system for climate and weather modeling (b) the Hodgkin-Huxley system for neuron modeling

Modeling & Control of Hybrid Systems Chapter 4 Stability

Identification Methods for Structural Systems

The Moore-Penrose inverse of differences and products of projectors in a ring with involution

On the stability of switched positive linear systems

Hybrid Systems Techniques for Convergence of Solutions to Switching Systems

3118 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 57, NO. 12, DECEMBER 2012

Convergence Rate of Nonlinear Switched Systems

2 Computing complex square roots of a real matrix

Stability and Control Design for Time-Varying Systems with Time-Varying Delays using a Trajectory-Based Approach

Switched systems: stability

Control, Stabilization and Numerics for Partial Differential Equations

GENERALIZED GREEN S EQUIVALENCES ON THE SUBSEMIGROUPS OF THE BICYCLIC MONOID

Spectrum for compact operators on Banach spaces

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems

Minto Model. Remifentanil

Homogeneous Linear Systems of Differential Equations with Constant Coefficients

Stability Analysis of a Proportional with Intermittent Integral Control System

Input-output finite-time stabilization for a class of hybrid systems

Lecture 4. Chapter 4: Lyapunov Stability. Eugenio Schuster. Mechanical Engineering and Mechanics Lehigh University.

Nonlinear Control. Nonlinear Control Lecture # 8 Time Varying and Perturbed Systems

Optimal Control Problems with Mixed Constraints: Special Applications

A system that is both linear and time-invariant is called linear time-invariant (LTI).

SECTION (See Exercise 1 for verification when both boundary conditions are Robin.) The formal solution of problem 6.53 is

ADAPTIVE control of uncertain time-varying plants is a

The Rationale for Second Level Adaptation

Quadratic and Non-Quadratic Stability Criteria for Switched Linear Systems

Preliminary results on the stability of switched positive linear systems

CHAPTER 3 Further properties of splines and B-splines

2. Time-Domain Analysis of Continuous- Time Signals and Systems

Figure 1 A linear, time-invariant circuit. It s important to us that the circuit is both linear and time-invariant. To see why, let s us the notation

ECE7850 Lecture 8. Nonlinear Model Predictive Control: Theoretical Aspects

Hybrid Control and Switched Systems. Lecture #9 Analysis tools for hybrid systems: Impact maps

On the simultaneous diagonal stability of a pair of positive linear systems

Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results

Stability of Dynamical systems

Extreme Values and Positive/ Negative Definite Matrix Conditions

Average-Consensus of Multi-Agent Systems with Direct Topology Based on Event-Triggered Control

Stability of Impulsive Switched Systems in Two Measures

Math 4310 Solutions to homework 1 Due 9/1/16

1 The Observability Canonical Form

Partial differential equation for temperature u(x, t) in a heat conducting insulated rod along the x-axis is given by the Heat equation:

Lecture Note 7: Switching Stabilization via Control-Lyapunov Function

Module 1: Signals & System

Pseudospectra and Nonnormal Dynamical Systems

Research Article Stability Results for Switched Linear Systems with Constant Discrete Delays

Disturbance Attenuation Properties for Discrete-Time Uncertain Switched Linear Systems

Stability lectures. Stability of Linear Systems. Stability of Linear Systems. Stability of Continuous Systems. EECE 571M/491M, Spring 2008 Lecture 5

Deterministic Dynamic Programming

Nonlinear Control Lecture # 1 Introduction. Nonlinear Control

LMI Methods in Optimal and Robust Control

On the stability of switched positive linear systems

Math Ordinary Differential Equations

Stability of linear time-varying systems through quadratically parameter-dependent Lyapunov functions

Spectral results on regular graphs with (k, τ)-regular sets

ORDINARY DIFFERENTIAL EQUATIONS

Robust Stability. Robust stability against time-invariant and time-varying uncertainties. Parameter dependent Lyapunov functions

Stability of Switched Linear Hyperbolic Systems by Lyapunov Techniques

Analysis and design of switched normal systems

Nonlinear Systems and Control Lecture # 12 Converse Lyapunov Functions & Time Varying Systems. p. 1/1

Balanced Truncation 1

A simple PK/PD model identification procedure for controller design in anesthesia

On common linear/quadratic Lyapunov functions for switched linear systems

21 Linear State-Space Representations

LYAPUNOV STABILITY OF CLOSED SETS IN IMPULSIVE SEMIDYNAMICAL SYSTEMS

LMI Methods in Optimal and Robust Control

STABILITY OF PLANAR NONLINEAR SWITCHED SYSTEMS

Some Properties of *- n-class Q Operators

New Mexico State University Klipsch School of Electrical Engineering. EE312 - Signals and Systems I Fall 2017 Exam #1

An Integral-type Constraint Qualification for Optimal Control Problems with State Constraints

Fractional Fischer decomposition, the ternary case

Hybrid Systems - Lecture n. 3 Lyapunov stability

ECEN 605 LINEAR SYSTEMS. Lecture 8 Invariant Subspaces 1/26

Laplace Transforms and use in Automatic Control

Introduction to Nonlinear Control Lecture # 3 Time-Varying and Perturbed Systems

The Generalized Laplace Transform: Applications to Adaptive Control*

8 Periodic Linear Di erential Equations - Floquet Theory

Chapter 3 : Linear Differential Eqn. Chapter 3 : Linear Differential Eqn.

1 Lyapunov theory of stability

1. Find the solution of the following uncontrolled linear system. 2 α 1 1

Represent this system in terms of a block diagram consisting only of. g From Newton s law: 2 : θ sin θ 9 θ ` T

Lyapunov Stability Analysis: Open Loop

1.4 Unit Step & Unit Impulse Functions

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

State will have dimension 5. One possible choice is given by y and its derivatives up to y (4)

Transcription:

STABILITY OF RESET SWITCHED SYSTEMS Isabel Brás, Ana Carapito, Paula Rocha, University of Aveiro, Portugal University of Beira Interior, Portugal University of Aveiro, Portugal Abstract: In this paper we define a reset switched system as a switched system, once switching occurs, the state is forced to assume (is reset to a new value which is a linear function of the previous state. Using a different approach from the ones that have already been proposed in the literature, we show that, by carefully selecting te reset laws, it is always possible to achieve stability under arbitrary switching. Keywords: Switched systems, stability, common quadratic Lyapunov functions, reset.. INTRODUCTION A switched linear system is a special type of time varying system that can be viewed as a family of time invariant linear systems together with a switching law. The switching law determines which of the linear system within the family is active at each time instant, hence defining how the time invariant systems commute among themselves. This type of systems may appear either as a direct result of the mathematical modeling of a phenomenon or as the consequence of certain control techniques using switching schemes, see, for instance, (? (?. In these schemes, instead of using a unique controller for a given system, a bank of controllers (multi-controller is considered and the control procedure is made by commutation within the bank. In this context, finding conditions that guarantee that the obtained switched system is stable for every switching control law is a crucial issue, (?. The research is partially supported by the Unidade de Investigação Matemática e Aplicações (UIMA, University of Aveiro, Portugal, through the Programa Operacional Ciência e Tecnologia e Inovação (POCTI of the Fundação para a Ciência e Tecnologia (FCT, co-financed by the European Union fund FEDER. The most common approach when dealing with switched systems is not to allow jumps in the state during the switching instances. In such case, even if each individual time invariant system is stable the correspondent switched system may be unstable, (?. The stability of switched systems with continuous state trajectories has been widely investigated, see, for instance, (?, (?, (?, (? and (?. In particular, it has been shown that the existence of a common quadratic Lyapunov function (CQLF for a set of state-space models Σ p, p P implies the stability of the overall switched system, (?. However, in some situations it is natural and profitable to allow discontinuous state jumps during switching instants. In fact, many processes may experience abrupt state changes at certain moments of time, for instance in drug administration, (?. Also, it is possible to use a state reset in order to construct a multi-controller that stabilizes a given process, (?. In this paper, we define reset switched systems as switched systems the state may change according with a certain linear reset map when switching occurs. This reset map does not depend on the instant when the switching occurs itself,

but only on the value of the switching signal before and after the switching. Reset switched systems t may be regarded as, some authors call, systems with impulse effects, (?, (?, (?. We shall show that, by carefully selecting the resets, it is always possible to stabilize the switched system. This resembles what has been done in (? using different framework and techniques.. PRELIMINARIES Let P be a finite index set, Σ p, p P a family of time invariant linear systems and (A p, B p, C p, D p the state model representation of Σ p, for p P. Additionally, define a switching law σ : [0, + [ P to be a piecewise constant function of time, i. e., σ(t =, for t k t < t k+ 0 = t 0 < t < t < < t k <. The time instants t k, k N 0, are called switching instants. The corresponding switched system Σ σ has the following representation ẋ(t = Aσ(t x(t + B σ(t u(t ( y(t = C σ(t x(t + D σ(t u(t u(t R m is the input, y(t R p is the output and x(t R n is the state. At each switching instant, t k, the state is considered to be such that x(t k = R (ik, x(t k, ( x(t k := lim x(t and R (ik,i t t k t<t k is an k invertible square matrix, for k N. The matrices R (ik, are called reset matrices or resets. Notice that, as above mentioned, R (ik, is determined by the linear systems (within the family active before and after the commutation; it does not depend on the switching instant. When all reset matrices, R (ik,, are the identity matrix, the state replacement does not exist. In this case, Σ σ is called a switched system without reset or, simply, a switched system. In the contrary, Σ σ is called a reset switched system. In the first case, it is assumed that there are no discontinuous state jumps during the switching instants, while, in the second case, discontinuous state jumps during the switching instants are allowed, and determined by the reset matrices. Definition. The system Σ σ is globally uniformly exponentially stable if there exists γ, λ R + such that, for every t 0 R and every x 0 R n, the solution x(t of ẋ(t = A σ(t x(t, with x(t 0 = x 0, satisfies x(t γe λ(t t0 x 0, for t t 0. A function V (x is said to be a common quadratic Lyapunov function (CQLF for the switched system Σ σ, defined by equations (, (and for the corresponding set of matrices A p, p P if it is a quadratic Lyapunov function for each of the systems Σ p = (A p, B p, C p, D p. Moreover, it is easy to justify that if P is a square symmetric positive definite matrix and V (x = x T P x, then the function V (x is a CQLF for the switched system Σ σ if and only if A T p P + P A p < 0, for all p P. In the following, we use the next well-known sufficient condition for stability for switched systems without reset, (?. Theorem. If there exists a CQLF for the switched system Σ σ, then Σ σ is stable, for every switching signal. Notice that the reciprocal of Theorem does not hold. In fact, there are stable switched systems, for every switching signal, with no CQLF, (?. On the other hand, several authors have tried to establish conditions in order to guarantee the existence of a CQLF for a switched system, (?, (?, (? and (?. 3. STATE TRAJECTORIES ANALYSIS AND STABILITY In this section we will study the stability of a reset switched system by relating its state trajectories with the ones of a time-varying system without resets, i.e., with no discontinuous jumps on the state. Our aim is to identify cases that associated time-varying system is indeed a switched system without resets, according with our definition, (which is particular type of the former ones. For the sake of simplicity and considering that our interest is focussed on the system stability properties, from now on let consider the reset switched system represented by Σ σ := ẋ(t = A σ(t x(t, (3 associated to a switching signal σ, with switching instances 0 = t 0 < t <... < t k <..., k N, x(t k = R (ik, x(t k (4 with σ(t = for t k t < t k+ and R (ik,, k N an invertible square matrix. We next produce a switching dynamic without reset that will allow an analysis of the trajectories of the reset switched system Σ σ. The trajectory of this new dynamic will be denoted by x(t. Here, to simplify the notation we define c k = (,, for k N.

Lemma 3. Let Σ σ be a reset switched system defined according to (3 and (4. The following time-varying linear system Ã(t=A i0, for 0 t < t ( Ã(t= x(t = Ã(t x(t; (5, and x(t k = x(t k, is such that x(t = for t k t < t k+, k, 0 x(t, for t k t < t k+, k 0. By convention, R c0 = I. Proof. For 0 = t 0 t < t, we have ẋ(t = A i0 x(t, that is equivalent to with For t t < t, x 0 (t = Ã(t x 0(t; x 0 (t 0 = x(t 0, (6 x 0 (t = x(t (7 Ã(t = A i0. ẋ(t = A i x(t, with x(t = R c x(t. So ẋ(t = x(t = x(t. A i R c Rc x(t; But, by (7, x(t = x 0(t. Then, x(t = x 0 (t. ẋ(t = Rc A i R c Rc x(t, (8 Taking x (t = Rc x(t, (9 and considering (8, we obtain for t t < t and For t t < t 3, x (t = Ã(t x (t x (t = x 0 (t, Ã(t = R A i R c. ẋ(t = A i x(t (0 x(t = R c x(t. ( Hence, by (9, we have R c x (t = x(t and consequently Therefore, c x(t = R c R c x (t. ẋ(t = c with Rc Rc x(t = x (t. A i R c R c Rc x(t, ( Taking x (t = Rc Rc x(t, (3 ( is equivalent to for t t < t 3 and x (t = Ã(t x (t (4 x (t = x (t, (5 Ã(t = R Rc A i R c R c. Following the previous process, we obtain, for t k t < t k+, with k N. x k (t = Ã(t x k(t, (6 x k (t k = x k (t k (, k Ã(t = Rc m x k (t = m= ( k m= c m x(t, (7 Considering x(t = x k (t, for t k t < t k+, k N 0, the equations (6 can be written as Ã(t=A i0, for 0 t < t ( Ã(t= x(t = Ã(t x(t, (8, for t k t < t k+, k, and x(t k = x(t k. From (7, it follows that 0 x(t = x(t, for t k t < t k+, k 0. In order to avoid long mathematical expressions, we will use the following notation: R σ,0 = I, for 0 t < t R σ,k =, for t k t < t k+, k.

Notice that, in the previous proof we have associated to the original reset switched system a time-varying system with a linear and piecewise constant dynamic. That dynamic is determine by the following set of stable matrices à = A i0, σ,a i R σ,, σ,a i R σ,,.... Although the number of distinct reset matrices is finite, the set à may be infinite. In this case, the time-varying system (8 does not fit into our definition of switched system. Nevertheless, if à is finite, then (8 can be considered a switched system without reset, associated to the corresponding finite family of time-invariant systems and a switching signal σ, that supervises the switching between those systems. This switching signal, σ, will have switching instances in the same set of switching instances of σ. Example. Let Σ σ := ẋ(t = A σ(t x(t be a reset switched system such that, for each switching signal σ, with switching instances 0 = t 0 < t <... < t k <..., k N, taking values in P =,, the reset of the state is given by x(t k = R (ik, x(t k, R (ik, = R, if ik =, if =. Let us consider that σ(t =, for 0 = t 0 t < t. Then, R σ,0 = I, R σ, = R c =, R σ, = R c R c = R = I,.... Thus, R σ,k = I, if k is even, if k is odd Since R σ,k : k N 0 = I, R is finite, the time-varying system obtained from the first system is a switched system, without reset, with a finite switching bank, given by à = A i0, σ,a i R σ,, σ,a i R σ,,... = A, RA and associated to the same switching signal, σ. The next result assures that, for a switching signal σ and under certain conditions, if the time-varying system without reset (8 is stable, then the reset switched system Σ σ is stable too. Theorem 4. Let Σ σ be a reset switched system, defined in (3 and (4, for which Rσ,k : k N is upper bounded. If the time-varying system (5 is stable, then Σ σ is stable for the switching signal σ. Proof. Let Σ Rσ := ẋ(t = A σ(t x(t a reset switched system associated to a switching signal. σ, with switching instances 0 = t 0 < t <... < t k <..., k N, and x(t k = R ck x(t k, k N, for certain invertible matrices R ck. By Lemma 3, we conclude that x k (t = x(t e σ(t k = σ(t, for any t > 0, x(t is the trajectory of the system (5, i.e., x(t = Ã(t x(t. Then, for any t > 0, there exists k N such that Therefore for each t > 0, x(t = σ,kx(t. x(t Rσ,k x(t, for some k N. But Rσ,k : k N is an upper bounded set, then there exists L > 0 such that Rσ,k < L. Consequently, x(t L x(t and the reset switched system Σ σ is stable. Remark 5. Notice that, additionally, if the set R σ,k : k N is upper bounded, then the sufficient condition of the theorem is also necessary. For example, this happens when the set of matrices R σ,k, k N is finite. 4. STABILITY OBTAINED BY RESET In this section, we prove that by an adequate choice of reset matrices it is possible to be left just with a finite set of matrices R σ,k, k N 0 and that the correspondent switched system (without resets is stable. Hence, using Theorem 4, we conclude that the given system with resets, Σ σ, is also stable for the switching signal σ. This is done for every possible switching signal. We start by showing that given a family of stable matrices and an arbitrary positive definite symmetric matrix, P, there exists a set of matrices similar to the given ones that share P as CQLF. Lemma 6. Let A p, p P R n n a set of stable matrices and P a positive definite symmetric matrix n n. Then, there exists a set of invertible matrices W p, p P such that A p = W p A p Wp, for p P and A p T P + P Ap < 0, p P. Proof. Let us suppose P = P T > 0 and A p, p P is set of stable matrices. Then, there exists a invertible matrix M such that P = M T M. On the other hand, there exists P p = Pp T > 0 such that A T p P p + P p A p < 0, p P,

because A p, p P, is a stable matrix. But, for each p P, P p = Mp T M p for some invertible matrix M p. Thus, A T p M T p M p + M T p M p A p < 0, p P. Multiplying the last inequality on the left by Mp T and on the right by Mp, we obtain M T p A T p M T p + M p A p M p < 0, p P. Consequently, M T ( Mp T A T p Mp T + M p A p Mp M < 0, p P. Since I = MM, the last inequality can be written as, for p P, M T Mp T A T p Mp T I T M + M T IM p A p Mp M < 0. Taking W p := M M p and A p := W p A p Wp, we obtain T A p P + P Ap < 0, p P. Based on the previous lemma, the next result shows a way to adequately select the reset matrices in order to guarantee the stability of the switched system ẋ(t = A σ(t x(t, for all switching signal σ. Note that, a similar result was obtained in (? using another perspective. Theorem 7. Let Σ σ be a reset switched system, defined in (3 and (4. Consider a set of invertible matrices S p, p P such that the set Sp A p Sp, p P has a CQLF. If R (ik, = S S ik, (9 σ(t = for t k t < t k+, k N, then Σ σ is stable. Proof. Let σ : [0, + [ P a switching signal with switching instances 0 = t 0 < t <... < t k < t k+ <..., N. Let us consider R ck = S S ik, c k := (, and σ(t = for t k t < t k+. Then, considering R σ,k = R c m and R σ,0 = I, we obtain R σ, = R c = S i S i0, R σ, = R c R c = S i0,.... Thus, S i R σ,k = S S i0, k N 0 and R σ,k : k N 0 = Sp S i0 ; p P is a finite set. So, by Theorem 4, it is sufficient to prove that the following system x(t = Ã(t x(t, Ã(t à (0 à = A i0, σ,a i R σ,, σ,a i R σ,,... ( is stable. But, à = S i 0 A p S i0 : p P, A p = S p A p Sp, p P. Hence the timevarying system (0 is a switched system with switching signal σ, and it is stable because the matrices S i 0 A p S i0, p P have a CQLF. Notice that the matrices A p, p P have a CQLF. Then, by Theorem4, we conclude that the system Σ σ is stable for σ. Remark 8. In the previous theorem, the resets applied in the switching instances are always from the same type, independently of the considered switching signal, and so the reset switched system Σ σ is stable for any switching signal. Remark 9. In particular, if A p = S p A p Sp, p P are all upper triangular matrices, then they have a CQLF and the switched system is stable since the resets are chosen as in last theorem. Finally, to illustrate the previous result, we present a example that shows a way to pick the reset matrices in order to ensure stability of a switched systems which, without reset, is unstable. Example. Consider Σ σ := ẋ(t = A σ(t x(t, a switched system, with switching signal σ : [0, + [,. Assume that A = ( 0.05 0.05 and A = ( 0.05. 0.05 Note that the time-invariant systems ẋ(t = A x(t and ẋ(t = A x(t are stable, but the switched system Σ σ is unstable, (?. If we have invertible matrices S and S, such that S A S and S A S have a CQLF, for instance the identity matrix, then choosing the resets as R (, = S S and R (, = S S we obtain stability of the reset switched system Σ σ, for all switching signal σ. In fact, the pair (S, S is not unique. We may take, for instance, ( ( 0 0 S = 0 5 0 and S =. 5 0 0 In this case S A S = S A S = 0 0. and the resets to be used are 0 0 R (, = 0 and R (, =. 0