Verified simulation of control systems with interval parameters using an exponential state enclosure technique. - Andreas Rauh; Ramona Westphal; Harald Aschemann (MMAR, 2013)

Exponential Enclosure Techniques for the Computation of Guaranteed State Enclosures in ValEncIA-IVP. - Andreas Rauh; Ramona Westphal; Harald Aschemann; Ekaterina Auer (Reliab. Comput., 2013)

Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues. - Andreas Rauh; Ramona Westphal; Harald Aschemann; Ekaterina Auer (SCAN, 2014)