This page contains information about the Supervisor Synthesis for Nondeterministic Automata (SuSyNA) tools.
It contains a set of algorithms to compute event-based supervisors from plants and requirements.
The change log can be found at the bottom part of the http://devel.se.wtb.tue.nl/trac/automata/browser/trunk/README file (search for 'History').
Current version (20120418): susyna-0.4.6.tar.gz.
They are also available at development site ('third-party_packages' section).
TU/e students/employees can use the SuSyNA tools by selecting the toolset 'susyna' using toolselect (on the SE rack systems).
For more information on the availability of the supervisory control tooling, see here.
The Event-based Supervisory Toolchain Manual (PDF, work in progress) includes documentation for the SuSyNA toolset.