Vortrag: Dynamic Controllability of Parameterized CSTNUs
Stammdaten
Titel: | Dynamic Controllability of Parameterized CSTNUs |
Beschreibung: | 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. |
Schlagworte: | Temporal Constraint Network, Conditional, Uncertainty, Constraint-propagation, Dynamic controllability |
Typ: | Angemeldeter Vortrag |
Homepage: | https://www.sigapp.org/sac/sac2023/file2023/SAC2023-FinalProgram_tph%20COLOR.pdf |
Veranstaltung: | The 38th ACM/SIGAPP Symposium On Applied Computing (Tallinn) |
Datum: | 28.03.2023 |
Vortragsstatus: | stattgefunden (Präsenz) |
Beteiligte
Johann Eder (intern) |
|
||||
Marco Franceschetti
|
|
||||
Roberto Posenato
|
|
||||
Carlo Combi (extern) |
|
Zuordnung
Organisation | Adresse | ||||
---|---|---|---|---|---|
Fakultät für Technische Wissenschaften
Institut für Informatik-Systeme
|
AT - A-9020 Klagenfurt |
Kategorisierung
Sachgebiete | |
Forschungscluster | Kein Forschungscluster ausgewählt |
Vortragsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
TeilnehmerInnenkreis |
|
Publiziert? |
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
University of Verona
|
IT - 37129 Verona |
||
University of St. Gallen
|
CH
St. Gallen |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte | Keine verknüpften Projekte vorhanden |
Publikationen |
|
Veranstaltungen | Keine verknüpften Veranstaltung vorhanden |
Vorträge | Keine verknüpften Vorträge vorhanden |