Encoding Device Behavior
cmdIn=on & Failure=None
Hung
cmdOut =NULL
Off
cmdOut = Null
On
cmdIn=open -> cmdOut=open
cmdIn=close -> cmdOut=close
cmdIn=off & Failure=None
Failure=Hang
Failure=Hang
Valve Driver Model
Value                P(Failure=Value)
None   a
Hang  1-a
Prior Probabilities
Pump
Valve
Driver
Valve1
command
Flowv1
Flowv2
Explain what the constraints are, generally spend
more time on this slide.