CMPE249: 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. Prerequisite(s): courses 100/L or equivalent, and courses 13/L or equivalent.

5 Credits


While the information on this web site is usually the most up to date, in the event of a discrepancy please contact your adviser to confirm which information is correct.