HyVisual Planet

HyVisual 7.0.1

Block-diagram editor and simulator for hybrid systems. To start immediately by creating a hybrid system, select File -> New -> Graph Editor from the menu bar. Select Help from the Help menu for instructions on creating a model.
Hybrid systems are systems with continuous-time dynamics, discrete events, and discrete mode changes. This visual modeler supports construction of hierarchical hybrid systems. It uses a block-diagram representation of ordinary differential equations (ODEs) to define continuous dynamics. It uses a bubble-and-arc diagram representation of finite state machines to define discrete behavior. The semantics of HyVisual are described in the following paper:

Edward A. Lee and Haiyang Zheng, "Operational Semantics of Hybrid Systems," Invited paper in Proceedings of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005.

Below are simple demonstrations of this modeler:

This visual modeler is built using Ptolemy II, which is a software framework developed as part of the Ptolemy project at the University of California at Berkeley. See the Ptolemy Project web page for more information.