CLOCK

CLOCK

This is a simple example with a clock variable.

Flow: (x',y',t')=(-5.5y+y²,6x-x²,1)
Empty jump relation
Init: 4 <= x <= 4.5/\y=1/\t=0
Unsafe: (1 <= x< 2/\2< y < 3/\2 <= t <= 4)
The state space: [1,5]×[1,5]×[0,4]

Input file

CLOCK