SpaceEx State Space Explorer

Translation between CIF and SpaceEx

The Compositional Interchange Format (CIF) defines formal data structures for representing systems with continuous as well as discrete dynamics, including hybrid automata. CIF models can be described in ASCII form.

The objective of this report is to show current developments in the direction of bi-directional transformation
between CIF and SX formats. We explain our work done so far ranging from CIF parsing,
storing the information in ASTs and finally, conversion to the SX format by reading this infomation. It
is important to mention that SpaceEx directly parses the CIF format without any need of an external
parser. CIF being a very rich format in terms of its semantics, we use only a subset of its features, those
currently applicable and relevant in the very context of SpaceEx.

cif_to_sx_translation_report.pdf705.54 KB