Manuscript VII-J-ST@1 · VII-J-ST.tex · example · f1f1d82c
Example: Zero asymptotic velocity does not prevent a fast first hop
Directional reachability and finite-time certificates › A finite potential certificate · lines 947–953
Two quotient states have transitions and , each of duration one, and waits. Every cycle velocity is zero. The first hop still travels in one unit. For a prescribed speed , it is unsafe. The finite offset or potential difference detects the transient.