Chercheur·e du réseau

ActuPlan is a automated planner designed to solve planning problems having concurrent actions and uncertainty on time (duration of actions). ActuPlan has two variants. Both variants generate plans under a given threshold (parameter) on their probability of success. ActuPlan^NC generates optimal non-conditional (conformant) plans. A non-conditional plan is a set of partially ordered labelled actions. ActuPlan^C generates conditional plans which are near optimal under some reasonable restrictions. The conditional plans are expressed using a form of finite state machines where transitions are constrained by time intervals.

Forces involved in modern conflicts may be exposed to a variety of threats, including coordinated raids of advanced ballistic and cruise missiles. To respond to these, a defending force will rely on a set of combat resources. Determining an efficient allocation and coordinated use of these resources, particularly in the case of multiple simultaneous attacks, is a very complex decision-making process in which a huge amount of data must be dealt with under uncertainty and time pressure. This article presents CORALS (COmbat Resource ALlocation Support), a real-time planner developed to support the command team of a naval force defending against multiple simultaneous threats. In response to such multiple threats, CORALS uses a local planner to generate a set of local plans, one for each threat considered apart, and then combines and coordinates them into a single optimized, conflict-free global plan. The coordination is performed through an iterative process of plan merging and conflict detection and resolution, which acts as a plan repair mechanism. Such an incremental plan repair approach also allows adapting previously generated plans to account for dynamic changes in the tactical situation.

Réf: Abder Rezak Benaskeur, Froduald Kabanza and Eric Beaudry. CORALS: A real-time planner for anti-air defense operations. ACM Transactions on Intelligent Systems and Technology (TIST). Volume 1 Issue 2, November 2010. Article No. 13.