Toward a Modeling Language Standard for Hybrid Dynamical Systems

1 A rigorous means for modeling and evaluating hybrid systems is needed for the efficient and cost-effective development of embedded real-time software for a wide variety of applications (weapons, manufacturing, intelligent vehicles, process control, . . . ). The development of a standard hybrid systems modeling language (SHSML) and corresponding rigorous simulation environments represent important contributions to fulfilling this requirement. 1. Introduction A standard hybrid systems modeling language called SHSML is under development, to serve five purposes: ffl to define formally what is meant by the term "hybrid system", ffl to provide a modeling language that matches recent advances in mathematical formalisms for hybrid systems [1], and thus permits their rigorous evaluation, ffl to define an architectural description language for hybrid systems, in support of domain-specific / reference-architecture-based approaches to hybrid systems development [2], ffl to provide the bas..