ECE Seminar – Control and Diagnosis of Discrete Event Systems: Some Recent Trends
June 2, 2014
University of Michigan-Ann Arbor
When: Wednesday, June 4, 2014 at 3:00 p.m.
Where: Warnock 1250
We will present an overview of recent research trends in control and diagnosis of Discrete Event Systems (DES) that are motivated by challenges arising in cyber-physical systems.
In the first part of the talk, we will review the basic theory of supervisory control of DES, discuss its connection with reactive synthesis in computer science, and present results on its application to the problem of collision avoidance in vehicular networks. In this application, the continuous dynamics of the vehicles are abstracted in a discrete-event model, where uncontrollable events capture unmodeled dynamics and unobservable events capture measurement uncertainty.
In the second part of the talk, we will review the basic theory of fault diagnosis in partially-observed DES and then discuss recent work on enforcement of opacity, a class of properties studied in computer security. Opacity is essentially the dual of diagnosability. We will discuss how opacity enforcement techniques can be used to protect users’ privacy in location-based services.
Stéphane Lafortune is a Professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor. He obtained his degrees from Ecole Polytechnique de Montréal (B.Eng), McGill University (M.Eng), and the University of California at Berkeley (PhD), all in electrical engineering. Dr. Lafortune is a Fellow of the IEEE (1999). His research interests are in discrete event systems and include multiple problem domains: modeling, diagnosis, control, optimization, and applications to computer systems. He co-authored, with C. Cassandras, the textbook Introduction to Discrete Event Systems (2nd Edition, Springer, 2008). He is co-developer of the software packages DESUMA and UMDES.