W. M. Wonham

Control of Infinite Behavior of Finite Automata

J.G. Thistle, W. M. Wonham · SIAM Journal on Control and Optimization · 1994 · 108 citations

Supervision of Infinite Behavior of Discrete-Event Systems

J.G. Thistle, W. M. Wonham · SIAM Journal on Control and Optimization · 1994 · 76 citations

Engineering, Discrete Event System, Automated Reasoning +15

Supervision of discrete event processes

Peter J. Ramadge, W. M. Wonham · 1982 · 60 citations

Artificial Intelligence, Engineering, Alphabet σ +20

On the supremal controllable sublanguage of a given language

W. M. Wonham, Peter J. Ramadge · 1984 · 52 citations

Controllable Language, Engineering, Formal Verification +21

Hierarchical control of timed discrete-event systems

K.C. Wong, W. M. Wonham · Discrete Event Dynamic Systems · 1996 · 42 citations

Timed Discrete-event Systems, Engineering, Discrete Event System +5