Vlp s (command)

File: vlp_s

Description: This program builds a machine, H_sup.fsm, whose marked language is the supremal controllable sublanguage of the intersection of Lm(G) and Lm(H) with respect to L(G) and the controllable event set of G. It uses the VLP-S algorithm specified in "variable Lookahead Supervisory Control with State Information" by Neijb Ben Hadj-Alouane et. al., IEEE Transactions on Automatic Control, Vol 39, No 12, December 1994, pp. 2398-2410.

Input:   G.fsm - Reference FSM


 * H.fsm - Input FSM

Output: h.events - List of controllable events in h.fsm