Schedule
-
EventDateDescriptionCourse Material
-
Due12/28/2019 20:29
SaturdayCustom Due/Deadline -
Assignment02/12/2025
WednesdayAssignment #1 - Ch2. Continuous Dynamics released! -
Lecture02/13/2025
ThursdayCh1. Introduction[slides]Suggested Readings:
-
Lecture02/13/2025
ThursdayCh2. Continuous DynamicsSuggested Readings:
-
Session02/13/2025 04:30
Thursdayfirst session -
Due02/18/2025 23:59
TuesdayAssignment #1 due -
Assignment02/24/2025
MondayAssignment #2 - Ch3. Discrete Dynamics released! -
Assignment02/24/2025
MondayAssignment #3 - Ch4. Hybrid Systems released! -
Lecture02/25/2025
TuesdayCh3. Discrete Dynamics[slides]Suggested Readings:
-
Lecture02/25/2025
TuesdayCh4. Hybrid Systems[slides]Suggested Readings:
-
Due02/25/2025 23:59
TuesdayAssignment #2 due -
Due03/04/2025 23:59
TuesdayAssignment #3 due -
Assignment03/04/2025
TuesdayAssignment #4 - Ch5. Composition of State Machines released! -
Lecture03/05/2025
WednesdayCh6. Concurrent Models of Computation[slides]Suggested Readings:
-
Lecture03/05/2025
WednesdayCh5. Composition of State Machines[slides]Suggested Readings:
-
Due03/14/2025 23:59
FridayAssignment #4 due -
Assignment04/15/2025
TuesdayAssignment #5 - Ch6. Concurrent Models of Computation released! -
Lecture04/16/2025
WednesdayExtra Ch. Petri Nets and Their Timed Version[slides]Suggested Readings:
-
Due04/16/2025 23:59
WednesdayAssignment #5 due -
Lecture04/30/2025
WednesdayCh11. Multitasking[slides]Suggested Readings:
-
Assignment05/09/2025
FridayAssignment #6 - Ch11. Multitasking released! -
Assignment05/09/2025
FridayAssignment #7 - Ch12. Scheduling released! -
Lecture05/10/2025
SaturdayCh12. SchedulingSuggested Readings:
-
Due05/12/2025 23:59
MondayAssignment #6 due -
Exam05/13/2025 08:00
TuesdayMidtermTopics:
- Ch1. Introduction
- Ch2. Continuous Dynamics
- Ch3. Discrete Dynamics
- Ch4. Hybrid Systems
-
Due05/13/2025 23:59
TuesdayAssignment #7 due -
Assignment05/27/2025
TuesdayAssignment #8 - Ch13. Invariants and Temporal Logic released! -
Assignment05/27/2025
TuesdayAssignment #9 - Ch14. Equivalence and Refinement released! -
Lecture05/28/2025
WednesdayCh13. Invariants and Temporal Logic[slides]Suggested Readings:
-
Lecture05/28/2025
WednesdayCh14. Equivalence and Refinement[slides]Suggested Readings:
-
Lecture05/28/2025
WednesdayCh15. Reachability Analysis[slides]Suggested Readings:
-
Lecture05/28/2025
WednesdayCh16. Quantitative Analysis[slides]Suggested Readings:
-
Assignment05/28/2025
WednesdayAssignment #10 - Ch15. Reachability Analysis released! -
Lecture05/29/2025
ThursdayExtra. Worst-Case Execution Time Prediction by Static Program Analysis[slides]Suggested Readings:
- [Another related paper]
-
Assignment05/29/2025
ThursdayAssignment #11 - Ch16. Quantitative Analysis released! -
Due06/04/2025 23:59
WednesdayAssignment #8 due -
Due06/11/2025 23:59
WednesdayAssignment #9 due -
Due06/18/2025 23:59
WednesdayAssignment #10 due -
Due06/25/2025 23:59
WednesdayAssignment #11 due