| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 8/22 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- |
| 8/29 | Models of Computation Continued, Timed and Dynamical System Models | Timed Systems, Dynamical Systems | -- |
| 9/5 | Labor Day | Project Team Member Identification | |
| 9/12 | Dynamical System Models continued, Stability, Hybrid Dynamical Models | Hybrid Dynamical Systems | HW1 assigned |
| 9/19 | Linear and Nonlinear Control | Control | -- |
| 9/26 | Linear Temporal Logic | Requirements, LTL | HW1 due |
| 10/3 | Signal Temporal Logic and Testing | STL, Testing | -- |
| 10/10 | Safety Verification | Slides | MP1 posted |
| 10/17 | Verification continued and Probabilistic Models | Probabilistic Models | HW2 posted |
| 10/24 | Path Planning | Slides | HW2 due |
| 10/31 | Schedule overflow | -- | MP1 due |
| 11/7 | Sensing and Perception | Perception Slides | MP2 posted |
| 11/14 | Reinforcement Learning | RL, Deep RL | -- |
| 11/21 | Learning from Demonstrations, Safe RL | LfD | -- |
| 11/28 | Multi-agent systems & Wrap-up | Multi-agent Systems, Consensus, V2X Wrap-up | MP2 due |
| 12/12 | Final Project Presentations (tentative) | -- | -- |