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.
Strada le Grazie 15
Partita IVA 01541040232
Codice Fiscale 93009870234
© 2019 | Università degli studi di Verona | Credits