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.
|Title of host publication||Discrete Event Systems: Analysis and Control|
|Editors||R. Boel, G. Stremersch|
|Place of Publication||Boston, MA|
|Number of pages||4|
|State||Published - 2000|
|Name||The Springer International Series in Engineering and Computer Science|
|Publisher||Kluwer Academic Publishers (Springer)|