Skip to Main content Skip to Navigation
Conference papers

Which Contingent Events to Observe for the Dynamic Controllability of a Plan

Arthur Bit-Monnot 1 Malik Ghallab 1 Félix Ingrand 1
1 LAAS-RIS - Équipe Robotique et InteractionS
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : Planning and acting in a dynamic environment require distinguishing controllable and contingent events and checking the dynamic controllability of plans. Known procedures for testing the dynamic controllability assume that all contingent events are observable. Often this assumption does not hold. We consider here the general case of networks with invisible as well as observable contingent points. We propose a first procedure for testing their dynamic controllability. Further, we define an algorithm for choosing among the observable contingent points which to observe with additional sensing actions, such as to make a plan dynamically controllable. We show how these procedures can be incrementally integrated into a constraint-based temporal planner.
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download
Contributor : Felix Ingrand <>
Submitted on : Friday, June 24, 2016 - 9:58:22 AM
Last modification on : Friday, January 10, 2020 - 9:10:15 PM


Files produced by the author(s)


  • HAL Id : hal-01310844, version 2


Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand. Which Contingent Events to Observe for the Dynamic Controllability of a Plan. International Joint Conference on Artificial Intelligence (IJCAI-16), Jul 2016, New York, NY, United States. ⟨hal-01310844v2⟩



Record views


Files downloads