The DES Testbed is fully described in the M.A.Sc thesis of Ryan J. Leduc (1996). Below is an abstract of the thesis, and a download section for a postscript copy of the thesis. The Testbed was designed under the supervision of Prof. W.M. Wonham.



PLC Implementation of a DES Supervisor for a Manufacturing Testbed: An Implementation Perspective.



Abstract

The goal of this work is to investigate issues involved in modeling and designing supervisors for large, real systems, and issues involved in implementing DES supervisors on programmable logic controllers (PLC). A PLC based manufacturing testbed has been created to help investigate these issues.

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.


Download

Shift+click to download: rleduc-masc_ps.zip (1.7Mb compressed postscript, 14Mb uncompressed. Use gunzip, unzip, or pkunzip to uncompress)

If you have trouble downloading, look here for more information.



                              You are visitor number: