Lecture: Dynamic Controllability of Parameterized CSTNUs
Master data
Title: | Dynamic Controllability of Parameterized CSTNUs |
Description: | A Conditional Simple Temporal Network with Uncertainty (CSTNU) models temporal constraint satisfaction problems in which the environment sets uncontrollable timepoints and conditions. The executor observes and reacts to such uncontrollable assignments as time advances with the CSTNU execution. However, there exist scenarios in which the occurrence of some future timepoints must be fixed as soon as the execution starts. We call these timepoints parameters. For a correct execution, parameters must assume values that guarantee the possibility of satisfying all temporal constraints, whatever the environment decides the execution time for uncontrollable timepoints and the truth value of conditions, i.e., dynamic controllability (DC). Here, we formalize the extension of the CSTNU with parameters. Furthermore, we define a set of rules to check the DC of such extended CSTNU. These rules additionally solve the problem inverse to checking DC: computing restrictions on parameter values that yield DC guarantees. The proposed rules can be composed into a sound and complete procedure. |
Keywords: | Temporal Constraint Network, Conditional, Uncertainty, Constraint-propagation, Dynamic controllability |
Type: | Registered lecture |
Homepage: | https://www.sigapp.org/sac/sac2023/file2023/SAC2023-FinalProgram_tph%20COLOR.pdf |
Event: | The 38th ACM/SIGAPP Symposium On Applied Computing (Tallinn) |
Date: | 28.03.2023 |
lecture status: | stattgefunden (Präsenz) |
Participants
Johann Eder (internal) |
|
||||
Marco Franceschetti
|
|
||||
Roberto Posenato
|
|
||||
Carlo Combi (external) |
|
Assignment
Organisation | Address | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Categorisation
Subject areas | |
Research Cluster | No research Research Cluster selected |
Focus of lecture |
Classification raster of the assigned organisational units:
|
Group of participants |
|
Published? |
|
working groups |
|
Cooperations
Organisation | Address | ||
---|---|---|---|
University of Verona
|
IT - 37129 Verona |
||
University of St. Gallen
|
CH
St. Gallen |
Research activities
Projects | No related projects |
Publications |
|
Events | No related events |
Lectures | No related lectures |