Prerequisite: ENEE350, ENEE322. Also offered as ENEE759I. Credit granted for ENEE459I or ENEE759I.
Modeling, design, and verification of cyber-physical systems. Students will learn how to design embedded software algorithms that interact with physical processes to satisfy desired specifications. Topics covered include models of computation, specifications, temporal logic, reachability analysis, model checking, and execution time analysis. The course is accompanied by a set of labs and semester-long projects to give hands-on experience on the covered material.