André Platzer: Logical foundationsof cyber-physical systems
Alexander Knapp, Markus Roggenbach · Formal Aspects of Computing · 2020
Will the cat catch the mouse?One of the early examples illustrating the challenges in analysing hybrid systems was stated by Maler, Manna, and Pnueli in 1991: At time T 0, a mouse starts running from a certain position on the floor in a straight line towards a hole in the wall, which is at a distance X 0 from the initial position.The mouse runs at a constant velocity V m .After a delay of time units, a cat is released at the same initial position and chases the mouse at velocity V c along the same path.Will the cat catch the mouse or will the mouse find sanctuary while the cat crashes against the wall?[MMP91]