10 likes | 111 Vues
HyVisual is a versatile hybrid system visual modeler that enables the construction of hierarchical hybrid systems. It utilizes block-diagram representation for defining continuous dynamics through ordinary differential equations (ODEs) and bubble-and-arc diagram representation for finite state machines to define discrete behavior. This innovative tool supports the modeling of both deterministic and non-deterministic hybrid system models. Learn from examples like modeling Newton's Cradle with nondeterministic transitions and hysteresis model with nondeterministic delayed transitions to expand your understanding of hybrid systems.
E N D
Haiyang Zheng Edward A. Lee HyVisual: a Hybrid System Visual Modeler http://chess.eecs.berkeley.edu Overview Hybrid systems are systems with continuous-time dynamics, discrete events, and discrete mode changes. HyVisual is a hybrid system visual modeler that 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.A few examples are presented to illustrate how to construct deterministic and non-deterministic hybrid system models. Modeling Nondeterministic Hybrid Systems Newton’s Cradle Model with Nondeterministic Transitions Modeling Deterministic Hybrid Systems Newton’s Cradle Model Hysteresis Model with Nondeterministic Delayed Transitions November 18, 2004