Stéphane Lafortune

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 75

Top Venues

IEEE Trans. Autom. Control.

CDC

Autom.

Discret. Event Dyn. Syst.

Publications

Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Opacity From Observers With a Bounded Memory. IEEE Control. Syst. Lett. 7 (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CAV (1) (2023)
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147 (2023)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. Discret. Event Dyn. Syst. 33 (4) (2023)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Safe Environmental Envelopes of Discrete Systems. CoRR (2023)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A Dynamic Obfuscation Framework for Security and Utility. ICCPS (2022)
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC (2022)
Rômulo Meira-Góes, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. IEEE Trans. Autom. Control. 67 (6) (2022)
Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. IEEE Trans. Autom. Control. 67 (7) (2022)
Christoforos N. Hadjicostis, Stéphane Lafortune, Feng Lin, Rong Su
Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control. CDC (2022)
Shoma Matsui, Stéphane Lafortune
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Discret. Event Dyn. Syst. 32 (4) (2022)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Local Mean Payoff Supervisory Control for Discrete Event Systems. IEEE Trans. Autom. Control. 67 (5) (2022)
Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. IEEE Control. Syst. Lett. 6 (2022)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32 (2) (2022)
Shoma Matsui, Stéphane Lafortune
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. CoRR (2021)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66 (10) (2021)
Christoforos Keroglou, Stéphane Lafortune
Embedded Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 66 (9) (2021)
Christoforos N. Hadjicostis, Stéphane Lafortune
Editorial - Thirty years of J-DEDS: moving on with new leadership. Discret. Event Dyn. Syst. 31 (1) (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR (2021)
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
On tolerance of discrete systems with respect to transition perturbations. CoRR (2021)
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
Enforcement of K-Step Opacity with Edit Functions. CDC (2021)
Xiang Yin, Stéphane Lafortune
Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]". Autom. 124 (2021)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Optimal supervisory control with mean payoff objectives and under partial observation. Autom. 123 (2021)
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130 (2021)
Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28 (2) (2020)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR (2020)
Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. 121 (2020)
Alessandro Giua, Stéphane Lafortune, Carla Seatzu
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65 (7) (2020)
Anna Ghazaryan, Stéphane Lafortune, Vahagn Manukian
Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope. SIAM J. Appl. Math. 80 (1) (2020)
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR (2020)
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 65 (8) (2020)
Sahar Mohajerani, Stéphane Lafortune
Transforming Opacity Verification to Nonblocking Verification in Modular Systems. IEEE Trans. Autom. Control. 65 (4) (2020)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Automated Synthesis of Secure Platform Mappings. CAV (1) (2019)
Stéphane Lafortune
Discrete Event Systems: Modeling, Observation, and Control. Annu. Rev. Control. Robotics Auton. Syst. 2 (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. IEEE Trans. Autom. Control. 64 (10) (2019)
Xiang Yin, Stéphane Lafortune
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". IEEE Trans. Autom. Control. 64 (4) (2019)
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
Towards resilient supervisors against sensor deception attacks. CDC (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Supervisory Control under Local Mean Payoff Constraints. CDC (2019)
Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. ACC (2019)
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. CoRR (2019)
Blake C. Rawlings, Venkatachalam Avadiappan, Stéphane Lafortune, Christos T. Maravelias, John M. Wassick
Incorporating automation logic in online chemical production scheduling. Comput. Chem. Eng. 128 (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Enforcing opacity by insertion functions under multiple energy constraints. Autom. 108 (2019)
Sahar Mohajerani, Stéphane Lafortune
Transforming opacity verification to nonblocking verification in modular systems. CoRR (2019)
Xiang Yin, Stéphane Lafortune
A general approach for optimizing dynamic sensor activation for discrete event systems. Autom. 105 (2019)
Yiding Ji, Xiang Yin, Stéphane Lafortune
Mean Payoff Supervisory Control Under Partial Observation. CDC (2018)
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. CDC (2018)
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems. CoRR (2018)
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
Detection and mitigation of classes of attacks in supervisory control systems. Autom. 97 (2018)
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60 (1) (2018)
Xiang Yin, Stéphane Lafortune
Minimization of Sensor Activation in Decentralized Discrete-Event Systems. IEEE Trans. Autom. Control. 63 (11) (2018)
Stéphane Lafortune, Feng Lin, Christoforos N. Hadjicostis
On the history of diagnosability and opacity in discrete event systems. Annu. Rev. Control. 45 (2018)
Yiding Ji, Yi-Chin Wu, Stéphane Lafortune
Enforcement of opacity by public and private insertion functions. Autom. 93 (2018)
Xiang Yin, Stéphane Lafortune
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. IEEE Trans. Autom. Control. 63 (12) (2018)
Xiang Yin, Stéphane Lafortune
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. IEEE Trans. Autom. Control. 62 (8) (2017)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
Synthesis of Property-Preserving Mappings. CoRR (2017)
Xiang Yin, Stéphane Lafortune
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. IEEE Trans. Autom. Control. 62 (11) (2017)
Richard C. Hill, Stéphane Lafortune
Scaling the formal synthesis of supervisory control software for multiple robot systems. ACC (2017)
Christoforos Keroglou, Stéphane Lafortune
Verification and synthesis of embedded insertion functions for opacity enforcement. CDC (2017)
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
Stealthy deception attacks for cyber-physical systems. CDC (2017)
Yiding Ji, Stéphane Lafortune
Enforcing opacity by publicly known edit functions. CDC (2017)
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27 (2) (2017)
Xiang Yin, Stéphane Lafortune
A new approach for the verification of infinite-step and K-step opacity using two-way observers. Autom. 80 (2017)
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discret. Event Dyn. Syst. 27 (1) (2017)
Xiang Yin, Stéphane Lafortune
Verification complexity of a class of observational properties for modular discrete events systems. Autom. 83 (2017)
Xiang Yin, Stéphane Lafortune
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. WODES (2016)
Yi-Chin Wu, Gil Lederman, Stéphane Lafortune
Enhancing opacity of stochastic discrete event systems using insertion functions. ACC (2016)
Xiang Yin, Stéphane Lafortune
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61 (8) (2016)
Xiang Yin, Stéphane Lafortune
Decentralized Supervisory Control With Intersection-Based Architecture. IEEE Trans. Autom. Control. 61 (11) (2016)
Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia
Obfuscator Synthesis for Privacy and Utility. NFM (2016)
Xiang Yin, Stéphane Lafortune
On two-way observer and its application to the verification of infinite-step and K-step opacity. WODES (2016)
Richard C. Hill, Stéphane Lafortune
Planning under abstraction within a supervisory control context. CDC (2016)
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
Detection and prevention of actuator enablement attacks in supervisory control systems. WODES (2016)
Xiang Yin, Stéphane Lafortune
On the maximally-permissive range control problem in partially-observed discrete event systems. CDC (2016)
Xiang Yin, Stéphane Lafortune
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61 (5) (2016)
Yi-Chin Wu, Stéphane Lafortune
Synthesis of Optimal Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 61 (3) (2016)
Xiang Yin, Stéphane Lafortune
A general approach for solving dynamic sensor activation problems for a class of properties. CDC (2015)
Xiang Yin, Stéphane Lafortune
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. ACC (2015)
Xiang Yin, Stéphane Lafortune
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. CDC (2015)
Jason Stanley, Hongwei Liao, Stéphane Lafortune
SAT-Based Control of Concurrent Software for Deadlock Avoidance. IEEE Trans. Autom. Control. 60 (12) (2015)
Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune
Special issue on recent advances in control of discrete event systems. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Anna Ghazaryan, Stéphane Lafortune, P. McLarnan
Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media. SIAM J. Appl. Math. 75 (3) (2015)
Yi-Chin Wu, Stéphane Lafortune
Synthesis of opacity-enforcing insertion functions that can be publicly known. CDC (2015)
Xi-Ren Cao, Stéphane Lafortune
Editorial: changes at J-DEDS. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Xiang Yin, Stéphane Lafortune
Codiagnosability and coobservability under dynamic observations: Transformation and verification. Autom. 61 (2015)
Xiang Yin, Stéphane Lafortune
On the relationship between codiagnosability and coobservability under dynamic observations. ACC (2015)
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
Erratum to: Diagnosis of discrete event systems using decentralized architectures. Discret. Event Dyn. Syst. 25 (4) (2015)
Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5 (2) (2015)
Eric Dallal, Stéphane Lafortune
On Most Permissive Observers in Dynamic Sensor Activation Problems. IEEE Trans. Autom. Control. 59 (4) (2014)
Xiang Yin, Stéphane Lafortune
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. CDC (2014)
Yi-Chin Wu, Stéphane Lafortune
Synthesis of insertion functions for enforcement of opacity security properties. Autom. 50 (5) (2014)
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES (2014)
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59 (8) (2014)
Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement. WODES (2014)
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. ACC (2013)
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23 (2) (2013)
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21 (6) (2013)
Yi-Chin Wu, Stéphane Lafortune
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret. Event Dyn. Syst. 23 (3) (2013)
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. 58 (5) (2013)
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49 (1) (2013)
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
Practical lock/unlock pairing for concurrent programs. CGO (2013)

Stéphane Lafortune.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stéphane Lafortune