Nonconflict check by using sequential automaton abstractions based on weak observation equivalence

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

Engineering, Autonomous Systems, Discrete Mathematics +16

On the Supremal Controllable Sublanguage of a Given Language

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

Engineering, Computer Science, Algorithms +13

Modular supervisory control of discrete-event systems

W.M. Wonham, Peter J. Ramadge · Mathematics of Control Signals and Systems · 1988 · 336 citations

Engineering, Systems Engineering, Process Control +9

An implementation of an efficient algorithm for bisimulation equivalence

Jean-Claude Fernandez · Science of Computer Programming · 1990 · 201 citations

Computing, Computer Engineering, Computer Science +12

Global and local consistencies in distributed fault diagnosis for discrete-event systems

Rong Su, W.M. Wonham · IEEE Transactions on Automatic Control · 2005 · 171 citations

Computing, Computer Science, Systems Engineering +16