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
Italian Fiscal Code93009870234
© 2023 | Verona University
CSS e script comuni siti DOL - frase 9957