Reachability of nonlinear hybrid systems using polytopes

[schillic]

See Chutinan, Krogh - Computational techniques for hybrid system verification.

The algorithm can be made arbitrarily precise based on partitioning the time step and initial states. This is probably not scalable, but it might be a good basis for comparisons.