Dcycle (command)

File: dcycle

Description: This program tests for diagnosability (multiple fault) of the system.

Input:   H.fsm - Input FSM


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

Output: Hmf.cycles - Fi-indeterminate cycles in diagnoser