Jump to content

Three Tank OED: Difference between revisions

From mintOC
Created page with "{{Dimensions |nd = 1 |nx = 21 |nw = 6 }} The '''Three Tank OED problem''' is a variation of the Three Tank multimode problem. It looks for optimal time intervals to measure the two states in order to minimize the uncertainty of a follow-up parameter estimation problem for the two unknown parameters. The mathematical equations form a small-scale ODE model. It also includes state sensitivities, the Fisher information matr..."
 
Line 15: Line 15:
<math>
<math>
\begin{array}{rcl}
\begin{array}{rcl}
\dot{x}_1(t) & = -\sqrt{x_1(t)}+c_1 w_1(t) + c_2 w_2(t) - w_3(t) \sqrt{c_3 x_1(t)}, && t \in [0,t_f], \quad x_1(0) = 2, \\
\dot{x}_1(t) & =& -\sqrt{x_1(t)}+c_1 u_1(t) + c_2 u_2(t) - u_3(t) \sqrt{c_3 x_1(t)}, && t \in [0,t_f], \quad x_1(0) = 2, \\
\dot{x}_2(t) & = \sqrt{x_1(t)}-\sqrt{x_2(t)}, && t \in [0,t_f], \quad x_2(0) = 2, \\
\dot{x}_2(t) & =& \sqrt{x_1(t)}-\sqrt{x_2(t)}, && t \in [0,t_f], \quad x_2(0) = 2, \\
\dot{x}_3(t) & = \sqrt{x_2(t)}-\sqrt{x_3(t)} + w_3(t) \sqrt{c_3 x_1(t)}, && t \in [0,t_f], \quad x_3(0) = 2.
\dot{x}_3(t) & =& \sqrt{x_2(t)}-\sqrt{x_3(t)} + u_3(t) \sqrt{c_3 x_1(t)}, && t \in [0,t_f], \quad x_3(0) = 2.
\end{array}  
\end{array}  
</math>
</math>
</p>
</p>
Additionally, the controls <math>w_1,w_2,</math> and <math>w_3</math> are constrained by:
Additionally, the controls <math>u_1,u_2,</math> and <math>u_3</math> are constrained by:
 
<math>
<math>
  \sum_{i=1}^3 w_i(t) = 1 \quad \forall t\in [0,t_f]
  \sum_{i=1}^3 wui(t) = 1 \quad \forall t\in [0,t_f]
</math>
</math>


The initial values and <math>t_f = 10</math> are fixed. We are interested in how to choose the control <math>u</math> and when to measure, with an upper bound <math>M</math> on the measuring time. We can measure the states directly, <math>h^1(x(t)) = x_1(t)</math> and <math>h^2(x(t)) = x_2(t)</math>. We use two different sampling functions, <math>w^1(\cdot)</math> and <math>w^2(\cdot)</math> in the same experimental setting. This can be seen either as a two-dimensional measurement function <math>h(x(t))</math>, or as a special case of a multiple experiment, in which <math>u(\cdot), x(\cdot)</math>, and <math>G(\cdot)</math> are identical.
The initial values and <math>t_f = 12</math> are fixed. We are interested in how to choose the controls <math>u_i, \ i=1,2,3,</math> and when to measure, with an upper bound <math>M</math> on the measuring time. We can measure the states directly, i.e., <math>h^i(x(t)) = x_i(t), \ i=1,2,3</math>. We use three different sampling functions, <math>w^i(\cdot), \ i=1,2,3,</math> in the same experimental setting. This can be seen either as a three-dimensional measurement function <math>h(x(t))</math>, or as a special case of a multiple experiment, in which <math>u(\cdot), x(\cdot)</math>, and <math>G(\cdot)</math> are identical.


