Top Banner
Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester
69

Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Dec 21, 2015

Download

Documents

Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Certifying the robustness of

model predictive controllers

W. P. Heath and B. LennoxControl Systems CentreThe University of Manchester

Page 2: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 3: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Two success stories for control engineering

• Model predictive control- industry led- wide interest in academia

• Robust linear control- developed in academia- industrial applications e.g. automotive, aerospace…

Page 4: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 5: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Generic web forming process

Paper making, plastic film extrusion, steel rolling etc.

Page 6: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Plastic film extrusion

Process variable: - thickness

Manipulated variables: - bolts at slice lip - machine speed

Page 7: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Profile response

Slice actuators(paper)

Modeled deflection(paper)

Observed stepresponse(plastic film)

Page 8: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Typical control improvement

Page 9: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Actuator Picketing

Actuator constraints of the form:

max11min

maxmin

2 uuuuu

uuu

iii

i

Page 10: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 11: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

A. G. Wills and W. P. Heath. Application of barrier function model predictive control to an edible oil refining process. Journal of Process Control, 15(2):183-200, March 2005.

Page 12: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Separator operation

Page 13: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Quality/yield trade-offopen loop

Page 14: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Quality/yield trade-offclosed loop

Page 15: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

MPC algorithm

Muske and Rawlings (1993):

Page 16: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Before

Flow

Pressure1

Pressure2

Page 17: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

After

Pressure1

Pressure2

Flow

Page 18: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Results

• 76% reduction in separator 1 variation (sd)

• 78% reduction in separator 2 variation (sd)

• 10% increase in input flow variation (sd)

Page 19: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Start-up:manual to automatic operation

• Final set-up has both manual and automatic valves

• Best solution would be to have clutched handwheels with position sensors

• Implemented solution brings in one loop at a time via MPC’s constraint handling

Page 20: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Start-up

Manipulatedvariables

Processvariables

Page 21: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Self-cleaning

• Periodically separator bowl opens to atmospheric pressure:

• Circa 40% volume lost during self-clean• During operation inputs frozen and

setpoints track measured variables• Fast recovery exploits

– observer– MPC constraint handling

Page 22: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Self-cleaning

Manipulatedvariables

Processvariables

Page 23: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 24: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

A. G. Wills et al. Model Predictive Control Applied to Constraint Handling in Active Noise and Vibration Control. IEEE Transactions on Control Systems Technology, 2007.

5KHz sampling

Page 25: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.
Page 26: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

• MPC beats LQG with antiwindup at 5kHz

• Implemented on standard DSP

• On-line active set algorithm

• 12 step horizon

• Linear state space formulation with terminal weight and observer

• Boxed input constraints only

Page 27: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Common to all three examples:

• Low level control application

• Multivariable interactions

• Input constraints only

Page 28: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 29: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Mayne et al., Automatica 2000

“While the problem has been studied and is now well understood, the outcome of the research is conceptual controllers that work well in principle but are too complex to employ.”

Page 30: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Magni and ScattoliniNMPC 2005

“Despite the large number of results available, it is believed that significant process [has] still to be done towards the development of algorithms guaranteeing satisfactory performances with an acceptable computational effort”

Page 31: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Why is it hard?

• Satisfying constraints renders the controller inherently nonlinear.

• State constraints introduce:feasibility issuesloss of sparseness and symmetry

• Remark: standard stability approaches impose state constraints

• Approaches such as min-max make matters even worse

Page 32: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

What can we advise practitioners?

• Rewrite your code

• Extend your horizonsRemark: length of horizon and terminal weight depend on both current state and projected steady state position

• Detune your controllerRemark: no theory!

Page 33: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

ZafiriouComputers chem. Engng. 1990

“One should study the problem in its nonlinear nature, obtain conditions that guarantee nominal and robust stability and performance and tune the parameters of the original optimization problems to satisfy them.”

Page 34: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 35: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Gain margin

Page 36: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Phase margin

Page 37: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Gain margin

Page 38: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

How do we generalise ideas to multivariable?

Rosenbrock

Manchester/Cambridge School

H∞ theory, μ synthesis etc.

Page 39: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Sensitivity analysis

Page 40: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Plant model

Page 41: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Closed loop system

Page 42: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Small gain theorem

1If and then the loop is stable 1

M

Page 43: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 44: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

IQC theory:

Page 45: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

IQC notation:

Page 46: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

IQC theory:

Page 47: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Example: small gain theorem

Page 48: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Example: multivariable circle criterion

Page 49: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 50: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

We only consider

• Open-loop stable plant

• Linear plant model

• Input constraints

• Robust stability

Page 51: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Multi-parametric quadratic programming

Page 52: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Sector bound

Page 53: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

MPC stability We can use IQC theory to test stability of many

MPC structures. For example:

Page 54: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Equivalent loop

• represents static nonlinearity (quadratic program)

Page 55: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 56: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

MPC robust stabilityFor MPC we can combine

– the quadratic programming nonlinearity – the model uncertainty

into a single block satisfying a single IQC.

• represents uncertainty• represents static nonlinearity (quadratic program)

Page 57: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Example

Page 58: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Example in standard form

Page 59: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Example:

• 10 step horizon• 2x2 plant• IQC made up from four separate blocks (two

nonlinearities and 2 uncertainties)• Weight on states is 1/k

Page 60: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 61: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Cross-directional control with unit prediction horizon

R. M. Morales and W. P. HeathNumerical design of robust cross-directional control with saturating actuators.Control Systems 06, Finland.

Page 62: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Robustness analysis

Page 63: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Corresponding range in the modes.

Page 64: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Tuning parameter at each mode

Page 65: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Final profile value (with and without control) in both profile and mode space.

Page 66: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Corresponding actuator position, and second moment of actuators.

Page 67: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Overview

• Motivating examples: cross-directional controledible oil refiningactive vibration control

• Robustness of MPC (i)• Robust linear control• IQC framework• Geometry of quadratic programs• Robustness of MPC (ii)• Cross-directional control example• Challenges

Page 68: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Challenges

• From analysis to control design

• Robust performance

• Output (and state) constraints

• Open loop unstable plant (e.g. integrating plants)

Page 69: Certifying the robustness of model predictive controllers W. P. Heath and B. Lennox Control Systems Centre The University of Manchester.

Thank you!

W. P. Heath and B. LennoxControl Systems CentreThe University of Manchester