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