Turns out that I've recently started getting into Robust Control techniques, which are mostly based on the assumption that a nominal ordinary differential equation is "perturbed" by a suitably defined "uncertainty" element $\Delta$ (usually defined as a linear mapping).
$\Delta$ is virtually always assumed to be contained in a polytope, defined in a finite-dimensional Euclidean space.
That said, I'm super interested in (formal) literature on polyhedra and polytopes. And I would appreciate recommendations from the community. Thanks in advance!