P. Ramadge, W. Wonham
tlooto Summary
The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic, which is described as the generator of a formal language, while the controller is constructed from a recognizer for a specified target language that incorporates the desired closed-loop system behavior.
Abstract
The paper studies the control of a class of discrete event processes, i.e., processes that are discrete, asynchronous and possibly nondeterministic. The controlled process is described as the generator of a formal language, while the controller, or supervisor, is constructed from a recognizer for a specified target language that incorporates the desired closed-loop system behavior. The existence problem for a supervisor is reduced to finding the largest controllable language contained in a given legal language. Two examples are provided.
Citation format
RAMADGE, P.; WONHAM, W. Supervisory control of a class of discrete event processes. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 1987, 25: 206–230.