Abstract
We investigate how well a physics-based simulator can replicate a real wheel loader performing bucket filling in a pile of soil. The comparison is made using field-test time series of the vehicle motion and actuation forces, loaded mass, and total work. The vehicle was modeled as a rigid multibody system with frictional contacts, driveline, and linear actuators. For the soil, we tested discrete-element models of different resolutions, with and without multiscale acceleration. The spatiotemporal resolution ranged between 50–400 mm and 2–500 ms, and the computational speed was between 1/10,000 to 5 times faster than real time. The simulation-to-reality gap was found to be around 10% and exhibited a weak dependence on the level of fidelity, e.g., compatible with real-time simulation. Furthermore, the sensitivity of an optimized force-feedback controller under transfer between different simulation domains was investigated. The domain bias was observed to cause a performance reduction of 5% despite the domain gap being about 15%.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
1 Introduction
Simulators are essential for developing autonomous control of heavy equipment and rough-terrain vehicles. They offer a safe and efficient way to conduct controlled and repeatable experiments for testing and optimizing the performance in the early development stages. This makes it possible to generate large amounts of annotated synthetic training data needed for leveraging deep-learning methods [6, 13, 27, 31, 47]. Limiting factors are the computational speed and how accurately the simulator reflects the real system [8]. Having a reality gap is unavoidable, but when the discrepancy between the simulated and real system is too large, a solution optimized in the simulated domain transfers poorly to the real domain [26, 48]. On the other hand, a finely resolved simulator easily becomes too slow to run the simulations needed to distinguish between near-optimal, low-performing, or hazardous solutions.
For earth-moving equipment, there is little knowledge about how the reality gap should be measured, how it depends on the simulator’s level of resolution, or what effect it has on the transferability of the results. To this end, we construct wheel-loader simulators of different levels of fidelity and examine how they differ from each other and from a real wheel loader performing bucket-filling operations. The comparison is made through the lens of synthetic and real sensor data that may be used for automatic bucket filling with force-feedback control.
Two types of simulators are used. In both cases, the vehicle is modeled as a 3D rigid multibody system with frictional contacts and nonsmooth dynamics. The difference lies in that the terrain is resolved using either a discrete-element model (DEM) or modeled using a reduced multiscale model. The latter can be understood as a multibody dynamics generalization of the fundamental earth-moving equation (FEE) that is conventionally used in vehicle–soil mechanics analysis but is limited to stationary conditions. The general idea is to predict a zone of active soil deformations and represent this as a dynamic body and additional multibody constraint added to the vehicle system. The mass flow in the active zone is approximated with a cosimulated DEM model. There exist several realizations of the general idea in several physics engines [19, 22, 39]. The simulators’ spatiotemporal resolution ranges between 50–400 mm and 2–500 ms, with computational speed between \(10^{-4}\) and 5 times faster than real time. The simulators are equipped with the same sensing capabilities used in the field tests, which include kinematics and force sensors in selected joints and actuators, weight estimation of the loaded material, and the shape of the pile surface before loading. The simulators and field tests are compared using the measured time series, loaded mass, and mechanical work. The operator’s control of the vehicle is replicated using feedforward control. Finally, we investigate the domain sensitivity of a force-feedback controller optimized in a real-time simulator under transfer to a simulator of much higher fidelity.
2 Related work
In the scientific literature, there are few examples of full-system simulators that represent the full dynamics of both a wheel loader and its environment. Exceptions include studies for predicting [3] and optimizing [30] the outcome of a dig plan given a soil pile of a certain shape, and loader automation using deep reinforcement learning-based control [6] or nonlinear model predictive control [41]. Only in [3] were the simulators directly compared to field tests with a real wheel loader. The present study is a direct extension of this work.
In [5], a controller for a wheeled scooping robot was developed using deep reinforcement learning in a simulated environment and then transferred to a physical robot without any domain adaptation. Unsurprisingly, notable differences were observed between the simulated and real bucket trajectories, scooped mass, and loading time. No conclusion was made about what kind of discrepancy between the simulated and real systems caused the difference in outcome. A high sensitivity to changing contact forces was reported. A possible explanation is that the simulator used too coarse particles. The bucket could occupy roughly 15 particles, while the real material was much more fine grained.
There are several simulation studies of the relationship between bucket trajectory, fill factor, and mechanical work using the discrete-element method (DEM) for the soil and a kinematically controlled bucket geometry [16, 17, 33, 45]. However, as pointed out in the review article [10], it is generally impossible to track precisely a prescribed dig trajectory because of the unpredictive nature of the soil–vehicle interaction, e.g., soil flow and wheel slip. Worse still, a kinematically feasible trajectory might not be realizable with the soil dynamics and physical limitations of the driveline and hydraulic actuation at hand.
In [17], DEM simulations in quasi-2D were carried out with a kinematically controlled bucket loading gravel along numerous preplanned trajectories. The bucket velocity and force were input to a mapping function that outputs the corresponding velocities and forces in the lift and tilt cylinders. The optimal trajectory and control were found through dynamic programming using a wheel-loader model that included the engine, driveline, and hydraulics. The optimal solution had 14% higher fuel consumption than the most fuel-efficient loading cycle among the field tests carried out with skilled operators. The optimization assumes no simulation-to-reality gap, while devising a scheme that avoids additional system simulations, at the time, requiring 23 CPU hours for each loading cycle.
In [45], time-series measurements from field tests were fed into a kinematically controlled loader mechanism and cosimulated with a DEM representation of the soil. The simulated and real working resistance agreed with an average deviation of 7%, however, with no explanation of how the pile shape and DEM model parameters were set.
There is extensive literature on models for the wheel-loader dynamics alone or coupled with simplified models for the force on the bucket from the soil. One elaborate model, including the dynamics of the articulated multibody system, hydromechanical powertrain, and tires, was developed and validated in [25, 35], for the purpose of analysis and optimization of working patterns and energy flow for various working cycles. The empirical material model predicts forces on the bucket but does not explicitly model the soil dynamics and was not evaluated on this.
3 The simulation-to-reality gap
A simulator is an idealized replica of a real system, and it is unavoidable that it behaves somewhat differently, although fed with identical control signals. The potential causes for the mismatch can broadly be categorized into model errors, numerical errors, and implementation errors. Model errors include unmodeled or oversimplified geometry and physics, inaccurate model parameters and initial conditions. When the system involves feedback control, actuator latency and noise are reportedly major sources of model errors [21]. Common sources for numerical errors are using a spatial and temporal resolution that is too coarse. Multiphysics and multiscale simulations are prone to solver and cosimulation coupling errors. When simulations run over a long time, compared to the integration timestep, it is important to use numerically stable algorithms that prevent locally small errors from accumulating into large global errors. Low-order variational integrators, preserving the fundamental symmetries, are then advantageous over the standard Runge–Kutta or multistep methods with high local accuracy but without global error bounds [18]. Machine-learning algorithms that rely on system-state exploration, e.g., reinforcement learning, are particularly sensitive to simulator imperfections. RL agents are prone to exploit simulation errors if there is an advantage to it. An illustrative example is the use of nonphysical collision dynamics in [24], triggered by sliding along walls into the corners to find shortcuts through otherwise nonnavigable space.
In the field of robotics and deep learning, the discrepancy between a simulated and real system is usually referred to as the reality gap, simulation-to-reality gap, or sim-to-real gap in short [49]. If the gap is significant, a solution developed in simulation will exhibit a simulation bias and cause it to perform differently, and usually poorly, when transferred to the real system [4]. The gap is severe if the effort to adapt the solution to the real domain is greater than its conception in the simulated environment. The reality gap may be considered small when it is less than the natural variations in different instances of the real system. Hence, there is no objective measure for the sim-to-real gap. It depends on the task the system intends to perform and is relative to the naturally occurring variations.
System identification is the process of optimizing the model parameters, \(\boldsymbol{\theta}\), given a measure of the discrepancy between the simulated and real behavior. The classical techniques of frequency and impulse response methods focus on linear systems such that the best parameter fit results in a linear least-squares problem [40]. In [42], the system identification is stated in terms of the average trajectory deviation using a Euclidean weighted norm
where \(\boldsymbol{y}_{i}(t;\boldsymbol{\theta})\) and \(\hat{\boldsymbol{y}}_{i}(t)\) are the simulated and real trajectories, respectively. The average is over a sequence of \(k\) reference trajectories. The system-state vector \(\boldsymbol{y}\) may be represented in either reduced or maximal coordinates and a weight matrix \(W\) for controlling the relative importance of each degree of freedom. The gradient-free Covariance Matrix AdaptationFootnote 1 (CMA) was used as optimizer due to the presence of intermittent contacts and the complex interplay between the simulation results and the simulation parameters.
The need for metrics and benchmark data for the sim-to-real gap was recognized in [9]. Benchmark data were collected for ten different robotic manipulation tasks using a motion-capture system for the pose and robotic force/torque sensors. The metrics included the Euclidean distance error of real and simulated end effector position, rotation, and pose as the distance on the Euclidean group SE(3) that combines translation and rotation, velocity, acceleration, motor torque, and contact-induced force and moment. When the task involves manipulating a (rigid) object, velocity and acceleration error measures for this were included as well.
The sim-to-real gap in the context of robotic manipulation is often attributed to frictional contact modeling and solvers [20, 34]. Direct solvers usually rely on linearization of the friction law using a box or polyhedral discretization of the Coulomb cone. This may induce an artificial directional dependency. Iterative solvers leave a truncation error that often appears as numerical elasticity and damping, and excessive sliding. One way to evaluate numerical errors is the self-consistency error [14], i.e., comparing a numerical solution with a reference solution computed with the same model and simulator but with finest possible setting for spatial and temporal resolution and solver settings. The error should be interpreted carefully. A small self-consistency error does not guarantee the numerical errors will be small when the correctness of the reference solution is unknown. A large self-consistency error is an indicator of numerical errors, but it might be that small numerical errors initiated the solution to follow a different but still physically correct trajectory (to a good approximation). Therefore, attention should be focused on the rate of initial deviation rather than the magnitude of the error over time.
In [24], it is argued that simulators need not be a perfect replica of reality to be useful and are better judged by their sim-to-real predictivity: if one method outperforms another in simulation, how likely is the trend to hold in reality? For this purpose, they introduce a sim-to-real correlation coefficient (SRCC), which is the Pearson correlation coefficient over a set of performance pairs of reinforcement learning agents that are evaluated in simulation and reality. The sim-to-real gap vanishes as SRCC approaches 1. Alternatively, the distance between predicted and real state-action transitions are measured [1].
In the field of machine learning, it is common to use either domain adaptation or domain randomization to reduce the effects of having a reality gap. In domain adaptation, a model learns about features invariant to the shift between training (simulation) and test (reality) distributions and uses this to generalize better under a domain shift. Domain randomization means that various attributes of the training domain are randomized to make the model more robust and adaptable to unseen and changing environmental conditions [34]. With the wrong type or amount of randomization, the model becomes overly conservative, or the problem becomes too difficult. In [43], the reality gap from simulators with low-fidelity rendering was bridged by randomizing scene properties such as lighting, textures, and camera placement. With the same approach, significant calibration errors in the dynamics model were mitigated in [36]. It has been suggested that domain randomization can effectively reduce simulation bias from numerical errors or unmodeled physics when using a simulator of low fidelity.
3.1 Measures
In the present paper, we consider scalar signals \(f(t):[0,T]\to \mathbb{R}\), position trajectories \(\boldsymbol{x}(t):[0,T]\to \mathbb{R}^{3}\), and discrete or time-integrated scalar quantities, \(q\), such as loaded mass or total work. In time-discrete form we represent the signals as \(f_{0:T} = [f_{0},f_{1},\ldots,f_{N}]\) and \(\boldsymbol{x}_{0:T} = [\boldsymbol{x}_{0},\boldsymbol{x}_{1},\ldots,\boldsymbol{x}_{N}]\), with the number of discrete timesteps \(N = T/\Delta t\). For each scalar signal \(f_{n}\), with real reference \(\hat{f}_{n}\), the instantaneous error at discrete time indexed \(n\) is denoted \(\varepsilon ^{f}_{n} = f_{n} - \hat{f}_{n}\), and we compute the normalized mean absolute error (MAE) by
where \(f_{\mathrm{norm}}\) is a normalizing reference value, which we take to be the maximum absolute value if nothing else is mentioned. For trajectories, a natural choice is the normalized mean Euclidean error (MEE)
with a Euclidean norm of the momentaneous trajectory error \(\varepsilon ^{\boldsymbol{x}}_{n} = \boldsymbol{x}_{n} - \hat{\boldsymbol{x}}_{n}\) and a normalizing length \(L_{\mathrm{norm}}\). However, if two trajectories trace approximately the same path with a slight delay or speed difference, this is picked up by the momentaneous error and accumulated along the reminding part of the trajectory.
The dynamic time warping (DTW) distance [7] is a similarity measure useful for comparing trajectory time series. The cumulative error of a time shift or speed difference is much less than for the standard Euclidian norm, giving a more nuanced similarity measure. Assume two time-discrete trajectories \(\boldsymbol{x} = [\boldsymbol{x}_{0},\boldsymbol{x}_{1},\ldots,\boldsymbol{x}_{N}]\) and \(\boldsymbol{y} = [\boldsymbol{y}_{0},\boldsymbol{y}_{1},\ldots,\boldsymbol{y}_{N}]\), and a warping curve \(\phi (n) = (\phi _{\boldsymbol{x}}(n),\phi _{\boldsymbol{y}}(n))\) with warping functions \(\phi _{x}\) and \(\phi _{y}\) that monotonically remaps the time series, i.e., \(\phi _{\boldsymbol{x}}(n+1) \geq \phi _{\boldsymbol{x}}(n)\). The optimal warping curve picks the deformation of the time axis, which brings the two time series as close as possible to each other, measured by
We compute the normalized DTW distance error as
using the Python implementation similaritymeasures from [23].
4 Experiments
The experimental data in this study comes from a field test conducted by Komatsu Ltd using a manually operated wheel loader equipped with additional sensing capabilities. The vehicle, test environment, and the procedure for data collection and obtained measurements are described in this section.
4.1 Wheel loader
The vehicle was a Komatsu WA320-7, which is a medium-sized wheel loader commonly used in quarry mines and construction sites. It has an operating weight of 15.175 tonnes and is powered by a diesel engine with an output power capacity of 127 kW. A hydrostatic transmission driveline provides four-wheel drive via a fixed ratio gearbox and a differential system. The wheels, 1.39 m in diameter, are spaced at a track width of 2.05 m and a wheelbase of 3.03 m. An hydraulic-powered articulated steering joint separates the rear and front unit. The flat-bottomed bucket has a loading capacity of 3.0 m3 and is 2.685 m wide, and was equipped with a bolt-on cutting edge. The bucket is mounted on the front unit’s parallel Z-bar linkage mechanism, which is hydraulically actuated with two (parallel) boom cylinders and one bucket cylinder for lifting and tilting. The test vehicle was equipped with several sensing capabilities, including pressures in the lift and tilt hydraulic cylinders and the geometric configuration of the bucket linkage. The vehicle position and velocity relative to the ground and walls confining the gravel pile were also tracked. The vehicle control system for engine, transmission, and hydraulics balances the torque and fuel usage in the different work phases. The operator mainly controls the accelerator and brake pedals, shift range, and lift and tilt lever.
4.2 Test environment
The wheel loader was manually operated on the test site, which included a flat, rigid ground and piles of gravel confined within vertical walls at the sides and the rear. The gravel consisted of sedimentary rock crushed and sifted to particle size around 30–40 mm mixed with a small amount of fine particles and moisture. The bulk density was measured to 1727 kg/m3. An image of the wheel loader digging into the pile is shown in Fig. 1 and in Supplementary Video 1.
4.3 Measurements
Different loading operations were performed manually while collecting measurement data with a sampling frequency of 100 Hz. This study focuses on the quantities listed in Table 1 and illustrated in Fig. 2. Discrete measurements were also made. The shape of the pile surface was captured with a 2D laser scanner before each recorded loading. The loaded mass in the bucket was estimated after each loading using the verified built-in functionality. The momentaneous power consumption is computed as the sum of the tractive power plus the rate of work exerted by the lift and tilt cylinders, \(P \equiv P_{\mathrm{tr}} + P_{\mathrm{l}} + P_{\mathrm{t}} = f_{ \mathrm{tr}}v + f_{\mathrm{l}}\dot{d}_{\mathrm{l}} + f_{\mathrm{t}} \dot{d}_{\mathrm{t}}\). The reported net mechanical work is the time integral of this. Note that the exerted work does not include the mechanical losses in the engine, transmission, or hydraulics.
Three loading operations were selected for comparison with simulations. These are listed in Table 2. In the test named FB35, the bucket was lowered horizontally to the ground and filled by driving it deep into the pile. After tilting the bucket \(20^{\circ}\), the wheel loader was reversed. After breakout, the bucket was finally tilted to the end. During the penetration phase, a slight increase in the boom lift was applied (starting at \(t = 3.5\) s) to avoid wheel slip when maximum traction is required. After loading was completed, the weight of the soil in the bucket was estimated to be 3.46 tonnes and the exerted mechanical work was 209 kJ. In the HD27 test, the boom was raised during the middle of the penetration phase (between \(t = 1.5\) and \(t = 2.5\) s) and tilted to the end during breakout. The loaded mass was 2.70 tonnes, and the net work was 127 kJ. The RD21 test is characterized by a shallow bucket penetration at low speed with the bucket tip raised 0.25 m above the ground. A step-wise tilting of the bucket was applied during bucket filling. The operation resulted in 2.10 tonnes of loaded mass and a mechanical work of 112 kJ. The measurements from the three loadings are presented in Figs. 6 and 7 together with simulated measurements. Note that these operations were the result of trying different trajectories with no ambition of achieving the rated load.
5 Simulator
Simulators were created for the loading scenarios in Sect. 4. The simulators include a wheel loader, a rigid flat ground, and a pile of soil. The vehicle is modeled as a 3D rigid multibody system with frictional contacts and driveline dynamics. For the soil, two different types of models are used, type D and G, each with four different spatiotemporal resolutions. The key settings for the eight different levels of simulator fidelity are listed in Table 3, with characteristic particle diameter \(D\), timestep \(\Delta t\), the number of particles \(N_{\mathrm{p}}\), and the number of solver iterations \(N_{\mathrm{it}}\) (explained in Sect. 5.3). Screen captures from the eight simulators are shown in Fig. 3, and Supplementary Video 2 shows the evolution. In the type-D simulators, the entire pile is modeled in terms of particles using DEM with time-implicit integration for strong coupling with the vehicle dynamics through the particle–bucket contact forces. These simulations are computationally intense, especially when the soil is finely resolved into many small particles. In the type-G simulators, a reduced multiscale method is used where only a small fraction of the soil, the active zone inside and in front of the bucket, is resolved in terms of particles. The macroscopic dynamics of the particle system is approximated by a rigid aggregate body that is coupled back to the vehicle dynamics. The type-G simulators are computationally much more efficient, running in real time or faster when the grid size is set large enough but presumably associated with a larger model error. The simulations were performed using the physics engine AGX Dynamics [12] with the methods described in [38] and [39]. The details are described in the following subsections.
Images from the eight simulators of different levels of fidelity. In the type-D simulators (left column), the gravel pile is fully resolved in particles with characteristic diameters of 50, 100, 200, and 400 mm (top to bottom). In the type-G simulators (right column), a multiscale technique is applied with different grid sizes 50, 100, 200, and 400 mm (top to bottom)
5.1 Multibody dynamics framework
We use nonsmooth contacting multibody dynamics in descriptor form for modeling the vehicle and the soil, introduced in [28] and supported by AGX Dynamics [12]. Specifically, we use a maximal coordinate representation in terms of rigid bodies and various types of kinematic constraints for joints, motors, and frictional contacts and impacts. The governing equations are
with system mass matrix \(\boldsymbol{M} \in \mathbb{R}^{6N_{\mathrm{b}}\times 6N_{\mathrm{b}}}\), external force \(\boldsymbol{f}\in \mathbb{R}^{6N_{\mathrm{b}}}\), and velocity \(\boldsymbol{v}\in \mathbb{R}^{6N_{\mathrm{b}}}\) that is the time derivative of the world-frame maximal coordinates \(\boldsymbol{x}\in \mathbb{R}^{7N_{\mathrm{b}}}\) (using quaternions for the orientation). The constraint forces in the Newton–Euler equation of motion (5), with Lagrange multiplier \(\boldsymbol{\lambda}\) and Jacobian \(\boldsymbol{G}\) are divided joints and motors, labeled with \(\mathrm{j}\), and contacts, labeled with \(\mathrm{c}\). Equation (6) is a generic constraint equation. An ideal joint can be represented with \(\varepsilon _{\mathrm{j}} = \tau _{\mathrm{j}} = \boldsymbol{u}_{\mathrm{j}} = 0\), in which case Eq. (6) expresses a holonomic constraint, \(\boldsymbol{g}_{\mathrm{j}}(\boldsymbol{x}) = 0\). A nonideal joint is modeled using finite compliance \(\varepsilon _{\mathrm{j}}\) and viscous damping rate \(\tau _{\mathrm{j}}\). A linear or angular motor may be represented by a velocity constraint \(\boldsymbol{G}_{\mathrm{j}} \boldsymbol{v} = \boldsymbol{u}_{\mathrm{j}}(t)\) with target speed \(\boldsymbol{u}_{\mathrm{j}}(t)\), which follows by \(\varepsilon _{\mathrm{j}} = \eta _{\mathrm{j}} = 0\) and \(\tau _{\mathrm{j}} = 1\). Range limits on the motor-constraint forces may be imposed by Eq. (7). With \(N_{\mathrm{j}}\) constrained and actuated degrees of freedom we have \(\boldsymbol{\lambda}_{\mathrm{j}}\in \mathbb{R}^{N_{\mathrm{j}}}\) and \(\boldsymbol{G}_{\mathrm{j}}\in \mathbb{R}^{N_{\mathrm{j}}\times 6N_{ \mathrm{b}}}\).
Contact laws are imposed as inequality and complementarity conditions on the contact multiplier \(\boldsymbol{\lambda}_{\mathrm{c}}\in \mathbb{R}^{3N_{\mathrm{c}}}\) and relative contact velocity. Each contact multiplier is split \(\boldsymbol{\lambda}_{\mathrm{c}} = [\lambda _{\mathrm{n}};\boldsymbol{\lambda}_{ \mathrm{t}}]\) in the normal and tangential components that must obey the Coulomb law, \(|\boldsymbol{\lambda}_{\mathrm{t}}| \leq \mu _{\mathrm{t}} \lambda _{ \mathrm{n}}\), and complementarity conditions for nonpenetration \(0\leq \varepsilon ^{-1}_{\mathrm{c}}g_{\mathrm{n}} + \gamma _{ \mathrm{c}} \boldsymbol{G}_{\mathrm{n}}\boldsymbol{v} \perp \lambda _{\mathrm{n}} \geq 0\) and no-slip \(\lVert \boldsymbol{G}_{\mathrm{t}} \boldsymbol{v}\rVert (\mu _{\mathrm{t}} \lambda _{ \mathrm{n}} - \lVert \boldsymbol{\lambda }_{\mathrm{t}}\rVert ) \), and maximum dissipation \(\lVert \boldsymbol{G}_{\mathrm{t}} \boldsymbol{v}\rVert \lVert \boldsymbol{\lambda }_{ \mathrm{t}}\rVert = - (\boldsymbol{G}_{\mathrm{t}} \boldsymbol{v})^{T}\boldsymbol{\lambda}_{ \mathrm{t}}\). Here, \(g_{\mathrm{n}}\) is a contact gap function, with normal Jacobian \(\boldsymbol{G}_{\mathrm{n}}=\frac{\partial g_{\mathrm{n}}}{\partial \boldsymbol{x}}\), contact compliance \(\varepsilon _{\mathrm{n}}\) and damping \(\gamma _{\mathrm{n}}\), and the tangential Jacobian \(\boldsymbol{G}_{\mathrm{t}}\) is such that the contacting bodies relative velocity in the contact tangent space is given by \(\boldsymbol{G}_{\mathrm{t}} \boldsymbol{v}\). The set of active contacts in Eq. (8), with normal gaps overlaps stored in \(\boldsymbol{g}_{\mathrm{c}}\) and contact velocities \(\boldsymbol{v}_{\mathrm{c}} \equiv \boldsymbol{G}_{\mathrm{c}} \boldsymbol{v} = [\boldsymbol{G}^{T}_{ \mathrm{n}},\boldsymbol{G}^{T}_{\mathrm{t}}]^{T} \boldsymbol{v}\), are recomputed at every simulation timestep using a collision-detection algorithm. High-velocity impacts are modeled using the Newton impact law while preserving all other kinematic constraints. For the DEM bodies (soil particles), the contact model is mapped to the Hertz model and a rolling-resistance constraint is included to capture the effect of the real particles having a nonspherical shape while the simulated particles are spherical. The details about the mapping and parametrization of the contact model and the Jacobians can be found in [38, 39, 46].
The dynamics system is time integrated using the SPOOK stepper [28], which is a first-order accurate discrete variational integrator developed particularly for fixed-timestep real-time simulation of multibody systems with nonideal constraints and nonsmooth dynamics. The time-discrete equations, forming a mixed complementarity problem (MCP), are solved using the direct-iterative split solver in AGX [12]. A block-sparse LDLT solver with pivoting [29] is used as direct solver for the vehicle system and its external contacts, with linearization of the Coulomb friction model. The DEM equations are solved using a projected Gauss–Seidel (PGS) algorithm, which is accelerated using domain decomposition for parallel processing and warm starting [44]. The latter solves the contact problem without linearization of the Coulomb law.
5.2 Wheel-loader model
The vehicle-simulation model matches the key geometric dimensions and mass distribution of the Komatsu WA320-7 wheel loader introduced in Sect. 4.1, and shown in Fig. 2. It is composed of ten rigid bodies, ten hinge joints, and three prismatic joints. The mass and geometry properties were determined from a 3D model and geometric information provided by the manufacturer. The lift and tilt hydraulic cylinders are modeled as independent linear motors, introduced as velocity constraints through Eq. (6). The cylinders are controlled by assigning a momentaneous target speed and a maximum force that is derived from the manufacturer’s specifications. The resulting actuator speed and applied force depend on the dynamic state and are computed by the multibody dynamics solver. The vehicle model is equipped with a minimalistic driveline model. The engine is modeled as a hinge motor constraint with a torque limit that depends on the rotational speed. A set target drive speed is translated into a target motor speed. The rotational motion is transmitted to the wheels via a main drive shaft and differentials. For the tire–ground contacts, the linear elastic modulus was set to 1.0 MPa and the surface friction coefficient to 2.0. The elasticity value was found to best match the experimentally observed tire deflection during bucket filling. The friction coefficient was the lowest value found that did not cause tire slippage during bucket filling in the calibration experiments. Having a friction coefficient larger than unity is not uncommon for tires on rough surfaces. Internal friction in joints and hydraulic cylinders is assumed to be negligible compared to the dig forces and was not modeled.
5.3 Particle-terrain model
In the type-D simulators, the entire pile is resolved into particles that are simulated using the nonsmooth DEM as described in Sect. 5.1 and in more detail in [38] and [46]. The piles are created by emitting particles into a 6 m wide container with a front surface shaped as in the field tests. The particles are given a spherical shape, a specific mass density 2590 kg/m3, friction coefficient 0.3, rolling resistance coefficient 0.02, and zero restitution coefficient. This matches the field-test bulk mass density 1727 kg/m3 and the \(32^{\circ}\) angle of repose, the best among the precalibrated soils in [38]. For each field test, three piles were created with different particle size, \(D = 50, 100, 200\), and 400 mm. To avoid the formation of regular packings, the particle diameters are slightly perturbed into a uniform size distribution in a small size span of \(D \pm 0.1D\). With nonsmooth DEM, the computational time is proportional to \(N_{\mathrm{p}}N_{\mathrm{it}}/\Delta t \propto D^{3.5}\). The strong dependency on the spatial resolution follows from the empirical rules \(N_{\mathrm{it}} \gtrsim 0.1 (L/D)/\epsilon \) and \(\Delta t \lesssim \sqrt{2\epsilon D/g}\) to obtain an error tolerance \(\epsilon \) when simulating granular systems with characteristic size \(L\) and gravity acceleration \(g\), using the SPOOK stepper and the projected Gauss–Seidel (PGS) solver [38].
5.4 Multiscale terrain model
The type-G simulators use the multiscale model for deformable terrain described in [39] and illustrated in Fig. 4. This model can be understood as a heavily reduced approximation of the full DEM model. From the perspective of the vehicle, the region of active soil is substituted with a single rigid body that has contact support with the surrounding terrain of resting soil. The coupled dynamics of the vehicle and the soil aggregate body are modeled using Eqs. (5)–(8) and solved with high accuracy using the direct solver.
Illustration of the multiscale terrain model (left) adapted from [39]. It can be regarded as a heavily reduced version of the full DEM model (right). The region of active soil movement is predicted and substituted with a rigid aggregate body that couples with the vehicle dynamics (upper left). The mass flow inside the active region is cosimulated using a DEM model (lower left)
The terrain deformations inside the active zone are treated by cosimulated soil dynamics models with the vehicle represented as kinematic bodies. The procedure is as follows. The surface of the terrain is represented by a heightmap. Its initial shape is reconstructed from the scanned piles in the field test. In the solid phase, the soil is represented using a regular grid of voxels with variable states of mass occupancy and compaction. It is assigned a set of bulk mechanical parameters for its physical behavior in a nominal bank state. When a bucket comes in contact with the terrain surface, the zone of active soil movement is predicted. It is comprised of a shear-failure plane stretching from the bucket’s cutting edge to the soil surface, enclosing a soil wedge. The failure angle depends on the soil’s internal friction and on the orientation of the bucket’s cutting plane. Inside the active zone, the soil is represented primarily by particles that may grow and shrink in size and number as the active zone progresses into or out of the terrain along with the moving bucket. The particle dynamics is modeled using DEM with specific mass density and contact parameters that ensure a bulk mechanical behavior consistent with the set bulk parameters. The particles evolve in a cosimulation where the bucket exists as a kinematic moving body, controlled by the vehicle multibody simulation. The reaction force on the bucket from the soil is mediated through an aggregate body that inherits the momentaneous shape, inertia, and momentum of the particles in the active zone. The soil’s internal friction is applied at the aggregate/terrain contact interface (B in Fig. 4) while distinct parameters may be set for the aggregate/bucket interface (A in Fig. 4).
The role of the aggregate body can be viewed as a multibody dynamics generalization of the soil-separation force described by the fundamental earth-moving equation [32]. Besides capturing inertial effects, the aggregate body has a numeric filtering effect that provides a stable reaction force and rate of soil displacement despite the large stresses and coarse spatial and temporal resolution. For this reason, it is possible to simulate with a larger timestep and fewer PGS solver iterations than predicted by the relations in Sect. 5.3 for DEM.
The additional resistance for the bucket teeth or edge to penetrate dense soil under stress is modeled by a penetration constraint (C in Fig. 4) that hinders the motion of the bucket in its cutting direction unless the penetration resistance force exceeds a critical value that is a function of the bucket geometry and the soil–bucket surface friction coefficient.
The terrain model was assigned the bulk parameters that best match the observed properties of the gravel at the field test site: mass density 1727 kg/m3, internal friction angle \(32^{\circ}\), dilatancy angle \(8^{\circ}\), and Young’s modulus 4.6 MPa. Dilatancy is the volume expansion in a granular media that is induced by shear deformation. It makes the material more resistant to shear failure by adding directly to the internal friction, i.e., summing to an effective internal friction of \(40^{\circ}\) in the present case. The bucket cutting edge was assigned a maximum and minimum radius of 10 mm and 2.5 mm, respectively, and an equivalent tooth length of 10 mm. Two parameters were calibrated for the best match between the simulated and measured dig forces. The friction coefficient between the bucket and soil was set to 0.2. The so-called aggregate stiffness multiplier was set to 0.01. This increases the contact elasticity at the aggregate/terrain interface by a factor of five relative to the set Young’s modulus of the soil.
In Fig. 5 and Supplementary Video 3, the evolution of the HD27 test using the G200 simulator is compared with using a D50 simulator, the one with finest resolution. The simulators differ in number of particles by a factor \(10^{3}\) and in computational speed by \(10^{4}\). Despite this, there is good agreement in the evolution of the G200 active zone and the mobilized D50 particles, and in the distributions of soil in the bucket after breakout. The differences in soil model and spatiotemporal resolution produce a small offset in the vehicle poses. This appears as a slight double vision in the images.
Simulation of the HD27 test with overlaid images from the D50 and G200 simulators at one-second intervals starting from time 0.37 s. The D50 particles are color coded by speed, with blue for 0 and red for 1 m/s, while the G200 particles are gray. The shape of the active zone and the distributions of mass in the bucket are in good agreement. (Color figure online)
6 Comparison
6.1 Feedforward control
To assess the reality gap of the simulators with different levels of fidelity, we repeated the loading cycles from the field test using feedforward control of the forward drive, boom lift, and bucket tilt actuators using target-speed time series as input. The target-speed control signals that best replicated the motion of the operator-controlled vehicle were identified using the G200 simulator (as it runs in real time). This stage also involved calibration of the wheel–ground friction coefficient, the bucket–terrain friction coefficient, and the aggregate stiffness multiplier to the values listed in the previous section. Next, the identified feedforward control signals (actuator target speed) were used as input when running each simulator.
6.2 Processing of time series
The comparison between the time-series measurement from simulations and field tests was made with the observation variables listed in Table 1. Force measurements are rescaled by dividing them by a force constant characteristic of the vehicle. We exclude the phases of initializing the vehicle to target speed before reaching the pile and the phase after the bucket reaches the end. These phases are indicated in gray in Fig. 7.
For the scalar signals, the MAE error was computed, while the DTW error was used for the bucket-tip trajectories. The errors for each variable and D and G simulator are found in Tables 4 and 5, respectively. These tables also include the relative errors in loaded mass \(\mathcal{E}_{M} = (M - \hat{M})/\hat{M}\), work, \(\mathcal{E}_{W} = (W - \hat{W})/\hat{W}\), and the mean error for each simulator.
6.3 Bucket-tip trajectories
Most of the simulated bucket-tip trajectories in Fig. 6 match the experimental ones fairly well. The DTW error (\(\mathcal{E}_{ \boldsymbol{x}}\) in Tables 4 and 5) is, on average, 0.04 for the D simulators and 0.09 for the G simulators. The general trend is that the bucket penetrates too deeply with the coarsest resolution (D400 and G400), presumably because of large contact overlaps due to the large timestep. The exception is the RD21-D400 case, where the bucket is severely obstructed from penetrating the pile surface because of the oversized particles interlocking. The reason why this is not a problem in FB35-D400 and HD27-D400 is that the bucket penetrates along the ground plane on which the particles rest. If the bucket had been raised half a particle diameter, the bucket would have been obstructed similarly to the RD21-D400. There are no clear signs of excessive penetration resistance for the finer particle piles, D50-D200. By design, the type-G simulators do not have this sensitivity to spatial discretization. The bucket’s cutting edge induces a failure plane (Fig. 4) wherever it occurs and the penetration resistance does not depend on the location and resolution of the voxel grid.
6.4 Scalar time series
Studying the scalar time-series measurements, shown in Fig. 7, we observe that the drive velocity and the rotation of the bucket and boom show a fair agreement between simulation and experiment. The G400 simulator stands out with the largest deviations. The traction force MAE (\(\mathcal{E}_{\mathrm{tr}}\) in Tables 4 and 5) ranges between 8% and 19% with the largest errors when the drive, boom, and bucket are actuated simultaneously (HD27 and RD21). The trend of the simulated boom-lift and bucket-tilt forces match the experimentally measured one, but there are occasionally significant deviations. The lift and tilt forces deviate the most during breakout in the test FB35 around 7 s and RD21 around 14 s but not in the HD27 test where breakout occurs around the 8 s. After the breakout, the simulated and real lift forces are in good agreement, indicating a good agreement in bucket filling until the time when the bucket reaches its mechanical end-point and forces are redistributed. This happens around the 10 s point for FB35 and 14.5 for RD21. On average, the error in lift and tilt forces (\(\mathcal{E}_{\mathrm{l}}\) and \(\mathcal{E}_{\mathrm{t}}\) in Tables 4 and 5) are 11% and slightly smaller for the D simulators than for the G simulators, apart from the case of D400 and D200. The chassis-angle relative error is large (largest for the coarsest simulators) but small in absolute numbers. The possible causes could be the model error of the tire pressures or a not entirely flat ground that we assume to be flat in simulation.
Speed, force, rotation measurements for time series from the FB35, HD27, and RD21 experiments (dashed black) and type-G (blue) and -D (red) simulators. The comparison is made in the nonshaded regions, excluding the phases of initialization and reversal after breakout. Individual plots are found in the Appendix. (Color figure online)
6.5 Loaded mass and work
The relative errors in loaded mass and work are listed in Tables 4 and 5. The loaded mass is underestimated in the type-D simulators, with a 15% mean error, and mostly overestimated in the G simulators, with a 12% mean error. For the accumulated work, the respective mean errors are 17% and 21%. Again, the D simulators mostly underestimate the work, while G simulators mostly overestimate it. Sample time series of the power consumption is shown in Fig. 8 with the respective contributions of the drive, lift, and tilt actuation. Most power is consumed by driving and secondly by tilting. Both types of simulators show similar trends in power consumption as the field test.
6.6 Sim-to-real error and simulation speed
The mean error for each test and simulator fidelity was computed. These are listed in the right-most column in Tables 4 and 5 and plotted in Fig. 9(a). We refer to this as the sim-to-real error as it is intended to capture the reality gap of the simulators. Overall, the sim-to-real error is about 10% with a standard deviation of 3%, On average, the sim-to-real error increases with the resolution (grid and particle size). The error is somewhat smaller for the type-G simulators than for the type-D simulators, except for the case of G50.
If we compare each simulator not with the field test but with the simulator of highest fidelity, D50, we obtain the mean sim-to-sim error in Fig. 9(b). The sim-to-sim error of the D simulators increases with particle size, as can be anticipated since this is a self-consistency error. The G50–G400 simulators, on the other hand, are offset to D50 by a 15% error on average.
The simulators are very different in computational intensity and speed, as indicated by the different timestep, number of particles, and solver iterations listed in Table 3. The real-time factor (computational time over simulated time) was measured using a workstation with a single Intel i7-8700K 3.70 GHz processor. The result is shown in Fig. 9(c). The type-G simulators are roughly 100 times faster than the type-D simulators of the same resolution and run in real-time for G200 and five times faster for G400. The G200 simulator may be considered a sweet spot in the trade-off in sim-to-real error versus speed.
7 Domain sensitivity and predictivity with force-based control
In this section, we investigate the domain sensitivity of a controller for automatic bucket filling. Imagine a controller with some free parameters, \(\boldsymbol{a} \in \mathcal{A}\), that may be tuned for near-optimal performance by exploring the control-parameter space \(\mathcal{A}\) using simulations. It is then of interest how sensitive the choice of control parameters is under transfer to the target domain. In other words, is a control parameter that is found to be near-optimal in simulation also near-optimal in reality? We did not have the possibility of running additional field experiments. Instead, we examined the domain sensitivity of a controller optimized with the fast G200 simulator under transfer to the D50 simulator, which is much more finely resolved and slower than four orders in magnitude. From Fig. 9, we know that the gap between G200 and D50 is similar in size to the simulation-to-reality gap, albeit the nature of deviations is different.
7.1 Test setup
We used the same force-feedback controller for automatic bucket filling as studied in [2] and ran it on the FB35 test pile. The wheel loader starts 5 m from the pile, heading straight with the target speed of 8 km/h and with the bucket lowered horizontally to the ground. Once the bucket reaches the pile, the force-feedback control law is engaged on the lift and bucket cylinders to fill the bucket until the bucket tip breaks out from the pile. After breakout, the machine is held still for 0.5 s, for the soil to settle and then starts reversing with a target speed of 8 km/h while lifting and tilting to reach the final boom and bucket angles of \(-20^{\circ}\) and \(50^{\circ}\), respectively. The loading cycle ends when the machine reaches the starting point.
The force-feedback controller is an adaptation of the admittance controller in [11]. It determines the target speed of the linear motors for the boom and bucket cylinders. Recall that the linear motors are modeled as velocity constraints with force range limits on the constraint force, hence the set target speed will not be realized if the required force is not within the motor limits. The controller is defined by the following target speeds: \(v_{\mathrm{bm}}^{\text{target}} = u_{\mathrm{bm}}(f_{\mathrm{bm}}, \boldsymbol{a}) v_{\mathrm{bm}}^{\text{max}}\) and \(v_{\mathrm{bk}}^{\text{target}} = u_{\mathrm{bk}}(f_{\mathrm{bm}}, \boldsymbol{a}) v_{\mathrm{bk}}^{\text{max}}\), where \(f_{\mathrm{bm}}\) is the measured force in the boom cylinder, suitably normalized. The response functions are \(u_{\mathrm{bm}} = \text{clip}\left ( k_{\mathrm{bm}}\left [ f_{ \mathrm{bm}} -\delta _{\mathrm{bm}} \right ],0,1\right )\) and \(u_{\mathrm{bk}} = \text{clip}\left ( k_{\mathrm{bk}}\left [ f_{ \mathrm{bm}} -\delta _{\mathrm{bk}} \right ],0,1\right )\), where \(\text{clip}(value, min, max)\) limits \(value\) to the maximum and minimum values. The digging resistance increases with the depth of bucket penetration into the pile. If the dig resistance, observed through the boom cylinder force \(f_{\mathrm{bm}}\), exceeds the threshold parameters \(\delta _{\mathrm{bm}}\) or \(\delta _{\mathrm{bk}}\), then the lift or tilt actuation is engaged, respectively. Larger values of the threshold parameters will typically render bucket trajectories with deeper penetration. The gain parameters, \(k_{\mathrm{bm}}\) and \(k_{\mathrm{bk}}\), regulate how rapid the respective reactions are. These are collected in a control-parameter vector \(\boldsymbol{a} = [\delta _{\mathrm{bm}}, k_{\mathrm{bm}}, \delta _{ \mathrm{bk}}, k_{\mathrm{bk}}]\). It should be noted that unlike the feedforward controller in Sect. 6, the time for completing the loading cycle is entirely unknown and highly dependent on the control parameter and pile shape.
For simplicity, we do not cover the full four-dimensional control parameter space here. Instead, we sweep along a search line \(\boldsymbol{a}(s) = \boldsymbol{a}_{0} + (\boldsymbol{a}_{1}-\boldsymbol{a}_{0})s\), with \(\boldsymbol{a}_{0} = [0.7, 0.3, 0.2, 0.2]\), \(\boldsymbol{a}_{1} = [0.0, 2.2, 0.15, 4.8]\), and search parameter \(s \in [0,1]\). Typically, \(s \approx 0\) produces a deep bucket penetration before breaking out while \(s\approx 1\) will render a shallower trajectory following the surface. Simulations were run with distinct control parameters by sweeping \(s\) from 0.0 to 1.0 in 50 equally spaced intervals for G200 and 30 intervals for D50. To assess the dependency on the simulator level-of-fidelity, simulations with G100 and D100 were also run. Samples are shown in Supplementary Video 4.
7.2 Resulting domain sensitivity
The measured load mass \(M\), cycle time \(T\), and work \(W\) for the control parameters and simulators are shown in Fig. 10. The simulators show the same general dependency but with some differences. The mass, time, and work are monotonically decreasing with \(s\), with some fluctuations that are larger for G than for D. The load time agrees well, capturing how time increases rapidly with deep bucket penetration. For the work, there is a nearly constant gap of 50 kJ, G200 yielding roughly 15% higher values than D50. For the mass, the gap is 25% in the region of maximal bucket filling, occurring for \(s\approx 0\), and decreases steadily with increasing \(s\). These gaps are consistent with the results in Sect. 6, where feedforward control was used. The dependency on resolution is hardly notable here.
The productivity and efficiency of each simulated loading are computed as \(M/T\) and \(M/W\), respectively. Their dependency on the control parameter and on the type of simulator is shown in Fig. 11. The absolute value in productivity differs because of the mentioned gap, but the trends are similar. Productivity drops in a similar fashion when the load time increases sharply as \(s\) approaches zero. The D simulators predict that efficiency is monotonically increasing with \(s\), while it is more or less constant for G.
If the task was to select an optimal control parameter using the G200 simulator and transfer it to the D50 domain, we would have experienced a domain gap as well as a shift in the value of the optimal parameter in the different domains. In the current example, the maximal productivity in G200 is about 416 kg/s at \(s=0.42\), while D50 simulations observed the maximal productivity of 366 kg/s at \(s=0.36\). This translates into a domain gap of 49 kg/s (13%) and a domain shift of 0.06. If the control parameter \(s=0.42\), which is optimal for G200, were directly transferred to the D50 domain, the performance drop from the found optimal value would only be 2%. Since this might be the special case of the selected action space, we also tested the domain sensitivity in an additional 10 spaces. To avoid the simulation cost of D50, additional tests were conducted between G200 and D100, assuming the gap between D50 and D100 was marginal, as shown in Fig. 11. In consequence, the average of the domain gap, the domain shift, and the performance drop resulted in 55 kg/s (16%), 0.22, and 5%, respectively.
8 Discussion
A limitation of the present study is the specificity of loading homogeneous gravel. It is likely that the sim-to-real gap will be larger when considering more complex and heterogeneous soil, such as coarse fragmented rocks and cohesive dirt. On the other hand, the results in [15] suggest that the adaptation to other materials is not an insurmountable problem.
The wheel-loader model in this paper is highly simplified, in particular the engine and power transmission through the driveline and hydraulics for the boom lift and bucket tilt. In reality, they share and compete for the same power source. A simple model extension that would not affect simulation timestep or speed would be to adopt the model in [37]. The number of parameters to calibrate would, however, increase.
9 Conclusion
We found that it is possible to create a full-system wheel-loading simulator with a sim-to-real gap of 10%. If the domain sensitivity between D and G simulators is representative of the true reality gap, this level of sim-to-real gap is clearly sufficient to transfer the studied force-feedback controller without a significant drop in optimality. The observed gap depends weakly on the simulated terrain’s level of fidelity. Unexpectedly, the reduced multiscale terrain model can deliver as good or better realism as a DEM model despite several orders of magnitude differences in degrees of freedom and computational speed. The fact that it has more free model parameters is compensated by high computational speed, allowing for many more evaluations during calibration. The findings suggest that the observed simulation-to-reality gap is due more to model errors than numerical errors. To further reduce the gap, we advise a more refined model of the engine, the hydraulic actuation of the boom and bucket and power distribution between it and the driveline.
Data Availability
Normalized time series can be made available upon request.
Notes
CMA is a stochastic sampling-based optimization algorithm, which has been successfully applied to search for control parameters when the problem domain is highly discontinuous.
References
Allevato, A.D., Schaertl Short, E., Pryor, M., Thomaz, A.L.: Iterative residual tuning for system identification and sim-to-real robot learning. Auton. Robots 44, 1167–1182 (2020)
Aoshima, K., Fälldin, A., Wadbro, E., Servin, M.: World modeling for autonomous wheel loaders (2023). ArXiv preprint arXiv:2309.12016
Aoshima, K., Servin, M., Wadbro, E.: Simulation-based optimization of high-performance wheel loading. In: Feng, C., et al. (eds.) Proceedings of the 38th International Symposium on Automation and Robotics in Construction (ISARC), Dubai, UAE, November 2021, pp. 688–695. International Association for Automation and Robotics in Construction (IAARC) (2021)
Atkeson, C.G., Schaal, S.: Robot learning from demonstration. In: ICML, vol. 97, pp. 12–20 (1997)
Azulay, O., Shapiro, A.: Wheel loader scooping controller using deep reinforcement learning. IEEE Access 9, 24145–24154 (2021)
Backman, S., Lindmark, D., Bodin, K., Servin, M., Mörk, J., Löfgren, H.: Continuous control of an underground loader using deep reinforcement learning. Mach. 9(10), 216 (2021)
Berndt, D.J., Clifford, J.: Using dynamic time warping to find patterns in time series. In: Proceedings of the 3rd International Conference on Knowledge Discovery and Data Mining. AAAIWS’94, pp. 359–370. AAAI Press, Menlo Park (1994)
Choi, H., Crump, C., Duriez, C., Elmquist, A., Hager, G., Han, D., Hearl, F., Hodgins, J., Jain, A., Leve, F., et al.: On the use of simulation in robotics: opportunities, challenges, and suggestions for moving forward. Proc. Natl. Acad. Sci. 118(1), e1907856118 (2021)
Collins, J., McVicar, J., Wedlock, D., Brown, R., Howard, D., Leitner, J.: Benchmarking simulated robotic manipulation through a real world dataset. IEEE Robot. Autom. Lett. 5(1), 250–257 (2019)
Dadhich, S., Bodin, U., Andersson, U.: Key challenges in automation of Earth-moving machines. Autom. Constr. 68, 212–222 (2016)
Dobson, A., Marshall, J., Larsson, J.: Admittance control for robotic loading: design and experiments with a 1-tonne loader and a 14-tonne load-haul-dump machine. J. Field Robot. 34(1), 123–150 (2017)
Dynamics, A.G.X.:. https://www.algoryx.se/products/agx-dynamics. Accessed: 2020-08-12
Egli, P., Hutter, M.: A general approach for the automation of hydraulic excavator arms using reinforcement learning. IEEE Robot. Autom. Lett. 7(2), 5679–5686 (2022)
Erez, T., Tassa, Y., Todorov, E.: Simulation tools for model-based robotics: comparison of bullet, Havok, MuJoCo, ODE and PhysX. In: 2015 IEEE International Conference on Robotics and Automation (ICRA), pp. 4397–4404 (2015)
Eriksson, D., Ghabcheloo, R.: Comparison of machine learning methods for automatic bucket filling: an imitation learning approach. Autom. Constr. 150, 104843 (2023)
Filla, R., Frank, B.: Towards finding the optimal bucket filling strategy through simulation. In: Proceedings of 15:th Scandinavian International Conference on Fluid Power, Linköping, Sweden, June 7–9, 2017, vol. 06 (2017)
Frank, B., Kleinert, J., Filla, R.: Optimal control of wheel loader actuators in gravel applications. Autom. Constr. 91, 1–14 (2018)
Hairer, E., Wanner, G.: Solving Ordinary Differential Equations II: Stiff and Differential Algebraic Problems. Springer Series in Computational Mathematics, vol. 14. Springer, Berlin (1996)
Holz, D., Beer, T., Kuhlen, T.: Soil deformation models for real-time simulation: a hybrid approach. In: Prautzsch, H., Schmitt, A., Bender, J., Teschner, M. (eds.) Workshop in Virtual Reality Interactions and Physical Simulation “VRIPHYS” (2009)
Horak, P.C., Trinkle, J.C.: On the similarities and differences among contact models in robot simulation. IEEE Robot. Autom. Lett. 4(2), 493–499 (2019)
Ibarz, J., Tan, J., Finn, C., Kalakrishnan, M., Pastor, P., Levine, S.: How to train your robot with deep reinforcement learning: lessons we have learned. Int. J. Robot. Res. 40(4–5), 698–721 (2021)
Jaiswal, S., Korkealaakso, P., Åman, R., Sopanen, J., Mikkola, A.: Deformable terrain model for the real-time multibody simulation of a tractor with a hydraulically driven front-loader. IEEE Access 7, 172694–172708 (2019)
Jekel, C.F., Venter, G., Venter, M.P., Stander, N., Haftka, R.T.: Similarity measures for identifying material parameters from hysteresis loops using inverse analysis. Int. J. Mater. Form. 12, 355–378 (2019)
Kadian, A., Truong, J., Gokaslan, A., Clegg, A., Wijmans, E., Lee, S., Savva, M., Chernova, S., Batra, D.: Sim2real predictivity: does evaluation in simulation predict real-world performance? IEEE Robot. Autom. Lett. 5(4), 6670–6677 (2020)
Kim, H., Oh, K., Ko, K., Kim, P., Yi, K.: Modeling, validation and energy flow analysis of a wheel loader. J. Mech. Sci. Technol. 30(2), 603–610 (2016)
Koos, S., Mouret, J.-B., Doncieux, S.: Crossing the reality gap in evolutionary robotics by promoting transferable controllers. In: Proceedings of the 12th Annual Conference on Genetic and Evolutionary Computation, pp. 119–126 (2010)
Kurinov, I., Orzechowski, G., Hämäläinen, P., Mikkola, A.: Automated excavator based on reinforcement learning and multibody system dynamics. IEEE Access 8, 213998–214006 (2020)
Lacoursière, C.: Ghosts and machines: regularized variational methods for interactive simulations of multibodies with dry frictional contacts. PhD thesis, Umeå University, SE-901 87 Umeå (2007)
Lacoursiére, C., Linde, M., Sabelström, O.: Direct sparse factorization of blocked saddle point matrices. Para 2010: State of the Art in Scientific and Parallel Computing, Reykjavik, June 6–9 (2010)
Lindmark, D., Servin, M.: Computational exploration of robotic rock loading. Robot. Auton. Syst. 106, 117–129 (2018)
Matsumoto, K., Yamaguchi, A., Oka, T., Yasumoto, M., Hara, S., Iida, M., Teichmann, M.: Simulation-based reinforcement learning approach towards construction machine automation. In: Osumi, H., Furuya, H., Tateyama, K. (eds.) Proceedings of the 37th International Symposium on Automation and Robotics in Construction (ISARC), pp. 457–464. International Association for Automation and Robotics in Construction (IAARC) (2020)
McKyes, E.: Soil Cutting and Tillage. Developments in Agricultural Engineering. Elsevier, Amsterdam (1985)
Meng, Y., Fang, H., Liang, G., Gu, Q., Liu, L.: Bucket trajectory optimization under the automatic scooping of LHD. Energies 12(20), 3919 (2019)
Muratore, F., Ramos, F., Turk, G., Yu, W., Gienger, M., Peters, J.: Robot learning from randomized simulations: a review. Front. Robot. AI 9, 31 (2022)
Oh, K., Kim, H., Ko, K., Kim, P., Yi, K.: Integrated wheel loader simulation model for improving performance and energy flow. Autom. Constr. 58, 129–143 (2015)
Peng, X.B., Andrychowicz, M., Zaremba, W., Abbeel, P.: Sim-to-real transfer of robotic control with dynamics randomization. In: 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 1–8. IEEE Press, New York (2018)
Servin, M., Brandl, M.: Physics-based virtual environments for autonomous earthmoving and mining machinery. In: Commercial Vehicle Technology Symposium – CVT 2018 (2018)
Servin, M., Wang, D., Lacoursière, C., Bodin, K.: Examining the smooth and nonsmooth discrete element approach to granular matter. Int. J. Numer. Methods Eng. 97, 878–902 (2014)
Servin, M., Berglund, T., Nystedt, S.: A multiscale model of terrain dynamics for real-time Earth-moving simulation. Adv. Model. Simul. Eng. Sci. 8(1), 11 (2021)
Söderström, T., Stoica, P.: System Identification. Prentice-Hall International Series in Systems and Control Engineering. Prentice Hall, New York (1989)
Song, R., Ye, Z., Wang, L., He, T., Zhang, L.: Autonomous wheel loader trajectory tracking control using LPV-MPC. In: 2022 American Control Conference (ACC), pp. 2063–2069 (2022)
Tan, J., Xie, Z., Boots, B., Liu, C.K.: Simulation-based design of dynamic controllers for humanoid balancing. In: 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 2729–2736 (2016)
Tobin, J., Fong, R., Ray, A., Schneider, J., Zaremba, W., Abbeel, P.: Domain randomization for transferring deep neural networks from simulation to the real world. In: 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), pp. 23–30 (2017)
Wang, D., et al.: Warm starting the projected Gauss-Seidel algorithm for granular matter simulation. Comput. Part. Mech. 3, 43–52 (2016)
Wang, S., Yin, Y., Wu, Y., Hou, L.: Modeling and verification of an acquisition strategy for wheel loader’s working trajectories and resistance. Sensors 22(16), 5993 (2022)
Wiberg, V., Servin, M., Nordfjell, T.: Discrete element modelling of large soil deformations under heavy vehicles. J. Terramech. 93, 11–21 (2021)
Wiberg, V., Wallin, E., Nordfjell, T., Servin, M.: Control of rough terrain vehicles using deep reinforcement learning. IEEE Robot. Autom. Lett. 7(1), 390–397 (2022)
Wiberg, V., Wallin, E., Fälldin, A., Semberg, T., Rossander, M., Wadbro, E., Servin, M.: Sim-to-real transfer of active suspension control using deep reinforcement learning. Robot. Auton. Syst. 179, 104731 (2024). https://doi.org/10.1016/j.robot.2024.104731
Zhao, W., Queralta, J.P., Westerlund, T.: Sim-to-real transfer in deep reinforcement learning for robotics: a survey. In: 2020 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 737–744. IEEE, New York (2020)
Acknowledgements
The research was supported in part by Komatsu Ltd, Algoryx Simulation AB, and the Swedish National Infrastructure for Computing at the High-Performance Computing Center North (HPC2N).
Funding
Open access funding provided by Umea University. The research was supported in part by Komatsu Ltd.
Author information
Authors and Affiliations
Contributions
Koji Aoshima collected the field data and developed the wheel loader simulation model. Martin Servin developed the terrain models and supervised the project. Both contributed to the study conception, simulations, data analysis, writing and reviewing the article, and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
Below are the links to the electronic supplementary material.
11044_2024_10005_MOESM1_ESM.mp4
The field experiment and corresponding simulations for the three bucket-filling tests FB35, HD27, and RD21. The particle and the multiscale terrain models are D50 (top right), G200 (bottom left), and G400 (bottom right). (MP4 24.8 MB)
11044_2024_10005_MOESM2_ESM.mp4
The simulations of the eight different levels of fidelity for the bucket-filling tests FB35, HD27, and RD21. D50/G50 (top left), D100/G100 (top right), D200/G200 (bottom left), and D400/G400 (bottom right). (MP4 37.3 MB)
11044_2024_10005_MOESM3_ESM.mp4
The simulations of the bucket-filling tests FB35, HD27, and RD21 with overlaid images from the D50 and G200 simulators. Particles are color coded by velocity. (MP4 5.2 MB)
11044_2024_10005_MOESM4_ESM.mp4
The optimized bucket-filling controller in each simulator: D50 (top left), D100 (top right), G100 (bottom left), and G200 (bottom right). Particles are color coded by velocity. (MP4 7.9 MB)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aoshima, K., Servin, M. Examining the simulation-to-reality gap of a wheel loader digging in deformable terrain. Multibody Syst Dyn (2024). https://doi.org/10.1007/s11044-024-10005-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11044-024-10005-5