| 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 | Finalize Teams | |
| 9/22 | GUEST LECTURE | HW1 due | ||
| 9/29 | Linear Control | Control | ||
| 10/6 | LTL | Requirements, LTL | [Friday, 10/10] Project Teams & Proposals Due | -- |
| 10/13 | STL | STL, Testing | HW2 assigned | |
| 10/20 | STL | STL, Testing continued | ||
| 10/27 | Safety Verification | HW2 dueSlides | HW2 due | |
| 11/3 | Probabilistic Models, Probabilistic Verification | Probabilistic Models | ||
| 11/10 | Path Planning | Slides | MP1 due, MP2, HW3 assigned | |
| 11/17 | Reinforcement Learning | RL | ||
| 11/24 | Perception and Other Topics | Perception Slides | HW3 due | |
| 12/1 | Project Presentations | -- | MP2 due | |
| 12/7 | -- | -- | Hard Deadline! Final Project Reports Due | |