Topics in Computer Engineering; Introduction to Cyber-Physical Systems

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.

Sister Courses: ENEE459A, ENEE459B, ENEE459C, ENEE459D, ENEE459E, ENEE459P, ENEE459V

Past Semesters

0 reviews
Average rating: N/A

* "W"s are considered to be 0.0 quality points. "Other" grades are not factored into GPA calculation. Grade data not guaranteed to be correct.