| Date | Topic | Slides | Deadlines | |
|---|---|---|---|---|
| 8/25 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- | |
| 9/1 | No class: Labor Day | -- | ||
| 9/8 | Timed and Dynamical System Models | Timed Systems, Dynamical Systems | HW1 assigned | |
| 9/15 | Dynamical Systems Continued, Hybrid Systems | Hybrid Systems | HW1 due, HW2 assigned | |
| 9/22 | GUEST LECTURE | |||
| 9/29 | Control | HW2 due | ||
| 10/6 | LTL | Requirements, LTL | Project Teams & Proposals Due | -- |
| 10/13 | STL | STL, Testing | HW3 assigned | |
| 10/20 | Probabilistic Models, Probabilistic Verification, Classical RL | Probabilistic Models | HW3 due MP1 assigned, | |
| 10/27 | Safety Verification | Slides | -- | |
| 11/3 | Path Planning | Slides | MP1 due | |
| 11/10 | Reinforcement Learning | RL | MP2 assigned, HW4 assigned | |
| 11/17 | No class: Veterans Day | Project Check-in | ||
| 11/24 | Perception | Perception Slides | HW4 due||
| 12/1 | Project Presentations | -- | -- | |
| 12/7 | -- | -- | Hard Deadline! Final Project Reports Due | |