Continuous-time supervisory synthesis for distributed-clock discrete-event processes

[1]  Beno Benhabib,et al.  Manufacturing cell supervisory control-a modular timed discrete-event system approach , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[2]  Jonathan S. Ostroff,et al.  Temporal logic for real-time systems , 1989 .

[3]  Y. Brave,et al.  Formulation and control of real time discrete event processes , 1988, Proceedings of the 27th IEEE Conference on Decision and Control.

[4]  W. M. Wonham,et al.  A framework for real-time discrete event control , 1990 .

[5]  Jonathan S. Ostroff,et al.  Synthesis of controllers for real-time discrete event systems , 1989, Proceedings of the 28th IEEE Conference on Decision and Control,.

[6]  H. Wong-Toi,et al.  The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.

[7]  W. Wonham,et al.  The supervisory control of timed discrete-event systems , 1992, [1992] Proceedings of the 31st IEEE Conference on Decision and Control.

[8]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[9]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.