LIPIcs.TIME.2024.4.pdf
- Filesize: 0.86 MB
- 16 pages
Document
Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles
Authors
Johann Eder 
,
Roberto Posenato ,
Carlo Combi ,
Marco Franceschetti ,
Franziska S. Hollauf
-
Part of:
Volume:
31st International Symposium on Temporal Representation and Reasoning (TIME 2024)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Symposium on Temporal Representation and Reasoning (TIME) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2024-10-22
File
Document Identifiers
Author Details
Cite As Get BibTex
Johann Eder, Roberto Posenato, Carlo Combi, Marco Franceschetti, and Franziska S. Hollauf. Agile Controllability of Simple Temporal Networks with Uncertainty and Oracles. In 31st International Symposium on Temporal Representation and Reasoning (TIME 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 318, pp. 4:1-4:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/LIPIcs.TIME.2024.4
Abstract
Simple temporal networks with uncertainty (STNUs) have achieved wide attention and are the basis of many applications requiring the representation of temporal constraints and checking whether they are conflicting. Dynamic controllability is currently the most relaxed notion to check whether a system can be controlled without violating temporal constraints despite uncertainties. However, dynamic controllability assumes that the actual duration of a contingent activity is only known when the end event of this activity takes place. The recently introduced notion of agile controllability considers when this duration is known earlier, leading to a more relaxed notion of temporal feasibility. We extend the definition of STNUs to STNUOs (Simple Temporal Networks with Uncertainty and Oracles) to represent the point in time at which information about a contingent duration is available. We formally define agile controllability as a generalization of dynamic controllability considering the timepoints of information availability. We propose a set of constraint propagation rules for STNUOs leading to an algorithm for checking agile controllability.
Subject Classification
ACM Subject Classification
- Computing methodologies → Temporal reasoning
- Theory of computation → Dynamic graph algorithms
Keywords
- Temporal constraint networks
- contingent durations
- agile controllability
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads
References
- Shyan Akmal, Savana Ammons, Hemeng Li, Michael Gao, Lindsay Popowski, and James C. Boerkoel Jr. Quantifying controllability in temporal networks with uncertainty. Artif. Intell., 289:103384, 2020. URL: https://doi.org/10.1016/J.ARTINT.2020.103384.
- Arthur Bit-Monnot and Paul Morris. Dynamic Controllability of Temporal Plans in Uncertain and Partially Observable Environments. Journal of Artificial Intelligence Research, 77:1311-1369, August 2023. URL: https://doi.org/10.1613/jair.1.13065.
- Massimo Cairo, Luke Hunsberger, and Romeo Rizzi. Faster dynamic controllability checking for simple temporal networks with uncertainty. In 25th International Symposium on Temporal Representation and Reasoning (TIME 2018), volume 120 of LIPIcs, pages 8:1-8:16, 2018. ISBN: 9783959770897. URL: https://doi.org/10.4230/LIPIcs.TIME.2018.8.
- Massimo Cairo and Romeo Rizzi. Dynamic controllability of simple temporal networks with uncertainty: Simple rules and fast real-time execution. Theoretical Computer Science, 797:2-16, 2019. URL: https://doi.org/10.1016/J.TCS.2018.11.005.
- Rina Dechter, Itay Meiri, and Judea Pearl. Temporal constraint networks. Artificial intelligence, 49(1-3):61-95, 1991. URL: https://doi.org/10.1016/0004-3702(91)90006-6.
- Johann Eder, Marco Franceschetti, and Julius Köpke. Controllability of business processes with temporal variables. In ACM SAC 2019, pages 40-47, 2019. URL: https://doi.org/10.1145/3297280.3297286.
- Johann Eder, Marco Franceschetti, and Josef Lubas. Time and processes: Towards engineering temporal requirements. In Proceedings of the 16th International Conference on Software Technologies, ICSOFT 2021, pages 9-16. SCITEPRESS, 2021. URL: https://doi.org/10.5220/0010625400090016.
- Marco Franceschetti and Johann Eder. Checking temporal service level agreements for web service compositions with temporal parameters. In 2019 IEEE International Conference on Web Services (ICWS), pages 443-445. IEEE, 2019. URL: https://doi.org/10.1109/ICWS.2019.00080.
- Marco Franceschetti and Johann Eder. Semi-contingent task durations: Characterization and controllability. In Marcello La Rosa, Shazia W. Sadiq, and Ernest Teniente, editors, Advanced Information Systems Engineering - 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings, volume 12751 of Lecture Notes in Computer Science, pages 246-261. Springer, 2021. URL: https://doi.org/10.1007/978-3-030-79382-1_15.
- Marco Franceschetti, Roberto Posenato, Carlo Combi, and Johann Eder. Dynamic Controllability of Parameterized CSTNUs. In ACM SAC 2023, pages 965-973, 2023. URL: https://doi.org/10.1145/3555776.3577618.
- Luke Hunsberger. Efficient execution of dynamically controllable simple temporal networks with uncertainty. Acta Informatica, 53:89-147, 2016. URL: https://doi.org/10.1007/S00236-015-0227-0.
- Luke Hunsberger and Roberto Posenato. Speeding up the RUL¯ Dynamic-Controllability-Checking Algorithm for Simple Temporal Networks with Uncertainty. In Proceedings of the 36th AAAI Conference on Artificial Intelligence, volume 36, pages 9776-9785. AAAI Press, 2022. URL: https://doi.org/10.1609/aaai.v36i9.21213.
- Luke Hunsberger and Roberto Posenato. A Faster Algorithm for Converting Simple Temporal Networks with Uncertainty into Dispatchable Form. Information and Computation, 293, June 2023. URL: https://doi.org/10.1016/j.ic.2023.105063.
- Andreas Lanz, Roberto Posenato, Carlo Combi, and Manfred Reichert. Simple Temporal Networks with Partially Shrinkable Uncertainty. In Proceedings of the 6th International Conference on Agents and Artificial Intelligence (ICAART 2015), volume 2, 2015. URL: https://doi.org/10.5220/0005200903700381.
- Josef Lubas and Johann Eder. A time-aware model for legal smart contracts. In Han van der Aa, Dominik Bork, Henderik A. Proper, and Rainer Schmidt, editors, Enterprise, Business-Process and Information Systems Modeling, pages 121-135, Cham, 2023. Springer Nature Switzerland. URL: https://doi.org/10.1007/978-3-031-34241-7_9.
- Paul Morris. Dynamic controllability and dispatchability relationships. In CPAIOR 2014, volume 8451 of LNCS, 2014. URL: https://doi.org/10.1007/978-3-319-07046-9_33.
- Paul H. Morris and Nicola Muscettola. Temporal dynamic controllability revisited. In 20th National Conf. on Artificial Intelligence (AAAI-2005), 2005. URL: https://cdn.aaai.org/AAAI/2005/AAAI05-189.pdf.
- Roberto Posenato. CSTNU Tool: A Java library for checking temporal networks. SoftwareX, 17:100905, 2022. URL: https://doi.org/10.1016/j.softx.2021.100905.
- Roberto Posenato and Carlo Combi. Adding flexibility to uncertainty: Flexible simple temporal networks with uncertainty (FTNU). Inf. Sci., 584:784-807, 2022. URL: https://doi.org/10.1016/J.INS.2021.10.008.
- Roberto Posenato and Carlo Combi. Flexible temporal constraint management in modularized processes. Inf. Syst., 118:102257, 2023. URL: https://doi.org/10.1016/J.IS.2023.102257.
- Roberto Posenato, Marco Franceschetti, Carlo Combi, and Johann Eder. Some results and challenges Extending Dynamic Controllability to Agile Controllability in Simple Temporal Networks with Uncertainties. TechRep 1/2023, Dip. Informatica-Univ. di Verona, 2023. URL: https://iris.univr.it/handle/11562/1116013.
- Roberto Posenato, Marco Franceschetti, Carlo Combi, and Johann Eder. Introducing agile controllability in temporal business processes. In Enterprise, Business-Process and Information Systems Modeling - 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, volume 511 of Lecture Notes in Business Information Processing, pages 87-99. Springer, 2024. URL: https://doi.org/10.1007/978-3-031-61007-3_8.
- Roberto Posenato, Andreas Lanz, Carlo Combi, and Manfred Reichert. Managing time-awareness in modularized processes. Softw. Syst. Model., 18(2):1135-1154, 2019. URL: https://doi.org/10.1007/S10270-017-0643-4.
- Michael Saint-Guillain, Tiago Vaquero, Steve A. Chien, Jagriti Agrawal, and Jordan R. Abrahams. Probabilistic temporal networks with ordinary distributions: Theory, robustness and expected utility. J. Artif. Intell. Res., 71:1091-1136, 2021. URL: https://doi.org/10.1613/JAIR.1.13019.
- Thierry Vidal and Hélène Fargier. Handling contingency in temporal constraint networks: from consistency to controllabilities. J. Exp. Theor. Artif. Intell., 11(1), 1999. URL: https://doi.org/10.1080/095281399146607.