Mode Reconfiguration

• Each component has an associated control variable

  • in the absence of failures, each control variable directly controls the nominal value of the corresponding state variable

• Mode reconfiguration involves finding control variable assignments such that the goal is entailed

• Equivalently, mode reconfiguration involves finding a set of component modes that entail the goal

?? ? modes |= g 0

Previous slide

Next slide

Back to first slide

View graphic version