Introduction and recent advances on the dynamic controllability of STNUs

Relatore:  Luke Hunsberger - Vassar College (USA)
  martedì 25 giugno 2013 alle ore 16.30 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.


Luogo
Ca' Vignal 3 - Piramide, Piano 0, Sala Verde

Referente
Roberto Posenato

Data pubblicazione
17 giugno 2013

Offerta formativa