Now we formulate the OED problem with <math>\theta := (p_1, p_2)</math>:
Now we formulate the OED problem with <math>\theta := (p_1, p_2)</math>:
Line 38: Line 39:
\quad \dot{F}(t) & = & \sum_{i=1}^{n_o} w_i(t)(h^i_x(x(t))G(t))^T(h^i_x(x(t))G(t)) \\
\quad \dot{F}(t) & = & \sum_{i=1}^{n_o} w_i(t)(h^i_x(x(t))G(t))^T(h^i_x(x(t))G(t)) \\
\quad \dot{z}(t) & = & w(t), \\
\quad \dot{z}(t) & = & w(t), \\
\quad x(0) & = & x_0 \\
\quad x(0) & = & (2,2,2) \\
\quad G(0) & = & \frac{\partial x(0)}{\partial \theta} \\
\quad G(0) & = & \frac{\partial x(0)}{\partial \theta} \\
\quad F(0) & = & I \cdot \varepsilon_{\mathrm{reg}}, \\  
\quad F(0) & = & I \cdot \varepsilon_{\mathrm{reg}}, \\  
Line 50: Line 51:
</p>
</p>


The evolution of the symmetric matrix <math>F: \left[0,t_f \right] \rightarrow \mathbb{R}^{2 \times 2}</math> is given by the weighted sum of observability Gramians
The evolution of the symmetric matrix <math>F: \left[0,t_f \right] \rightarrow \mathbb{R}^{3 \times 3}</math> is given by the weighted sum of observability Gramians
<math>h^i_x (x(t)) G(t), \ i = 1,2</math> for each observed function of states.
<math>h^i_x (x(t)) G(t), \ i = 1,2,3,</math> for each observed function of states.


== Parameters ==
== Parameters ==

Revision as of 09:46, 26 March 2026

Three Tank OED
State dimension: 1
Differential states: 21
Discrete control functions: 6


The Three Tank OED problem is a variation of the Three Tank multimode problem. It looks for optimal time intervals to measure the two states in order to minimize the uncertainty of a follow-up parameter estimation problem for the two unknown parameters.

The mathematical equations form a small-scale ODE model. It also includes state sensitivities, the Fisher information matrix entries and integrated sampling states.

Mathematical formulation

We are interested in estimating the parameters c1,c2, and c3 of the initial value problem

x˙1(t)=x1(t)+c1u1(t)+c2u2(t)u3(t)c3x1(t),t[0,tf],x1(0)=2,x˙2(t)=x1(t)x2(t),t[0,tf],x2(0)=2,x˙3(t)=x2(t)x3(t)+u3(t)c3x1(t),t[0,tf],x3(0)=2.

Additionally, the controls u1,u2, and u3 are constrained by:

i=13wui(t)=1t[0,tf]

The initial values and tf=12 are fixed. We are interested in how to choose the controls ui, i=1,2,3, and when to measure, with an upper bound M on the measuring time. We can measure the states directly, i.e., hi(x(t))=xi(t), i=1,2,3. We use three different sampling functions, wi(), i=1,2,3, in the same experimental setting. This can be seen either as a three-dimensional measurement function h(x(t)), or as a special case of a multiple experiment, in which u(),x(), and G() are identical.

Now we formulate the OED problem with θ:=(p1,p2):

minx,G,F,z,w,utrace(F1(tf))subject tox˙(t)=f(x(t),u(t),θ)G˙(t)=fx(x(t),u(t),θ)G(t)+fθ(x(t),u(t),θ)F˙(t)=i=1nowi(t)(hxi(x(t))G(t))T(hxi(x(t))G(t))z˙(t)=w(t),x(0)=(2,2,2)G(0)=x(0)θF(0)=Iεreg,z(0)=0x1(t)𝒳u(t)𝒰w(t)𝒲zi(tf)Mi

The evolution of the symmetric matrix F:[0,tf]3×3 is given by the weighted sum of observability Gramians hxi(x(t))G(t), i=1,2,3, for each observed function of states.

Parameters

These fixed values are used within the model:

Symbol Value Description
p1 1 Unknown parameter
p2 1 Unknown parameter
tf 10 Horizon of the control problem
εreg 0.1 Regularization of Fisher matrix
𝒳 [-0.5,] Bounds of x1
𝒰 [-1,1] Bounds of control function
𝒲 [0,1] Bounds of measurement function
M1,M2 2 Maximum measurement time

Reference Solutions

Here is one local solution to the above control problem.

References

There were no citations found in the article.