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
Download the interpreter
Papers and documentation
Contact Vineet Gupta
for more information.