From Multi-Parametric Programming Theory to MPC-on-a-chip Multi-scale Systems Applications

advertisement
From Multi-Parametric
Programming Theory to
MPC-on-a-chip Multi-scale
Systems Applications
Stratos Pistikopoulos
FOCAPO 2012 / CPC VIII
Acknowledgements

Funding
 EPSRC - GR/T02560/01, EP/E047017, EP/E054285/1
 EU - MOBILE, PRISM, PROMATCH, DIAMANTE, HY2SEPS
 CPSE Industrial Consortium, KAUST
 Air

Products
People




J. Acevedo, V. Dua, V. Sakizlis, P. Dua, N. Bozinis, N. Faisca
Kostas Kouramas, Christos Panos, Luis Dominguez, Anna Vöelker,
Harish Khajuria, Pedro Rivotti, Alexandra Krieger, Romain Lambert,
Eleni Pefani, Matina Zavitsanou, Martina Wittmann-Hoghlbein
John Perkins, Manfred Morari, Frank Doyle, Berc Rustem, Michael
Georgiadis
Imperial & ParOS R&D Teams
Outline

Key concepts & historical overview

Recent developments in multi-parametric
programming and mp-MPC

MPC-on-a-chip applications

Concluding remarks & future outlook
Outline

Key concepts & historical overview

Recent developments in multi-parametric
programming and mp-MPC

MPC-on-a-chip applications

Concluding remarks & future outlook
What is On-line Optimization?
MODEL/OPTIMIZER
Control
Actions
Data Measurements
SYSTEM
What is Multi-parametric Programming?

Given:



a performance criterion to minimize/maximize
a vector of constraints
a vector of parameters
z ( x)  min f (u, x)
u
s.t. g (u, x)  0
xR
n
u R
s
What is Multi-parametric Programming?

Given:




u
a performance criterion to minimize/maximize
s.t. g (u, x)  0
a vector of constraints
a vector of parameters
x Rn
Obtain:

z ( x)  min f (u, x)
u R
s
the performance criterion and the optimization
variables as a function of the parameters
 the regions in the space of parameters where these
functions remain valid
Multi-parametric programming
(1) Optimal look-up function
z ( x)  min f (u, x)
u
s.t. g (u, x)  0
x Rn
u R
(2) Critical Regions
s
u (x)
Obtain optimal solution u(x) as a
function of the parameters x
Multi-parametric programming
Problem Formulation
min
 3 u1  8 u2 
u1 ,u2
st .
1
5

 8

 4
1
 1
 4   u1   0





22  u 2   0


 1
0
 10  x1  10
0
  13  0
0   x1    20  0


 



 1 x 2   121 0


  
0
 8   0
 100  x 2  100
Multi-parametric programming
Critical Regions
4 Feasible Region Fragments
100
CR001
CR002
CR003
CR004
80
60
40
x2x2
20
0
-20
-40
-60
-80
-100
-10
-8
-6
-4
-2
0
x1
x1
2
4
6
8
10
Multi-parametric programming















U  















Multi-parametric Solution
 1  0.031 
  6.71 
 1

 5 
0

  x1 



0
10
 1



  0.33 0  x 1 
  1.67 

 x 2 


 1.33 0   x    14.67  if  0
1

  2




 100 



1
 0

 100 

 1  0.115
  1 0.031

  1 0.045
 0.73  0.03  x 1 
5.5

0
0.26 0.03   x   7.5 if  1

  2


 0
1

1
 0

8.65 

 6.71 



  x1 
 7.5 

   10 
x
  2



 100 




 100 
 1  0.045
 1
0
if 
1

 0

  7.5
x


1

  5 

 


x 2 
100






 0 0  x 1 
0


1 0   x 
13

  2
 
0 0.05  x 1 
11.8
0 0.06    x    9.8 

  2


  1 0.11 
  8.65
x


if  1
0    1    10 

 x 2 


0

1
100








Multi-parametric programming
min  3u1  8u2 
u
st .
1
1
 1 0 
  13  0
 5  4 u
0 0 x
  20  0

   1  
   1  
 
  8 22  u2   0  1  x2   121 0





  
  4  1
0 0
 8  0
 10  x1  10,  100  x2  100
