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.

This course is open to Seniors and Graduate students in Computer Systems Engineering, Electrical Engineering, or ECE only.