The real-time supervisory control of an experimental manufacturing system based on a hybrid method

Supervisory Control of a Class of Discrete Event Processes

Peter J. Ramadge, W.M. Wonham · SIAM Journal on Control and Optimization · 1987 · 3.3K citations

Formal Language, Engineering, Discrete Event System +14

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

Event-driven Architecture, Engineering, Discrete Event Systems +16

On the Supremal Controllable Sublanguage of a Given Language

W.M. Wonham, Peter J. Ramadge · SIAM Journal on Control and Optimization · 1987 · 779 citations

Controllable Language, Engineering, Formal Verification +22

Generalized mutual exclusion contraints on nets with uncontrollable transitions

Alessandro Giua, F. DiCesare, M. Silva · 2003 · 370 citations

Mathematical Programming, Engineering, Reachability Problem +17

PLC-based implementation of supervisory control for discrete event systems

Martin Fabian, Anders Hellgren · 2002 · 152 citations

Engineering, Industrial Engineering, Discrete Event Systems +16