Jump to content

Jackson OED: Difference between revisions

From mintOC
Line 28: Line 28:
<math>
<math>
  \begin{array}{lll}
  \begin{array}{lll}
  \displaystyle \min_{y,G,F,z,w} && \text{trace} \; \left( F^{-1}(t_f) \right) \\
  \displaystyle \min_{x,G,F,z,w,u} && \text{trace} \; \left( F^{-1}(t_f) \right) \\
  \text{subject to} \\
  \text{subject to} \\
\quad \dot{y}(t) & = & f(y(t),\theta) \\
\quad \dot{x}(t) & = & f(x(t),\theta) \\
\quad \dot{G}(t) & = & f_y(y(t),\theta) G(t) + f_\theta(y(t),\theta) \\
\quad \dot{G}(t) & = & f_x(x(t),\theta) G(t) + f_\theta(x(t),\theta) \\
\quad \dot{F}(t) & = & \sum_{i=1}^{n_o} w_i(t)(h^i_y(y(t))G(t))^T(h^i_y(y(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 y(0) & = & y_0 \\
\quad x(0) & = & x_0 \\
\quad G(0) & = & \frac{\partial y(0)}{\partial \theta} \\
\quad G(0) & = & \frac{\partial x(0)}{\partial \theta} \\
\quad F(0) & = & 0, \\  
\quad F(0) & = & 0, \\  
\quad z(0) & = & 0 \\
\quad z(0) & = & 0 \\
\quad x(t) & \in & \mathcal{X} \\
\quad u(t) & \in & \mathcal{U} \\
\quad w(t) & \in & \mathcal{W} \\
\quad w(t) & \in & \mathcal{W} \\
\quad z_i(t_f) & \leq & M_i
\quad z_i(t_f) & \leq & M_i
Line 45: Line 47:


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}^{2 \times 2}</math> is given by the weighted sum of observability Gramians
<math>h^i_y (y(t)) G(t), \ i = 1,2</math> for each observed function of states.
<math>h^i_x (x(t)) G(t), \ i = 1,2</math> for each observed function of states.


== Parameters ==
== Parameters ==

Revision as of 07:39, 27 January 2026

Jackson OED
State dimension: 1
Differential states: 13
Discrete control functions: 3


The Jackson OED problem is a variation of the Jackson problem. It looks for optimal time intervals to measure the three 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 k1 and k2 of the initial value problem

x1˙(t)=u(t)(k1x1(t)k2x2(t)),t[0,tf],x1(0)=1,x2˙(t)=u(t)(k1x1(t)k2x2(t))(1u(t))k3x2(t),t[0,tf],x2(0)=0,x3˙(t)=(1u(t))k3x2(t),t[0,tf],x3(0)=0.

The initial values and tf=1 are fixed. We are interested in how to choose the control u and when to measure, with an upper bound M on the measuring time. We can measure the states x1 and x2 directly, h1(x(t))=x1(t) and h2(x(t))=x2(t). We use two different sampling functions, w1() and w2() in the same experimental setting. This can be seen either as a two-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:

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

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

Parameters

We use tf=8, α=0.75, and c=1. The upper bound on the measurement time intervals is chosen as M1=M2=2.

Reference Solutions

Here is one local solution to the above control problem.

References

There were no citations found in the article.