| Date | Topic | Readings | Slides | Milestones |
|---|---|---|---|---|
| 1/9 | Introduction, Synchronous Comp. Model | 2.1 | Intro; Synchronous Models 1 | -- |
| 1/11 | Synchronous Model of Computation | 2.2-3, 2.4.2 | Synchronous Models 2 | -- |
| 1/16 | Asynchronous & Timed Models of Computation | 4.1.1-5, 4.2.1-3, 7.1 | Asynchronous Models | -- |
| 1/18 | Timed Models | 7.2,7.3.1 | Timed Models | -- |
| 1/20 | -- | -- | -- | Homework 1 out |
| 1/23 | Guest Lecture from the Mathworks | -- | Guest Lecture | -- |
| 1/25 | Dynamical Systems: Modeling, Numerical Methods | 6.1, 6.4.1 | Dynamical Models | -- |
| 1/30 | Dynamical Systems: Basics of Control | 6.2, 6.3 | Control Basics | -- |
| 2/1 | Nonlinear Control, Hybrid Systems | 9.1 | Nonlinear Control, Hybrid Systems | HW1 due |
| 2/6 | Hybrid Systems, Designing | 9.2-3 | Hybrid Systems: Designing | -- |
| 2/8 | Probabilistic Models | Bibliography in slides | Probabilistic Models | -- |
| 2/13 | Basics of Verification | 3.1 | Basics of Verification | -- |
| 2/15 | Temporal Logics: LTL | 5.1 | Temporal Logic: LTL | -- |
| 2/20 | Temporal Logics: LTL, CTL | Bibliography in slides | Temporal Logic: CTL | -- |
| 2/22 | Review | -- | -- | -- |
| 2/25 | -- | -- | -- | Homework 2 out |
| 2/27 | First Exam | -- | -- | -- |
| 3/1 | Exam discussion, Signal Temporal Logic | Bibliography in slides | STL | -- |
| 3/6 | Falsification | Bibliography in slides | Falsification | -- |
| 3/8 | Requirement Mining, and Safety Verification | Bibliography in slides, 6.2.4 | Safety Verification | |
| 3/13 | Spring Break | |||
| 3/15 | Spring Break | |||
| 3/20 | Project Proposal Presentation | -- | -- | Presentations Due |
| 3/22 | Autonomous Software, Sensing | Bibliography in slides | Software Stack, Sensing | -- |
| 3/27 | Intro to Perception | Bibliography in slides | Perception | HW 2 due |
| 3/29 | Intro to Planning | Bibliography in slides | Motion Planning | -- |
| 4/1 | -- | -- | -- | Homework 3 out |
| 4/3 | Reinforcement Learning | Bibliography in slides | Reinforcement Learning | -- |
| 4/5 | Security and Privacy | Bibliography in slides | Security in CPS | -- |
| 4/10 | Guest Lecture from Bigfoot Medical | -- | Automated Insulin Delivery | -- |
| 4/12 | Second Exam | -- | -- | -- |
| 4/17 | Convolutional Neural Networks | Bibliography in slides | CNNs | -- |
| 4/19 | V2V, V2X protocols and class wrap-up | Bibliography in slides | V2V, V2X | --- |
| 4/24 | Project Presentations 1-3 | -- | P1, P2, P3 | -- |
| 4/26 | Project Presentations 4-6 | -- | P4, P5, P6 | Final Projects Due |
| 5/5 | -- | -- | -- | HW3 due |