SMT-based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2024

SMT-based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability

Résumé

Temporal Networks with Uncertainty are a powerful and widely used formalism for representing and reasoning over temporal constraints in the presence of uncertainty. Since their introduction, they have been used in planning and scheduling applications to model situations where some activity durations or event timings are not under the control of the scheduling agent. Moreover, a wide variety of classes of temporal networks (depending on the types of constraints) have been defined, and many algorithms for dealing with these emerged. We are interested in the repair problem, consisting of reconsidering the bounds of the uncertain durations when the network is not controllable, i.e., when no strategy for scheduling exists. This problem is important, as it allows for the explanation and negotiation of the problematic uncertainties. In this paper, we address the repair problem for a very expressive class of temporal networks, namely the Disjunctive Temporal Networks with Uncertainty. We use the Satisfiability Modulo Theory framework to formally encode and solve the problem, and we devise a uniform solution encompassing different "levels" of controllability, namely strong and weak. Moreover, we provide specialized encodings for important subclasses of the problem, and we experimentally evaluate our approaches.
Fichier principal
Vignette du fichier
CPAIOR24_DTNU_Repair-final.pdf (587.16 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04608155 , version 1 (11-06-2024)

Licence

Identifiants

  • HAL Id : hal-04608155 , version 1

Citer

Aïdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal. SMT-based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. 21st International Conference CPAIOR 2024, Springer, 2024, Lecture Notes in Computer Science. ⟨hal-04608155⟩
7 Consultations
3 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More