Modular supervisory control of discrete-event systems

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

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

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

Modular Feedback Logic for Discrete Event Systems

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

Engineering, Verification, Modular Approach +18

Supervision of discrete event processes

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

Artificial Intelligence, Engineering, Alphabet σ +20