Dynamic Controllability and (J,K)-Resiliency in Generalized Constraint Networks with Uncertainty

Matteo Zavatteri, Romeo Rizzi, Tiziano Villa

PosterID: 44
picture_as_pdf PDF
library_books Slides
library_books Poster
menu_book BibTeX
A number of formal models have been proposed to address temporal and resource allocation problems under uncertainty. Such models are typically shipped with an embedded notion of dynamic controllability, enclosing the ability to always make the right decisions, during execution, according to the observed uncontrollable events that always happen. In the business process management community, resource allocation was recently studied to deal with uncontrollable choices, whereas in the security community it was studied to face the uncontrollable availability of resources. The latter is a kind of dynamic controllability known as resiliency where uncontrollable events might also not happen. To the best of our knowledge, approaches handling resiliency on top of dynamic controllability still remain unexplored. To bridge this gap, we propose Generalized Constraint Networks with Uncertainty (GCNUs), a model that we devised to address resource controllability more widely, boosting expressiveness while considering several sources of uncertainty simultaneously. We define dynamic controllability and (J,K)-resiliency of GCNUs. We reason on the structure of these problems, carry out a complexity analysis and provide algorithms to solve them.

Session E6: Complexity & Temporal / Numeric Planning
Canb 10/28/2020, 17:00 – 18:00
10/30/2020, 00:00 – 01:00
Paris 10/28/2020, 07:00 – 08:00
10/29/2020, 14:00 – 15:00
NYC 10/28/2020, 02:00 – 03:00
10/29/2020, 09:00 – 10:00
LA 10/27/2020, 23:00 – 00:00
10/29/2020, 06:00 – 07:00