Hybrid cc is a modeling language for building models of discrete/continuous physical systems. Models are built declaratively by expressing constraints about them, and can be executed to provide simulations using the interpreter below.

A short description of the Hybrid cc Language

Programming examples

Download the interpreter

Papers and documentation

Contact Vineet Gupta for more information.