A simulation of the chaotic attractor of a hybrid automaton

Deadness and how to disprove liveness in hybrid dynamical systems