Obsvr (command)

File: obsvr

Description: This program builds the observer for the given FSM. The states in this observer contain the immediate observable reach and unobservable reach of each transition. This observer can be returned in two formats, either the diagnoser format or the FSM format.

Input: H.fsm - Input FSM

Output: H_obsvr.diag - Observer of H.fsm


 * H_obsvr.FSM - (optional) Observer in FSM format