Research

From Lafortune Wiki
Research
Jump to: navigation, search

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


Contents

Interests

Projects

Current Projects

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.


Control and Diagnosis of Safety-Critical Complex Cyber-Physical Systems
This NSF CPS project is developing novel architectures for control and diagnosis of complex cyber-physical systems subject to stringent performance requirements in terms of safety, resilience, and adaptivity. This is 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 investigates 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.


Recent Past Projects

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


ExCAPE Project
Expeditions in Computer Aided Program Engineering. This project, funded by NSF, is a collaborative effort involving 18 researchers from 9 academic institutions. In this project, I am particularly interested in applying control synthesis techniques from the field of discrete event systems to the general problem of program synthesis. I am 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

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.

M-DES-Tools

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.

Students

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
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools