1. S. Abdelwahed and W. M. Wonham. Supervisory control of interacting discrete event systems. In Proceedings of the 41st IEEE Conference on Decision and Control, NV, pp. 1175–1180, 2002.

2. F. Basile, A. Giua and C. Seatzu. Supervisory control of Petri nets with decentralized monitor places. In Proceedings of the 2007 American Control Conference, New York, pp. 4957–4962, 2007.

3. B. A. Brandin. The real-time supervisory control of an experimental manufacturing cell. IEEE Transactions on Robotics and Automation, 12(1):1–14, 1996.

4. R. Cieslak, C. Desclaux, A. S. Fawaz and P. Varaiya. Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3):249–260, 1988.

5. R. Fagin, J. ...

Get Formal Methods in Manufacturing now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.