In this paper we address the speed planning problem for a vehicle along a predefined path. A weighted sum of two conflicting objectives, energy consumption and travel time, is minimized. After deriving a non-convex mathematical model of the problem, we prove that the feasible region of this problem is a lattice. Moreover, we introduce a feasibility-based bound-tightening technique which allows us to derive the minimum and maximum element of the lattice, or establish that the feasible region is empty. We prove the exactness of a convex relaxation of the non-convex problem, obtained by replacing all constraints with the lower and upper bounds for the variables corresponding to the minimum and maximum elements of the lattice, respectively. After proving some properties of optimal solutions of the convex relaxation, we exploit them to develop a dynamic programming approach returning an approximate solution to the convex relaxation, and with time complexity O(n2), where n is the number of points into which the continuous path is discretized. (c) 2025 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).
A convex reformulation for speed planning of a vehicle under the travel time and energy consumption objectives / Consolini, L.; Laurini, M.; Locatelli, M.. - In: AUTOMATICA. - ISSN 0005-1098. - 185:(2026). [10.1016/j.automatica.2025.112811]
A convex reformulation for speed planning of a vehicle under the travel time and energy consumption objectives
Consolini L.;Laurini M.;Locatelli M.
2026-01-01
Abstract
In this paper we address the speed planning problem for a vehicle along a predefined path. A weighted sum of two conflicting objectives, energy consumption and travel time, is minimized. After deriving a non-convex mathematical model of the problem, we prove that the feasible region of this problem is a lattice. Moreover, we introduce a feasibility-based bound-tightening technique which allows us to derive the minimum and maximum element of the lattice, or establish that the feasible region is empty. We prove the exactness of a convex relaxation of the non-convex problem, obtained by replacing all constraints with the lower and upper bounds for the variables corresponding to the minimum and maximum elements of the lattice, respectively. After proving some properties of optimal solutions of the convex relaxation, we exploit them to develop a dynamic programming approach returning an approximate solution to the convex relaxation, and with time complexity O(n2), where n is the number of points into which the continuous path is discretized. (c) 2025 The Author(s). Published by Elsevier Ltd. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


