| Date | Topic | Slides | Deadlines | |
|---|---|---|---|---|
| 8/26 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- | |
| 9/2 | No class: Labor Day | -- | ||
| 9/9 | Timed and Dynamical System Models | Timed Systems, Dynamical Systems | HW1 assigned | |
| 9/16 | Dynamical Systems Continued, Hybrid Systems | Hybrid Systems | HW1 due, HW2 assigned | |
| 9/23 | Control, Nonlinear Control, Observer Design | Control | HW2 due | |
| 9/30 | LTL | Requirements, LTL | Project Teams & Proposals Due | -- |
| 10/7 | STL | STL, Testing | HW3 assigned | |
| 10/14 | Probabilistic Models, Probabilistic Verification, Classical RL | Probabilistic Models | HW3 due MP1 assigned, | |
| 10/21 | Safety Verification | Slides | -- | |
| 10/28 | Path Planning | Slides | MP1 due | |
| 11/4 | Reinforcement Learning | RL | MP2 assigned, HW4 assigned | |
| 11/11 | No class: Veterans Day | Project Check-in | ||
| 11/18 | Perception | Perception Slides | HW4 due||
| 11/25 | Schedule Overflow | MP2 due | ||
| 12/2 | Project Presentations | -- | -- | |
| 12/12 | -- | -- | Hard Deadline! Final Project Reports Due | |