NeSAM: Neuro-Symbolic Kinodynamics with Soil Adaptation for Off-Road Mobility
Authors: Chenhui Pan, Tong Xu, Francesco Cancelliere, Xuesu Xiao
Organizations: Department of Computer Science, George Mason University, USA · Department of Electrical, Electronic and Computer Engineering, University of Catania, Italy
Accurate prediction of off-road vehicle motion over deformable terrain remains challenging because sinkage, slip, and traction vary with local soil conditions. Existing learning-based kinodynamic models directly approximate vehicle-terrain interactions from data but do not explicitly represent soil mechanics and offer limited physical interpretability. To address these limitations, we present NeSAM, a neuro-symbolic framework that combines differentiable Bekker-Wong terramechanics with learned terrain representations and a Transformer-based residual dynamics model for long-horizon, six degree-of-freedom kinodynamic prediction. The terramechanics component models soil-dependent interaction forces, while the residual model corrects discrepancies between the analytical prediction and the observed vehicle dynamics. NeSAM further estimates physically meaningful soil parameters from terrain observations and updates them online using an extended Kalman filter. We evaluate NeSAM in Verti-Bench, a simulator built on the Chrono multiphysics engine, and validate its performance on a physical Verti-4-Wheeler platform. NeSAM improves prediction accuracy by up to 30% in simulation and 29% on real-world data relative to the strongest compared baselines. When integrated with a close-loop navigation controller, NeSAM further improves traversal success rate through online soil adaptation while reduces Hausdorff distance to the reference trajectory by 69.4%, indicating improved trajectory tracking accuracy.
Figures & tables
Fig. 1: Motivation for NeSAM: deformable terrain causes wheel sinkage and persistent terrain deformation, motivating deformation-aware kinodynamic modeling and online soil adaptation.
Fig. 2: Overview of NeSAM. Elevation and semantic observations (mte,mts) are encoded to obtain the terrain context ct and nominal soil estimate θˉt . Together with the vehicle state xt and control ut , the terrain context forms the interaction-token history processed by the Transformer. The sinkage head predicts wheel sinkages s^t together with the soil estimate, are used by the differentiable Bekker-Wong model to compute wheel-terrain forces fi,tBW . Newton-Euler kinodynamics converts these forces into the physics-based state increment ΔxtNE , which is combined with the learned state residual Δxtres to predict the next vehicle state. During deployment, measured motion updates the soil correction Δθ through the buffered EKF, while all learned model components remain fixed.
Model
x↓
y↓
z↓
Roll ↓
Pitch ↓
Yaw ↓
Transformer
0.89m
0.90m
0.09m
2.64°
2.01°
6.76°
TAL Elev.+Sem.
1.19m
1.08m
0.12m
2.64°
2.24°
6.07°
TAL Elev.
1.23m
1.08m
0.13m
2.75°
2.12°
6.19°
TAL Sem.
1.34m
1.11m
0.15m
2.69°
2.18°
6.99°
NeSAM w/o SR
0.99m
0.98m
0.10m
2.58°
2.29°
7.05°
NeSAM, Sinkage =0
0.86m
0.84m
0.07m
2.81°
2.24°
4.41°
TABLE I: Autoregressive 32 -step kinodynamic prediction in Verti-Bench.
Metric
Adapted Soil
Fixed Soil
Completion ↑
4/5
0/5
Traversal Time ↓
100.0 ± 6.5
-
HD ↓
2.10m ± 1.25m
6.87m ± 3.12m
Roll ↓
4.56° ± 5.77°
6.72° ± 5.17°
Pitch ↓
6.59° ± 8.26°
8.03° ± 9.23°
TABLE II: Trajectory-tracking performance in Verti-Bench under OOD soil conditions.
Model
x↓
y↓
z↓
Roll ↓
Pitch ↓
Yaw ↓
Transformer
0.082m
0.070m
0.019m
3.78°
5.21°
7.05°
TAL Elev.+Sem.
0.083m
0.072m
0.021m
3.55°
3.61°
6.59°
TAL Elev.
0.089m
0.095m
0.022m
3.49°
4.24°
7.79°
TAL Sem.
0.111m
0.092m
0.028m
3.61°
3.67°
7.05°
NeSAM w/o SR
0.177m
0.151m
0.031m
3.89°
5.33°
7.74°
NeSAM, Sinkage =0
0.077m
0.068m
0.015m
3.44°
4.64°
6.13°
TABLE III: Autoregressive 32 -step kinodynamic prediction on physical testbed.
Fig. 3: Verti-Arena and reference trajectory used for evaluating NeSAM.
Metric
Adapted Soil
Fixed Soil
Completion ↑
3/5
1/5
Traversal Time ↓
21.33s ± 1.39s
21.50s
Roll ↓
7.27° ± 3.71°
9.23° ± 5.22°
Pitch ↓
8.01° ± 4.49°
10.40° ± 4.56°
TABLE IV: Trajectory-tracking performance on Verti-Arena.
Off-road mobility requires autonomous mobile robots to generalize across heterogeneous vehicle fleets and continuously changing terrain conditions. Existing cross-vehicle adaptation approaches generally assume flat terrain, while terrain-aware kinodynamic models often require platform-specific data collection and retraining. To this end, we propose VertiAKD, a unified framework for transferring and adapting off-road kinodynamic knowledge across diverse vehicles on geometrically and semantically complex terrain simultaneously. VertiAKD learns a shared mobility representation that jointly encodes vehicle configurations, trajectory transitions, and local elevation and semantic terrain features. Given limited data from a novel vehicle operating on unseen terrain, VertiAKD identifies the most relevant mobility descriptors and transfers their knowledge to initialize a terrain-aware kinodynamic model via function encoders, which is then periodically refined online from streaming observations without gradient-based retraining. We evaluate VertiAKD in the Verti-Bench simulator, built on the Chrono multi-physics engine, and on five physical configurations of the Verti-4-Wheeler platform. With only one minute of new trajectory data and associated terrain features, VertiAKD reduces long-horizon prediction error by up to 34.52% over direct mobility descriptor transfer across diverse unseen vehicle configurations and 94.43% over competing baselines. We further demonstrate robust closed-loop trajectory tracking in both simulation and physical experiments, highlighting the effectiveness of terrain-aware cross-vehicle knowledge transfer for accurate modeling and reliable off-road navigation.
Tong Xu, Chenhui Pan, Francesco Cancelliere +1
Department of Computer Science, George Mason University, USA · Department of Electrical, Electronic and Computer Engineering, University of Catania, Italy
Autonomous driving in off-road environments presents significant challenges due to the dynamic and unpredictable nature of unstructured terrain. Traditional kinodynamic models often struggle to generalize across diverse geometric and semantic terrain types, underscoring the need for real-time adaptation to ensure safe and reliable navigation. We propose VertiAdaptor (VA), a novel online adaptation framework that efficiently integrates elevation with semantic embeddings to enable terrain-aware kinodynamic modeling and planning via function encoders. VA learns a kinodynamic space spanned by a set of neural ordinary differential equation basis functions, capturing complex vehicle-terrain interactions across varied environments. After offline training, the proposed approach can rapidly adapt to new, unseen environments by identifying kinodynamics in the learned space through a computationally efficient least-squares calculation. We evaluate VA within the Verti-Bench simulator, built on the Chrono multi-physics engine, and validate its performance both in simulation and on a physical Verti-4-Wheeler platform. Our results demonstrate that VA improves prediction accuracy by up to 23.9% and achieves a 5X faster adaptation time, advancing the robustness and reliability of autonomous robots in complex and evolving off-road environments.
Tong Xu, Chenhui Pan, Aniket Datar +1
Department of Computer Science, George Mason University
Reinforcement learning for off-road navigation requires extensive vehicle-terrain interaction data, which are costly to collect in high-fidelity simulation. World models offer a promising alternative by replacing simulator roll-outs during policy optimization. However, an off-road world model must condition state transitions on exteroceptive terrain information, which proprioception alone does not provide. This challenge is further amplified by the need to model both rigid and deformable terrain, where data-driven and physics-based approaches offer complementary strengths. We propose Verti-WM, a physics-aided exteroceptive world model that recurrently fuses a frozen Transformer for rigid terrain and a neuro-symbolic terramechanics model for deformable terrain. Elevation and semantic observations queried from a supplied map at each predicted pose condition fusion, enabling six-degree-of-freedom rollouts for policy optimization without further simulator access. Verti-WM reduces prediction error by 34.6% and 21.7% over data-driven and physics-based baselines, respectively. Policies trained entirely within Verti-WM achieve comparable task success rates while reducing computation time by 23.6X relative to direct training in the high-fidelity simulator. We further validate Verti-WM using real-world data, enabling policy optimization within learned real-world kinodynamics and achieving a 80% success rate on the Verti-4-Wheeler platform, compared with 40% for direct sim-to-real transfer.
Chenhui Pan, Tong Xu, Xuesu Xiao
Department of Computer Science, George Mason University