Publication: Technical Report: Some results and chal...
Master data
Title: | Technical Report: Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties |
Subtitle: | |
Abstract: | Simple Temporal Networks with Uncertainty (STNU) are an expressive means to represent temporal constraints, requirements, or obligations. They feature contingent timepoints, which are set by the environment with a specified interval. Dynamic controllability is the current most relaxed notion for checking that the constraints are not in conflict. It requires that a timepoint may only depend on earlier timepoints. Agile controllability extends dynamic controllability by taking into account that a later timepoint might already be known earlier and allowing a timepoint to depend on all timepoints whose value is known before. In this report, we formally introduce the notion of an STNU with oracle timepoints, formally define the notion of agile controllability, and discuss approaches for checking agile controllability. |
Keywords: | simple temporal networks with uncertainty, dynamic controllability, agile controllability |
Publication type: | Research report (Authorship) |
Publication date: | 21.12.2023 (Online) |
Published by: |
ONLINE - CATALOGO DEI PRODOTTI DELLA RICERCA
ONLINE - CATALOGO DEI PRODOTTI DELLA RICERCA
(
)
to publication |
Title of the series: | CATALOGO DEI PRODOTTI DELLA RICERCA |
Volume number: | 1 |
Issue: | - |
First publication: | Yes |
Version: | - |
Page: | pp. 1 - 19 |
Versionen
Keine Version vorhanden |
Publication date: | 21.12.2023 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | https:// https://hdl.handle.net/11562/1116013 |
Open access |
|
Authors
Roberto Posenato
|
||||
Carlo Combi (external) | ||||
Johann Eder (internal) |
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 |
Peer reviewed |
|
Publication focus |
Classification raster of the assigned organisational units:
|
working groups |
|
Cooperations
Organisation | Address | ||
---|---|---|---|
University of Verona
|
IT - 37129 Verona |
Research activities
Projects: | No related projects |
Publications: | No related publications |
Events: | No related events |
Lectures: | No related lectures |