4 Feasible Region Fragments
100
CR001
CR002
CR003
CR004
80
60
40
x2
20
0
-20
-40
-60
-80
-100
-10
-8
-6
-4
-2
0
x1
2
4
6
8
10















U  















  0.333
 1.333

 0.7333
0.26667

0  x1 
  1.6667 

   14.6667 
0
  x2 


 0.0333  x1 
5.5

  7.5
0.03333 
  x2 


if
if
0
1

0  x1 
0

  13
0
  x2 


if
0
0

0.05128   x1 
11.8462 

  9.80769 
0.0641 
  x2 


if
 1
 1

 1

 0

 0
 0.03125 
  6.71875 



0
5
  x1 



0
10




  x2 


1
100






1
100



 1
 1

 1

 1
 0

 0
 0.115385 
8.65385 
6.71875 
0.03125 



0.0454545   x1 
7.5


 



x
0
10
2








1
100



1

 100

 1
 1

 0

 0.0454545 
  7.5
   x1    5 
0

 


x
1
  2



 100 
 1
 1

 0

0.115385 
  8.65385 
   x1   

0
10

 


x
1
100
  2





Only 4 optimization problems solved!
On-line Optimization via off-line
Optimization
POP
PARAMETRIC PROFILE
OPTIMIZER
Control
Actions
System
State
SYSTEM
Control
Actions
System
State
SYSTEM
Function Evaluation!
Multi-parametric/Explicit Model
Predictive Control

Compute the optimal sequence of manipulated inputs which minimizes
tracking error = output – reference
subject to constraints on inputs and outputs

On-line re-planning: Receding Horizon Control
Multi-parametric/Explicit Model
Predictive Control

Compute the optimal sequence of manipulated inputs which minimizes
Solve a QP at each time interval

On-line re-planning: Receding Horizon Control
Multi-parametric Programming Approach
State variables  Parameters
 Control variables  Optimization variables

MPC  Multi-Parametric Programming
problem
 Control variables  F(State variables)

Multi-parametric Quadratic Program
Explicit Control Law
2
CR0
CR1
CR2
1.5
J ( x(t ))  min
ut |t , ut 1|t
 x
1
j 0
T
t  j |t
x t  j |t  0.01 ut2 j |t  xTt 2 |t P x t 2 |t
 0.7326  0.0861 
0.0609 
s.t x t  j 1|t  
 x t  j |t  0.0064  ut  j |t
0
.
1722
0
.
9909




 2  ut  j |t  2 j  1,2 x t |t  x(t )
1
0.5
x2
0
-0.5
-1
-1.5
-2
-2
-1.5
-1
-0.5
0
x1

 0.7059 0.7083 
0.2065







6
.
8355

6
.
8585
x
t
if
x
t


 0.7059  0.7083 
0.2065






ut   
2
if  0.7059  0.7083  x t    0.2065



0.7059 0.7083  xt    0.2065
2
if

0.5
1
1.5
2
Multi-parametric Controllers
(1) Optimal look-up function
Optimization Model
(2) Critical Regions
Parametric Controller
Measurements
Control Action
SYSTEM
System Outputs
Input Disturbances
 Explicit Control Law
MPC-on-a-chip!
 Eliminate expensive, on-line computations
 Valuable insights !
Key milestones-Historical Overview
AIChE J.,Perspective (2009)

Number of publications
Multi-Parametric
Programming
Multi-Parametric
MPC &
applications
Pre-1999
>100
0
Post-1999
~70
250+
2002 Automatica paper ~ 580 citations
 Multi-parametric programming – until 1992 mostly

analysis & linear models

Multi-parametric/explicit MPC – post-2002 much
wider attention
Patented Technology

Improved Process Control
European Patent No EP1399784, 2004

Process Control Using Co-ordinate Space
United States Patent No US7433743, 2008
Outline
Key concepts & historical overview
 Recent developments in multi-parametric
programming and mp-MPC

 Model
reduction/approximation
 mp-NLP & explicit nonlinear mp-MPC
 mp-MILP
 Robust explicit mp-MPC
 State estimation and mp-MPC
 Framework for mp-MPC
