CSE News and Announcements

May 31, 2002
EECS 661 - Discrete Event Systems    Bookmark and Share
Offering: This course is offered EVERY OTHER YEAR in the fall semester.

Instructor: Stephane Lafortune
Room 4234A EECS, 763-0591
stephane@eecs.umich.edu, www.eecs.umich.edu/~stephane

Time: M-W-F: 10:30 - 11:30 am;

Location: Rm. 3433 EECS

Prerequisite: Graduate standing

Textbook: ``Introduction to Discrete Event Systems'' by C. Cassandras and S. Lafortune, Kluwer (1999).
(See www.eecs.umich.edu/~stephane/Book for further information about this book.)

Grading: Homework assignments, two mid-term exams, and a project.


This course is intended for engineering and computer science graduate students (Master's or Ph.D. level) who want to learn about modeling, analysis, and control of ``discrete event dynamical systems'' (DES). DES arise in the modeling of technological systems such as automated manufacturing systems, communication networks, distributed software systems, process control systems, and traffic control systems. The ``activity'' in these systems is governed by operational rules designed by humans; their dynamics are therefore characterized by asynchronous occurrences of discrete events.

The class will consider two modeling formalisms for DES: automata (or state machines) and Petri nets. We will consider both untimed and timed versions of these models. We will first study techniques to analyze the system behavior (e.g., reachability, blocking properties, diagnosability). Then we will consider feedback control of the system in order to achieve desired properties such as avoidance of illegal states and illegal sequences of events, absence of deadlock and livelock, etc. We will consider control problems under full and partial event observation and under partial event controllability.

The software package UMDES-LIB will be used throughout the course for model analysis and controller synthesis. (See http://www.eecs.umich.edu/umdes/projects/lib/umdeslib.html for further information about UMDES-LIB.)

Syllabus: We will cover the first five chapters of the textbook:

Information: For more information, please contact the instructor.
EECS News by Topic
EECS News by Faculty Name
CSE in the News 
04/17/14 Scientific American: Heartbleed Software Snafu: The Good, the Bad and the Ugly
04/17/14 New York Times: Study Finds No Evidence of Heartbleed Attacks Before the Bug Was E...
04/15/14 Michigan Daily: Internet security flaw left University sites vulnerable
04/15/14 ARS Technica: Researchers find thousands of potential targets for Heartbleed OpenS...
04/15/14 Bloomberg: Hacker From China Wastes Little Time in Exploiting Heartbleed
04/15/14 Bloomberg: Heartbleed Hackers Steal Encryption Keys in Threat Test

CSE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
04/07/14 Michael Lewis says the market is rigged. But his Flash Boys rigged themselves.
04/01/14 Researchers Win Best Paper Award at ISPASS 2014
04/01/14 Technological Singularity Passes, Unnoticed Until Now
03/05/14 Michael Wellman Recognized with ACM/SIGAI Autonomous Agents Research Award
02/21/14 New Center Develops Technologies to Help Youths with Disabilities

CSE News 
03/26/14 CSE Connects at SXSW 2014
03/24/14 Prospective Grad Students Visit, Learn About CSE
03/13/14 CSE Connects at Tapia Celebration of Diversity in Computing
02/03/14 Karem Sakallah Continues Commitment to Qatar Computing Research Institute
01/30/14 State Farm Gift Supports Student Projects Lab
01/23/14 Career Center Report Shows Computer Scientists Highly Sought, Best Compensated

CSE Faculty and Staff Awards 
04/03/14 Noble and Wilson Named as Learning Analytics Fellows
03/26/14 Kevin Fu Selected for World Economic Forum Young Scientist Award
02/25/14 Narayanasamy and Olson Named Morris Wellman Faculty Development Professors
02/07/14 Daniel Atkins Elected to National Academy of Engineering
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Four CSE Faculty Selected for College of Engineering Awards

CSE Student News and Awards 
04/18/14 Jill Bender Chosen for CoE Distinguished Leadership Award
04/16/14 SWE Hosts G.R.E.A.T. Day for Girls
04/11/14 Hands-On Robotics (video)
04/08/14 Forest Agostinelli Selected for NSF Graduate Research Fellowship
04/08/14 Branden Ghena Selected for NSF Graduate Research Fellowship
04/08/14 Elizabeth Mamantov Selected for NSF Graduate Research Fellowship

CSE Alumni News 
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
03/03/14 CSE Alum Dongyoon Lee Selected for ProQuest Dissertation Award
12/20/13 Hector J. Garcia Selected for Bouchet Graduate Honor Society
11/12/13 CSE Alumna Mona Attariyan Selected for Ritchie Disseration Award
07/23/13 Tony Fadell: From Apple to Nest Labs, Always a Designer
06/26/13 Computer Engineering Alum Marius Eriksen Featured in Wired

CSE Course Announcements 
04/09/14 Fall 2014: Hands-On Robotics
04/03/14 Fall 2014: EECS 598-002 Power Semiconductor Devices
04/03/14 Fall 2014: EECS 598-001 Analysis of Electric Power Distribution Systems and Loads
03/20/14 Fall 2014: Applied matrix algorithms for signal processing, data analysis and mach...
11/26/13 Winter 2014: EECS 498-003 Multidisciplinary Capstone (MDE) Design Pilot
11/06/13 Winter 2014: EECS 598-007 Infrastructure for Vehicle Electrification

Add News Item     Update News Items