REVIEW 2 major objections 5 minor 17 references
An Explicit Discrete-Time Dynamic Vehicle Model with Assured Numerical Stability
T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read An explicit discrete-time dynamic vehicle model stays numerically stable at zero speed.
desk verdict A useful semi-implicit discretization of the single-track model that stays finite at zero speed, with a stability theorem that needs a strict-inequality fix and a Condition 1 that is only empirically checked. 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
What carries the argument
The load-bearing mechanism is a mixed discretization: $X$, $Y$, $\varphi$, and $U$ are advanced by forward Euler, while $V_{k+1}$ and $\omega_{k+1}$ are written as backward-Euler-style updates in which the unsolved variable is the one being updated. With the linear tire model, this pair of equations collapses to a two-by-two linear solve, so the model stays explicit. That solving step moves the cornering stiffnesses into the denominators of the lateral-velocity and yaw-rate updates, which is what removes the pure speed dependence and kills the singularity. The error-propagation analysis then factors each step into a block matrix whose two-by-two submatrix is $\hat{A}_k$, and Condition 1 demands $\|\hat{A}_k\| \le 1$, a sufficient bound for the product of these matrices to remain bounded.
What would settle it
Run two trajectories from nearby initial states under identical control for a vehicle parameter set or a step size where the norm of the two-by-two error-amplification submatrix exceeds 1, and observe the state difference growing without bound; alternatively, construct a trajectory where the norm equals 1 at every step and show the accumulated error grows linearly, which would violate the boundedness that Proposition 5.3 claims.
Extended reading notes
Core claim
The paper's central claim is that its update rule is an explicit discrete-time dynamic vehicle model whose lateral-velocity and yaw-rate updates have denominators $mU_k - T_s(k_f + k_r)$ and $I_z U_k - T_s(l_f^2 k_f + l_r^2 k_r)$, rather than just $U_k$. Because these denominators do not vanish at $U=0$, the slip-angle blow-up that characterizes the low-speed singularity is avoided, and the model remains explicit, so no fixed-point iteration is needed at a step. The paper states that if Condition 1 holds—the two-by-two error-amplification submatrix of the Jacobian has norm at most 1 at every intermediate point—then Proposition 5.3 guarantees numerical stability in the sense that two trajectories driven by the same control sequence stay within a bounded distance forever. The supporting evidence is numerical verification of the condition for speeds from 0 to 25 m/s at step sizes up to 0.1 s, together with accuracy comparisons and real-vehicle trajectories.
Load-bearing premise
The stability theorem assumes Condition 1, that the two-by-two error-amplification submatrix has norm at most 1 over the whole operating domain; the paper only checks this numerically for one vehicle prototype, three step sizes, and speeds up to 25 m/s, and the proof's bounding step leaves the exactly-equal-to-1 case unresolved.
Editorial extensions
If this is right
- The model works where earlier explicit dynamic models break down: urban stop-start maneuvers with $U$ crossing zero no longer produce exploding lateral states.
- Because the update is explicit and algebraic, predictive controllers and model-based learning rollouts can call it without iterative solves at each step.
- If Condition 1 holds, initial-state errors stay bounded over an arbitrarily long horizon, so small sensing or localization errors do not compound without limit.
- The full-vehicle-simulator comparisons show trajectory errors typically an order of magnitude smaller than the kinematic model's, so the added dynamic fidelity comes without a stability penalty.
- Stability at step sizes up to $0.1$ s means longer prediction horizons are available under fixed computational budgets.
Reading between the lines
- Beyond the paper: the stability condition is verified numerically, not derived; a useful extension would be an explicit inequality relating $T_s$, mass, inertia, and cornering stiffness that guarantees the norm bound without simulation.
- Beyond the paper: since the discrete map is explicit and smooth away from the singular limit, differentiating through it for gradient-based control or learned dynamics is straightforward, but whether the stability margin survives learned parameter changes is untested.
- Beyond the paper: at $U=0$ the update for $V$ and $\omega$ becomes a fixed linear map independent of the control; analyzing that map's eigenvalues would reveal whether a fully stopped vehicle can accumulate spurious yaw rate over many idle steps.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proposes an explicit discrete-time dynamic single-track vehicle model. The discretization uses forward Euler for position, heading, and longitudinal speed, and a backward-Euler-inspired but algebraically solved update for lateral speed and yaw rate, yielding the closed-form map (12). The main claims are (i) the model avoids the low-speed singularity that afflicts standard dynamic models because the denominators of the lateral updates contain cornering-stiffness terms in addition to U, and (ii) the model is numerically stable in the sense of bounded error propagation, under a sufficient condition (Condition 1) on the norm of a Jacobian submatrix. The paper proves that condition is sufficient, verifies it numerically for one CarSim prototype over 0–25 m/s and three step sizes, compares accuracy against a kinematic model and stability against forward-Euler discretization, and reports open-loop real-vehicle experiments.
Significance. If the stability guarantee were fully established, this would be a practically valuable contribution to model-based control at low speed and in stop-start scenarios. The paper has clear strengths: the explicit form is genuinely useful for MPC and rollout, the avoidance of a U-only denominator is a concrete design idea, the algebraic derivation of (12) is transparent, and the empirical comparison and real-vehicle tests are extensive. However, the central 'assured numerical stability' claim is currently only a conditional theorem, and the proof has a gap at the boundary of Condition 1. The numerical validation covers a single parameter set and only verifies the non-strict inequality, so the theoretical guarantee is not as strong as advertised.
major comments (2)
- [§5.3, Eq. (26)] In the proof of Proposition 5.3, the bound in (24) is obtained by summing a geometric series and is valid only when ||Â*|| < 1. The text then handles the case ||Â*|| = 1 via (26), asserting ||b_{k−1..0}|| ≤ ||b*||, but this does not follow from (23). The correct bound is ||b_{k−1..0}|| ≤ k||b*||, which is unbounded as k→∞. Consequently, Proposition 5.3 is not proved under Condition 1 as stated (≤ 1); it is proved only under the strict inequality ||Â_k(τ_k)|| < 1. Since the paper's title and abstract claim 'assured numerical stability', this gap is load-bearing and must be repaired, for example by strengthening Condition 1 to strict contraction with a margin and verifying that margin, or by supplying a refined argument for the equality case that rules out linear growth of the accumulated b-term.
- [§6.2, Figure 3] The empirical verification in Section 6.2 checks ||Â_k(τ_k)|| ≤ 1 for a single CarSim parameter set (Table 1), step sizes 0.001, 0.01, and 0.1 s, and longitudinal speeds in [0, 25] m/s. This does not close the gap identified in Proposition 5.3, because the proof requires the strict inequality < 1, while the verification reports only non-strict ≤ 1. Moreover, because only one vehicle/parameter set is tested, the general claim of 'assured numerical stability' for the proposed model is not established across parameter variations. The authors should either prove an analytic condition ensuring ||Â|| < 1 for a parameterized family, or explicitly restate the contribution as a model whose stability is verified conditionally/numerically, with the strict-inequality issue resolved.
minor comments (5)
- [§2.3 / Lemma 5.2] In Lemma 5.2, the statement writes g'(m) = (f(d)−f(c))/(d−c); the right-hand side should use g, not f.
- [§1, Contributions (4)] The phrase 'strongly evidents' should read 'strongly evidences'.
- [§4.1] The description 'substituting local (vehicle-attach) coordinate for ground coordinate system' is unclear; please spell out why setting a→U̇ is justified.
- [§5.3] The sentence 'using the nature of the inverse proposition' is vague; the argument that bounded norms imply no infinite elements should be stated formally.
- [§5.1] Definition 5.1 uses lim_{k→∞} ||x_k−y_k|| ≤ C; if the sequence does not converge, the limit may not exist. Consider replacing the limit with limsup or explicitly require convergence.
Circularity Check
No significant circularity; the model derivation and the conditional stability theorem are self-contained, and the flagged proof gap at ||A*||=1 is a rigor issue, not a circular reduction.
full rationale
The paper derives its explicit discrete-time model (12) by mixing forward Euler updates for X, Y, phi, U with backward-Euler-style updates for V and omega. The claimed avoidance of low-speed singularity follows directly from the denominators mU_k - T_s(k_f+k_r) and I_z U_k - T_s(l_f^2 k_f + l_r^2 k_r), which remain nonzero at U=0 for negative cornering stiffnesses; this is a construction property, not a conclusion imported from the stability theorem. The stability analysis is explicitly conditional: Condition 1 states ||A_hat_k(tau_k)|| <= 1, and Proposition 5.3 proves bounded error propagation assuming that condition. Verifying Condition 1 numerically in Section 6.2 for one CarSim prototype, three step sizes, and speeds 0-25 m/s is an empirical check of a stated sufficiency condition, not a fitted parameter being relabeled as a prediction. The paper itself flags the case ||A*|| = 1 in the proof of Proposition 5.3 and asserts a bound (26) that is not justified by the preceding inequality; this is an admitted mathematical gap and a correctness risk, but it is not a circular step because the theorem's conclusion is not baked into its assumptions. Self-citations in the reference list (e.g., [2], [13]) are background and are not load-bearing for the model derivation or the stability claim. Real-vehicle experiments use parameters identified in preliminary trials and compare open-loop simulations against measured trajectories; this is validation rather than circular prediction. No step in the derivation chain reduces to its own inputs, so the appropriate circularity score is 0.
Assumptions & free parameters
free parameters (2)
- Front axle cornering stiffness k_f =
-128916 N/rad (simulation), -186000 N/rad (real vehicle)
- Rear axle cornering stiffness k_r =
-85944 N/rad (simulation), -183000 N/rad (real vehicle)
assumptions (4)
- domain assumption Linear tire force model with small-angle approximation: F_f = k_f((V + l_f*omega)/U - delta), F_r = k_r((V - l_r*omega)/U).
- ad hoc to paper Longitudinal dynamics simplification: drop V*omega and (1/m)F_f*sin(delta) from the U update, so U_{k+1} = U_k + T_s*a_k.
- ad hoc to paper Condition 1: ||A_hat_k(tau_k)|| <= 1 for all k and all intermediate interpolation points.
- domain assumption State trajectories remain within a closed bounded domain [x_min, x_max] for all time.
Cite this review
Pith. "Pith review of An Explicit Discrete-Time Dynamic Vehicle Model with Assured Numerical Stability." pith.science (2026). https://pith.science/paper/TTEEBYU2
@misc{pith2026241117334,
author = {Pith},
title = {Pith review of: An Explicit Discrete-Time Dynamic Vehicle Model with Assured Numerical Stability},
year = {2026},
howpublished = {\url{https://pith.science/paper/TTEEBYU2}},
note = {Machine review of arXiv:2411.17334}
}
read the original abstract
Numerical stability is of great significance for discrete-time dynamic vehicle model. Among the unstable factors, low-speed singularity stands out as one of the most challenging issues, which arises from that the denominator of tire side angle term only contains the vehicle longitudinal speed. Consequently, for the common low-speed and stop-start driving scenarios, the calculated tire slip angle will approach infinity, which will further lead to the numerical explosion of other vehicle states. In response to this critical challenge, we propose a discrete-time dynamic vehicle model that effectively mitigates the low-speed singularity issue, ensuring numerical stability and maintaining the explicit form-highly favored by model-based control algorithms. To validate the numerical stability of our model, we conduct a rigorous theoretical analysis, establishing sufficient conditions for stability, and conduct extensive empirical validation tests across a wide spectrum of speeds. Subsequent to the validation process, we conduct comprehensive simulations comparing our proposed model with both kinematic models and existing dynamic models discretized through the forward Euler method. The results demonstrate that our proposed model shows better comprehensive performance in terms of both the accuracy and numerical stability. Finally, the real vehicle experiments are carried out to support that our proposed model can closely aligns to the real vehicle trajectories showcasing its practicality and ease of use. Notably, our work stands as the pioneering endeavor in introducing an explicit discrete-time dynamic vehicle model suitable for common urban driving scenarios including low-speed and stop-start.
Figures
Figures from the paper (8 more)
Reference graph
Works this paper leans on
-
[1]
RS Sharp and Huei Peng. Vehicle dynamics applications of optimal control theory.Vehicle System Dynamics, 49(7):1073–1111, 2011
work page 2011
-
[2]
Continuous-time policy optimization
Guojian Zhan, Yuxuan Jiang, Jingliang Duan, Shengbo Eben Li, Bo Cheng, and Keqiang Li. Continuous-time policy optimization. In 2023 American Control Conference (ACC), pages 3382–
work page 2023
-
[3]
An overview on vehicle dynamics
Shaopu Yang, Yongjie Lu, and Shaohua Li. An overview on vehicle dynamics. International Journal of Dynamics and Control, 1:385–395, 2013
work page 2013
-
[4]
Validation of vehicle dynamics simulation models–a review
Emir Kutluay and Hermann Winner. Validation of vehicle dynamics simulation models–a review. Vehicle System Dynamics, 52(2):186–200, 2014
work page 2014
-
[5]
Camilo Andr ´es Manrique-Escobar, Carmine Maria Pappalardo, and Domenico Guida. On the analytical and computational methodologies for modelling two-wheeled vehicles within the multi- body dynamics framework: a systematic literature review.Journal of Applied and Computational Mechanics, 8(1):153–181, 2022
work page 2022
-
[6]
Kinematic and dynamic ve- hicle models for autonomous driving control design
Jason Kong, Mark Pfeiffer, Georg Schildbach, and Francesco Borrelli. Kinematic and dynamic ve- hicle models for autonomous driving control design. In2015 IEEE Intelligent Vehicles Symposium (IV), pages 1094–1099, Seoul, Korea, 2015. IEEE
work page 2015
-
[7]
Nu- merical methods in vehicle system dynamics: state of the art and current developments
Martin Arnold, Bernhard Burgermeister, Claus F¨ uhrer, Gerhard Hippmann, and Georg Rill. Nu- merical methods in vehicle system dynamics: state of the art and current developments. Vehicle System Dynamics, 49(7):1159–1207, 2011
work page 2011
-
[8]
A discussion on euler method: A review
BN Biswas, Somnath Chatterjee, SP Mukherjee, and Subhradeep Pal. A discussion on euler method: A review. Electronic Journal of Mathematical Analysis and Applications , 1(2):2090– 2792, 2013
work page 2013
Show all 17 references
-
[9]
Recent advances in tyre models and testing procedures
Peter Lugner, Hans Pacejka, and Manfred Pl ¨ochl. Recent advances in tyre models and testing procedures. Vehicle System Dynamics, 43(6-7):413–426, 2005
2005
-
[10]
Eldar, and Alexandros G
Nir Shlezinger, Jay Whang, Yonina C. Eldar, and Alexandros G. Dimakis. Model-based deep learning. Proceedings of the IEEE, 111(5):465–499, 2023
2023
-
[11]
Reinforcement learning for sequential decision-making and control
Shengbo Eben Li. Reinforcement learning for sequential decision-making and control. Springer, 2023
2023
-
[12]
Model predictive multi- objective vehicular adaptive cruise control
Shengbo Eben Li, Keqiang Li, Rajesh Rajamani, and Jianqiang Wang. Model predictive multi- objective vehicular adaptive cruise control. IEEE Transactions on control systems technology , 19(3):556–566, 2010
2010
-
[13]
Improve generalization of driving policy at signalized intersections with adver- sarial learning
Yangang Ren, Guojian Zhan, Liye Tang, Shengbo Eben Li, Jianhua Jiang, Keqiang Li, and Jingliang Duan. Improve generalization of driving policy at signalized intersections with adver- sarial learning. Transportation Research Part C: Emerging Technologies, 152:104161, 2023. 22
2023
-
[14]
Philip Polack, Florent Altch ´e, Brigitte d’ Andr´ea Novel, and Arnaud de La Fortelle. The kinematic bicycle model: A consistent model for planning feasible trajectories for autonomous vehicles? In 2017 IEEE Intelligent Vehicles Symposium (IV), pages 812–818, Los Angeles, CA, ...
2017
-
[15]
The magic formula tyre model
Hans B Pacejka and Egbert Bakker. The magic formula tyre model. Vehicle System Dynamics, 21(S1):1–18, 1992
1992
-
[16]
Tire model tmeasy
Wolfgang Hirschberg, Georg Rill, and Heinz Weinfurter. Tire model tmeasy. Vehicle System Dynamics, 45(S1):101–119, 2007
2007
-
[17]
Tire modeling for low-speed and high-speed calculations.SAE Transactions, pages 474–483, 1995
Jim E Bernard and Chris L Clover. Tire modeling for low-speed and high-speed calculations.SAE Transactions, pages 474–483, 1995. 23
1995
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.