From Lafortune Wiki
Jump to: navigation, search

Stéphane Lafortune | Contact Information | Career | Research | Publications | Related Links




Current Projects

Current Projects based on Research Theme

Communication-Obfuscation Project
The Communication-Obfuscation Project refers to our work on the information flow property called opacity and its enforcement by the technique of insertion/edit functions, whose objective is to obfuscate the output of a system to enforce opacity.

DES Cybersecurity Project
This project is studying cyber and cyber-physical control systems subject to attacks that compromise their sensors and/or their actuators.

Current Projects based on Funded Awards

Protocol Design and Implementation
The goal of this project is to bridge the gap between an abstract protocol design and a low-level implementation through a novel combination of security modeling, automated software synthesis, and program analysis. This is a joint project with Daniel Jackson, Eunsuk Kang, Cristina Nita-Rotaru, and Stavros Tripakis.

CPS_Energy: Energy-Aware Formal Synthesis for Supervisory Control and Information Acquisition in Cyber-Physical Systems
This project is developing theoretical foundations and computational algorithms for synthesizing higher-level supervisory and information-acquisition control logic in cyber-physical systems that expend or replenish their resources while interacting with the environment.

Recent Past Projects

Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems
This NSF CPS project developed novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. This was a joint project with my colleague Necmiye Ozay.

CPS_Security: Intrusion Detection and Resilience Against Attacks in Cyber and Cyber-Physical Control Systems
This project investigated of a novel methodology for analyzing and designing secure cyber and cyber-physical systems that contain feedback control loops and that interact with their environment through a set of potentially vulnerable sensors and actuators.

TerraSwarm Project
The TerraSwarm Research Center, funded by the STARnet Program. In this project, I was interested in security and privacy issues in cyber-physical systems.

ExCAPE Project
Expeditions in Computer Aided Program Engineering. This project, funded by NSF, was a collaborative effort involving 18 researchers from 9 academic institutions. In this project, I was particularly interested in applying control synthesis techniques from the field of discrete event systems to the general problem of program synthesis. I was co-lead of the Education and Knowledge Transfer thrust and member of the Executive Committee of this Expedition's grant.

Gadara Project
Deadlock avoidance in concurrent software using discrete control theory. This project was funded by NSF and HP Labs from 2008-2012.

Cyber-Physical Systems Project
Control of distributed cyber-physical systems under partial information and limited communication. This project was funded by NSF from 2009-2013.

Modular Strategies for Internetwork Monitoring Project
Detection and classification of spatially distributed network anomalies. This project, directed by Alfred Hero, was funded by NSF from 2003-2010.

Distributed and Fault-Tolerant Control of Discrete-Event Systems
This project was funded by NSF from 2006-2010. Our main results include:
(i) modular algorithms for controller synthesis that exploit structural properties of the system, expressed as parallel composition of automata or place-bordered Petri nets, and abstraction;
(ii) fault-tolerant diagnosis and control architectures that are robust to certain classes of system faults, sensor faults, and diagnosis module faults; and
(iii) efficient synthesis of sensor activation and communication strategies for control and diagnosis of distributed systems.

Please also consult the UMDES Wiki and DESUMA Wiki for further information about my research activities.

Software Tools


DESUMA is our educational tool for analysis and controller synthesis problems for DES modeled by automata. Please refer to the DESUMA wiki for information about this tool.

Our last update to DESUMA was in 2017. We are no longer updating DESUMA. We encourage you to try our new tool MDESops.


In addition to DESUMA, we maintain several tools under the general heading of M-DES-Tools at the GitLab repository of the EECS Department at the University of Michigan. These tools pertain to our recent research on opacity enforcement and synthesis of partial-observation controllers.

In particular, we are developing a tool called MDESops that is a Python-based tool and replicates many of the capabilities of DESUMA, in addition to offering new capabilities based on our current research. Please give it a try!


Current and Former Students

Please consult the UMDES Group Wiki for a list of my current and former students.

Prospective Students

I am not able to answer general emails from prospective students. I do appreciate your interest in my research program. If you have specific interests in research in discrete event systems, please explain them clearly in your email and I will do my best to reply to you. Please see Contact Information

Personal tools