EECS 661 - Course Information

Homepage address:

Fall 2000

Class Time: Mo-We-Fr, 10:30-11:30 am, 185 EWRE (on your left when you exit the EECS atrium towards the east)


Stéphane Lafortune
Office: 4219 EECS
Telephone: 763-0591
Office Hours: After class until noon, Tues. 3-4:30pm, or by appointment



Other References

(on reserve in library; not necessary to purchase)


Homework problems will be assigned every Wed., due the following Wed., starting with Homework 1 assigned on Sept. 13. Some of the problems will require using the software package UMDES-LIB developed at U of M for the various manipulations of finite state machines and controller synthesis algorithms that will be studied in class.

Term Paper

The term paper should be performed in teams of two students. The topic should be approved by the instructor by Fri. Nov. 17. The goal of the term paper is for students to study in more detail a topic relevant to the class material but not covered in detail in class. The term paper can consist of doing a critical analysis of a small set of papers on a certain topic (especially papers dealing with applications of DES theory), of applying the material studied in class to a specific application, of performing a computer implementation of some relevant material presented in class, or of investigating how to extend some of the results presented in class.
The term paper will be due Mon. Dec. 18 at 4 pm.
Oral presentations of the term papers will take place in the slot reserved for the final exam.

Course Outline

Selected case studies will be used throughout the semester to illustrate the above concepts.
Last Modified: 2000/09/01