| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 8/21 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- |
| 8/28 | Models of Computation Continued, Timed and Dynamical System Models | Timed Systems, Dynamical Systems | HW1 assigned |
| 9/4 | Labor Day | Project Team Member Identification, HW1 due | |
| 9/11 | Dynamical System Models continued, Stability, Hybrid Dynamical Models | Hybrid Dynamical Systems | -- |
| 9/18 | Linear and Nonlinear Control | Control | HW2 assigned |
| 9/25 | Linear Temporal Logic | Requirements, LTL | HW2 due |
| 10/2 | Signal Temporal Logic and Testing | STL, Testing | HW3 assigned |
| 10/9 | Safety Verification | Slides | MP1 posted , HW3 due |
| 10/16 | Verification continued and Probabilistic Models | Probabilistic Models | HW4 posted |
| 10/23 | Path Planning | Slides | HW4 due |
| 10/30 | Schedule overflow | -- | MP1 due |
| 11/6 | Sensing and Perception | Perception Slides | MP2 posted |
| 11/13 | Reinforcement Learning | RL, Deep RL | -- |
| 11/20 | Learning from Demonstrations, Safe RL | LfD | MP2 due |
| 11/27 | Project Presentations | ||
| 12/15 | Final Papers Due | ||