4 {# States} | ||
VC {State} | 1/0 {Marked/Unmarked} | 4 {# Transitions} |
SC1 {Event} | VSC {New State} | |
CV | VC | |
OV | VO | |
SO1 | VSO | |
VO | 0 | 4 |
... ... | ||
... ... |
{FROM STATE name} | {TO STATE name} | {EVENT name} | {Probability} |
S1 | S2 | a | .5 |
S1 | S2 | b | .5 |
S2 | S4 | e | .7 |
... ... | ... ... | ... ... | ... ... |
... ... | ... ... | ... ... | ... ... |
C9,V1,P4,F2,B2,L1 {State} | PNP,NF {Sensor values at this state} |
C9,V3,P3,F2,B2,L1 | PPP,F |
C9,V3,P4,F2,B2,L1 | PNP,NF |
C9,V4,P3,F2,B2,L1 | PPP,NF |
... ... | |
... ... |
10 {# of pairs of mapping} | ||
P1 {State components} | PNP,NF {Sensor1,Sensor2} | {Assigns all states containing string P1 to have sensor values PNP,NF} |
P4 {State components} | PNP,NF {Sensor1,Sensor2} | {Assigns all states containing string P4 to have sensor values PNP,NF} |
V2,P3 {State components} | PNP,NF {Sensor1,Sensor2} | {Assigns all states containing string V2,P3 to have sensor values PPP,F} |
... ... | ||
... ... |
6 {# of pairs of mapping} | |
CV {Indicator event} | 1 {Failure type} |
OV | 2 |
POFF | 3 |
PON | 4 |
... ... | |
... ... |
SC1 {Unobservable event} | 1 {Failure type} |
SC2 | 1 |
SO1 | 2 |
SO2 | 2 |
... ... | |
... ... |
Total Diagnoser States = 33 |
Id = 1 {Diagnoser State ID 1} |
V1,P3,C1 F4 {FSM State} |
V1,P3,C1 F1F4 {FSM State} |
Total pairs = 2 {# Pairs in diagnoser state} |
Certain: F4 {Failure (and indicator) types that are certain} |
Uncertain: F1 {Failure (and indicator) types that are uncertain} |
OV,PP,F -> 10 {Event transition and next diagnoser state} |
OV,PP,NF -> 8 {Event transition and next diagnoser state} |
PP,NF -> PP,F -> 4 {Event transition and next diagnoser state} |
Id = 2 |
... ... |
... ... |
Total Diagnoser States = 33 |
Id = 1 {Diagnoser State ID 1} |
Certain: {Failure types that are certain} |
Uncertain: N F1 {Failure types that are uncertain} |
OV,PP,F -> 10 {Event transition and next diagnoser state} |
OV,PP,NF -> 8 {Event transition and next diagnoser state} |
PP,NF -> PP,F -> 4 {Event transition and next diagnoser state} |
Id = 2 |
... ... |
... ... |
4 {1st D State} | d {Failure event} | -> | 2 {2nd D State} | n {Failure event} | -> | 3 {3rd D State} | g {Failure event} | -> | 4 {1st D State} |
Uncertain: F1 {Uncertain failure types in cycle} |
Diagnoser State 4 contains the following FSM states: |
5 {FSM State} |
10 {FSM State} |
12 {FSM State} |
... ... |
... ... |
6 {1st D_State} | 4 {2nd D_State} | 5 {3rd D_State} |
... ... | ||
... ... |
Contact Information: Please e-mail questions to umdeslib-support@eecs.umich.edu. Although we are unable to provide full technical support, we will do our best to help.