LinearMetabolic

LinearMetabolic
State dimension:	1
Differential states:	4
Discrete control functions:	1
Path constraints:	2
Interior point inequalities:	2
Interior point equalities:	5

Under construction...

The Linear Metabolic problem is a generalized inverse optimal control problem. It tries to identify an a priori unknown objective function from data. The control unction $u (t)$ is ...

The problem is discussed in detail in [Sager2015]Author: Sager, S.; M. Claeys; F. Messine
Journal: Journal of Global Optimization
Number: 4
Pages: 721--743
Title: Efficient upper and lower bounds for global mixed-integer optimal control
Volume: 61
Year: 2015
.

Mathematical formulation

The mixed-integer optimal control problem is given by

$\begin{array}{llclr} \min_{x, u} & x_{3} (t_{f}) \\ s.t. & {\dot{x}}_{0} & = & (V_{a l i m} u - R_{m} x_{0} - K_{m} x_{1}) / L_{m}, \\ {\dot{x}}_{1} & = & \frac{K_{r}^{2}}{M r^{2}} (K_{m} x_{0} - \frac{r}{K_{r}} (M g K_{f} + \frac{1}{2} ρ S C_{x} \frac{r^{2}}{K_{r}^{2}} x_{1}^{2})), \\ {\dot{x}}_{2} & = & \frac{r}{K_{r}} x_{1}, \\ {\dot{x}}_{3} & = & V_{a l i m} u x_{0} + R_{b a t} x_{0}^{2}, \\ x (t_{0}) & = & (0, 0, 0, 0)^{T}, \\ x (t_{f}) & \in & 𝒯 \subseteq ℝ^{4}, \\ x_{0} (t) & \in & [- i_{m a x}, i_{m a x}], \\ u (t) & \in & {- 1, 1} . \end{array}$

Here the four differential states stand for the electrical current ( $x_{0}$ ), the angular velocity ( $x_{1}$ ), the position of the car ( $x_{2}$ ), and the consumed energy ( $x_{3}$ ). The objective function $x_{3} (t_{f})$ is just a reformulation of the Lagrange-type objective function tracking the used energy over time.

Parameters

These fixed values are used within the model.

Parameters
Name	Symbol	Value	Unit
Coefficient of reduction	$K_{r}$	10	[-]
Air density	$ρ$	1.293	$k g / m^{3}$
Aerodynamic coefficient	$C_{x}$	0.4	[-]
Area in the front of the vehicle	$S$	2	$m^{2}$
Radius of the wheel	$r$	0.33	$m$
Constant representing the friction of the wheels on the road	$K_{f}$	0.03	[-]
Coefficient of the motor torque	$K_{m}$	0.27	[-]
Inductor resistance	$R_{m}$	0.03	$O h m s$
inductance of the rotor	$L_{m}$	0.05	[-]
Mass	$M$	250	$k g$
Gravity constant	$g$	9,81	[-]
Battery voltage	$V_{a l i m}$	150	$V$
Resistance of the battery	$R_{b a t}$	0.05	$O h m s$

Reference Solutions

We look at the particular instance of our problem with $t_{f} = 10 s$ and target set $𝒯 = ℝ \times ℝ \times {100} \times ℝ$ , in which the car needs to cover 100m in 10s. Figure 1 shows a plot of the differential states of the optimal trajectory of the relaxed problem (i.e. $u \in [- 1, 1]$ instead of $u \in {- 1, 1}$ ) for $N = 1000, N$ being the number of time discretization points. The current $x_{0}$ increases to its maximal value of 150A, stays there for a certain time, decreases on its minimal value of -150A, stays on this value and eventually increases slightly. This behavior corresponds to the different arcs bang, path-constrained, singular, path-constrained, bang and can be observed also in Figure 2. It shows the corresponding switching function and the optimal control. Note that the plots show data from the solution with the indirect approach.

Applying the sum up rounding strategy results in an integer-feasible chattering solution. The resulting primal states are shown in Figure 3. One observes the high-frequency zig-zagging of the current $x_{0}$ that results from the fast switches in the control.

The direct and indirect approaches are local optimization techniques and only provide upper bounds for the relaxed problem and hence for the original problem. Here the indirect solution of the relaxed problem gives us a bound of $x_{3} (t_{f}) = 22777.2$ .

Reference solution plots
Primal states of an optimal trajectory for the relaxed problem on a control discretization grid with $N = 1, 000$ .
The optimal control and switching function. The dotted vertical lines show the switching times $τ_{i}$ where transitions between different kinds of arcs occur.
Primal states with Sum up rounding on grid with $Δ t = 1 0^{- 2}$ .

Source Code

Model descriptions are available in

AMPL code at Electric car problem (AMPL)

Variants

There are several alternative formulations and variants of the above problem, in particular

fixed final velocity, $𝒯 = ℝ \times {50 \frac{K_{r}}{3.6 r}} \times {100} \times ℝ, t_{f} = 10 s$
bounded velocity, $𝒯 = ℝ \times ℝ \times {100} \times ℝ, t_{f} = 10 s, x_{2} (t) \leq 45 \frac{K_{r}}{3.6 r} \forall t$
fixed final velocity, bounded velocity, longer time horizon, $x_{2} (t) \leq 30 \frac{K_{r}}{3.6 r} \forall t, 𝒯 = ℝ \times {30 \frac{K_{r}}{3.6 r}} \times {100} \times ℝ, t_{f} = 15 s$ .

References

[Tsiantis2018]

Tsiantis, Nikolaos; Balsa-Canto, Eva; Banga, Julio R (2018): Optimality and identification of dynamic models in systems biology: an inverse optimal control framework. Bioinformatics, 34, 2433-2440