共 37 条
[1]
Brandin BA(2004)Incremental verification and synthesis of discrete-event systems guided by counter examples IEEE Trans Control Syst Technol 12 387-401
[2]
Malik R(1993)On optimal attraction in discrete-event processes Inf Sci 67 245-267
[3]
Malik P(1992)Limited lookahead policies in supervisory control of discrete event systems IEEE Trans Automat Contr 37 1921-1935
[4]
Brave Y(1994)Supervisory control using variable lookahead policies Discret Event Dyn Syste: Theory and Applications 4 237-268
[5]
Heymann M(1994)Variable lookahead supervisory control with state information IEEE Trans Automat Contr 39 2398-2410
[6]
Chung S-L(1996)Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation Discret Event Dyn Syst: Theory and Applications 6 379-427
[7]
Lafortune S(1968)A formal basis for the heuristic determination of minimum cost paths IEEE Trans Syst Sci Cybern SSC-4 100-107
[8]
Lin F(1994)On-line control of partially observed discrete event systems Discret Event Dyn Syst Theory and Applications 4 221-236
[9]
Chung S-L(1985)Depth-first Iterative-deepening: an optimal admissible tree search Artif Intell 27 97-109
[10]
Lafortune S(1998)Extension based limited lookahed supervision of discrete event systems Automatica 34 1327-1344