REVIEW 4 major objections 5 minor 54 references
Optimal Control of ODE Car-Following Models: Applications to Mixed-Autonomy Platoon Control via Coupled Autonomous Vehicles
T0 review · 4 major / 5 minor · reviewed 2026-08-05 · deepseek-v4-flash
Pith's one-line read A rigorous optimal control formulation for a mixed-autonomy platoon with the Bando-FtL model is shown to have a minimizer and is solved by adjoint gradient descent, with simulations showing large reductions in acceleration and fuel use for one to five autonomous vehicles.
desk verdict Solid existence theory fixes a gap in prior work; the numerical claims are not yet supported by the experiments as reported. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
The theoretical part shows that this optimization problem is well posed. They prove that, with admissible controls, the vehicles' trajectories exist and depend continuously on the control, and that a minimizer exists under a convexity assumption on the cost. The proof uses the fact that the Bando-FtL model guarantees a minimum headway no matter what the leader does, a property taken from an earlier paper by two of the same authors.
The numerical part uses a gradient descent method with adjoint-based gradients, plus penalties for the safety constraints. In simulations on a measured highway trajectory from I-24, one AV placed just behind the leader cuts the platoon's total squared acceleration by about 70% and estimated fuel use by about 16% compared to an all-human platoon. Five AVs cut acceleration by about 85% and fuel by 26%, with diminishing returns. But the human model is not calibrated to the data, and the results are not benchmarked against existing controllers, so the absolute percentages should be read as an upper-bound-style illustration, not a field measurement.
Extended reading notes
Core claim
Theorem 4.3: given Assumptions 2.1-2.3, convex running cost L and final cost S, and sufficiently small amin, the optimal control problem in Definition 2.10 admits a minimizer u* in U. Numerically, Algorithm 1 on the I-24 trajectory produces a 70.4% reduction in total L2 acceleration with one AV and 84.6% with five AVs (Table 1).
Load-bearing premise
The paper relies on Theorem 3.3, whose proof is not in this paper but is cited from [17], for the global well-posedness and the uniform lower bounds on headway and velocity (eqs. 12-14) of the Bando-FtL model. Lemma 4.1 and Theorem 4.3 depend on these bounds to ensure the control-to-state map is continuous and the admissible set U is nonempty; if the bounds fail for any admissible leader trajectory, the existence proof collapses. The numerical experiments additionally assume that Bando-FtL with alpha=0.1, beta=525 and the unstated vmax, ds, l reproduces human driving on I-24.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies optimal control of a single-lane mixed-autonomy platoon with a prescribed leader trajectory. Human-driven vehicles follow the Bando-Follow-the-Leader (Bando-FtL) model, while autonomous vehicles have directly controlled acceleration. The authors define an admissible control set with acceleration bounds, nonnegative velocity, and a minimum safety gap for the AVs. Their main theoretical result (Theorem 4.3) asserts existence of a minimizer for a convex running cost and C^1 terminal cost, relying on well-posedness and headway/velocity bounds for Bando-FtL from [17]. They propose a direct adjoint-based gradient descent method with a penalty formulation for state constraints, and report numerical experiments on an I-24 trajectory showing large reductions in total L2 acceleration and fuel consumption as the number of AVs increases. The exposition is generally clear, but several load-bearing proof steps and the numerical validation need correction.
Significance. If completed and corrected, the existence theorem is a meaningful contribution: it transfers the known well-posedness of Bando-FtL into an optimal-control guarantee for a convex-in-control problem under explicit safety constraints. The reliance on [17] is legitimate and not circular, and the one-sided coupling structure is exploited cleanly. The numerical algorithm is standard in spirit, but the adjoint derivation currently has sign errors, and the experiments are under-specified; the applied claims in Table 1 are therefore not yet supported. The framework is potentially useful for benchmarking AV smoothing controllers, provided the numerical section is made reproducible and compared against existing controllers.
major comments (4)
- [§3, Corollary 3.4, Eq. (16)-(17)] The constructed braking control has a dimensional error: amin := -v° / (2d) has units 1/s, not m/s^2. Solving (15) gives amin = -(v°)^2 / (2(x_l(0)-x_1(0)-l-dsafe)) and T* = 2(...)/v°. As written, with v°=10 m/s and d=20 m, the claimed amin=-0.25 m/s^2 stops far too late. The zero-velocity case v°=0 is also not covered. Since U ≠ ∅ is needed for Theorem 4.3, the proof must be corrected; this is fixable but not merely cosmetic.
- [§4.1, Theorem 4.3 proof] The final chain J(u*) = lim_n J(y_n,u*) ≤ lim_n J(y_n,u_n) is not justified as stated. The pointwise inequality J(y_n,u*) ≤ J(y_n,u_n) need not hold for a weak-star limit. The correct argument is to use convexity and the established uniform convergence of states to show J(u*) ≤ liminf_n J(u_n). Please rewrite the limiting step explicitly. This is load-bearing because the existence conclusion depends on it.
- [§5.1, Eq. (30)-(32), (40)] The variational derivative of the constraint term in H should be ζ^T(δ\dot y - f_y δy - f_u δu), not ζ^T(δ\dot y + f_y δy + f_u δu). With the printed signs, the adjoint equation and the gradient G_i = L_{u_i} - ζ_{i+|I|} are incorrect: for L(u)=u^2, S=0, one obtains G=2u, which is the direction of steepest ascent, not descent. This sign error affects the core of Algorithm 1 and the numerical results. Please verify and correct the adjoint derivation.
- [§6.2, Table 1] The numerical validation is not reproducible and does not support the headline reductions. The optimal velocity function (8) depends on vmax and ds, and the dynamics depend on l, but none are reported; initial conditions are also omitted. The Bando-FtL parameters α=0.1, β=525 are not calibrated to the I-24 data, and no baseline controller is compared (the conclusion acknowledges this). Since the objective being optimized is the same L2-acceleration metric reported in Table 1, the acceleration reductions are not independent evidence; the fuel metric is independent but inherits the uncalibrated dynamics. The abstract also promises experiments on 'distributions of controlled vehicles', but only one fixed distribution is tested.
minor comments (5)
- [Definition 2.7] Typo: 'saftey' should be 'safety'.
- [§5.3, Eq. (47)-(53)] The grid indexing is inconsistent: p is called a positive real in (47), but it is a count; in (53), t_p=T should presumably be t_r, and the quantifier uses j while the set index is i/r.
- [§5.1, Eq. (28)] The first-variation formula should include \tilde u(t) in the L_u term and evaluate the terminal term at \tilde u(T); as written the expression is dimensionally inconsistent.
- [Definition 3.1 and references] The Bando-FtL model is attributed to [12], but [12] is the Delle Monache et al. reference; the original Bando model is [4] and the Bando-FtL well-posedness is [17]. Please check the citation.
- [§6.1] The text says box constraints on the control are not imposed in the experiments. This means Theorem 4.3, which assumes controls in U with finite amin, amax, does not directly cover the numerical problem; a remark should clarify the theoretical status of the unconstrained instance.
Circularity Check
No significant circularity: existence proof is self-contained modulo an independent prior well-posedness theorem; numerical L2 metric is self-referential but not a derivation-step.
full rationale
The main theoretical result (Theorem 4.3) is obtained by the standard direct method: take a minimizing sequence, use weak-* compactness from the L∞ box constraints on the controls, pass to the limit in the safety constraints using Lemma 4.1 (control-to-state continuity), and rely on convexity of the running cost for weak lower semicontinuity. No step defines the minimizer in terms of the objective or fits a parameter to the result. The only imported mathematical fact is Theorem 3.3, whose proof is omitted and cited to [17] (Gong and Keimer, 2023). This is a self-citation and is load-bearing for Lemma 4.1 and Corollary 3.4, but [17] is a published, parameter-free well-posedness theorem about the Bando-FtL model; its assumptions do not include the optimal control problem or its minimizer. Under the review rules, that citation is independent support and does not by itself constitute circularity. In the numerical section, the paper optimizes exactly the L2-acceleration objective in eq. (56) and then reports the reduction in total L2 acceleration in Table 1; the paper explicitly acknowledges that this metric is also the objective function. Thus the 70.42% acceleration figure is a self-referential measure of the optimizer's own loss rather than an independent validation. However, the paper also reports an independent fuel-consumption metric (eq. (57), Table 1), and no fitted constants feed the theoretical derivation. The remaining issues — unreported values for vmax, ds, and l, uncalibrated Bando-FtL parameters, and the absence of a benchmark controller (explicitly left to future work in the conclusion) — are reproducibility and validation concerns, not circularity. Therefore no circular derivation step is present; the score reflects the minor self-referential numerical metric and the self-cited but independent Theorem 3.3.
Assumptions & free parameters
free parameters (8)
- alpha (Bando-FtL sensitivity) =
0.1
- beta (Bando-FtL velocity difference sensitivity) =
525
- vmax (optimal velocity function parameter)
- ds (optimal velocity safety distance)
- l (vehicle length)
- dsafe (safety distance constraint) =
5 m
- dmax (maximum headway constraint) =
120 m
- mu (penalty parameter)
assumptions (6)
- domain assumption Well-posedness and bounds for Bando-FtL (Theorem 3.3), proof in [17]
- domain assumption Leader trajectory regularity (Assumption 2.1): x_l in W^{2,infty}, v_l >= 0
- domain assumption Initial spacing (Assumption 2.2): gaps exceed d_o > 0
- domain assumption Admissible control set (Assumption 2.3): bounded controls and nonnegative AV velocities
- domain assumption Convexity and C^1 of the running and final costs (Definition 2.10)
- domain assumption Feasibility of the control set U for sufficiently small amin (Corollary 3.4)
Cite this review
Pith. "Pith review of Optimal Control of ODE Car-Following Models: Applications to Mixed-Autonomy Platoon Control via Coupled Autonomous Vehicles." pith.science (2026). https://pith.science/paper/YDEIEUGO
@misc{pith2026250819417,
author = {Pith},
title = {Pith review of: Optimal Control of ODE Car-Following Models: Applications to Mixed-Autonomy Platoon Control via Coupled Autonomous Vehicles},
year = {2026},
howpublished = {\url{https://pith.science/paper/YDEIEUGO}},
note = {Machine review of arXiv:2508.19417}
}
read the original abstract
In this paper, we study the optimal control of a mixed-autonomy platoon driving on a single lane to smooth traffic flow. The platoon consists of autonomous vehicles, whose acceleration is controlled, and human-driven vehicles, whose behavior is described using a microscopic car-following model. We formulate the optimal control problem where the dynamics of the platoon are describing through a system of non-linear ODEs, with explicit constraints on both the state and the control variables. Theoretically, we analyze the well-posedness of the system dynamics under a reasonable set of admissible controls and establish the existence of minimizers for the optimal control problem. To solve the problem numerically, we propose a gradient descent-based algorithm that leverages the adjoint method, along with a penalty approach to handle state constraints. We demonstrate the effectiveness of the proposed numerical scheme through several experiments, exploring various scenarios with different penetration rates and distributions of controlled vehicles within the platoon.
Figures
Figures from the paper (3 more)
Reference graph
Works this paper leans on
-
[52]
S. Wang, R. Stern, and M. W. Levin. Optimal control of autonomous vehicles for traffic smoothing. IEEE Transactions on Intelligent Transportation Systems , 23(4):3842–3852, 2021
work page 2021
-
[17]
X. Gong and A. Keimer. On the well-posedness of the” bando-follow the leader” car following model and a time-delayed version. Networks & Heterogeneous Media , 18(2), 2023
work page 2023
-
[1]
H. U. Ahmed, Y. Huang, and P. Lu. A review of car-following models and modeling tools for human and autonomous-ready driving behaviors in micro-simulation. Smart Cities , 4(1):314–335, 2021
work page 2021
-
[2]
S. Albeaik, A. Bayen, M. T. Chiri, X. Gong, A. Hayat, N. Kardous, A. Keimer, S. T. McQuade, B. Piccoli, and Y. You. Limitations and improvements of the intelligent driver model (IDM). SIAM Journal on Applied Dynamical Systems , 21(3):1862–1892, 2022
work page 2022
-
[3]
F. Angrisani and F. Rampazzo. Goh and legendre–clebsch conditions for nonsmooth control systems. SIAM Journal on Control and Optimization , 63(1):86–111, Jan. 2025
work page 2025
- [4]
-
[5]
A. M. Bayen, R. L. Raffard, and C. J. Tomlin. Adjoint-based constrained control of eulerian transportation networks: Application to air traffic control. In Proceedings of the 2004 American Control Conference , volume 6, pages 5539–5545. IEEE, 2004
work page 2004
-
[6]
H. Brezis. Functional analysis, Sobolev spaces and partial differential equations . Universitext. Springer, New York, 2011
work page 2011
Show all 54 references
-
[7]
Y. Cao, S. Li, L. Petzold, and R. Serban. Adjoint sensitivity analysis for differential-algebraic equations: The adjoint dae system and its numerical solution.SIAM journal on scientific computing, 24(3):1076–1089, 2003
2003
-
[8]
G. Chavent. Nonlinear least squares for inverse problems: theoretical foundations and step-by-step guide for applications. Springer Science & Business Media, 2010
2010
-
[9]
Darbha and K
S. Darbha and K. R. Rajagopal. Intelligent cruise control systems and traffic flow stability. Transportation Research Part C: Emerging Technologies, 7(6):329–352, 1999
1999
-
[10]
L. C. Davis. Effect of adaptive cruise control systems on traffic flow. Physical Review E , 69(6):066110, 2004
2004
-
[12]
M. L. Delle Monache, T. Liard, A. Rat, R. Stern, R. Bhadani, B. Seibold, J. Sprinkle, D. B. Work, and B. Piccoli. Feedback control algorithms for the dissipation of traffic waves with autonomous vehicles. Computational Intelligence and Optimization Methods for Control Engineer...
2019
-
[13]
Eichmeir, T
P. Eichmeir, T. Lauß, S. Oberpeilsteiner, K. Nachbagauer, and W. Steiner. The adjoint method for time-optimal control problems. Journal of Computational and Nonlinear Dynamics , 16(2):021003, 2021
2021
-
[14]
Z. Fu, A. Alanqary, A. R. Kreidieh, and A. M. Bayen. Kernel-based planning and imitation learning control for flow smoothing in mixed autonomy traffic. Transportation Research Part C: Emerging Technologies, 168:104764, 2024
2024
-
[15]
M. Gerdts. Optimal control of ODEs and DAEs . Walter de Gruyter GmbH & Co KG, 2023
2023
-
[16]
D. Givoli. A tutorial on the adjoint method for inverse problems. Computer Methods in Applied Mechanics and Engineering , 380:113810, 2021
2021
-
[18]
Gugat, M
M. Gugat, M. Herty, A. Klar, and G. Leugering. Optimal control for traffic flow networks. Journal of optimization theory and applications , 126(3):589–616, 2005. 23
2005
-
[19]
Gunter, D
G. Gunter, D. Gloudemans, R. E. Stern, S. McQuade, R. Bhadani, M. Bunting, M. L. Delle Monache, R. Lysecky, B. Seibold, J. Sprinkle, et al. Are commercially implemented adaptive cruise control systems string stable? IEEE Transactions on Intelligent Transportation Systems , 22(...
2020
-
[20]
Hegyi, B
A. Hegyi, B. De Schutter, and J. Hellendoorn. Optimal coordination of variable speed limits to suppress shock waves. IEEE Transactions on intelligent transportation systems , 6(1):102–112, 2005
2005
-
[21]
Hou, J.-X
Z. Hou, J.-X. Xu, and H. Zhong. Freeway traffic control using iterative learning control-based ramp metering and speed signaling. IEEE Transactions on vehicular technology , 56(2):466–477, 2007
2007
-
[22]
T. M. Inc. MATLAB version: 9.13.0 (r2022b), 2022
2022
-
[23]
Ioannou, Z
P. Ioannou, Z. Xu, S. Eckert, D. Clemons, and T. Sieja. Intelligent cruise control: theory and experiment. In Proceedings of 32nd IEEE Conference on Decision and Control , pages 1885–1890. IEEE, 1993
1993
-
[24]
Y. Jia, C. Cai, and D. G¨ orges. An LSTM-based speed predictor based on traffic simulation data for improving the performance of energy-optimal adaptive cruise control. In 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) , pages 1–7. IEEE, 2020
2020
-
[25]
B. S. Kerner. Physics of automated driving in framework of three-phase traffic theory. Physical Review E, 97(4):042303, 2018
2018
-
[26]
J. W. Lee, G. Gunter, R. Ramadan, S. Almatrudi, P. Arnold, J. Aquino, W. Barbour, R. Bhadani, J. Carpio, F.-C. Chou, et al. Integrated framework of vehicle dynamics, instabilities, energy models, and sparse flow smoothing controllers. arXiv preprint arXiv:2104.11267 , 2021
2021 arXiv
-
[27]
J. W. Lee, H. Wang, K. Jang, A. Hayat, M. Bunting, A. Alanqary, W. Barbour, Z. Fu, X. Gong, G. Gunter, et al. Traffic control via connected and automated vehicles: An open-road field experiment with 100 cavs. arXiv preprint arXiv:2402.17043 , 2024
2024 arXiv
-
[28]
Li and D
Y. Li and D. Sun. Microscopic car-following model for the traffic flow: the state of the art. Journal of Control Theory and Applications , 10:133–143, 2012
2012
-
[29]
Lichtl´ e, E
N. Lichtl´ e, E. Vinitsky, M. Nice, B. Seibold, D. Work, and A. M. Bayen. Deploying traffic smoothing cruise controllers learned from trajectory data. In 2022 International Conference on Robotics and Automation (ICRA), pages 2884–2890. IEEE, 2022
2022
-
[30]
Q. Lin, R. Loxton, and K. L. Teo. The control parameterization method for nonlinear optimal control: a survey. Journal of Industrial and management optimization , 10(1):275–309, 2014
2014
-
[31]
X. Lin, D. G¨ orges, and A. Weißmann. Simplified energy-efficient adaptive cruise control based on model predictive control. IF AC-PapersOnLine, 50(1):4794–4799, 2017
2017
-
[32]
O. L. Mangasarian. Sufficient conditions for the optimal control of nonlinear systems. SIAM Journal on Control, 4(1):139–152, Feb. 1966
1966
-
[33]
Martinez and C
J.-J. Martinez and C. Canudas-de Wit. A safe longitudinal control for adaptive cruise control and stop-and-go scenarios. IEEE Transactions on control systems technology , 15(2):246–258, 2007
2007
-
[34]
H. Maurer. First and second order sufficient optimality conditions in mathematical programming and optimal control, page 163–177. Springer Berlin Heidelberg, 1981
1981
-
[35]
M. Nice, N. Lichtle, G. Gumm, M. Roman, E. Vinitsky, S. Elmadani, M. Bunting, R. Bhadani, K. Jang, G. Gunter, M. Kumar, S. McQuade, C. Denaro, R. Delorenzo, B. Piccoli, D. Work, A. Bayen, J. Lee, J. Sprinkle, and B. Seibold. The I-24 trajectory dataset, 2021
2021
-
[36]
Papageorgiou, E
M. Papageorgiou, E. Kosmatopoulos, and I. Papamichail. Effects of variable speed limits on motorway traffic flow. Transportation Research Record, 2047(1):37–48, 2008
-
[37]
Papageorgiou and A
M. Papageorgiou and A. Kotsialos. Freeway ramp metering: An overview. IEEE transactions on intelligent transportation systems , 3(4):271–281, 2002. 24
2002
-
[38]
Pikuli´ nski and P
M. Pikuli´ nski and P. Malczyk. Adjoint method for optimal control of multibody systems in the hamiltonian setting. Mechanism and Machine Theory , 166:104473, 2021
2021
-
[39]
Rajamani, S
R. Rajamani, S. B. Choi, J. K. Hedrick, B. Law, R. Prohaska, and P. Kretz. Design and experimental implementation of control for a platoon of automated vehicles. In ASME International Mechanical Engineering Congress and Exposition , volume 15861, pages 681–689. American Societ...
1998
-
[40]
Schmied, H
R. Schmied, H. Waschl, R. Quirynen, M. Diehl, and L. del Re. Nonlinear mpc for emission efficient cooperative adaptive cruise control. IF AC-papersonline, 48(23):160–165, 2015
2015
-
[41]
R. E. Stern, S. Cui, M. L. Delle Monache, R. Bhadani, M. Bunting, M. Churchill, N. Hamilton, H. Pohlmann, F. Wu, B. Piccoli, et al. Dissipation of stop-and-go waves via control of autonomous vehicles: Field experiments. Transportation Research Part C: Emerging Technologies, 89...
2018
-
[42]
Sugiyama, M
Y. Sugiyama, M. Fukui, M. Kikuchi, K. Hasebe, A. Nakayama, K. Nishinari, S.-i. Tadaki, and S. Yukawa. Traffic jams without bottlenecks—experimental evidence for the physical mechanism of the formation of a jam. New journal of physics , 10(3):033001, 2008
2008
-
[43]
Suh and H
J. Suh and H. Yeo. An empirical study on the traffic state evolution and stop-and-go traffic development on freeways. Transportmetrica A: Transport Science, 12(1):80–97, 2016
2016
-
[44]
Sussmann
H. Sussmann. A maximum principle for hybrid optimal control problems. In Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304) , volume 1 of CDC-99, page 425–430. IEEE, 1999
1999
-
[45]
Sussmann and J
H. Sussmann and J. Willems. 300 years of optimal control: from the brachystochrone to the maximum principle. IEEE Control Systems , 17(3):32–44, June 1997
1997
-
[46]
Treiber, A
M. Treiber, A. Hennecke, and D. Helbing. Congested traffic states in empirical observations and microscopic simulations. Physical review E , 62(2):1805, 2000
2000
-
[47]
Treiterer and J
J. Treiterer and J. Myers. The hysteresis phenomenon in traffic flow. Transportation and traffic theory, 6:13–38, 1974
1974
-
[48]
Vinitsky, N
E. Vinitsky, N. Lichtl´ e, K. Parvate, and A. Bayen. Optimizing mixed autonomy traffic flow with decentralized autonomous vehicles and multi-agent reinforcement learning. ACM Transactions on Cyber-Physical Systems, 2023
2023
-
[49]
W. Walter. Differential and Integral Inequalities . Springer Verlag Berlin Heidelberg New York, 1970
1970
-
[50]
J. Wang, Y. Zheng, C. Chen, Q. Xu, and K. Li. Leading cruise control in mixed traffic flow: System modeling, controllability, and string stability. IEEE Transactions on Intelligent Transportation Systems , 23(8):12861–12876, 2021
2021
-
[51]
J. Wang, Y. Zheng, Q. Xu, J. Wang, and K. Li. Controllability analysis and optimal control of mixed traffic flow with human-driven and autonomous vehicles. IEEE Transactions on Intelligent Transportation Systems, 22(12):7445–7459, 2020
2020
-
[53]
S. Wang, R. Stern, and M. W. Levin. Optimal control of autonomous vehicles for traffic smoothing. IEEE Transactions on Intelligent Transportation Systems , 23(4):3842–3852, 2022
2022
-
[54]
Wu and A
F. Wu and A. M. Bayen. A hierarchical MPC approach to car-following via linearly constrained quadratic programming. IEEE Control Systems Letters , 7:532–537, 2022
2022
-
[55]
Zheng, J
Y. Zheng, J. Wang, and K. Li. Smoothing traffic flow via control of autonomous vehicles. IEEE Internet of Things Journal , 7(5):3882–3896, 2020. 25
2020
Reviewed August 5, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.