A detailed plant model for the testbed was created (size on the order of 10^16 states) and 29 modular supervisors were designed to implement the control specifications. Several model reduction theorems were created to handle a plant this large.
A generic implementation method was created, translating supervisors into clocked Moore synchronous state machines (CMSSM). The CMSSM were then implemented as relay ladder logic programs on the PLC. The testbed supervisors were implemented using the algorithm, and the testbed is now operational. This demonstrates that the algorithm works.
Shift+click to download: rleduc-masc_ps.zip (1.7Mb compressed postscript, 14Mb uncompressed. Use unzip, or pkunzip to uncompress) or rleduc-masc.pdf (6.9 Mb PDF).