Jump to content

Oscillating OED: Difference between revisions

From mintOC
 
(5 intermediate revisions by the same user not shown)
Line 5: Line 5:
}}
}}


The '''Oscillating OED problem''' looks for an optimal measurement strategy to determine a single parameter in a one-dimensional [[:Category:ODE model|ODE model]], where can directly measure the single state.
The '''Oscillating OED problem''' looks for an optimal measurement strategy to determine a single parameter in a one-dimensional [[:Category:ODE model|ODE model]], where we can directly measure the single state.


The optimal integer control functions shows [[:Category:Chattering|bang bang]] behavior.
The optimal integer control functions shows [[:Category:Chattering|bang bang]] behavior.
Line 12: Line 12:
For a single parameter <math>p</math> the original initial value problem is given by
For a single parameter <math>p</math> the original initial value problem is given by
<math>
<math>
   \dot{x}(t) =: f(t, p) = 0.2 + 0.8 \cdot t + 0.3 \cdot (\sin(p \cdot t) + \cos(p \cdot t) \cdot p \cdot t) - 2.5 \cdot \sin(50 \cdot t), \quad x(0) = x_0.
   \dot{x}(t) = f(t, p) = 0.2 + 0.8 \cdot t + 0.3 \cdot (\sin(p \cdot t) + \cos(p \cdot t) \cdot p \cdot t) - 2.5 \cdot \sin(50 \cdot t), \quad x(0) = x_0.
</math>
</math>


Line 21: Line 21:
<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} && \text{trace} \; \left( F^{-1}(t_f) \right) \\
  \text{subject to} \\
  \text{subject to} \\
\quad \dot{y}(t) & = & f(t, p) \\
\quad \dot{x}(t) & = & f(t, p) \\
\quad \dot{G}(t) & = & f_p(y(t),p) \\
\quad \dot{G}(t) & = & f_p(x(t),p) \\
\quad \dot{F}(t) & = & w(t)(h_y(y(t))G(t))^T(h_y(y(t))G(t)) \\
\quad \dot{F}(t) & = & w(t)(h_x(x(t))G(t))^T(h_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) & = & 0 \\
\quad G(0) & = & 0 \\
\quad F(0) & = & 0, \\  
\quad F(0) & = & 0, \\  
Line 39: Line 39:
== Parameters ==
== Parameters ==
These fixed values are used within the model:
These fixed values are used within the model:
<p>
 
<math>
{| border="1" align="center" cellpadding="5" cellspacing="0"
  x_0 = 0.1; \quad t_f = 2; \quad \mathcal{W} = [0,1]; \quad M = 0.2; \quad p = 15
|- bgcolor=#c7c7c7
</math>
! Symbol !! Value !! Description
</p>
|-
| align=center | <math>x_0</math> || align=right | 0.1 || Initial value for <math>x</math>
|-
| align=center | <math>p</math> || align=right | 15 || Unknown parameter
|-
| align=center | <math>t_\mathrm{f}</math> || align=right | 2 || Horizon of the control problem
|-
| align=center | <math>\mathcal{W}</math> || align=right | [0,1] || Bounds of measurement function
|-
| align=center | <math>M</math> || align=right | 0.2 || Maximum measurement time
|}


== Reference Solutions ==
== Reference Solutions ==
Line 49: Line 59:
Here is one local solution to the above control problem.
Here is one local solution to the above control problem.


<gallery caption="Reference solution plots" widths="180px" heights="140px" perrow="1">
<gallery caption="Reference solution plots" widths="500px" heights="300px" perrow="1">
  Image:Oscillating OED.png| States and measurement control for <math>p=15</math>. The time <math>t</math> was added as an additional state.
  Image:Oscillating OED.png| States and measurement control for <math>p=15</math>. The time <math>t</math> was added as an additional state.
</gallery>
</gallery>


== Miscellaneous and Further Reading ==
== Miscellaneous and Further Reading ==
The Toy OED problem was introduced by Sebastian Sager in <bib id="Sager2013" />, which contains further details.
This problem was introduced by [[User:SebastianSager | Sebastian Sager]].


== References ==
<biblist />


<!--List of all categories this page is part of. List characterization of solution behavior, model properties, ore presence of implementation details (e.g., AMPL for AMPL model) here -->
<!--List of all categories this page is part of. List characterization of solution behavior, model properties, ore presence of implementation details (e.g., AMPL for AMPL model) here -->

Latest revision as of 08:24, 27 January 2026

Oscillating OED
State dimension: 1
Differential states: 4
Discrete control functions: 1


The Oscillating OED problem looks for an optimal measurement strategy to determine a single parameter in a one-dimensional ODE model, where we can directly measure the single state.

The optimal integer control functions shows bang bang behavior.

Mathematical formulation

For a single parameter p the original initial value problem is given by x˙(t)=f(t,p)=0.2+0.8t+0.3(sin(pt)+cos(pt)pt)2.5sin(50t),x(0)=x0.

We assume both x0 and tf to be fixed and are only interested in when to measure, with an upper bound M on the measuring time. We can measure the state directly, i.e. h(x(t))=x(t).

Now we formulate the OED problem:

minx,G,F,z,wtrace(F1(tf))subject tox˙(t)=f(t,p)G˙(t)=fp(x(t),p)F˙(t)=w(t)(hx(x(t))G(t))T(hx(x(t))G(t))z˙(t)=w(t),x(0)=x0G(0)=0F(0)=0,z(0)=0w(t)𝒲z(tf)M

Parameters

These fixed values are used within the model:

Symbol Value Description
x0 0.1 Initial value for x
p 15 Unknown parameter
tf 2 Horizon of the control problem
𝒲 [0,1] Bounds of measurement function
M 0.2 Maximum measurement time

Reference Solutions

Here is one local solution to the above control problem.

Miscellaneous and Further Reading

This problem was introduced by Sebastian Sager.