# Stabilization of interconnected switched control-a ... Stabilization of interconnected switched...

date post

22-Jul-2020Category

## Documents

view

1download

0

Embed Size (px)

### Transcript of Stabilization of interconnected switched control-a ... Stabilization of interconnected switched...

Stabilization of interconnected switched control-affine systems via a Lyapunov-based

small-gain approach

Guosong Yang1 Daniel Liberzon1 Zhong-Ping Jiang2

1Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, Urbana, IL 61801

2Department of Electrical and Computer Engineering, Tandon School of Engineering, New York University, Brooklyn, NY 11201

May 26, 2017

1 / 12

Introduction

Switched system

Switching is ubiquitous in realistic system models, such as

– Thermostat – Gear tranmission – Power supply

Structure of a switched system

– A family of dynamics, called modes – A sequence of events, called switches

In this work: time-dependent, uncontrolled switching

2 / 12

Introduction

Presentation outline

Preliminaries

Interconnected switched systems and small-gain theorem

Stabilization via a small-gain approach

3 / 12

Preliminaries

Nonlinear switched system with input

ẋ = fσ(x,w), x(0) = x0

State x ∈ Rn, disturbance w ∈ Rm

A family of modes fp, p ∈ P, with an index set P A right-continuous, piecewise constant switching signal σ : R+ → P that indicates the active mode σ(t)

Solution x(·) is absolutely continuous (no state jump)

x1

x2

0

ẋ = A1x

x1

x2

0

ẋ = A2x

x1

x2

0

ẋ = Aσx

4 / 12

Preliminaries

Stability notions

Definition (GAS)

A continuous-time system is globally asymptotically stable (GAS) if there is a function β ∈ KL s.t. for all initial state x0,

|x(t)| ≤ β(|x0|, t) ∀ t ≥ 0.

A function α : R+ → R+ is of class K if it is continuous, positive definite and strictly increasing; α ∈ K is of class K∞ if limr→∞ α(r) =∞, such as α(r) = r2 or |r| A function γ : R+ → R+ is of class L if it is continuous, strictly decreasing and limt→∞ γ(t) = 0, such as γ(t) = e

−t

A function β : R+ × R+ → R+ is of class KL if β(·, t) ∈ K for each fixed t, and β(r, ·) ∈ L for each fixed r > 0, such as β(r, t) = r2e−t

5 / 12

Preliminaries

Stability notions

Definition (GAS)

A continuous-time system is globally asymptotically stable (GAS) if there is a function β ∈ KL s.t. for all initial state x0,

|x(t)| ≤ β(|x0|, t) ∀ t ≥ 0.

The switched system may be unstable even if all individual modes are GAS

x1

x2

0

ẋ = A1x

x1

x2

0

ẋ = A2x

x1

x2

0

ẋ = Aσx

5 / 12

Preliminaries

Stability notions

Definition (GAS)

A continuous-time system is globally asymptotically stable (GAS) if there is a function β ∈ KL s.t. for all initial state x0,

|x(t)| ≤ β(|x0|, t) ∀ t ≥ 0.

Definition (ISpS [JTP94])

A continuous-time system is input-to-state practically stable (ISpS) if there are functions β ∈ KL, γ ∈ K∞ and a constant ε ≥ 0 s.t. for all x0 and disturbance w,

|x(t)| ≤ β(|x0|, t) + γ(‖w‖) + ε ∀ t ≥ 0.

When ε = 0, ISpS becomes input-to-state stability (ISS) [Son89]

When ε = 0 and γ ≡ 0, ISpS becomes GAS

[JTP94] Z.-P. Jiang, A. R. Teel, and L. Praly, Mathematics of Control, Signals, and Systems, 1994

[Son89] E. D. Sontag, IEEE Transactions on Automatic Control, 1989 5 / 12

Preliminaries

Lyapunov characterizations

ẋ = fσ(x,w), x(0) = x0

A common Lyapunov function

Multiple Lyapunov functions

Dwell-time [Mor96], Average dwell-time (ADT) [HM99]

0 t1 t2 t3t0 t

V

The switched system is GAS if

it admits a Lyapunov function V which decreases along the solution in all modes:

DfpV (x,w) ≤ −λV (x) with a constant λ > 0.

[PW96] L. Praly and Y. Wang, Mathematics of Control, Signals, and Systems, 1996 6 / 12

Preliminaries

Lyapunov characterizations

ẋ = fσ(x,w), x(0) = x0

A common Lyapunov function

Multiple Lyapunov functions

Dwell-time [Mor96], Average dwell-time (ADT) [HM99]

0 t1 t2 t3t0 t

V< V

The switched system is GAS if

each mode admits a Lyapunov function Vp which decreases along the solution when that mode is active:

DfpVp(x,w) ≤ −λVp(x), and their values at switches are decreasing:

Vσ(tk)(x(tk)) ≤ Vσ(tl)(x(tl)) for all switches tk > tl.

[PD91] P. Peleties and R. DeCarlo, in 1991 American Control Conference, 1991

[Bra98] M. S. Branicky, IEEE Transactions on Automatic Control, 1998 6 / 12

Preliminaries

Lyapunov characterizations

ẋ = fσ(x,w), x(0) = x0

A common Lyapunov function

Multiple Lyapunov functions

