View source for Truck cruise control

{{Dimensions
|nd        = 1
|nx        = 2
|nw        = 1
|nre       = 2
}}


The truck cruise control problem uses a quite simple truck model. It realizes several objective criteria as fuel consumption, traveling time and driver comfort are competing against each other. The problem is formulated in terms of the traveled distance.

== Mathematical formulation (under construction) ==

For <math>s \in [0, s_f]</math> almost everywhere the mixed-integer optimal control problem is given by

<math>
\begin{alignat}{2}
& \displaystyle \min_{x, u, w} && \lambda_\text{dev} \Phi_\text{dev} + \lambda_\text{fuel} \Phi_\text{fuel} + \lambda_\text{comf} \Phi_\text{comf} \\[1.5ex]
& \mbox{s.t.} 
 & \dot{x}_0 & = \frac{1}{m x_0} \left( M_\text{acc} - \frac{i_A}{r_\text{stat}}M_\text{brk} - M_\text{air} - M_\text{road} \right) \\
&& \dot{x}_1 & = \frac{1}{x_0} Q_\text{fuel} (neng, u_0) \\
&& \dot{x}_2 & = -4.208 \; x_0 - 0.396 \; x_2 - 0.47 \; x_0^2 - 3.564 \; x_0^3 \\
&&           & \quad - 20.967 \; w + 6.265 \; x_0^2 \; w + 46 \; x_0 \; w^2 + 61.4 \; w^3 \\ 
&& x(0)      & = (0.4655,0,0)^T, \\
&& x(T)      & = (0,0,0)^T, \\
&& w(t)      & \in \{-0.05236,0.05236\}.
\end{alignat}
</math>

<math>\textstyle x_0</math> is the velocity of the truck in m/s, <math>\textstyle x_1</math> is the fuel consumption in liters, the control function <math>\textstyle u_0</math> is the induced engine torque in Nm, <math>\textstyle u_1</math> is the combined engine brake torque. This model goes back to Garrard<bib id="Garrard1977" />.

The equality constraints <math>r^{\text{eq}}(\cdot)</math> will often fix the initial values, i.e., <math>x(0) = x_0</math>, or impose a [[:Category:Periodic | periodicity]] constraint.

== Extensions (under construction) ==
* For some problems the functions may as well depend explicitely on the time <math>t</math>.
* The differential equations might depend on [[:Category:State dependent switches | state-dependent switches]].
* The variables may include [[:Category:Boolean variables | boolean variables]].
* The underlying process might be a [[:Category:Multistage process | multistage process]].
* The dynamics might be [[:Category:Unstable | unstable]].
* There might be an underlying [[:Category:Network topology | network topology]].
* The integer control functions might have been (re)formulated by means of an [[:Category:Outer convexification|outer convexification]].

Note that a Lagrange term <math>\int_{t_0}^{t_f} L( x(t), u(t), v(t), q, \rho) \; \mathrm{d} t</math> can be transformed into a Mayer-type objective functional.


[[Category: MIOCP]] [[Category: ODE model]]