Electrical and Computer EngineeringECE 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 (ECE 8 is recommended), differential equations, linear algebra, and basic calculus. Knowledge of MATLAB/Simulink is useful. Students cannot receive credit for this course and ECE 149.

Requirements

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

Credits

5

Quarter offered

Spring

Instructor

Ricardo Sanfelice