Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. - Andreas Rauh; Johanna Minisini; Eberhard P. Hofer (Numerical Validation in Current Hardware Architectures, 2008)

Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties. - Andreas Rauh; Johanna Minisini; Eberhard P. Hofer (Int. J. Appl. Math. Comput. Sci., 2009)

Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic. - Andreas Rauh; Johanna Minisini; Eberhard P. Hofer; Harald Aschemann (Reliab. Comput., 2011)