Simplifying to Strips (cont.)
Difference 2: Control actions can invoke multiple transitions.
- vlv1 = closed & dr = on & dcmdin = open ? NEXT (vlv1 = open)
- vlv2 = closed & dr = on & dcmdin = open ? NEXT (vlv2 = open)
Defn: The control(state) conditions of a transition are the control(state) var assignments of antecedent.
- state condition: vlv1 = closed & dr = on
- control condition: dcmdin = open
Requirement 2:
- No set of control conditions of one transition is a proper subset of the control conditions of a different transition.