@inbook{1bd43e9f99724105b01cb0d47e9d09de,
title = "Spectool: Automated Synthesis of Control Code for Discrete Event Controllers",
abstract = "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.",
author = "Holloway, {L. E.} and Andy Callahan and John O'Rear and Xiaoyi Guan",
year = "2000",
doi = "10.1007/978-1-4615-4493-7_52",
language = "Undefined/Unknown",
isbn = "978-1-4615-4493-7",
series = "The Springer International Series in Engineering and Computer Science",
publisher = "Kluwer Academic Publishers (Springer)",
pages = "473--476",
editor = "R. Boel and G. Stremersch",
booktitle = "Discrete Event Systems: Analysis and Control",
}