A modeling language for hybrid systems

The general hybrid systems modeling language (HSML) described here will serve two purposes: to define formally what is meant by the term "hybrid system", and to provide the basis for language-based "front ends" for hybrid system simulation environments. Features of HSML include: hierarchical, modular construction of models; consistent yet distinctive definition of continuous-time, discrete-time and logic-based components; prioritized scheduling of discrete-time components; mechanisms for state-event handling; approaches for dealing with vector-field conflicts and changing order and structure; rigorous type and range checking; and a strict semantic basis that permits extensive checking and validation of the model.<
>