A framework for multi-parametric
programming & MPC (Pistikopoulos 2008, 2009)
Modelling/
Simulation
Identification/
Approximation
‘High-Fidelity’
Dynamic Model
System Identification
Model Reduction
Techniques
‘Approximate Model’
Model-Based Control
& Validation
Multi-Parametric
Programming (POP)
Extraction of
Parametric Controllers
u = u ( x (θ) )
Closed-Loop
Control System Validation
Model Reduction/Approximation
Replace discrete
dynamical
System with a set
of affine algebraic
models
N-step ahead
predictionenables use of
Linear MPC
routines
Model Reduction/Approximation


N-step-ahead approximation based on initial conditions
(measurements) and sequence of controls (constant
control vector parameterization). Set of affine algebraic
models
For all j point over the time horizon - approximations are
constructed as follows
y
t
mp-NLP Algorithms for Explicit NMPC
Strategy:
Direct Approach
Multi-parametric Nonlinear Dynamic Optimization Problem
Discretize state and controls via Orthogonal Collocation Techniques
Approximate
Multi-parametric Nonlinear Programming Problem (mp-NLP)
Quadratic Approximation Based
Solve sequence of mp-QP‟s
Nonlinear Sensitivity based
Solve sequence of NLP‟s
Partition state space recursively
mp-NLP Algorithms for Explicit NMPC
Key features: Two implementations for the characterization of the Parameter space
Quadratic Approximation based (General mp-NLP)
• Characterizes the parameter space by sub-partitioning CRs where the QA approximation
provides “poor” solutions.
NLP Sensitivity Based (NMPC mp-NLP)
• Characterizes the parameter space using NLP
sensitivity information and linearization of the
constraints.
v(x)
v0
(x) = 0
(x)
0
 (M 0 ) 1 N 0 + (x  x 0 )+(||x||)
Validity of approximation:
(x) = O(||x||)  (x)/||x|| → 0 as x → 0.
x0 v*
x0 v*
mp-NLP Algorithms for Explicit NMPC
Key Advantage: Fast implementation of the control laws
• State-of-the art multi-parametric solvers (e.g. mp-QP)
• Straightforward characterization of critical regions
• Complexity reduction through region merging
• Extension to address hybrid systems
Multiparametric Mixed-Integer Nonlinear Programming
Strategy: Decompose mp-MINLP into two sub-problems
Pre-processing
Step 1
Characterize feasible region
Simplicial
Approximation
Primal sub-problem (mp-NLP)
Approximate
via mp-QPs
x = f()
Step 2
y = y*
Master sub-problem (MINLP)
Iterate until master sub-problem is infeasible
mp-MILP
Explicit Solution of the general mpMILP Problem
Applications
• Pro-active Scheduling under price, demand and processing time
uncertainty (seee poster & paper)
• Explicit Model Predictive Control of Hybrid Systems:
Control actions as optimization variables, states as parameters,
input and model disturbances as parameters
• Integration of scheduling & MPC
Hybrid Approach - Two-Stage Method for
mp-MILP1
Stage 1 – Reformulation
Partially robust RIM-mp-MILP* model;
Solutions are immunized against all
immeasurable parameters and complicating
constraint matrix uncertainty
Stage 2 – Solution
Suitable multi-parametric programming
algorithms (e.g. Faisca et al. (2009))
Optimal partially robust solution; Upper bound
on optimal objective function value
*objective function coefficient and
1 Wittmann-Hohlbein,
Pistikopoulos (2011)
right hand side vector uncertainty
Global Optimization of mp-MILP1
Constraint matrix uncertainty poses major challenge
mp-MINLP
Multi-Parametric Global Optimization:
• Adaptation of strategies from the deterministic case to
multi-parametric framework: Parametric B&B procedure
• Globally optimal solution is a piecewise affine function over
polyhedral convex critical regions
Challenges in Global Optimization of mp-MILP Problems:
• Comparison of parametric profiles, not scalar values
• High computational requirements
Can we find “good solutions” of an mp-MILP problem with less effort?
1 Wittmann-Hohlbein, Pistikopoulos; JOGO, submitted , 2011
Robust Explicit mp-MPC

Famous control problem: Dynamic Systems with Model Uncertainties
(Mayne, Rawlings, Rao & Scokaert, 2000)
 N 1

V ( x )  min 
( x k Qx k  u k Ru k )  x N Px N 

U 
 k 0
x k 1  Ax k  Bu k + Wθk
Cx k  Du k  d

Mx N  
u min  u  u max
Parametric Uncertain System
 

 b
