*****COURSES ARE SUBJECT TO CHANGE*****
Basic concepts and tools for the study of cyber-physical systems, including modeling and analysis tools for continuous-time and discrete-time systems, nite state machines, state ow, timed and hybrid automata, concurrency, invariants, linear temporal logic, veri cation, and numerical simulation. Students will be guided on methods for simulation and encouraged to apply them to several applications. The course is self contained. Students are expected to have basic background on logic circuits, programming, mathematical modeling of dynamical systems (CMPE 8 recommended), differential equations, linear algebra, and basic calculus. Knowledge of Matlab/Simulink will be useful. Students cannot receive credit for both this course and course 249.
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.