Verifier decen dia (command)

File: verifier_decen_dia

Description: This program creates decentralized verifiers for L(G) and tests decentralized diagnosability. One decentralized verifier is created for each failure type to reduce computational complexity. Any number of agents can be supplied. If L(G) is not decentralized diagnosable, it returns failure confused cycles.

Input:   n_agents - how many agents will observe events


 * Sys.fsm - System FSM


 * Sys.ft - Failure Partition file for verifiers


 * agent1.o to agentN.o - observable event files for each agent


 * out - base name for output verifiers

Output: out-.fsm - A verifier for each failure type


 * out-.vcycles - list of confused cycles for each failure type