Manuscript VII-J-ST@1 · VII-J-ST.tex · section · f1f1d82c
Cycle velocities with a transient remainder
Directional reachability and finite-time certificates › Cycle velocities with a transient remainder · lines 839–856
Let be a finite strongly connected directed multigraph. Its vertices include schedule phase and register type. Edge has displacement and duration . The translation lift permits the declared copies of these transitions. Waiting is permitted in a manner compatible with the phase model.
For each simple directed cycle , define
This is the timed version of the periodic-graph velocity construction Fritz,CheungVIIJ.
Displayed formulas in this passage
unlabeled · line 849