Diag UR (command)

File: diag_UR

Description: This program generates the multiple-failure-diagnoser (mf-diagnoser) for the given system. The mf-diagnoser is written into the given output file.

Input:   H.fsm - Input FSm


 * H.ft- Failure Partition for building diagnoser of H.fsm

Output: Hmf.diag - mf-diagnoser of H.fsm


 * H.diag.fsm - (optional) diagnoser written in FSM format