ENEE459I

Topics in Computer Engineering; Introduction to Cyber-Physical Systems

Reviews for this courseTestudo

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, ENEE459F, ENEE459P, ENEE459V

Past Semesters

Yasser Shoukry

0 reviews
Average rating: N/A

During the Spring 2020 and Spring 2021 semesters, students could choose to take some of their courses pass-fail mid-semester which skews grade data aggregated across multiple semesters.

Average GPA of 3.79 between 35 students*

ENEE459I Grade Distribution+-0510152025303540455055606570758085% of studentsABCDFWother
A-: 5.71%
A: 48.57%
A+: 28.57%
B-: 2.86%
B: 2.86%
B+: 2.86%
C: 2.86%
C+: 2.86%
other: 2.86%
* "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.