Supervisor Reduction for Discrete-Event Systems

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.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

Algorithm 457: finding all cliques of an undirected graph

Coen Bron, Joep Kerbosch · Communications of the ACM · 1973 · 2.4K citations · Full text

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

Synthesis and implementation of local modular supervisory control for a manufacturing cell

Max H. de Queiroz, José E.R. Cury · 2003 · 110 citations

Engineering, Industrial Engineering, Industrial Control System +18