Simple Temporal Networks with Partially Shrinkable Uncertainty (extended version)

Veröffentlichung
2015-01-29Authors
Lanz, Andreas
Posenato, Roberto
Combi, Carlo
Reichert, Manfred
Bericht
Faculties
Fakultät für Ingenieurwissenschaften und InformatikSeries
Ulmer Informatik-Berichte
Abstract
The Simple Temporal Network with Uncertainty (STNU) model focuses on the representation and evaluation of temporal constraints on time-point variables (timepoints), of which some (i.e. contingent timepoints) cannot be assigned (i.e. executed by the system), but only be observed. Moreover, a temporal constraint is expressed as an admissible range of delays between two timepoints. Regarding the STNU model, it is interesting to determine whether it is possible to execute all the timepoints under the control of the system, while still satisfying all given constraints, no matter when the contingent timepoints happen within the given time ranges (controllability check). Existing approaches assume that the original contingent time range cannot be modified during execution. In real world, however, the allowed time range may change within certain boundaries, but cannot be completely shrunk. To represent such possibility more properly, we propose Simple Temporal Network with Partially Shrinkable Uncertainty (STNPSU) as an extension of STNU. In particular, STNPSUs allow representing a contingent range in a way that can be shrunk during run time as long as shrinking does not go beyond a given threshold. We further show that STNPSUs allow representing STNUs as a special case, while maintaining the same efficiency for both controllability checks and execution.
Date created
2014
Subject headings
[GND]: Steuerbarkeit | Zwangsbedingung[LCSH]: Theory of constraints (Management)
[Free subject headings]: Controllability | Guarded constraints | Simple Temporal Constraint Network with Uncertainty | STNU | Temporal constraints | Temporal perspective
[DDC subject group]: DDC 004 / Data processing & computer science
Metadata
Show full item recordDOI & citation
Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-3221
Lanz, Andreas et al. (2015): Simple Temporal Networks with Partially Shrinkable Uncertainty (extended version). Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-3221
Citation formatter >