Coobs (command)

File: coobs

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 machine m.fsm is built for testing co-observability according to the method of Rudie and Willems.

Input:   G.fsm - Reference


 * H.fsm - Input FSM


 * e1c.events - Controllable events set 1


 * e2c.events - Controllable events set 2


 * e1o.events - Observable events set 1


 * e2o.events - Observable events set 2

Output: M.fsm - The marked language of this FSM represents the traces that violate coobservability