aij  aij : aij  aij , 0  aij , 0
bij
: bij  bij , 0  bij , 0
 min     max

x : systemstates
Uncertainty due to modelling, identification errors,
measurement errors etc.
u : control inputs
 u N 1 
ij


Exogenous Disturbance
x0  x
U  u0
 
A  aij  R nn , B  bij  R nm

Constraints represent safety, operational constraints

It is very critical that the system does not violate them

Immunize against uncertainty
33
Robust Explicit mp-MPC

Robustification – robust reformulation step (Ben-Tal &
Nemirovski, 2000; Floudas& Co-workers, 2004-2007)

Dynamic Programming framework to Robust MPC

Novel Multi-parametric Programming algorithm to
constrained Dynamic Programming (Faísca, Kouramas,
Saraiva, Rustem & Pistikopoulos, 2008)


Small mp-QP at each stage
No need for global optimization
MHE & mp-MPC
min xN MPC
x0 ,uk
2
PMPC

N MPC

k 0
2
xk Q
MPC

N MPC 1

k 0
uk
2
RMPC
s.t. xk 1  Axk  Buk  Gwk (actual system),
xk 1  Axk  Buk (nominal system),
xˆk 1  Axˆk  Buk  t (estimated system step 1.3),


u0  u 0*  K xˆ0*  x 0* , u  U
xk  X= X
K  S, xN MPC  X=f ,
S, k  1...N MPC  1, S  ExX S, xˆ0  x0  S,
S is mRPI of xˆk 1  xk 1   A  BK   xˆk  xk   t.
Main idea:
Step 1. Formulate the dynamics that govern the estimation error eT  f  eT 1,wT 1 
Step 2. Use these dynamics to find the set that bounds the estimation error eT  S
Step 3. Incorporate the bounding set into the controller to „robustify‟ against the
estimation error
Moving Horizon Estimation (MHE)
min
xˆT  N |T ,WˆT  N |T
s.t.
xˆT  N |T  xT  N |T
2
P
xˆk 1  Axˆk  Buk  Gwˆ k ,
1

YTTN1
2
 O xˆT  N |T  cbU TT N2 1
W
yˆ k  Cxˆk  vˆk ,
xˆk  X,
T 1


k T  N
wˆ k  W,
2
wˆ k Q 1

T

k T  N
vˆk  W
xT  N |T  Axˆ *T  N 1|T 1  BuT  N 1|T 1  Gwˆ T*  N 1|T 1 (smoothed update of arrival cost)

Model-based state estimator

Obtains current state estimate xT
Main advantage: incorporates system constraints
MHE is dual to MPC: backwards MPC


vˆk
2
1
R
A framework for multi-parametric
programming & MPC (Pistikopoulos 2008, 2009)
Modelling/
Simulation
Identification/
Approximation
‘High-Fidelity’
Dynamic Model
System Identification
Model Reduction
Techniques
‘Approximate Model’
Model-Based Control
& Validation
Multi-Parametric
Programming (POP)
Extraction of
Parametric Controllers
u = u ( x (θ) )
Closed-Loop
Control System Validation
A framework for multi-parametric
programming and MPC (Pistikopoulos 2010)
On-line Embedded
Control:
Off-line Robust
Explicit Control
Design:
Modelling/
Simulation
Identification/
Approximation
EMBEDDED
CONTROLLER
REAL SYSTEM
‘High-Fidelity’
Dynamic Model
Model Reduction
Techniques
System
Identification
‘Approximate
Model’
Model-Based
Control &
Validation
Multi-Parametric
Programming
(POP)
Extraction of
Parametric
Controllers
u = u ( x(θ) )
Closed-Loop
Control System
Validation
Outline
Key concepts & historical overview
 Recent developments in multi-parametric
programming and mp-MPC
 MPC-on-a-chip applications

 PSA
system
 Fuel Cell system
 Biomedical systems
