A Tool for Controller Synthesis via Symbolic Model Checking
Andrey Gromyko, Marco Pistore, Paolo Traverso · 2006
We present a framework for the synthesis of controllers for (non-deterministic) discrete event systems with temporal logic specifications. A tool is built on top of symbolic model checking techniques and binary decision diagrams, with allows for dealing with problems of significant size. Besides, the framework allows for a (controlled) plant simulation and verification