Introduction and recent advances on the dynamic controllability of STNUs

Speaker:  Luke Hunsberger - Vassar College (USA)
  Tuesday, June 25, 2013 at 4:30 PM 4:15 p.m. rinfresco; 4:30 p.m. inizio seminario
A Simple Temporal Network with Uncertainty (STNU) is a network of time points and temporal constraints in which the durations of certain temporal intervals, the contingent links, are bounded, but not controllable. An STNU is dynamically controllable if there is a real-time strategy for executing its non-contingent time points that guarantees the consistency of the network no matter how the durations of the contingent links turn out.
Recently, it has been shown that it is possible to efficiently check whether a STNUs is dynamically controllable.
The theory of STNUs is quite mature, but it is still growing.
The talk introduces STNU theory and some recent advances about the controllability and its variants.

Ca' Vignal - Piramide, Floor 0, Hall Verde

Programme Director
Roberto Posenato

Publication date
June 17, 2013