You are here

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

Oct 26

Friday, October 26, 2018

12:00 pm - 1:00 pm
Hudson Hall 125

Presenter

Stéphane Lafortune, professor in the Department of Electrical Engineering and Computer Science at the University of Michigan

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.

Add to calendar

Contact

Aleksandrova, Olena
919-660-5252
opa@duke.edu