UNPUBLISHED REPORT 1 Formal Semantics and Analysis Methods for (2002)
Simulink Stateow Models, A. Tiwari
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. The Simulink graphical environment of MathWorks' tool suite is a popular choice for modeling and...