Modular supervisory control of a class of concurrent discrete event systems

[1]  W. M. Wonham,et al.  Modular supervisory control of discrete-event systems , 1988, Math. Control. Signals Syst..

[2]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[3]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[4]  José E. R. Cury,et al.  Modular Supervisory Control of Large Scale Discrete Event Systems , 2000 .

[5]  Shengbing Jiang,et al.  Decentralized control of discrete event systems with specializations to local control and concurrent systems , 2000, IEEE Trans. Syst. Man Cybern. Part B.

[6]  Mark Lawford,et al.  Hierarchical interface-based supervisory control: serial case , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[7]  Sherif Abdelwahed,et al.  Supervisory control of interacting discrete event systems , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[8]  Knut Åkesson,et al.  Exploiting Modularity for Synthesis and Verification of Supervisors , 2002 .

[9]  B. Gaudin,et al.  Modular supervisory control of asynchronous and hierarchical finite state machines , 2003, 2003 European Control Conference (ECC).

[10]  Stéphane Lafortune,et al.  The control and verification of similar agents operating in a broadcast network environment , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[11]  Hervé Marchand,et al.  Supervisory control of concurrent discrete event systems , 2004 .