Tuesday, February 13, 2018 - 3:00pm to 4:00pm
Event Calendar Category
LIDS Seminar Series
University of Michigan
Building and Room number
Lafortune will begin with a brief retrospective of the theory of supervisory control of discrete event systems, initiated in the seminal work of Ramadge & Wonham over 30 years ago, and compare it with recent work in formal methods in control. He will then present results from his group on two problems: (i) sensor deception attacks in the supervisory control layer of a cyber-physical system; and (ii) obfuscation of system secrets by insertion of fictitious events in the output stream of the system. In each case, he will describe the group’s solution procedure, which is based on synthesizing a discrete game structure that embeds all valid solutions.
Stéphane Lafortune is a professor in the Department of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor, USA. He obtained his degrees from École Polytechnique de Montréal (B.Eng), McGill University (M.Eng), and the University of California at Berkeley (PhD), all in electrical engineering. He is a Fellow of IEEE (1999) and of IFAC (2017).