Hide Advanced Options
Courses - Fall 2018
ENEE
Electrical & Computer Engineering Department Site
ENEE459I
(Perm Req)
Topics in Computer Engineering; Introduction to Cyber-Physical Systems
Credits: 3
Grad Meth: Reg
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.