Electrical & Computer Engin 597MB - ST-Modlg Verif of Embedded Sys

This course introduces the theoretical foundations of embedded systems, with a focus on applications in the domains of medical devices and other low-power systems. The topics covered will include modeling, scheduling, analysis and verification of systems with discrete, continuous, and hybrid dynamics. Course is intended for graduate students and senior undergraduates.