The bang-bang funnel controller: time delays and case study Stephan - - PowerPoint PPT Presentation

the bang bang funnel controller time delays and case study
SMART_READER_LITE
LIVE PREVIEW

The bang-bang funnel controller: time delays and case study Stephan - - PowerPoint PPT Presentation

The bang-bang funnel controller: time delays and case study Stephan Trenn (joint work with Daniel Liberzon, UIUC) Technomathematics group, University of Kaiserslautern, Germany 12th European Control Conference (ECC13) Thursday, 18.07.2013,


slide-1
SLIDE 1

The bang-bang funnel controller: time delays and case study

Stephan Trenn (joint work with Daniel Liberzon, UIUC)

Technomathematics group, University of Kaiserslautern, Germany

12th European Control Conference (ECC’13) Thursday, 18.07.2013, ThA5.3, 10:20

slide-2
SLIDE 2

Introduction Time delays in feedback loop Simulations

Content

1

Introduction

2

Time delays in feedback loop

3

Simulations

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-3
SLIDE 3

Introduction Time delays in feedback loop Simulations

Control setup

˙ x = F(x, u) y = H(x) y Switching logic − yref Funnel U+ U− e q u Goal: Tracking with prespecified error bounds for uncertain system with only two control values

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-4
SLIDE 4

Introduction Time delays in feedback loop Simulations

The funnel

Control objective Error e := y − yref evolves within funnel F = F(ϕ−, ϕ+) := { (t, e) | ϕ−(t) ≤ e ≤ ϕ+(t) } where ϕ± : R≥0 → R>0 t ϕ+(t) ϕ−(t) F time-varying strict error bound transient behaviour practical tracking (|e(t)| < λ for t >> 0) proposed by Ilchmann et al. 2002

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-5
SLIDE 5

Introduction Time delays in feedback loop Simulations

The switching logic (CDC 2010)

e(t) t ϕ+

0 (t)

ϕ−

0 (t)

F0 decrease e increase e decrease e ˙ e(t) t ϕ+

1 (t)

ϕ−

1 (t)

˙ ϕ−

0 (t)

˙ ϕ+

0 (t)

F1

U− U+

˙ e(t) ≤ ϕ−

1 (t)

˙ e(t) ≤ ϕ−

1 (t)

˙ e(t) ≥ ˙ ϕ+

0 (t)

˙ e(t) ≥ ˙ ϕ+

0 (t)

decrease e U+ U−

˙ e(t) ≥ ϕ+

1 (t)

˙ e(t) ≤ ˙ ϕ−

0 (t)

increase e

e(t) ≤ ϕ−

0 (t) + ε+

e(t) ≤ ϕ−

0 (t) + ε+

e(t) ≥ ϕ+

0 (t) − ε+

e(t) ≥ ϕ+

0 (t) − ε+ Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-6
SLIDE 6

Introduction Time delays in feedback loop Simulations

Theoretical result

Structural assumption and feasibility Relative degree two: u(t) << 0 ⇒ ¨ y(t) << 0 u(t) >> 0 ⇒ ¨ y(t) >> 0 feasibility of funnels input values large enough Theorem (CDC 2010) Relative degree two & Funnels & simple switching logic & Feasibility ⇒ Bang-bang funnel controller works: existence and uniqueness of global solution error and its derivative remain within funnels for all time no zeno behaviour

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-7
SLIDE 7

Introduction Time delays in feedback loop Simulations

More realistic scenario

Switching logic

τe τq − ˙ x = F(x) + G(x)u y = H(x) y yref Funnel U+ U−

e(t) ˙ e(t) e(t−τe) ˙ e(t−τe) q(t) q(t−τq)

u

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-8
SLIDE 8

Introduction Time delays in feedback loop Simulations

Adjusted switching logic and new feasibility assumption

e(t) t ϕ+

0 (t)

ϕ−

0 (t)

F0 q1 =true decrease e q1 =false increase e q1 =true decrease e ˙ e(t) t ϕ+

1 (t)

ϕ−

1 (t)

˙ ϕ−

0 (t)

˙ ϕ+

0 (t)

F1

Same switching logic Apart from introduction of safety distance ε±

1 also for the derivative

funnel New feasibility assumption Bounding the time delay τe + τq in terms of safety distances ε±

1 and ε± 0 .

Theorem Bang-bang funnel controller also works in the presence of sufficiently small time delays.

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-9
SLIDE 9

Introduction Time delays in feedback loop Simulations

Physical background for simulation

˙ x(t) = [ 0 1

0 0 ] x(t) + γ

u(t) + uL(t) − (Tx2)(t)

  • ,

y(t) = 1 x(t), x1: angle of the rotary machine x2 = ˙ x1: angular velocity uL: unknown load torque T : C(R≥0 → R) → L∞

loc(Rp → R) friction operator

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-10
SLIDE 10

Introduction Time delays in feedback loop Simulations

Tracking of given reference trajectory

5 10 15 20 25 30 35 40 −5 5 10 15 20 25 30 35 40 y(t) t

Feasibility conditions too conservative simulation carried out with U± = ±2425Nm much larger than technical possible (±22Nm) switching frequency (about 104Hz) too high

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-11
SLIDE 11

Introduction Time delays in feedback loop Simulations

Heuristic improvement

Underlying problem good long-time accuracy ⇒ small safety distance large error-tolerance ⇒ need large safety distance Use time-varying safety distances works very well in simulations switching logic remains the same formal proof even more technical and not carried out yet

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study

slide-12
SLIDE 12

Introduction Time delays in feedback loop Simulations

Summary

Introduced new controller design: Bang-bang funnel controller

Design only depends on relative degree extremely simple

Feasibility assumptions

U+, U− must be large enough in terms of bounds on systems dynamics better performance ⇒ larger values for U+, U−

Tolerates time delays Higher relative degree (not presented here)

Switching logic remains simple (hierarchically) Feasibility assumptions remain similar Switching frequency increase significantly for details see: Liberzon & Trenn, IEEE TAC 2013 (to appear)

Stephan Trenn Technomathematics group, University of Kaiserslautern, Germany The bang-bang funnel controller: time delays and case study