A family of increasingly powerful deductive model-based optimal controllers
Step 1: Model-based configuration management with a partially observable state-free plant.
Step 2: Model-based configuration management with a dynamic, concurrent plant.
Step 3: Model-based executive with a reactive planner, and an indirectly controllable dynamic, concurrent plant.