Spectool: Automated Synthesis of Control Code for Discrete Event Controllers

L. E. Holloway, Andy Callahan, John O'Rear, Xiaoyi Guan

Research output: Chapter in Book/Report/Conference proceedingChapter


Spectool is a set of software tools for automatic synthesis of controllers for discrete event systems. The software relies on a description of the plant defined through a set of interacting condition models. Analysis of these models of individual components of the system determines the control logic for these elements. These segments of control logic are then combined and managed by a supervisor in order to drive the system through specified sequences of states. The resulting control logic is then automatically converted into C++ code which is compiled and executed.
Original languageUndefined/Unknown
Title of host publicationDiscrete Event Systems: Analysis and Control
EditorsR. Boel, G. Stremersch
Place of PublicationBoston, MA
Number of pages4
StatePublished - 2000

Publication series

NameThe Springer International Series in Engineering and Computer Science
PublisherKluwer Academic Publishers (Springer)


Dive into the research topics of 'Spectool: Automated Synthesis of Control Code for Discrete Event Controllers'. Together they form a unique fingerprint.

Cite this