ECE News and Announcements

Oct 09, 2009
EECS 498-001 INTRODUCTION TO DISCRETE EVENT SYSTEMS    Bookmark and Share
Term: Winter, 2010
Course No.: 498-001
Credit Hours: 3
Instructor: Stephane Lafortune
Prerequisites: Senior or Graduate standing in EE, CS, CE, ME, or AERO

Course Description:
This course is intended for engineering and computer science seniors and graduate students who want to learn about dynamic systems with discrete state spaces and event-driven transitions. Discrete Event Systems, as they are called, arise in the modeling of technological systems such as automated manufacturing systems, communication networks, software systems, process control systems, and transportation systems. In embedded and networked systems, discrete event dynamics are coupled with continuous dynamics, giving rise to what are called Hybrid Systems. This course will introduce students to the modeling, analysis, and control of discrete event systems. The modeling of hybrid systems will also be introduced. Examples from the above areas will be used throughout the course to illustrate the main concepts.

This course is offered in place of EECS 661, the graduate-level course on Discrete Event Systems that is normally offered in the fall of even years. EECS 661 will not be offered in Fall 2010; the next expected offering of EECS 661 is Fall 2012. Graduate students who intended to take 661 in Fall 2010 should take 498-W10 instead; it will count for graduate credit. 498-W10 is also open to undergraduate seniors. The class material will be adjusted accordingly.

There are no specific course prerequisites other than senior or graduate standing.

For planning purposes, please contact the instructor if you plan to enroll.

Textbook:"Introduction to Discrete Event Systems - Second Edition" by C. Cassandras and S. Lafortune, Springer, 2007

Grading: Homework assignments, two exams, and a short project.

Syllabus: Most of Chapters 2, 4, and 5; part of Chapter 3 of textbook.

Areas of Interest:
  • Finite-state automata models of discrete event systems: notions of deadlock and livelock, product and parallel composition, observer and diagnoser automata.
  • Petri net models of discrete event systems: reachability analysis with coverability tree, structural analysis with invariants.
  • Supervisory control of discrete event systems modeled by automata: controllability and observability, nonblocking control.
  • Control of Petri nets by place invariants.
  • Timed automata models of discrete event systems: parallel composition, reachability analysis by untiming.
  • Hybrid automata models of hybrid systems: basic notions.

The software tool DESUMA will be used in the course.
 
EECS News by Topic
EECS News by Faculty Name
ECE in the News 
04/17/14 Zhong-Norris: Mashable(with video) - Infrared Sensor Could Lead to Night Vision Co...
04/17/14 Wentzloff: PhysOrg - PsiKicks batteryless sensors poised for coming Internet of Th...
04/09/14 The Heritage of Mead & Conway: What Has Remained the Same, What Has Changed, What ...
04/08/14 Have New Cars Gone Haywire?
04/01/14 Guo: Science World - Beautiful Energy
03/20/14 Zhong-Norris: IEEE Spectrum - Graphene Gives You Infrared Vision in a Contact Lens

ECE Research News 
04/17/14 Halderman and Lafortune Join TerraSwarm Research Center
03/31/14 Bringing batteryless sensors to market
03/18/14 Thermal Vision: Graphene light detector first to span infrared spectrum
03/03/14 Photon Glue Enables New Quantum State That Could Mean Better Lighting, Solar Cells
03/03/14 Transparent color solar cells fuse energy, beauty
02/19/14 What are quantum computers going to do for us?

ECE News 
03/26/14 England appointed dean of CECS at UM-Dearborn
03/20/14 Advanced Smart Sensor Networks Open up a Multitude of Applications
02/27/14 Ask Anything: What Happens In Your Computer When You Turn It On?
02/20/14 Jasprit Singh on Technology and Wellness (video)
02/13/14 Asteroid mining could be useful to space travel
01/30/14 State Farm Gift Supports Student Projects Lab

ECE Faculty and Staff Awards 
02/21/14 Jamie Phillips Named Arthur F. Thurnau Professor
02/20/14 Now On YouTube: Prof. Ulabys Talk as the 2014 U-M Henry Russel Lecturer
01/24/14 2014 EECS Outstanding Achievement Awards
01/23/14 Six ECE Faculty Recognized for Excellence
12/18/13 Jason Davis Receives 2013 U-M Distinguished Diversity Leaders Award
12/18/13 Al Hero Named 2013 IEEE SPS Technical Achievement Award Winner

ECE Student News and Awards 
04/17/14 Isabel Martin Received CoE Dist. Leadership Award
04/11/14 Hands-On Robotics (video)
04/10/14 Student Spotlight: Christopher Boyd - From Robotics to MEMS Inertial Sensors
04/10/14 David Hong Awarded NSF Graduate Research Fellowship
04/10/14 Christopher Boyd Awarded NSF Graduate Research Fellowship
04/09/14 Student Spotlight: Mai Le - Finding a Better Way to Diagnose Breast Cancer with MRI

ECE Alumni News 
04/17/14 Alumni Spotlight: Steve Mollenkopf, New CEO of Qualcomm
03/07/14 Alumni Spotlight-Dawson Yee: Kinect-ing Xbox to the World
01/29/14 Alumni Spotlight: Babak Parviz: The Visionary Behind the Glass
01/29/14 Alumni Spotlight: Allan Evans and Avegant: Creating a brilliant multimedia experie...
12/02/13 Tongue Piercing Controls Wheelchair
12/02/13 Ivan LaHaie elected IEEE Fellow

ECE 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