The Controller controls the behaviour of the XAIP framework and communicates with all other segments of the framework. The XAIP Interface creates a knowledge base from the PDDL files of the original model. This module also interacts with a planner. The Compilation module uses the constraints of the formal question to create the HModel. The validation module VAL [1]} is used as the validation technique.
<FIGURE>