PSA system and the cycle
Pure product
REPRES
DEP 1
DEP 2
DEP 3
Impurities
Feed
BED 1
Off gas
FEED
DEP 1
BED 2
PE 2
REPRES
BED 3
Bd
Pu
PE 1
PE 2
BED 4
DEP 1
DEP 2
DEP 3
Bd
DEP 2
DEP 3
FEED
Time
Bd
Pu
PE 1
PE 2
DEP 1
DEP 2
DEP 3
Bd
Pu
PE 1
DEP 1
DEP 2
DEP 3
REPRES
Pu
PE 1
FEED
PE 2
REPRES
REPRES
FEED
A framework for multi-parametric
programming and mp-MPC for PSA
‘High Fidelity’ PSA
Model (PDAE)
Modeling &
Simulation
System
Identification
‘Approximate’ Model
Multi-Parametric
Programming
Model Based Control &
Validation
MATLAB
POP Toolbox
Extraction of explicit MPC
controllers u = u(x(θ))
In-silico closed
loop controller
validation
Modelling - internal Bed
Mass balance
Species Accumulation
Mass transfer with adsorbent

2
Ci UCi
 Qi
Ci

(  (1   ) )

  p (1   )
 D
b
b p t
b
b Zi Z 2
Z
t
Bulk fluid convection



Dispersion in axial direction
Radial effects neglected
Transport properties independent of state variables
Axial mass dispersion (Wakao and Funazkri, 1978), velocity dependent
neglected
Energy balance
Energy accumulation in gas phase
NCOMP
(  (1   ) )
b
b p
NCOMP
U
C
i 1
pi
Ci
C C
i 1
vi
i
T
T
NCOMP
 (1   ) 
b p
t
 (  (1   ) ) RT
b
b p
Z
Energy convection




Energy accumulation in solid phase
Energy accumulation in adsorbed phase
NCOMP

i 1

i 1
Cvi
 T
T
Qi
 (1   ) C p 

p
b
s
t
t
NCOMP
C
i  (1   )
b  p i 1
t


2
Q

i (  H )   T
2
i
t
Z
Heat of adsorption
Heat dispersion
Lumped energy balance on gas and solid phase
Radial effects neglected
Specific heat, transport properties independent of state variables
Axial mass dispersion (Wakao et.al., 1978), velocity dependent
neglected
Momentum balance & adsorption
characteristics
1.751     C MW
2
i
i
150  1   
i

1


U
UU
3 2
3
Z
 dp
 dp
NCOMP
P
Ergun‟s equation, steady
state pressure drop


 Qi
 *

 K LDFi  Qi  Qi 
t


ai
*


*
NCOMP Q
Qi
i 

max  ai K i Ci RT 1  
Qi
i  1 Q max 
i


  H i 
K i  K i exp 

 RT 
LDF Rate expression
Nitta et.al. (1984), Ribeiro et.al. (2008), multisite
Langmuir adsorption isotherm (multi-component
mixture)
Valve Equation (for boundary
conditions)
Chou and Huang (1994), Nilchan and Pantelides (1998)
2

P

P
CV 1   High Low 



P


U 
 PHigh
Otherwise
CV
P

Pcritical
 2
 
1 




1

if
Cp
Cv
P = PHigh if gas leaving the bed
= PLow if gas entering the bed
PLow
PHigh

 Pcritical 





•Prictical constant since Cp
and Cv are assumed constant
•For REPRES and DEP Cp
and Cv calculated
at yH2 = 0.7, yCH4 = 0.3
•For blowdown and purge
(off gas) Cp and Cv calculated
at yH2 = 0.5, yCH4 = 0.5
Constraints - Boundary conditions
Z=0
Z=L
Z=L
UA  Q SLPM ( PFEED , TFEED ) P  PPRODUCT
Ci 
PYFeed
RT
T  TFeed
i
C i
Z
T
Z
Feed
Step
 0
 0
Z=0
Z=L

U  fValve PPURGE , PCODEP , CV
PURGE
C i
Z
Z=0
A boundary
condition for each
process step
 0

U 
Ci 
U i C i CODEP
Z=L
i C i
PC CODEP
i
RT i C CODEP
i
Purge
Step
Z=0
T
Z
 0
