EECS 149
Contents
Home
Overview
Logistics
Technology
Lectures
Reading
Assignments
Lab & Project
Seminar
bSpace
Piazza
Reading
References
Resources
Course Development
Wiki
CVS
|
Homework Assignments
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- Homework 7 (due Monday, November 26, Do not turn in):
- Lee & Seshia, Chapter 6: Exercise 6, 8.
|
