Stéphane Lafortune
University of Michigan-Dearborn
H-index: 62
North America-United States
Top articles of Stéphane Lafortune
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Safe environmental envelopes of discrete systems | arXiv preprint arXiv:2306.01025 | Rômulo Meira-Góes Ian Dardik Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2023/6/1 |
Opacity from Observers with a Bounded Memory | IEEE Control Systems Letters | Andrew Wintenberg Stéphane Lafortune Necmiye Ozay | 2023/6/15 |
Diagnosability of Discrete Event Systems under Sensor Attacks | IFAC-PapersOnLine | Feng Lin Stéphane Lafortune Caisheng Wang | 2023/1/1 |
MDESops: an open-source software tool for discrete event systems modeled by automata | IFAC-PapersOnLine | Rômulo Meira-Góes Andrew Wintenberg Shoma Matsui Stéphane Lafortune | 2023/1/1 |
Dealing with sensor and actuator deception attacks in supervisory control | Automatica | Rômulo Meira-Góes Hervé Marchand Stéphane Lafortune | 2023/1/1 |
On tolerance of discrete systems with respect to transition perturbations | Discrete Event Dynamic Systems | Rômulo Meira-Góes Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2023/12 |
On synthesizing tolerable and permissive controllers for labeled transition systems | IFAC-PapersOnLine | Rômulo Meira-Góes Eunsuk Kang Stéphane Lafortune Stavros Tripakis | 2022/1/1 |
Cybersecurity and supervisory control: A tutorial on robust state estimation, attack synthesis, and resilient control | Christoforos N Hadjicostis Stéphane Lafortune Feng Lin Rong Su | 2022/12/6 | |
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies | Discrete Event Dynamic Systems | Shoma Matsui Stéphane Lafortune | 2022/12 |
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers | Andrew Wintenberg Stéphane Lafortune Necmiye Ozay | 2022/6/8 | |
A general language-based framework for specifying and verifying notions of opacity | Discrete Event Dynamic Systems | Andrew Wintenberg Matthew Blischke Stéphane Lafortune Necmiye Ozay | 2022/6 |
A dynamic obfuscation framework for security and utility | Andrew Wintenberg Matthew Blischke Stéphane Lafortune Necmiye Ozay | 2022/5/4 | |
Timed and Hybrid Models | Introduction to Discrete Event Systems | Christos G Cassandras Stéphane Lafortune Christos G Cassandras Stéphane Lafortune | 2021 |
Synthesis of optimal multiobjective attack strategies for controlled systems modeled by probabilistic automata | IEEE Transactions on Automatic Control | Rômulo Meira-Góes Raymond H Kwong Stéphane Lafortune | 2021/7/7 |
Languages and automata | Introduction to Discrete Event Systems | Christos G Cassandras Stéphane Lafortune Christos G Cassandras Stéphane Lafortune | 2021 |
Optimal supervisory control with mean payoff objectives and under partial observation | Automatica | Yiding Ji Xiang Yin Stéphane Lafortune | 2021/1/1 |
Local mean payoff supervisory control for discrete event systems | IEEE Transactions on Automatic Control | Yiding Ji Xiang Yin Stéphane Lafortune | 2021/4/27 |
Enforcement of k-step opacity with edit functions | Andrew Wintenberg Matthew Blischke Stéphane Lafortune Necmiye Ozay | 2021/12/14 | |
Controlled Markov Chains | Introduction to Discrete Event Systems | Christos G Cassandras Stéphane Lafortune Christos G Cassandras Stéphane Lafortune | 2021 |
Introduction to Queueing Theory | Introduction to Discrete Event Systems | Christos G Cassandras Stéphane Lafortune Christos G Cassandras Stéphane Lafortune | 2021 |