Synthesizing Protection Monitors from Causal Structure

Protection monitors synthesized from plan causal structure provide execution systems with information necessary to detect potential failures early during execution. By detecting early, the execution system is able to address these problems and keep the execution on track. When the execution system finds that the necessary repairs are beyond its capabilities, early detection gives the planning system additional time to suggest a repair. This paper discusses how protection monitors are synthesized directly from plan causal structure, and the options which are available to an execution system when protection violations occur.