Dwell-time [Mor96], Average dwell-time (ADT) [HM99]

0 t1 t2 t3t0 t

V< V

The switched system is GAS if

each mode admits a Lyapunov function Vp which decreases along the solution when that mode is active:

DfpVp(x,w) ≤ −λVp(x), their values after each switch is bounded in ratio: ∃µ ≥ 1 s.t.

Vp(x) ≤ µVq(x), there is an ADT τa > ln(µ)/λ with an integer N0 ≥ 1:

Nσ(t, τ) ≤ N0 + (t− τ)/τa.

[Mor96] A. S. Morse, IEEE Transactions on Automatic Control, 1996

[HM99] J. P. Hespanha and A. S. Morse, in 38th IEEE Conference on Decision and Control, 1999 6 / 12

Preliminaries

Lyapunov characterizations

ẋ = fσ(x,w), x(0) = x0

A common Lyapunov function

Multiple Lyapunov functions

Dwell-time, ADT

Further results under slow switching:

– ISS with dwell-time [XWL01] – ISS and integral-ISS with ADT

[VCL07] – ISS and IOSS with ADT [ML12]

The switched system is GAS if

each mode admits a Lyapunov function Vp which decreases along the solution when that mode is active:

DfpVp(x,w) ≤ −λVp(x), their values after each switch is bounded in ratio: ∃µ ≥ 1 s.t.

Vp(x) ≤ µVq(x), there is an ADT τa > ln(µ)/λ with an integer N0 ≥ 1:

Nσ(t, τ) ≤ N0 + (t− τ)/τa. [XWL01] W. Xie, C. Wen, and Z. Li, IEEE Transactions on Automatic Control, 2001

[VCL07] L. Vu, D. Chatterjee, and D. Liberzon, Automatica, 2007

[ML12] M. A. Müller and D. Liberzon, Automatica, 2012 6 / 12

Interconnection and small-gain theorem

Interconnected switched systems

An interconnection of switched systems with state x = (x1, x2) and external disturbance w

ẋ1 = f1,σ1(x1, x2, w),

ẋ2 = f2,σ2(x1, x2, w).

Each xi-subsystem regards xj as internal disturbance

The switchings σ1, σ2 are independent

Each xi-subsystem has stabilizing modes in Ps,i and destabilizing ones in Pu,i Objective: establish ISpS of the interconnection using

– Generalized ISpS-Lyapunov functions – Average dwell-times (ADT) – Time-ratios – A small-gain condition

7 / 12

Interconnection and small-gain theorem

Assumptions

(Generalized ISpS-Lyapunov) For each xi-subsystem

– Each ps ∈ Ps,i admits an ISpS-Lya function Vi,ps that decreases when active and Vi,ps(xi) ≥ max{χi(Vj,pj (xj)), χ

w i (|w|), δi};

– Each pu ∈ Pu,i admits a function Vi,pu that may increase when active; – Vi,p(xi) ≤ µiVi,q(xi) for all p, q ∈ Pi. (ADT) There is a large enough ADT τa,i.

(Time-ratio) There is a small enough time-ratio ρi ∈ [0, 1).

0

#i =i

0 t1 t2t3 t4t0 t

Vi;

Interconnection and small-gain theorem

Lyapunov-based small-gain theorem

(Generalized ISpS-Lyapunov) For each xi-subsystem

– Each ps ∈ Ps,i admits an ISpS-Lya function Vi,ps that decreases when active and Vi,ps(xi) ≥ max{χi(Vj,pj (xj)), χ

w i (|w|), δi};

– Each pu ∈ Pu,i admits a function Vi,pu that may increase when active; – Vi,p(xi) ≤ µiVi,q(xi) for all p, q ∈ Pi. (ADT) There is a large enough ADT τa,i.

(Time-ratio) There is a small enough time-ratio ρi ∈ [0, 1).

Theorem (Small-Gain)

The interconnection is ISpS provided that the small-gain condition

χ∗1 ◦ χ∗2 < Id holds with χ∗i := e

Θiχi.

9 / 12

Interconnection and small-gain theorem

Proof: Hybrid ISpS-Lyapunov function

(Generalized ISpS-Lyapunov) For each xi-subsystem

– Each ps ∈ Ps,i admits an ISpS-Lya function Vi,ps that decreases when active and Vi,ps(xi) ≥ max{χi(Vj,pj (xj)), χ

w i (|w|), δi};

– Each pu ∈ Pu,i admits a function Vi,pu that may increase when active; – Vi,p(xi) ≤ µiVi,q(xi) for all p, q ∈ Pi. (ADT) There is a large enough ADT τa,i.

(Time-ratio) There is a small enough time-ratio ρi ∈ [0, 1). Auxiliary timer τi ∈ [0,Θi] Hybrid ISpS-Lya for subsystem Vi := Vi,σie

τi

with χ∗i := e Θiχi

Small-gain χ∗1 ◦ χ∗2 < Id Hybrid ISpS-Lya function V := max{ψ(V1), V2}

0

#i =i

0 t1 t2t3 t4t0 t

Vi;

Interconnection and small-gain theorem

Proof: Hybrid ISpS-Lyapunov function

(Generalized ISpS-Lyapunov) For each xi-subsystem

– Each ps ∈ Ps,i admits an ISpS-Lya function Vi,ps that decreas

*View more*