Specifying a valve
Variables ? = {mode, fin, fout, pin, pout }
- mode ? {open, closed, stuck-open, stuck-closed}
- fin, and fout range over {positive, negative, zero}
- pin, and pout range over {high, low, nominal}
Specifying ? with ??
mode = open ? (pin = pout) ? (fin = fout)
mode = closed ? (fin = zero) ? (fout = zero)
mode = stuck-open ? (pin = pout) ? (fin = fout)
mode = stuck-closed ? (fin = zero) ? (fout = zero)