Diag EX (command)

File: diag_EX

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