Incremental Identification of Reaction Systems
Minimal Number of Measurements
- J. Billeter, S. Srinivasan and D. Bonvin
Laboratoire d’Automatique EPFL, Lausanne, Switzerland
AIChE Annual Meeting 2012, Pittsburgh, PA
Incremental identification 1 / 20
Incremental Identification of Reaction Systems Minimal Number of - - PowerPoint PPT Presentation
Incremental Identification of Reaction Systems Minimal Number of Measurements J. Billeter, S. Srinivasan and D. Bonvin Laboratoire dAutomatique EPFL, Lausanne, Switzerland AIChE Annual Meeting 2012, Pittsburgh, PA Incremental identification
Incremental identification 1 / 20
Incremental identification 2 / 20
Incremental identification 3 / 20
Incremental identification 4 / 20
m(t) n(t), n(0) = n0 (S) (S × R) (R) (S × p) (p)
S Mw n(t), V (t) = m(t) ρ(t) , c(t) = n(t) V (t)
Incremental identification 5 / 20
ml(t) nl(t), nl(0) = nl0
(Sl ) (Sl × Rl ) (Rl ) (Sl × pl ) (pl ) (Sl × pm) (pm)
mg (t) ng(t), ng(0) = ng0
(Sg ) (Sg × pg ) (pg ) (Sg × pm) (pm) Incremental identification 6 / 20
(.)dt Library of rate laws Rate law candidates
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws uin,l(t) uout,l(t)
nl(t)
nl (t) Wm,l
Simultaneous approach
N ml(t) Vl(t)
1 1 nl
Number of measurements as required for identifiability
(t) LS problem
Incremental identification 7 / 20
(.)dt Library of rate laws Rate law candidates Rate
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws
r i ˆ r i
uin,l(t) uout,l(t)
nl(t)
nl (t)
n (t)
RMV
Wm,l
NT Wm,l
[ ]+
ζj ˆ ζ j
Simultaneous approach Incremental rate-based approach
N ml(t) Vl(t) Vl(t)
1 2 1 2 S ≥ R + pm nl uin,l(t) Win,l
ml(t)
uout,l(t)
n in RMV form l
at least R + pm measurements
dnl(t) dt
.
. (t) (t) (t) (t) (t) LS problem LS problem
˙ nRMV
l
(t) = ˙ nl (t) − Win,l uin,l (t) +
uout,l (t) ml (t)
nl (t) Incremental identification 8 / 20
(.)dt Library of Rate law candidates (.)dt Rate
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws
r i ˆ r i
uin,l(t) uout,l(t)
nl(t)
nl (t)
n (t)
RMV
Wm,l
NT Wm,l
[ ]+
ξr,i ξm,j ζj ˆ ζ j ξr,i
ˆ
ξm,j
ˆ Extent
Simultaneous approach Incremental rate-based approach Incremental extent-based approach
N ml(t) Vl(t) Vl(t)
1 2 3 1 2 3 S ≥ R + pm S ≥ R + pm nl uin,l(t) Win,l
ml(t)
uout,l(t)
n in RMV form
NT Wm,l
[ ]+
l
at least R + pm measurements
n in RMV form dnl(t) dt
.
. n (t)
RMV l
(t) (t) (t) (t) (t) (t) (t) (t) (t) LS problem LS problem
nRMV
l
(t) = nl (t) − nl0 − Win,l R t
0 uin,l (τ)dτ
+ R t
uout,l (τ) ml (τ)
nl (τ)dτ ˙ nRMV
l
(t) = ˙ nl (t) − Win,l uin,l (t) +
uout,l (t) ml (t)
nl (t) Incremental identification 9 / 20
Incremental identification 10 / 20
space of reaction extents
inlet extents space of inlet extents
reaction extents invariant space .
Amrhein et al. (2010), AIChE Journal, 56(11), 2873-2886. Incremental identification 11 / 20
space of vessel extents of reaction space of discounting factor invariant space . space of vessel extents of inlet flow
1 Bhatt et al. (2010), I&EC Research, 49:7704-7717
Incremental identification 12 / 20
space of reaction extents space of liquid-inlet extents space of discounting factor invariant space space of mass-transfer extents space of gas-inlet extents space of mass-transfer extents space of discounting factor invariant space
l0
in,l0
m,l0
l0
l0
in,g0
g0
g0
g0
Bhatt et al. (2010), I&EC Research, 49(17), 7704-7717. Incremental identification 13 / 20
(.)dt (.)dt Library of rate laws Rate law candidates (.)dt Rate
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws
x r,i ˆ x r,i r i ˆ r i
uin,l(t) uout,l(t)
nl(t)
nl (t)
n (t)
RMV
Wm,l
NT Wm,l
[ ]+
Win,l N
[ nl0]+
T Wm,l
x m,l,j ξr,i ξm,j
ζj ˆ ζ j ξr,i ˆ ξm,j ˆ ˆ x m,l,j Extent Vessel extent
Simultaneous approach Incremental rate-based approach Incremental extent-based approach
N ml(t) Vl(t) Vl(t)
1 2 3 1 2 3 3 S ≥ R + pm S ≥ R + pm S ≥ R + pm + pl + 1 nl uin,l(t) Win,l
ml(t)
uout,l(t)
n in RMV form
NT Wm,l
[ ]+
l
Number of measurements
n in RMV form dnl(t) dt
.
. n (t)
RMV l
(t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) LS problem LS problem LS problem
nRMV
l
(t) = nl (t) − nl0 − Win,l R t
0 uin,l (τ)dτ
+ R t
uout,l (τ) ml (τ)
nl (τ)dτ ˙ nRMV
l
(t) = ˙ nl (t) − Win,l uin,l (t) +
uout,l (t) ml (t)
nl (t) Incremental identification 14 / 20
Incremental identification 15 / 20
g
g
Incremental identification 16 / 20
l
T Wml ,l
l
Incremental identification 17 / 20
(.)dt (.)dt Library of rate laws Rate law candidates (.)dt Rate
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws
x r,i ˆ x r,i r i ˆ r i
uin,l(t) uout,l(t)
nl(t)
nl (t)
n (t)
RMV
nl
RMV(t)
Wm,l
NT Wm,l
[ ]+
Win,l N
[ nl0]+
T Wm,l
x m,l,j ξr,i ξm,j
ζj ˆ ζ j ξr,i ˆ ξm,j ˆ ˆ x m,l,j Extent Vessel extent
Simultaneous approach Incremental rate-based approach Incremental extent-based approach
N ml(t) Vl(t)
uin,l(t) Win,l
Vl(t)
1 2 3 1 2 3 3 S ≥ R + pm S ≥ R + pm S ≥ R + pm S ≥ R + pm + pl + 1 nl uout,l(t) uin,l(t) Win,l
ml(t)
uout,l(t)
n in vessel RMV form n in RMV form ~
NT Wm,l
[ ]+
l ml(t)
NT Wm,l
[ ]+
Number of measurements
n in RMV form dnl(t) dt
.
. n (t)
RMV l
(t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) LS problem LS problem LS problem
nRMV
l
(t) = nl (t) − nl0 − Win,l R t
0 uin,l (τ)dτ
+ R t
uout,l (τ) ml (τ)
nl (τ)dτ ˜ nRMV
l
(t) = nl (t) − Win,l xin,l (t) − nl0λl (t) ˙ xin,l (t) = uin,l (t) −
uout,l (t) ml (t)
xin,l (t) xin,l (0) = 0 ˙ λl (t) = −
uout,l (t) ml (t)
λl (t) λl (0) = 1 ˙ nRMV
l
(t) = ˙ nl (t) − Win,l uin,l (t) +
uout,l (t) ml (t)
nl (t) Incremental identification 18 / 20
(.)dt (.)dt Library of rate laws Rate law candidates (.)dt Rate
ˆ
Win,l numbers
Fat: data regarding the global reaction system Lean: data specific to a single reaction, mass transfer Experimental data flow Simulated data flow Information flow Identified rate laws
x r,i ˆ x r,i r i ˆ r i
uin,l(t) uout,l(t)
nl(t)
nl (t)
n (t)
RMV
nl
RMV(t)
Wm,l
NT Wm,l
[ ]+
Win,l N
[ nl0]+
T Wm,l
x m,l,j ξr,i ξm,j
ζj ˆ ζ j ξr,i ˆ ξm,j ˆ ˆ x m,l,j Extent Vessel extent
Simultaneous approach Incremental rate-based approach Incremental extent-based approach
N ml(t) Vl(t)
uin,l(t) Win,l
Vl(t)
1 2 3 1 2 3 3 S ≥ R + pm S ≥ R + pm S ≥ R + pm S ≥ R + pm + pl + 1 nl uout,l(t) uin,l(t) Win,l
ml(t)
uout,l(t)
n in vessel RMV form n in RMV form ~
NT Wm,l
[ ]+
l ml(t)
NT Wm,l
[ ]+
Number of measurements
n in RMV form dnl(t) dt
.
. n (t)
RMV l
(t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) (t) LS problem LS problem LS problem
nRMV
l
(t) = nl (t) − nl0 − Win,l R t
0 uin,l (τ)dτ
+ R t
uout,l (τ) ml (τ)
nl (τ)dτ ˜ nRMV
l
(t) = nl (t) − Win,l xin,l (t) − nl0λl (t) ˙ xin,l (t) = uin,l (t) −
uout,l (t) ml (t)
xin,l (t) xin,l (0) = 0 ˙ λl (t) = −
uout,l (t) ml (t)
λl (t) λl (0) = 1 ˙ nRMV
l
(t) = ˙ nl (t) − Win,l uin,l (t) +
uout,l (t) ml (t)
nl (t)
Differentiation
scarce data Incremental identification 19 / 20
l
l
l
Incremental identification 20 / 20