Assignments

You can download the assignments here. Also check out each assignment page for any additional info.

• Assignment #1 - Ch2. Continuous Dynamics
• Assignment #2 - Ch3. Discrete Dynamics
• Assignment #3 - Ch4. Hybrid Systems
• Assignment #4 - Ch5. Composition of State Machines
• Assignment #5 - Ch6. Concurrent Models of Computation
• Assignment #6 - Ch11. Multitasking
• Assignment #7 - Ch12. Scheduling
• Assignment #8 - Ch13. Invariants and Temporal Logic
• Assignment #9 - Ch14. Equivalence and Refinement
• Assignment #10 - Ch15. Reachability Analysis
• Assignment #11 - Ch16. Quantitative Analysis