*banner
 

EECS 149

Contents
Home
Overview
Logistics
Technology

Lectures
Reading
Assignments
Lab & Project
Seminar

bSpace
Piazza

Reading
References
Resources

Course Development
Wiki
CVS


Homework Assignments

  1. Homework 1 (due Monday, September 10):
    • Lee & Seshia, Chapter 8: Exercises 1 and 3.
    • Lee & Seshia, Chapter 9: Exercises 1, 3, and 8(a,b,c only).
    Graduate students also do:
    • Lee & Seshia, Chapter 8: Exercise 2.
  2. Homework 2 (due Monday, September 24):
    • Lee & Seshia, Chapter 2: Exercises 4 and 5. (For problem 4, let "position of the tail relative to the main rotor shaft" be given as Cartesian coordinates in a plane orthogonal to the rotor shaft with its origin at the rotor shaft.)
    • Lee & Seshia, Chapter 3: Exercises 1, 2, 4, and 5;
    Graduate students also do:
    • Lee & Seshia, Chapter 2: Exercise 2.
    • Lee & Seshia, Chapter 3: Exercise 6.
  3. Homework 3 (due Monday, October 8):
    • Lee & Seshia, Chapter 4: Exercises 4, 6.
    • Lee & Seshia, Chapter 5: Exercise 3, 4.
    Graduate students also do:
    • Lee & Seshia, Chapter 4: Exercise 11.
    • Lee & Seshia, Chapter 5: Exercise 1.
  4. Homework 4 (due Monday, October 22):
    • Lee & Seshia, Chapter 10: Exercises 2, 4.
    • Lee & Seshia, Chapter 11: Exercise 3, 6.
    Graduate students also do:
    • Lee & Seshia, Chapter 10: Exercise 5.
    • Lee & Seshia, Chapter 11: Exercise 4.
  5. Homework 5 (due Monday, November 5):
    • Lee & Seshia, Chapter 12: Exercises 1, 3.
    • Lee & Seshia, Chapter 13: Exercise 1, 4, 6.
    Graduate students also do:
    • Lee & Seshia, Chapter 12: Exercise 4.
    • Lee & Seshia, Chapter 13: Exercise 7.
  6. Homework 6 (due Monday, November 19):
    • Lee & Seshia, Chapter 15: Exercise 2.
    • Lee & Seshia, Chapter 6: Exercise 1, 2, 3.
    Graduate students also do:
    • Lee & Seshia, Chapter 14: Exercise 2. (Note: this will require installing and using the SPIN model checker from here. Get started early!)
    • Lee & Seshia, Chapter 6: Exercise 4.
  7. Homework 7 (due Monday, November 26, Do not turn in):
    • Lee & Seshia, Chapter 6: Exercise 6, 8.
You are not logged in 
©2002-2013 Chess