State Machine Models
• Valve driver sends command to valves
• Pump pressurizes
the valves
• Flow measured at each valve
• Valve driver may hang, valves may stick shut
Valve2
Pump
Valve
Driver
Valve1
command
Flowv1
Flowv2
Closed
Open
Stuck
Valve