The first Timed Event Graph is with delays belonging to interval, sliders modify the corresponding delay. The second is with the lower bound value for each delays, corrected by an observer (in green) taking advantage of the measurement.

     

      A(1,1)in [2,5]:                         A(2,2) in [3,7]:                         A(3,3) in [2,6]:

image/svg+xml 10:10 0 0 Clock : Number of firings u1 u2 u2 ' u1 ' 0 0 0 Number of firings x1 x1 ' 0 0 x2 x2 ' 0 0 x3 x3 ' 0 0 y y ' 0 0 0 0 Diff : Diff : Diff : 2 3 2 3 3 3 1 1 1