HyVisual Documentation 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 following are sources of information about HyVisual:

• HyVisual demonstrations
• 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.
• Tutorial document: HyVisual: A Hybrid System Visual Modeler, Ptolemy Web Site PDF
• Copyright
• Java Class Documentation
• Acknowledgements
• Ptolemy Web Site (for general information about the Ptolemy Project, which produced HyVisual)