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

Back to manuscript

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

Nearby in this section