Coobs gen (command)

File: coobs_gen

Description: This program tests for the co-observability of L(H) with respect to L(G) and the sets of controllable and observable events specified. The machines m and md are built to test for C&P and D&A co-observability, respectively. These FSMs are in turn used to test for generalized co-observability. Any number of agents can be specified.

Input:   G.fsm - Reference FSM


 * H.fsm - Input FSM


 * eNc - List of controllable events for agent N


 * eNo - List of observable events for agent N

Output: M.fsm - The marked language of this FSM represents the traces that violate C&P co-observability.


 * Md.fsm - The marked language of this FSM represents the traces that violate D&A co-observability.