Electrical and Computer Engineering

ECE 249 Introduction to Cyber-physical Systems

Presents the basic concepts and tools for the study of cyber-physical systems, including modeling and analysis tools for continuous-time and discrete-time systems, finite state machines, stateflow, timed and hybrid automata, concurrency, invariants, linear temporal logic, verification, and numerical simulation. Students are guided on methods for simulation and encouraged to apply them to several applications. The course is self-contained. Students are expected to have a basic background in logic circuits, programming, the mathematical modeling of dynamical systems (course 8 is recommended), differential equations, linear algebra, and basic calculus. Knowledge of MATLAB/Simulink is useful. Students cannot receive credit for this course and course 149. (Formerly CMPE 249.)

Requirements

Prerequisite(s): CSE 100 and CSE 100L or equivalent, and CSE 13E or equivalent.

Credits

5

Instructor

Ricardo Sanfelice