Embedded Systems
Embedded systems sense, actuate, compute, and communicate to accomplish tasks in domains such as medical, automotive, and industrial controls. Informal methods of hacking together embedded systems are at odds with the criticality of their applications. This course will introduce recent developments toward more rigorous modeling and verification of embedded and cyber-physical systems.