Verified simulation of a hydraulic drive

To obtain reliable simulation results in the context of uncertain data and error propagation we use interval arithmetics and a self acting error calculus, and apply these methods to a hydraulic driven elastic robot. We describe a new explicit Sugeno-Takagi fuzzy model representation of a hydraulic differential cylinder with servo valve and show that a verification of the simulation results is possible in most cases, and that only small errors occur.