Mode Identification as CSP

• Set of n variables: x1 … xn

  • Modes for each component

• Value domains for each variable: D1 … Dn

  • Valve37 ? {open, closed, stuck-open, stuck-closed}

• Set of constraints (also known as relations)

  • Valve37 = open ? (pin = pout) ? (fin = fout)

• Search

  • Goal a consistent set of modes, maximizing probability
  • Start State
    • NOT the null state where no variables have been assigned
    • Instead: hysteresis - previous values

Previous slide

Next slide

Back to first slide

View graphic version