Abstract
A rigorous means for modeling and evaluating hybrid systems is needed for the efficient and cost-effective de- velopment of embedded real-time software for a wide variety of applications (weapons, manufacturing, in- telligent vehicles, process control, ...). The develop- ment of a standard hybrid systems modeling language (SHSML) and corresponding rigorous simulation envi- ronments represent important contributions to fulfilling this requirement.

This publication has 4 references indexed in Scilit: