HyST Benchmarks Repository
This repository contains hybrid systems, hybrid automaton, and networks of hybrid automata benchmarks and examples to be used with HyST.
This repository will be set up as a linked submodule to the main HyST repository (see http://git-scm.com/book/en/v2/Git-Tools-Submodules ):