Model-based Configuration Manager
C incrementally generates a control sequence ? : ? 0, ? 1 ??? such that C and S together form a configuration system
o are the observables (values for ?o)
And ?i are control values (values for ?c)
- Assume (for now) in the absence of failures, there exist procedures to control nominal values of all state variables