| Reading Assignment | Slides | |
|---|---|---|
| 0 | Chapter 1 | Introduction |
| 1 | Chapter 3 | Discrete Dynamics |
| 2 | Chapter 5 | Composition of State Machines |
| 3 | SPIN tutorial Reference Manual | tutorial |
| 4 | Chapter 12 | Temoral Logic |
| 5 | Chapter 14 (14.1, 14.2.1 -- 14.2.2) | Reachability Analysis |
| 6 | Chapter 2 | Continuous Dynamics |
| 7 | Chapter 4 (4.1 -- 4.2.1), Uppaal Tutorial (short), Uppaal Tutorial (long) | Timed Automata Case study |
| 8 | Chapter 4 (4.2.2 -- 4.2.3), Intro. Hybrid Automata | Hybrid System, Hybrid Automa |
| 8 | Chapter 10, Multitasking | Multitasking |
| 8 | Chapter 11, Scheduling | Scheduling |