“…These methods work by propagating regions of states, which can be represented using constraint polyhedra [26], support functions [32], orthogonal polyhedra [23], zonotopes [5], Taylor models [21,44] or ellipsoids [17,37]. These representations have been implemented in powerful analysis tools for hybrid automata including HyTech [34], Ariadne [13], Flow* [20], PHAVer [26], SpaceEx [27], CORA [1], and Hylaa [11].…”