Hybrid Systems Toolbox

[home] | [reading] | [homeworks] | [references] | [contact]

The Hybrid Systems Interchange Format (HSIF) was a good start to an open-source format for sharing hybrid systems models between academic hybrid systems tools (see references below). The next step is to apply the lessons learned in HSIF development and usage to a standard or package which will work well with commercial (or otherwise mature)

  • simulators,
  • development environments,
  • verification/validation engines, and
  • code generators.

The development of this tool is the goal of the hyper group. We meet regularly on Fridays at 2:00 in 337 Cory Hall, just after the studygroup meeting. Before attending, please request to join the group, so that we will know to order you a lunch.


  1. A brief academic overview of the HSIF proposal
  2. Download the HSIF tool from Vanderbilt University's the Institute for Software Integrated Systems (ISIS) MoBIES Page.
  3. Luca Carloni, Maria D. Di Bebedetto, Alessandro Pinto and Albert Sangiovanni-Vincentelli. "Modeling Techniques, Programming Languages Design Toolsets and Interchange Formats for Hybrid Systems", Columbus Project, DHS3.
©2002-2018 Chess