Clock Difference Diagrams

  • Kim G. Larsen
  • Carsten Weise
  • Wang Yi
  • Justin Pearson


We sketch a BDD-like structure for representing unions of simple convex polyhedra, describing the legal values of a set of clocks given bounds on the values of clocks and clock dffierences.
How to Cite
Larsen, K., Weise, C., Yi, W., & Pearson, J. (1998). Clock Difference Diagrams. BRICS Report Series, 5(46).