User Tools

Site Tools


supcon:susyna

SuSyNA

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.

Releases

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.

Documentation

The Event-based Supervisory Toolchain Manual (PDF, work in progress) includes documentation for the SuSyNA toolset.

supcon/susyna.txt · Last modified: Wednesday, 18 April 2012 : 09:02:32 by dhendriks