A Model-Based Approach to Reactive Self-Configuring Systems

Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model- based configuration manager as a propositional feedback controller that generates focused, optimal responses.