Truck cruise control

Truck cruise control
State dimension:	1
Differential states:	3
Discrete control functions:	1
Interior point equalities:	6

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 $s\in [0,s_f]$ almost everywhere the mixed-integer optimal control problem is given by

$\begin{array}{rlrl}& \underset{x,u,w}{\min }& & {\lambda }_{\text{dev}}{\mathrm{\Phi }}_{\text{dev}}+{\lambda }_{\text{fuel}}{\mathrm{\Phi }}_{\text{fuel}}+{\lambda }_{\text{comf}}{\mathrm{\Phi }}_{\text{comf}}\\ & \text{s.t.}& {\dot{x}}_0& =\frac{1}{m{x}_0}(M_{\text{acc}}-\frac{i_A}{r_{\text{stat}}}{M}_{\text{brk}}-M_{\text{air}}-M_{\text{road}})\\ & & {\dot{x}}_1& =\frac{1}{x_0}{Q}_{\text{fuel}}(neng,u_0)\\ & & {\dot{x}}_2& =-4.208x_0-0.396x_2-0.47x_0^2-3.564x_0^3\\ & & & -20.967w+6.265x_0^{2}w+46x_0{w}^2+61.4w^3\\ & & x(0)& =(0.4655,0,0{)}^T,\\ & & x(T)& =(0,0,0{)}^T,\\ & & w(t)& \in \{-0.05236,0.05236\}.\end{array}$

$x_0$ is the velocity of the truck in m/s, $x_1$ is the fuel consumption in liters, the control function $u_0$ is the induced engine torque in Nm, $u_1$ is the combined engine brake torque. This model goes back to Garrard[Garrard1977]Author: Garrard, W.L.; Jordan, J.M.
Journal: Automatica
Pages: 497--505
Title: Design of Nonlinear Automatic Control Systems
Volume: 13
Year: 1977
.

The equality constraints $r^{\text{eq}}(\cdot )$ will often fix the initial values, i.e., $x(0)=x_0$, or impose a periodicity constraint.

Extensions (under construction)

• For some problems the functions may as well depend explicitely on the time $t$.
• The differential equations might depend on state-dependent switches.
• The variables may include boolean variables.
• The underlying process might be a multistage process.
• The dynamics might be unstable.
• There might be an underlying network topology.
• The integer control functions might have been (re)formulated by means of an outer convexification.

Note that a Lagrange term $\underset{t_0}{\overset{t_f}{\int }}L(x(t),u(t),v(t),q,\rho )\mathrm{d}t$ can be transformed into a Mayer-type objective functional.