TMsim: An Algorithmic Tool for the Parametric and Worst-Case Simulation of Systems with Uncertainties

Figure 3

Schematic of the quarter-car model considered in the first application, with definition of parameters and state variables.