Bibliography

M. Althoff. Reachability analysis and its application to the safety assessment of autonomous cars. Ph.D. Thesis, Technische Universität München (2010).

M. Althoff, B. H. Krogh and O. Stursberg. Analyzing reachability of linear dynamic systems with parametric uncertainties. Modeling, Design, and Simulation of Systems with Uncertainties, 69–94 (2011).

M. Althoff, O. Stursberg and M. Buss. Reachability analysis of linear systems with uncertain parameters and inputs. In: Conference on Decision and Control (CDC) (IEEE, 2007); pp. 726–732.

M. Althoff, O. Stursberg and M. Buss. Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization. In: Conference on Decision and Control (CDC) (IEEE, 2008); pp. 4042–4048.

A. Goldsztejn and A. Neumaier. On the Exponentiation of Interval Matrices. Reliable Computing 20, 53–72 (2014).

O. Kosheleva, V. Kreinovich, G. Mayer and H. T. Nguyen. Computing the cube of an interval matrix is NP-Hard. In: Symposium on Applied Computing (SAC), edited by H. Haddad, L. M. Liebrock, A. Omicini and R. L. Wainwright (ACM, 2005); pp. 1449–1453.

M. Liou. A novel method of evaluating transient response. Proceedings of the IEEE 54, 20–23 (1966).

S. M. Rump. Verification methods: Rigorous results using floating-point arithmetic. Acta Numerica 19, 287–449 (2010).

S. M. Rump. Fast and parallel interval arithmetic. BIT Numerical Mathematics 39, 534–554 (1999).