Skip to main content
Browse by:

ECE Seminar: Supervisory Control of Discrete Event Systems: A Retrospective and Two Recent Results on Privacy and Security

Event Image
Icon calendar
Friday, October 26, 2018
Icon time
12:00 pm - 1:00 pm
Icon speaker
Stéphane Lafortune, professor in the Department of Electrical Engineering and Computer Science at the University of Michigan
Icon series
ECE Seminar

We start 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 on formal methods in control. We then present results from our group on two problems: (i) obfuscation of system secrets by insertion of fictitious events in the output stream of the system; and (ii) sensor deception attacks in the supervisory control layer of a cyber-physical system. In each case, we describe our solution procedure, which is based on synthesizing a discrete game structure that embeds all valid solutions.