| Date | Topic | Slides | Deadlines | |
|---|---|---|---|---|
| 8/23 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- | |
| 8/30 | Timed and Dynamical System Models | Timed Systems, Dynamical Systems | HW1 assigned | |
| 9/6 | No class: Labor Day | Project Team Member Identification | ||
| 9/13 | Hybrid Dynamical Models, Simulink Tutorial | Hybrid Systems, Simulink Tutorial | HW1 due | |
| 9/20 | Linear Control, Nonlinear Control, Observer Design | Control | -- | |
| 9/27, 10/4 | LTL, STL | Requirements, LTL, STL, Testing | MP1 assigned, MP2 assigned | |
| 10/11 | Probabilistic Models, Probabilistic Verification, Classical RL | Probabilistic Models & Classical RL | Project Proposals Due | |
| 10/18 | Safety Verification | Slides | -- | HW2 assigned |
| 10/25 | Path Planning | Slides | ||
| 11/2 | Perception | Perception Slides | -- | |
| 11/9 | Communication, Coordination and Co-operation, CPS Security | Communication, Security | HW2 due | |
| 11/16 | Deep Reinforcement Learning, Advanced Topics in Autonomy | Deep RLDeep RL | MP1 due | |
| 11/23 | Review, Schedule Overflow | Review | MP2 due | |
| 11/30 | -- | -- | Final Exam assigned | |
| 12/7 | Final Project Presentations | -- | Final Exam due | |