SpaceEx State Space Explorer

The SpaceEx Modeling Language

This document describes the modeling language used in SpaceEx. We provide two
tutorial examples that illustrate how hybrid automata are defined and composed.
A formal grammar and semantic restrictions on the acceptable files are
defined.

Model and grammar files

DownloadSize
spaceex_modeling_language.pdf153.32 KB