Diag a (command)

File: diag_a

Description: This program generates the diagnoser for the given system. The diagnoser is written into the given output file.

Input:   H.fsm - Input FSM


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

Output: H.diag - Diagnoser of H.fsm


 * H_diag.fsm - (optional) Diagnoser written in FSM format