Appointments

Research on hybrid controllability of temporal networks.

Research within the iNEST project.

Synthesis of supervisory controllers for business processes with resource constraints and uncertainty.

Synthesis of maximal controllers with respect to temporal constraints for hybrid systems.

Formal models and algorithms to represent and prototype production processes in the ICE laboratory; design of teaching laboratories based on the ICE laboratory.

Research on discrete systems and supervisory control, in collaboration with Prof. Tiziano Villa.

Extensions of temporal constraint networks for the security of business processes.

In my Ph.D. thesis I addressed the design, validation, and synthesis of execution strategies for workflow/business processes under uncertainty. I gave particular emphasis to the temporal and resource aspects, considered both in isolation or simultaneously. I defined new temporal network models that address several kinds of uncertainty (temporal, conditional, etc) and I also developed several algorithms for synthesizing execution strategies with respect to the classic problems of weak, strong, and dynamic controllability. I applied such models in the context of workflow/business processes by providing a few encodings from a few fragments of the Business Process Modeling Notation (BPMN) into temporal networks.