User Tools

Site Tools


supcon:cif_svc_overview

Differences

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

Link to this comparison view

supcon:cif_svc_overview [Thursday, 21 April 2011 : 12:34:44]
dhendriks created
supcon:cif_svc_overview [Thursday, 21 April 2011 : 12:52:46] (current)
dhendriks More content.
Line 1: Line 1:
 +====== Overview of supervisory control tooling in a CIF context ======
 +
 +{{:​supcon:​cif_svc_tooling.png?​1000|}}
 +/* File origin: chi-tooling/​trunk/​docs/​svc */
 +
 +**Legend**\\
 +Circles: File formats\\
 +Arrows: inputs/​outputs (solid is mandatory, dashed is optional)\\
 +Arrow text: The name of the tool\\
 +Diamond: Connects multiple inputs/​outputs\\
 +
 +**File formats**\\
 +ADS: Automaton file format used among others by Wonham'​s tct tool. See also [[:​wonham:​creating_and_editing_state_machines]] and [[:​wonham:​tools]].\\
 +CFG: Automaton file format used by the [[SuSyNA]] tools.\\
 +SCIM: File format used by the [[:​supcon:​scide:​start|SCIDE]] graphical editor to represent automata (plants, requirements,​ supervisors),​ as well as logical expressions.\\
 +STS: Textual automaton file format used by Ma's NBC tool. See also [[https://​github.com/​chuanma/​STSLib]].\\
 +SPEC: Textual specification file format used by Ma's NBC tool. See also [[https://​github.com/​chuanma/​STSLib]].\\
 +BDD: [[http://​www.graphviz.org/​|DOT]] file format used to represent [[http://​en.wikipedia.org/​wiki/​Binary_decision_diagram|BDDs]],​ as output of Ma's NBC tool. See also [[https://​github.com/​chuanma/​STSLib]].\\
 +LOGEXPR: Textual file containing logical expressions. See also [[http://​devel.se.wtb.tue.nl/​trac/​chi-tooling/​browser/​trunk/​docs/​sts_logexpr.syntax.txt?​format=txt]] for the syntax definition.\\
  
supcon/cif_svc_overview.txt · Last modified: Thursday, 21 April 2011 : 12:52:46 by dhendriks