| Date | Topic | Slides | Deadlines |
|---|---|---|---|
| 8/23 | Course Overview, Introduction to CPS, Models of Computation | Intro; Models of Computation | -- |
| 8/30 | Timed and Dynamical System Models | Timed Systems, Dynamical Systems | -- |
| 9/6 | Labor Day | Project Team Member Identification | |
| 9/13 | Hybrid Dynamical Models, Simulink Tutorial | Hybrid Systems, Simulink Tutorial | HW1 assigned |
| 9/20 | Linear and Nonlinear Control | Control | HW1 due (Sep 22) |
| 9/27 | Requirement Formalisms: Linear Temporal Logic | Requirements, LTL | -- |
| 10/4 | Requirement Formalisms: Signal Temporal Logic and Testing | STL, Testing | MP1a posted |
| 10/11 | Safety Verification | Slides | -- |
| 10/18 | Verification continued and Probabilistic Models | Probabilistic Models | HW2 posted |
| 10/25 | Schedule Overflow, Project Proposal Presentations | -- | MP1a due, Project Proposals Due |
| 11/1 | Path Planning | Slides | HW2 due |
| 11/8 | Sensing and Perception | Perception Slides | MP1b and MP2 posted |
| 11/15 | Reinforcement and Deep Reinforcement Learning | RL, Deep RL | MP1b due |
| 11/22 | Safe Reinforcement Learning | Safe RL | -- |
| 11/29 | Consensus, V2V operation, CPS Security | LfD Multi-agent Systems, Consensus, V2X Wrap-up | -- |
| 12/13 | Final Project Presentations | -- | -- |