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

Model and grammar files

spaceex_modeling_language.pdf153.32 KB