T  TCODEP
Base case system
99.99 % H2
Number of Beds
4
Activated
Carbon
Adsorbent
REPRES
DEP 1
Feed pressure
7 bars
Bed length
1m
Blowdown
pressure
1.01325
bars
Bed diameter
0.12 m
Bed Porosity
0.4
Feed
temperature
303.15 K
Feed
Composition
70 % H2,
30 %CH4
Feed flow rate
8.0 SLPM
DEP 2
DEP 3
BED 1
FEED
Feed
DEP 1
BED 2
PE 2
REPRES
BED 3
Bd
Pu
PE 1
PE 2
BED 4
DEP 1
DEP 2
DEP 3
Bd
DEP 2
DEP 3
FEED
Bd
Pu
PE 1
PE 2
DEP 1
DEP 2
DEP 3
Bd
Pu
PE 1
DEP 1
DEP 2
DEP 3
REPRES
Pu
PE 1
Off gas
FEED
PE 2
REPRES
t FEED  tDEP1  t DEP2  tDEP3  t Bd  tPu  t PE1  t PE2  t REPRES  
REPRES
FEED
Adsorption time
Objective and process variables

Changes in adsorption time effects purity the
most
 Adsorption time – Manipulated variable

Purity – Controlled variable

Fast tracking of H2 purity to the set point
99.99%

Regulate changes in adsorption time
 Avoid bed saturation
 Avoid high fluid inlet velocities as it causes
mechanical damage

Hard constraints on adsorption time has to be
satisfied for safe and economical operation
A framework for multi-parametric
programming and MPC
‘High Fidelity’ PSA
Model (PDAE)
Modeling &
Simulation
System
Identification
‘Approximate’ Model
Multi-Parametric
Programming
Model Based Control &
Validation
MATLAB
POP Toolbox
Extraction of explicit MPC
controllers u = u(x(θ))
In-silico closed
loop controller
validation
System Identification - Approximation

PDAE model not suitable for current model
based control approaches




Process model approximations are
needed
Input – Adsorption time
Output – H2 purity
Sampling time – 1 PSA cycle

Input signal design for system perturbation

Random pulse employed for persistent
excitation


Maximum amplitude decided by hit and
trial studies
Pulse duration (constant) calculation
based on closed loop response
System identification
Model fit to the input
output data above by an
8th order state space system
x k 1  Axk  Bu k
y k  Cx k
A framework for multi-parametric
programming and MPC
‘High Fidelity’ PSA
Model (PDAE)
Modeling &
Simulation
System
Identification
‘Approximate’ Model
Multi-Parametric
Programming
Model Based Control &
Validation
MATLAB
POP Toolbox
Extraction of explicit MPC
controllers u = u(x(θ))
In-silico closed
loop controller
validation
MPC Formulation for PSA

 
N 1

M 1
min Z   yk  y Q yk  y   uk Ruk
u
k 1
R '
k
s.t.
xk 1  Axk  Buk
yk  Cx k  ymismatch
ulow  uk  uhigh
yk  1

k 0
'


y = hydrogen purity at the end of
adsorption stage
u = adsorption time, sec

N = 4, M = 2 Q = 1

2 optimization variables u0, u1

Optimal R based on the closed
loop response
Constraints on u
Low u: low adsorption time/cycle time, fast PSA cycles
 More ON/OFFs of the switch valves per unit time



R
k
Extra wear and tear of manipulative variable hardware
Fast loading-unloading of adsorbent leading to its degradation
High u: high adsorption time/cycle time, long PSA cycles
 Risk of over saturation, or irreversible adsorption of adsorbent
mp-MPC for PSA control
EXPLICIT/MULTI-PARAMETRIC MPC CONTROLLER
(2) Optimal Look-up Function
(1) Critical Regions
Measurements
Control Action
System Outputs
Input Disturbances
MPC on a chip
 Explicit Control Law Eliminate expensive, on-line computations
 Valuable insights!
Explicit/Multi-Parametric MPC Design
Critical Regions from POP software
Solve the mp-optimization problem for all values of the parameters to obtain the
explicit control laws (u = D1x + u0) and the corresponding critical region
maps (D2x.≤ q).
A framework for multi-parametric
programming and MPC
‘High Fidelity’ PSA
Model (PDAE)
Modeling &
Simulation
System
Identification
‘Approximate’ Model
Multi-Parametric
Programming
Model Based Control &
Validation
MATLAB
POP Toolbox
Extraction of explicit MPC
controllers u = u(x(θ))
In-silico closed
loop controller
validation
MPC Vs PID
Step Disturbance in PSA feed rate – 10 % of Design
Controller
Response time
(Cycles)
Average ∆U
(Seconds)
Maximum ∆U (Seconds)
mp-MPC
13
0.74
1.8
PID
25
0.84
5.09
Impulse Disturbance in PSA feed rate – 35 % of Design
mp-MPC
7
0.75
1.6
PID
5
4.72
12.12
Open Loop
9
Impulse Disturbance in PSA feed rate – 54 % of Design
mp-MPC
7
1.77
4.18
PID1
4
17.11
32.29
PID2
5
9.44
21.16
Open Loop
10
MPC Vs PID
Outline
Key concepts & historical overview
 Recent developments in multi-parametric
