@doctoralThesis{Hagemann_2014,
title={Symbolic orthogonal projections : a new polyhedral representation for reachability analysis of hybrid systems},
author={Hagemann, Willem},
doi={http://dx.doi.org/10.22028/D291-26630},
subtitle={Symbolische Orthogonalprojektionen : eine neue Polyederdarstellung für die Erreichbarkeitsanalyse von hybriden Systemen},
year={2014}
}