Difference between revisions of "Fuller's initial value problem"
ClemensZeile (Talk | contribs) (→Reference Solutions) |
ClemensZeile (Talk | contribs) |
||
| Line 23: | Line 23: | ||
</math> | </math> | ||
</p> | </p> | ||
| − | |||
== Parameters == | == Parameters == | ||
We use <math>x_S = x_T = (0.01, 0)^T</math>. | We use <math>x_S = x_T = (0.01, 0)^T</math>. | ||
| − | |||
== Reference Solutions == | == Reference Solutions == | ||
Revision as of 17:31, 8 January 2018
| Fuller's initial value problem | |
|---|---|
| State dimension: | 1 |
| Differential states: | 2 |
| Discrete control functions: | 1 |
| Interior point equalities: | 2 |
This site describes a Fuller's problem variant with no terminal constraints and additional Mayer term for penalizing deviation from given reference values.
Mathematical formulation
For ![t \in [t_0, t_f]](https://mintoc.de/images/math/5/5/8/55823791d9100bcb5461801aff4f6edd.png)
almost everywhere the mixed-integer optimal control problem is given by
![\begin{array}{llcl}
\displaystyle \min_{x, w} & \int_{0}^{1} x_0^2 & \; \mathrm{d} t + (x(t_f)-x_T)^2 \\[1.5ex]
\mbox{s.t.} & \dot{x}_0 & = & x_1, \\
& \dot{x}_1 & = & 1 - 2 \; w, \\[1.5ex]
& x(0) &=& x_S, \\
& w(t) &\in& \{0, 1\}.
\end{array}](https://mintoc.de/images/math/7/1/a/71a83f42ca9d2be779a927afe4c187cd.png)
Parameters
We use 
.
Reference Solutions
If the problem is relaxed, i.e., we demand that 
be in the continuous interval ![[0, 1]](https://mintoc.de/images/math/c/c/f/ccfcd347d0bf65dc77afe01a3306a96b.png)
instead of the binary choice 
, the optimal solution can be determined by means of direct optimal control.
The optimal objective value of the relaxed problem with 
is 
. The objective value of the binary controls obtained by Combinatorial Integral Approimation (CIA) is 
.
- Reference solution plots
Optimal relaxed states determined by an direct approach with ampl_mintoc (Radau collocation) and
.
Optimal relaxed controls.
Optimal differential states trajectories of binary controls determined by an direct approach (Radau collocation) with ampl_mintoc and
. The relaxed controls were approximated by Combinatorial Integral Approximation.
Optimal binary controls.