programming and mp-MPC
 MPC-on-a-chip applications

 PSA
system
 Fuel Cell system
 Biomedical systems
PEM Fuel Cell System
PI
MassFlow
H2
PI
N2
TE
MassFlow
Electronic
Load
PT
TE
VENT
Hydrator
PI
TE
PT
TE
PT
A
VENT
PDT
K
Air
MassFlow
TE
TE
Water
PT
TE
H2O
PT
TE
M
Hydrator
Filter
Radiator
PEM Fuel Cell System
Develop 1kW PEM fuel cell system
Collect data for the PEM fuel cell, fan, hydrogen storage
Design controller for the integrated system
Tamb
Ist
u: mair,Vfan, mcool
d: Tamb,Ist
y: Tst ,λO2
θ: xt , Tamb,Ist , Tst ,Tst,sp
mair
Vfan
mcool
PEM Fuel
Cell System
Tst
λO2
PEM Fuel Cell System - Controller Design

Optimized PID Controller

Nominal MPC Controller
N 1
M 1
min J   ( y k  y k ) QRk ( y k  y k )  ( y N  y N ) P( y N  y N )   (u k  u R ) T Rk (u k  u R )
x , y ,u
R T
R
k 0
xt 1  Axt  But
yt 1  Cxt
Robust MPC Controller

R
k 1
Subject to:

R
Include in the controller design the model error
u: mair,Vfan, mcool
d: Tamb,Ist
y: Tst ,λO2
θ: xt , Tamb,Ist , Tst ,Tst,sp
PEM fuel cell system
 Dynamic model
 Ideal and uniformly distributed gases
 The fuel and the oxidant are humidified
 No liquid can go into the membrane because it is waterproof
 Uniform temperature in the fuel cell stack
 Simplified mathematical models for humidifier, radiator and pump
Controller evaluation (closed-loop simulation)
Incorporate
controller into high fidelity model and perform computational
studies
yt
yt
ut+1
ut+1
Incorporate
MATLAB
+
POP Software
controller into the PEM Fuel Cell System - perform experiments
Tamb
Ist
mair
mcool
PEM Fuel
Cell System
Tst
λO2
PEM Fuel Cell System
Unit Specifications
 Fuel Cell : 1.2kW
 Anode Flow : 5..10 lt/min
 Cathode Flow : 8..16 lt/min
 Operating Temperature : 65 – 75 °C
 Ambient Pressure
Control Strategy
Start-up Operation
Heat-up Stage : Control of coolant loop
Nominal Operation
Control Variables :
 Mass Flow Rate of Hydrogen & Air
 Humidity via Hydrators temperature
 Cooling system via pump regulation
 Known Disturbance : Current
PEM Fuel
Cell System
mH2
mAir
mcool
TYHydrators
Vfan
Tst
HTst
(1) Optimal look-up
function
(2) Critical Regions
Outline
Key concepts & historical overview
 Recent developments in multi-parametric
programming and mp-MPC
 MPC-on-a-chip applications

 PSA
system
 Fuel Cell system
 Biomedical systems
