User Tools

Site Tools


supcon:susyna

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
supcon:susyna [Wednesday, 18 April 2012 : 08:59:06]
dhendriks link to tooling availability page
supcon:susyna [Wednesday, 18 April 2012 : 09:02:32] (current)
dhendriks Documentation section added
Line 1: Line 1:
 +~~NOTOC~~
 +====== SuSyNA ======
 +
 +This page contains information about the **Su**pervisor **Sy**nthesis for **N**ondeterministic **A**utomata (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): {{:​supcon:​susyna-0.4.6.tar.gz|}}. \\
 +They are also available at [[http://​devel.se.wtb.tue.nl/​trac/​chi-tooling/​downloads|development site]] ('​third-party_packages'​ section). \\
 +TU/e students/​employees can use the SuSyNA tools by selecting the toolset '​susyna'​ using [[:​sesystems:​toolselect|toolselect]] (on the [[:​sesystems:​start#​serack-nn.se.wtb.tue.nl|SE rack systems]]).\\
 +For more information on the availability of the supervisory control tooling, see [[:​supcon:​tooling_availability|here]].
 +
 +
 +===== Documentation =====
 +
 +The {{:​4k420:​supervisory_toolchain_manual.pdf|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