University of Michigan
EECS Department
Electrical and
Computer Engineering
EECS Building
1301 Beal Avenue
Ann Arbor, MI 481092122
Control Seminar
Supervisory Control for Collision Avoidance in Vehicular Networks using Discrete Event Abstractions
Stéphane Lafortune
Professor
University of Michigan  Department of EECS 

Friday, March 23, 2012
3:30pm  4:30pm 1500 EECS


About the EventWe will start with an introduction to supervisory control of discrete event systems (DES). We will discuss relevant systemtheoretic properties for DES such as controllability, nonblockingness, and maximal permissiveness, that arise in the solution of supervisory control problems. Then we will present ongoing research on the problem of collision avoidance at vehicular intersections for a set of controlled and uncontrolled vehicles that are linked by wireless communication. Each vehicle is modeled by a firstorder system with bounded model uncertainty. We construct a finite DES abstraction of the underlying system that preserves the desired property of safety (i.e., no collisions). We formulate the problem of collision avoidance as a supervisory control problem for the DES abstraction. For solving the resulting supervisory control problem, we develop customized algorithms that exploit the structure of the transition map to compute the supremal controllable sublanguage more efficiently than standard algorithms in DES theory. We present implementation results on an intersection with several vehicles.
This is joint work with Eric Dallal at Michigan and Alessandro Colombo and Domitilla Del Vecchio at MIT.

BiographyStéphane Lafortune has been a professor in the EECS department since 1986. 
Additional Information
Contact: Ann Pace
Phone: 7635022
Email: ampace@umich.edu
Sponsor: Bosch, Eaton, Ford, GM, Toyota, Whirlpool and the MathWorks
Open to: Public


