Publikation: Technical Report: Some results and chal...
Stammdaten
Titel: | Technical Report: Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties |
Untertitel: | |
Kurzfassung: | 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. |
Schlagworte: | simple temporal networks with uncertainty, dynamic controllability, agile controllability |
Publikationstyp: | Forschungsbericht (Autorenschaft) |
Erscheinungsdatum: | 21.12.2023 (Online) |
Erschienen in: |
ONLINE - CATALOGO DEI PRODOTTI DELLA RICERCA
ONLINE - CATALOGO DEI PRODOTTI DELLA RICERCA
(
)
zur Publikation |
Titel der Serie: | CATALOGO DEI PRODOTTI DELLA RICERCA |
Bandnummer: | 1 |
Heftnummer: | - |
Erstveröffentlichung: | Ja |
Version: | - |
Seite: | S. 1 - 19 |
Versionen
Keine Version vorhanden |
Erscheinungsdatum: | 21.12.2023 |
ISBN (e-book): | - |
eISSN: | - |
DOI: | - |
Homepage: | https:// https://hdl.handle.net/11562/1116013 |
Open Access |
|
AutorInnen
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 |
Peer Reviewed |
|
Publikationsfokus |
Klassifikationsraster der zugeordneten Organisationseinheiten:
|
Arbeitsgruppen |
|
Kooperationen
Organisation | Adresse | ||
---|---|---|---|
University of Verona
|
IT - 37129 Verona |
Forschungsaktivitäten
(Achtung: Externe Aktivitäten werden im Suchergebnis nicht mitangezeigt)
Projekte: | Keine verknüpften Projekte vorhanden |
Publikationen: | Keine verknüpften Publikationen vorhanden |
Veranstaltungen: | Keine verknüpften Veranstaltung vorhanden |
Vorträge: | Keine verknüpften Vorträge vorhanden |