Combining Activity DSM with Temporal Logic for Collaborative Planning and Scheduling. (27th September 2013) - Baudin, Mathieu
This work presents an approach that implements enhanced scheduling algorithms to plan and schedule interventions in scientific facilities emitting various types of ionizing radiation such as the ones present at CERN in Geneva, (Switzerland) or at GSI in Darmstadt (Germany). To deal with the collaborative process of activity creation and submission used in those organizations, we propose a framework to set the appropriate sequence or skeleton for the activities. This framework combines Allen's Interval Algebra and DSM (Design Structure Matrix). It enables the sequence of activities to be automatically computed while gathering and taking into account the needs of users and testing their compatibility. It also deals with technical-type or resource-type constraints between activities as well as incompatible submissions. The work described in this paper includes details of the collaborative submission process and introduces suggestions for compromising as well as temporal calculations with the introduction of parameterized DSMs rather than binary ones.