Flexible Temporal Plan Execution with Dynamic Controllability

Timeline-based Planning and Scheduling (P&S) allows to deal with temporal uncertainty and unpredictable behaviors. Flexible temporal plans are constituted by tasks whose duration cannot be exactly foreseen in advance. Such uncertainty entails a dynamic controllability issue for robust execution. We present a software tool for dynamic controllable execution of timeline-based plans leveraging recent results gathered from the integration of P&S and Model Checking techniques. The tool is deployed in a timeline-based planning system to control plan execution while guaranteeing dynamic controllability and robust plan execution. To demonstrate its viability, the tool was tested against several real-world scenarios considering an increasing execution complexity.