Obs (command)

File: obs

Description: This program tests for the observability of L(H) with respect to L(G) and the specified sets of controllable and observable events. If event sets are not given, the events in G.fsm are used.

Input:   G.fsm - Reference FSM


 * H.fsm - Input FSM


 * cont.events - (optional) List of controllable events


 * obs.events - (optional) list of observable events

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