*****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.
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.