Bucket Elimination Algorithm for Dynamic Controllability Checking of Simple Temporal Networks with Uncertainty

Simple Temporal Networks with Uncertainty (STNU) can represent temporal problems where duration between events may be uncontrollable, e.g. when the event is caused by nature. An STNU is dynamically controllable (DC) if it can be successfully scheduled online. In this paper, we introduce a novel usag...

Full description

Bibliographic Details
Main Author: Zhang, Yuening
Format: Technical Report
Language:English
Published: 2021
Subjects:
Online Access:https://hdl.handle.net/1721.1/130057