User Tools

Site Tools


supcon:cif_svc_overview

Overview of supervisory control tooling in a CIF context

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 creating_and_editing_state_machines and tools.
CFG: Automaton file format used by the SuSyNA tools.
SCIM: File format used by the 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: DOT file format used to represent 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