Dicycle (command)

File: dicycle

Description: This program tests for I-diagnosability of the system. It detects (Fi,Ii)-indeterminate cycles in the diagnoser and writes them into the given output file.

Input:   H.fsm - Input FSM


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


 * ind_events.ift - Failure Partition for indicator events

Output: HI.cycles - (Fi,Ii)-indeterminate cycles in I-diagnoser