Discrete event systems modeling and control of a manufacturing testbed
Ryan J. Leduc, Walter Murray Wonham · 2002
In this paper, we describe the manufacturing testbed we have built to investigate the implementation of RW supervisors on programmable logic controllers (PLC). We discuss the modeling of the testbed and the design of its controllers. Finally, we present several theorems for verifying controllability and nonblocking on large systems.