| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 1/7 | Course Overview, Introduction to CPS, Models of Computation | Intro Slides; MoC Slides | -- |
| 1/14 | Timed and Dynamical System Models | Slides | -- |
| 1/21 | MLK day | HW1 out | |
| 1/28 | Hybrid Dynamical Models, Probabilistic Models | Hybrid Systems, Probabilistic Models | -- |
| 2/4 | Introduction to Linear and Nonlinear Control | Slides | HW1 due |
| 2/11 | Guest Lecture from Mathworks | Slides | -- |
| 2/18 | President's Day | HW2 out | |
| 2/25 | Intro to Temporal Logic | Slides | -- |
| 3/4 | Signal Temporal Logic | Slides | |
| 3/11 | Spring Break | HW2 due | |
| 3/18 | Path Planning | Slides | -- |
| 3/25 | Guest Lecture | Slides | -- |
| 4/1 | Reinforcement Learning | Slides | HW3 due |
| 4/8 | Abstraction-based Control Design + Planning | Slides | -- |
| 4/15 | Perception and Sensing | Slides | -- |
| 4/22 | Formal Verification | Slides | -- |
| 4/29 | -- | -- | HW4 due |
| 5/6 | Final Project Presentations | -- | -- |