ERC MOBILE
Development of models and model based control and optimisation algorithms
for biomedical systems
Anaesthesia
Provide hypnosis, analgesia and muscle relaxation while
maintaining the vital functions
Multiple input multiple output model predictive control
Type 1 diabetes
Maintain blood glucose concentration within the normal range
by optimising insulin delivery
Model predictive control problem
Acute Myeloid Leukaemia
Provide optimal chemotherapy dose to minimise the cancer cells
While keeping normal cells above a minimum level
Scheduling Problem
Muscle Relaxation
Hyper
Normal
Hypo
Framework towards optimal drug delivery systems
Model Development
Model Reduction
Individual Patient
High Fidelity Model
Model Predictive Control/ Optimisation
Measurement
device/ State
Estimation
mp-MPC
Optimal Scheduling
16.5
16
Optimal control
law/ trajectory
x2
15.5
15
14.5
MEASUREMENTS/
STATES
14
13.5
-37
-36
-35
-34
Cancer
cells
-33
x1
mp-MPC on a Chip
Normal
cells
1st Cycle
Patient
OPTIMAL DRUG DELIVERY/DOSAGE
Disturbances
Optimal dose
drug 1
drug 2
2nd Cycle
3rd Cycle
4th Cycle
Set points
Individual constraints
Diabetes Type I
Mathematical Modelling
240
220
Glucose
Profile
200
glucose(mg/dl)
Model Development
Individual Patient
High Fidelity Model
180
160
140
120
100
80
35g
100g
35g
40g
90g
50g
50g
80g
20g
60
40
0
day2
day1
10
20
30
day3
40
time(hr)
50
60
70
Anaesthesia
Pharmacokinetics
Anaesthetic
concentrations
Lung
Brain
Heart
Gut
Liver
Spleen
Kidney
Pancreas
Adipose
Skin
Pharmacodynamics
Emax
Effect
Skeleton
Artery
Vein
Muscle
Efficacy
Individual
variability
E50
Potency
E0
Cell Cycle
C50
Leukaemia
Concentration
Cell population profiles
ERC MOBILE
Step 1: The sensor measures
the glucose concentration from
the patient
Step 2: The sensor then inputs
the data to the controller which
analyses it and implements the
algorithm
2
Sensor
Controller
1
Patient
Insulin Pump
3
Step 3: After analyzing the
data the controller then signals
the pump to carry out the
required action
4
Step 4: The Insulin Pump
delivers the required dose to
the patient intravenously
Outline

Key concepts & historical overview

Recent developments in multi-parametric
programming and mp-MPC

MPC-on-a-chip applications

Concluding remarks & future outlook
MPC-on-a-chip technology –
Reflections
(10 years since 2002 Automatica paper appeared .. )

Scientific/academic impact ?

Application/industrial impact ?
MPC-on-a-chip technology –
Reflections
(10 years since 2002 Automatica paper appeared .. )

Scientific/academic impact ? HIGH – many
un-resolved issues ..

Application/industrial impact ? Limited –
not panacea to all MPC solutions ..
MPC-on-a-chip – Perspectives

Application types for Multi-parametric
Programming & MPC
 Type
1 - Large scale and expensive industrial
processes with slow/medium dynamics
 Type
2 - Medium scale and cost industrial
processes with medium/fast dynamics
 Type
3 - Small scale and inexpensive
processes/equipment with medium/fast dynamics
MPC-on-a-chip – Perspectives

Type 1 – Large scale and expensive
industrial processes with slow/medium
dynamics
MPC-on-a-chip – Perspectives

Type 1 - Large scale and expensive
industrial processes with slow/medium
dynamics
 Control
hardware/software availability
 MPC implementation mainly via online
optimization
 Explicit MPC can play a role for low level
process control
 Hybrid (on-line + off-line) approach possible –
accelerate on-line dynamic optimization step
MPC-on-a-chip – Perspectives

Type 2 – medium scale and cost
industrial processes with medium/fast
dynamics
Reboiler/condenser
Product - GAN
Waste
LIN
Column
Air
HEX
MPC-on-a-chip – Perspectives

Type 2 – medium scale and cost
industrial processes with medium/fast
dynamics
 Limited
Control hardware/software availability
 Online optimization/MPC usually prohibitive
 Multi-parametric MPC ideal – proved in
previous applications (Air Separation,
Automotive)
MPC-on-a-chip – Perspectives

Type 3 – small scale and inexpensive
processes/equipment with medium/fast
dynamics
Patient
MPC-on-a-Chip
Mechanical
Pump
Glucose
Sensor
MPC-on-a-chip – Perspectives

Type 3 – small scale and inexpensive
processes/equipment with medium/fast
dynamics
 Available
control hardware/software limited not suitable for online MPC
 Multi-parametric MPC technology ideal/
essential
 MPC-on-a-Chip part of embedded (all-in-one)
system
 Suitable for new technologies (FPGA, wireless)
From Multi-Parametric
Programming Theory to
MPC-on-a-chip Multi-scale
Systems Applications
Stratos Pistikopoulos
FOCAPO 2012 / CPC VIII
Download