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
Flow
v1
Flow
v2
Closed
Open
Stuck
Valve