User Tools

Site Tools



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:
 +====== 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://​​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://​​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#​|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