UNPUBLISHED REPORT 1 Formal Semantics and Analysis Methods for (2002)
Simulink Stateflow 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...