Y. Kesten, A. Pnueli, J. Sifakis, S. Yovine, "Integration Graphs: a Class of Decidable Hybrid Systems," in Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel, eds., Hybrid Systems, Springer-Verlag, 1993


In Fig. 1 we present a CSHS for the Cat and Mouse System, representing the situation of a cat chasing a mouse, where the cat and mouse run at constant velocities, vc and vm respectively, and the cat starts running Δ time units later than the mouse. Variables xc and xm measure the respective distances of the cat and the mouse from the wall. Variable y is a timer, used to measure the delay Δ in the start time of the cat.