Statistically Optimal Configuration Management
Statistical Mode Identification
p(?j | oi) = p(oi | ?j) p(?j) / p(oi) Bayes Rule ??p(oi | ?j) p(?j)
p(oi | ?j) is approximated from the model
- p(oi | ?j) = 1 if ?j (ai-1) entails oi
- p(oi | ?j) = 0 if ?j (ai-1) is inconsistent with oi
- p(oi | ?j) = ? otherwise
Optimal Mode Reconfiguration
?i = argmin c( ?i’) s.t. ?i’ in Mi