The basic theory of supervisory control of discrete-event systems is extended with the notion of templates, which simplifies the modeling of controllers since one can work with conceptual designs. In this work, software which provides support for the new design approach is presented along with its application to a robotic testbed. Categories and Subject Descriptors: J.6 [ComputerAided Engineering]; J.7 [Computers in Other Systems]: Industrial control General Terms: Design, Experimentation.
Lenko Grigorov, Karen Rudie, José E. R. Cur