EECS 149

Contents
Home
Overview
Logistics
Technology

Schedule
Reading
Assignments
Lab & Project

bCourses
Piazza

Reading
References
Resources

Course Development
Wiki
SVN

Homework Assignments

Homework should be turned in electronically on bCourses.
Make sure your homework is readable.

Most homework assignments listed below comprise exercises from the textbook, the Second Edition of Lee & Seshia. Note that the exercise numbers will differ from edition to edition.

1. Homework 1 (due Tuesday, September 8):
   
   • Lee & Seshia, Chapter 7 (Sensors and Actuators): Exercises 2 and 3.
     
   • Lee & Seshia, Chapter 2: Exercises 1 and 4.
   Graduate students also do:
   
   • Lee & Seshia, Chapter 7 (Sensors and Actuators): Exercise 1.
     
   • Lee & Seshia, Chapter 2: Exercises 3 and 6. In 6(a), "solve for omega(t)" means simply "express omega(t) in terms of the other variables." You do not need to solve the integral equation.
     
2. Homework 2 (due Tuesday, September 22):
   
   • Lee & Seshia, Chapter 9 (Memory Architectures): Exercises 1 and 3.
     
   • Lee & Seshia, Chapter 10 (Input and Output): Exercises 1, 2, and 7(a),7(b), and 7(c).
     
   Graduate students also do:
   
   • Lee & Seshia, Chapter 9 (Memory Architectures): Exercise 4.
   • Lee & Seshia, Chapter 10 (Input and Output): Exercises 3 and 5(a),5(b), and 5(c).
     
3. Homework 3 (due Tuesday, October 6):
   
   • Lee & Seshia, Chapter 3: Exercises 1, 4, 5, and 6;
   • Lee & Seshia, Chapter 4: Exercises 4, 6.
   Graduate students also do:
   
   • Lee & Seshia, Chapter 3: Exercise 8.
     
   • Lee & Seshia, Chapter 4: Exercise 5, 8.
     
4. Homework 4 (due Tuesday, October 20):
   
   • Lee & Seshia, Chapter 5: Exercise 4, 5.
     
   • Lee & Seshia, Chapter 13: Exercise 1, 2.
     
   • Lee & Seshia, Chapter 14: Exercise 3, 6.
     
   Graduate students also do:
   
   • Lee & Seshia, Chapter 5: Exercise 6.
     
   • Lee & Seshia, Chapter 13: Exercise 6.
     
   • Lee & Seshia, Chapter 14: Exercise 5.
     
5. Homework 5 (due MONDAY, November 9):
   
   • Lee & Seshia, Chapter 11: Exercises 2, 3.
     
   • Lee & Seshia, Chapter 15: Exercise 3.
     
   • Lee & Seshia, Chapter 12: Exercises 1, 2.
     
   Graduate students also do:
   
   • Lee & Seshia, Chapter 11: Exercise 5.
     
   • Lee & Seshia, Chapter 12: Exercise 4.
     
6. Homework 6 (due Thursday, November 19):
   
   • Lee & Seshia, Chapter 12: Exercise 7.
     
   • Lee & Seshia, Chapter 15: Exercise 1.(Note: this will require installing and using the SPIN model checker from here. Get started early! Useful slides here)
     
   • Lee & Seshia, Chapter 16: Exercise 2.
     
   Graduate students also do:
   
   • Lee & Seshia, Chapter 12: Exercise 6.
     
   • Lee & Seshia, Chapter 16: Exercise 3.
     
7. Homework 7 (due Tuesday, December 1):
   
   • Lee & Seshia, Chapter 6: Exercise 3, 6, 8.
     
   • Lee & Seshia, Chapter 17: Exercise 2.
     
   Graduate students also do:
   
   • Lee & Seshia, Chapter 6: Exercise 4.
     
   • Lee & Seshia, Chapter 17: Exercise 1.