| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 8/25 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- |
| 9/1 | Continuous, Timed, Hybrid Dynamical System Models | Dynamical Systems | |
| 9/8 | Basics of Stability and Control | Stability, Control | HW1 assigned |
| 9/15 | Mini Project Introduction | -- | -- |
| 9/22 | Basics of Control Continued | Control | HW1 due |
| 9/29 | Basics of Control Continued | Control | |
| 10/6 | Safety Requirements and Temporal Logic | Requirements, LTL | |
| 10/13 | Signal Temporal Logic | STL, Testing | HW2 assigned |
| 10/20 | Safety Verification | Verification | |
| 10/27 | Safety Verification | Slides | 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 Multi-agent Systems Course Conclusion | HW3 due |
| 12/1 | Project Presentations | -- | MP2 due |
| 12/10 | -- | -- | Hard Deadline! Final Project Reports Due |