Stéphane Lafortune

230 papers A* 2A 3B 4C 15Misc 1Journal 139Unranked 60
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Universal State-Estimation-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems.
IEEE Trans. Autom. Control.
K. Ritsuka, Stéphane Lafortune
2025 J jnl
Detectability of Discrete Event Systems Under Sensor Attacks.
J. Syst. Sci. Complex.
K. Ritsuka, Feng Lin, Stéphane Lafortune, Caisheng Wang
2025 J jnl
Integrating Obfuscation and Control for Privacy.
IEEE Trans. Autom. Control.
Andrew Wintenberg, Necmiye Ozay, Stéphane Lafortune
2025 J jnl
Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems.
Autom.
K. Ritsuka, Stéphane Lafortune, Feng Lin
2024 J jnl
Diagnosability and attack detection for discrete event systems under sensor attacks.
Discret. Event Dyn. Syst.
Feng Lin, Stéphane Lafortune, Caisheng Wang
2024 J jnl
Orbital Stability of Smooth Solitary Waves for the Novikov Equation.
J. Nonlinear Sci.
Brett Ehrman, Mathew A. Johnson, Stéphane Lafortune
2023 J jnl
Dealing with sensor and actuator deception attacks in supervisory control.
Autom.
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
2023 J jnl
On tolerance of discrete systems with respect to transition perturbations.
Discret. Event Dyn. Syst.
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023 J jnl
Opacity From Observers With a Bounded Memory.
IEEE Control. Syst. Lett.
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2023 — conf
Safe Environmental Envelopes of Discrete Systems.
CAV (1)
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2023 J jnl
Safe Environmental Envelopes of Discrete Systems.
CoRR
Rômulo Meira-Góes, Ian Dardik, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2022 J jnl
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune
2022 — conf
A Dynamic Obfuscation Framework for Security and Utility.
ICCPS
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2022 J jnl
A general language-based framework for specifying and verifying notions of opacity.
Discret. Event Dyn. Syst.
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2022 C conf
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers.
ACC
Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2022 — conf
Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control.
CDC
Christoforos N. Hadjicostis, Stéphane Lafortune, Feng Lin, Rong Su
2022 J jnl
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems.
IEEE Control. Syst. Lett.
Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu
2022 J jnl
Local Mean Payoff Supervisory Control for Discrete Event Systems.
IEEE Trans. Autom. Control.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2022 J jnl
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Raymond H. Kwong, Stéphane Lafortune
2022 J jnl
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies.
Discret. Event Dyn. Syst.
Shoma Matsui, Stéphane Lafortune
2021 J jnl
A General Language-Based Framework for Specifying and Verifying Notions of Opacity.
CoRR
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2021 J jnl
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.
Xiang Yin, Stéphane Lafortune
2021 J jnl
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.
Autom.
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
2021 J jnl
Editorial - Thirty years of J-DEDS: moving on with new leadership.
Discret. Event Dyn. Syst.
Christoforos N. Hadjicostis, Stéphane Lafortune
2021 J jnl
Embedded Insertion Functions for Opacity Enforcement.
IEEE Trans. Autom. Control.
Christoforos Keroglou, Stéphane Lafortune
2021 — conf
Enforcement of K-Step Opacity with Edit Functions.
CDC
Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay
2021 — book
Introduction to Discrete Event Systems, Third Edition
Christos G. Cassandras, Stéphane Lafortune
2021 J jnl
On tolerance of discrete systems with respect to transition perturbations.
CoRR
Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2021 J jnl
Optimal supervisory control with mean payoff objectives and under partial observation.
Autom.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2021 J jnl
Synthesis of Supervisors Robust Against Sensor Deception Attacks.
IEEE Trans. Autom. Control.
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
2021 J jnl
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory.
CoRR
Shoma Matsui, Stéphane Lafortune
2020 J jnl
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2020 J jnl
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis.
IEEE Trans. Autom. Control.
Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2020 J jnl
Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope.
SIAM J. Appl. Math.
Anna Ghazaryan, Stéphane Lafortune, Vahagn Manukian
2020 J jnl
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking.
IEEE Trans. Control. Syst. Technol.
Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie
2020 J jnl
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems.
CoRR
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2020 J jnl
Synthesis of Supervisors Robust Against Sensor Deception Attacks.
CoRR
Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand
2020 J jnl
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems.
Autom.
Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2020 J jnl
Transforming Opacity Verification to Nonblocking Verification in Modular Systems.
IEEE Trans. Autom. Control.
Sahar Mohajerani, Stéphane Lafortune
2019 J jnl
A general approach for optimizing dynamic sensor activation for discrete event systems.
Autom.
Xiang Yin, Stéphane Lafortune
2019 — conf
Automated Synthesis of Secure Platform Mappings.
CAV (1)
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2019 J jnl
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement.
CoRR
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2019 J jnl
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets".
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2019 J jnl
Discrete Event Systems: Modeling, Observation, and Control.
Annu. Rev. Control. Robotics Auton. Syst.
Stéphane Lafortune
2019 J jnl
Enforcing opacity by insertion functions under multiple energy constraints.
Autom.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 J jnl
Incorporating automation logic in online chemical production scheduling.
Comput. Chem. Eng.
Blake C. Rawlings, Venkatachalam Avadiappan, Stéphane Lafortune, Christos T. Maravelias, John M. Wassick
2019 J jnl
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions.
IEEE Trans. Autom. Control.
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 — conf
Supervisory Control under Local Mean Payoff Constraints.
CDC
Yiding Ji, Xiang Yin, Stéphane Lafortune
2019 C conf
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata.
ACC
Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune
2019 — conf
Towards resilient supervisors against sensor deception attacks.
CDC
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
2019 J jnl
Transforming opacity verification to nonblocking verification in modular systems.
CoRR
Sahar Mohajerani, Stéphane Lafortune
2018 J jnl
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems.
CoRR
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
2018 J jnl
Detection and mitigation of classes of attacks in supervisory control systems.
Autom.
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
2018 — conf
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions.
CDC
Sahar Mohajerani, Yiding Ji, Stéphane Lafortune
2018 J jnl
Enforcement of opacity by public and private insertion functions.
Autom.
Yiding Ji, Yi-Chin Wu, Stéphane Lafortune
2018 — conf
Mean Payoff Supervisory Control Under Partial Observation.
CDC
Yiding Ji, Xiang Yin, Stéphane Lafortune
2018 J jnl
Minimization of Sensor Activation in Decentralized Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2018 J jnl
On the history of diagnosability and opacity in discrete event systems.
Annu. Rev. Control.
Stéphane Lafortune, Feng Lin, Christoforos N. Hadjicostis
2018 J jnl
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2018 J jnl
Synthesis of Obfuscation Policies to Ensure Privacy and Utility.
J. Autom. Reason.
Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia
2017 J jnl
A new approach for the verification of infinite-step and K-step opacity using two-way observers.
Autom.
Xiang Yin, Stéphane Lafortune
2017 — conf
Enforcing opacity by publicly known edit functions.
CDC
Yiding Ji, Stéphane Lafortune
2017 J jnl
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2017 C conf
Scaling the formal synthesis of supervisory control software for multiple robot systems.
ACC
Richard C. Hill, Stéphane Lafortune
2017 — conf
Stealthy deception attacks for cyber-physical systems.
CDC
Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune
2017 J jnl
Supervisory control and reactive synthesis: a comparative introduction.
Discret. Event Dyn. Syst.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2017 J jnl
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Discret. Event Dyn. Syst.
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2017 J jnl
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2017 J jnl
Synthesis of Property-Preserving Mappings.
CoRR
Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis
2017 — conf
Verification and synthesis of embedded insertion functions for opacity enforcement.
CDC
Christoforos Keroglou, Stéphane Lafortune
2017 J jnl
Verification complexity of a class of observational properties for modular discrete events systems.
Autom.
Xiang Yin, Stéphane Lafortune
2016 J jnl
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2016 J jnl
Decentralized Supervisory Control With Intersection-Based Architecture.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2016 — conf
Detection and prevention of actuator enablement attacks in supervisory control systems.
WODES
Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune
2016 C conf
Enhancing opacity of stochastic discrete event systems using insertion functions.
ACC
Yi-Chin Wu, Gil Lederman, Stéphane Lafortune
2016 — conf
Obfuscator Synthesis for Privacy and Utility.
NFM
Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia
2016 — conf
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.
WODES
Xiang Yin, Stéphane Lafortune
2016 — conf
On the maximally-permissive range control problem in partially-observed discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune
2016 — conf
On two-way observer and its application to the verification of infinite-step and K-step opacity.
WODES
Xiang Yin, Stéphane Lafortune
2016 — conf
Planning under abstraction within a supervisory control context.
CDC
Richard C. Hill, Stéphane Lafortune
2016 J jnl
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Stéphane Lafortune
2016 J jnl
Synthesis of Optimal Insertion Functions for Opacity Enforcement.
IEEE Trans. Autom. Control.
Yi-Chin Wu, Stéphane Lafortune
2015 — conf
A general approach for solving dynamic sensor activation problems for a class of properties.
CDC
Xiang Yin, Stéphane Lafortune
2015 C conf
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.
ACC
Xiang Yin, Stéphane Lafortune
2015 J jnl
Codiagnosability and coobservability under dynamic observations: Transformation and verification.
Autom.
Xiang Yin, Stéphane Lafortune
2015 — ch.
Diagnosis of Discrete Event Systems.
Encyclopedia of Systems and Control
Stéphane Lafortune
2015 J jnl
Editorial: changes at J-DEDS.
Discret. Event Dyn. Syst.
Xi-Ren Cao, Stéphane Lafortune
2015 J jnl
Erratum to: Diagnosis of discrete event systems using decentralized architectures.
Discret. Event Dyn. Syst.
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
2015 — conf
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune
2015 J jnl
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061).
Dagstuhl Reports
Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas
2015 C conf
On the relationship between codiagnosability and coobservability under dynamic observations.
ACC
Xiang Yin, Stéphane Lafortune
2015 J jnl
SAT-Based Control of Concurrent Software for Deadlock Avoidance.
IEEE Trans. Autom. Control.
Jason Stanley, Hongwei Liao, Stéphane Lafortune
2015 J jnl
Special issue on recent advances in control of discrete event systems.
Discret. Event Dyn. Syst.
Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune
2015 J jnl
Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media.
SIAM J. Appl. Math.
Anna Ghazaryan, Stéphane Lafortune, P. McLarnan
2015 — conf
Synthesis of opacity-enforcing insertion functions that can be publicly known.
CDC
Yi-Chin Wu, Stéphane Lafortune
2014 — conf
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.
WODES
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi
2014 — conf
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement.
WODES
Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune
2014 J jnl
On Most Permissive Observers in Dynamic Sensor Activation Problems.
IEEE Trans. Autom. Control.
Eric Dallal, Stéphane Lafortune
2014 J jnl
Synthesis of insertion functions for enforcement of opacity security properties.
Autom.
Yi-Chin Wu, Stéphane Lafortune
2014 — conf
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.
CDC
Xiang Yin, Stéphane Lafortune
2014 J jnl
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Autom. Control.
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
2013 J jnl
Comparative analysis of related notions of opacity in centralized and coordinated architectures.
Discret. Event Dyn. Syst.
Yi-Chin Wu, Stéphane Lafortune
2013 J jnl
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discret. Event Dyn. Syst.
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2013 J jnl
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Control. Syst. Technol.
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
2013 B conf
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Petri Nets
Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis
2013 J jnl
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Autom. Control.
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2013 J jnl
Optimal sensor selection for ensuring diagnosability in labeled Petri nets.
Autom.
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
2013 J jnl
Overview of fault diagnosis methods for Discrete Event Systems.
Annu. Rev. Control.
Janan Zaytoon, Stéphane Lafortune
2013 A conf
Practical lock/unlock pairing for concurrent programs.
CGO
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
2013 J jnl
Robust diagnosis of discrete-event systems against permanent loss of observations.
Autom.
Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune
2013 C conf
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
ACC
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2013 — conf
Supervisory control for collision avoidance in vehicular networks with imperfect measurements.
CDC
Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune
2012 J jnl
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.
IEEE Trans. Autom. Control.
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2012 J jnl
Computation of minimal event bases that ensure diagnosability.
Discret. Event Dyn. Syst.
João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira
2012 — conf
Enforcement of opacity properties using insertion functions.
CDC
Yi-Chin Wu, Stéphane Lafortune
2012 — conf
Explicit storage and analysis of billions of states using commodity computers.
WODES
Yin Wang, Jason Stanley, Stéphane Lafortune
2012 — conf
On atomicity enforcement in concurrent software via Discrete Event Systems theory.
CDC
Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang
2012 — conf
On the computation of supremal sublanguages relevant to supervisory control.
WODES
Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune
2012 — conf
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.
WODES
Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu
2012 J jnl
Special issue on recent trends in discrete event systems.
Discret. Event Dyn. Syst.
Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune
2011 — conf
A framework for optimization of sensor activation using most permissive observers.
CDC/ECC
Eric Dallal, Stéphane Lafortune
2011 J jnl
Active fault tolerant control of discrete event systems using online diagnostics.
Autom.
Andrea Paoli, Matteo Sartini, Stéphane Lafortune
2011 — conf
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
CDC/ECC
Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
2011 J jnl
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Autom. Control.
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2011 J jnl
Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function.
SIAM J. Appl. Math.
Stéphane Lafortune, Joceline Lega, S. Madrid
2011 J jnl
On Codiagnosability and Coobservability With Dynamic Observations.
IEEE Trans. Autom. Control.
Weilin Wang, Anouck R. Girard, Stéphane Lafortune, Feng Lin
2011 Misc conf
Simulation analysis of multithreaded programs under deadlock-avoidance control.
WSC
Hongwei Liao, Hao Zhou, Stéphane Lafortune
2010 — ed.
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010.
WODES
Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor
2010 C conf
A methodology for modular model-building in discrete automation.
ETFA
Matteo Sartini, Andrea Paoli, Richard C. Hill, Stéphane Lafortune
2010 — conf
Efficient computation of observer projections using OP-verifiers.
WODES
Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
2010 J jnl
Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control.
IEEE Trans. Autom. Control.
Weilin Wang, Stéphane Lafortune, Feng Lin, Anouck R. Girard
2010 J jnl
Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution.
Discret. Event Dyn. Syst.
Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune
2010 J jnl
Multi-level hierarchical interface-based supervisory control.
Autom.
Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz, Dawn M. Tilbury, Stéphane Lafortune
2010 — conf
On most permissive observers in dynamic sensor optimization problems for discrete event systems.
Allerton
Eric Dallal, Stéphane Lafortune
2010 — conf
Optimal deadlock avoidance for complex resource allocation systems through classification theory.
WODES
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
2010 J jnl
Optimal sensor activation for diagnosing discrete event systems.
Autom.
Weilin Wang, Stéphane Lafortune, Anouck R. Girard, Feng Lin
2010 — conf
Robust diagnosis of discrete-event systems subject to permanent sensor failures.
WODES
Saulo Telles Souza Lima, João Carlos Basilio, Stéphane Lafortune, Marcos Vicente Moreira
2010 — conf
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
WODES
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2010 — conf
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
CDC
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2009 — conf
An online algorithm for minimal sensor activation in discrete event systems.
CDC
Weilin Wang, Stéphane Lafortune, Feng Lin, Anouck R. Girard
2009 — conf
Diagnosability analysis of unbounded Petri nets.
CDC
Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu
2009 C conf
Dynamic sensor activation for event diagnosis.
ACC
Weilin Wang, Stéphane Lafortune, Anouck R. Girard, Feng Lin
2009 J jnl
Eliminating Concurrency Bugs with Control Engineering.
Computer
Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke
2009 — conf
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
CDC
Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009 — conf
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
CASE
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009 J jnl
Predictability of event occurrences in partially-observed discrete-event systems.
Autom.
Sahika Genc, Stéphane Lafortune
2009 C conf
Robust codiagnosability of discrete event systems.
ACC
João Carlos Basilio, Stéphane Lafortune
2009 A* conf
The theory of deadlock avoidance via discrete control.
POPL
Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke
2009 — conf
The verification of codiagnosability in the case of dynamic observations.
ECC
Weilin Wang, Anouck R. Girard, Stéphane Lafortune, Feng Lin
2009 J jnl
Verification of Nonconflict of Supervisors Using Abstractions.
IEEE Trans. Autom. Control.
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2008 J jnl
An algorithm for maximising covered area.
Int. J. Control
Weilin Wang, Stéphane Lafortune
2008 J jnl
Diagnosability Analysis of a Class of Hierarchical State Machines.
Discret. Event Dyn. Syst.
Andrea Paoli, Stéphane Lafortune
2008 — ch.
Discrete Event Systems: Untimed Models and their Analysis.
Wiley Encyclopedia of Computer Science and Engineering
Stéphane Lafortune
2008 A* conf
Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
OSDI
Yin Wang, Terence Kelly, Manjunath Kudlur, Stéphane Lafortune, Scott A. Mahlke
2008 — book
Introduction to Discrete Event Systems, Second Edition.
Christos G. Cassandras, Stéphane Lafortune
2008 J jnl
Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems.
IEEE Trans. Autom. Control.
Weilin Wang, Stéphane Lafortune, Feng Lin
2008 C conf
Modular supervisory control with equivalence-based conflict resolution.
ACC
Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune
2008 J jnl
On the Minimization of Communication in Networked Systems with a Central Station.
Discret. Event Dyn. Syst.
Weilin Wang, Stéphane Lafortune, Feng Lin
2008 — conf
Optimal sensor activation in controlled discrete event systems.
CDC
Weilin Wang, Stéphane Lafortune, Feng Lin
2008 C conf
Polynomial-time verification of the observer property in abstractions.
ACC
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2007 J jnl
An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions.
Syst. Control. Lett.
Weilin Wang, Stéphane Lafortune, Feng Lin
2007 J jnl
Diagnosis of Discrete Event Systems Using Decentralized Architectures.
Discret. Event Dyn. Syst.
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
2007 A conf
Discrete control for safe execution of IT automation workflows.
EuroSys
Yin Wang, Terence Kelly, Stéphane Lafortune
2007 J jnl
Distributed Diagnosis of Place-Bordered Petri Nets.
IEEE Trans Autom. Sci. Eng.
Sahika Genc, Stéphane Lafortune
2007 J jnl
High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis.
SIAM J. Appl. Math.
Sanjeeva Balasuriya, Georg A. Gottwald, John Hornibrook, Stéphane Lafortune
2007 J jnl
Minimal Communication for Essential Transitions in a Distributed Discrete-Event System.
IEEE Trans. Autom. Control.
Feng Lin, Karen Rudie, Stéphane Lafortune
2007 J jnl
Special Issue on WODES'06.
Discret. Event Dyn. Syst.
Stéphane Lafortune, Feng Lin, Dawn M. Tilbury
2006 — conf
A Polynomial Algorithm for Minimizing Communication in a Distributed Discrete Event System with a Central Station.
CDC
Weilin Wang, Stéphane Lafortune, Feng Lin
2006 J jnl
Diagnosability of Discrete Event Systems with Modular Structure.
Discret. Event Dyn. Syst.
Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis
2006 — conf
Diagnosis of Patterns in Partially-Observed Discrete-Event Systems.
CDC
Sahika Genc, Stéphane Lafortune
2006 — conf
Discrete Control for Dependable IT Automation.
HotDep
Yin Wang, Terence Kelly, Stéphane Lafortune
2006 C conf
New Results on Testing Modularity of Local Supervisors using Abstractions.
ETFA
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2006 J jnl
Solvability of Centralized Supervisory Control Under Partial Observation.
Discret. Event Dyn. Syst.
Tae-Sic Yoo, Stéphane Lafortune
2006 J jnl
The Verification and Control of Interacting Similar Discrete-Event Systems.
SIAM J. Control. Optim.
Kurt Rohloff, Stéphane Lafortune
2005 J jnl
Contributing Authors.
Discret. Event Dyn. Syst.
Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao
2005 — conf
Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions.
CDC/ECC
Yin Wang, Tae-Sic Yoo, Stéphane Lafortune
2005 J jnl
Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization.
IEEE Trans. Autom. Control.
Tae-Sic Yoo, Stéphane Lafortune
2005 J jnl
PSPACE-completeness of Modular Supervisory Control Problems*.
Discret. Event Dyn. Syst.
Kurt Rohloff, Stéphane Lafortune
2005 J jnl
Safe diagnosability for fault-tolerant supervision of discrete-event systems.
Autom.
Andrea Paoli, Stéphane Lafortune
2005 J jnl
Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism.
SIAM J. Math. Anal.
Stéphane Lafortune, Joceline Lega
2004 J jnl
Decentralized supervisory control with conditional decisions: supervisor existence.
IEEE Trans. Autom. Control.
Tae-Sic Yoo, Stéphane Lafortune
2004 J jnl
Diagnosis of Intermittent Faults.
Discret. Event Dyn. Syst.
Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis
2004 — conf
Symmetry reductions for a class of discrete-event systems.
CDC
Kurt Rohloff, Stéphane Lafortune
2003 J jnl
Deciding co-observability is PSPACE-complete.
IEEE Trans. Autom. Control.
Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune
2003 — conf
Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.
ICATPN
Sahika Genc, Stéphane Lafortune
2003 J jnl
Minimal communication in a distributed discrete-event system.
IEEE Trans. Autom. Control.
Karen Rudie, Stéphane Lafortune, Feng Lin
2003 J jnl
On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems.
Discret. Event Dyn. Syst.
Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
2003 J jnl
On the synthesis of safe control policies in decentralized control of discrete-event systems.
IEEE Trans. Autom. Control.
Kurt Rohloff, Stéphane Lafortune
2003 — conf
Safe diagnosability of discrete event systems.
CDC
Andrea Paoli, Stéphane Lafortune
2003 — conf
The control and verification of similar agents operating in a broadcast network environment.
CDC
Kurt Rohloff, Stéphane Lafortune
2002 J jnl
A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.
Discret. Event Dyn. Syst.
Tae-Sic Yoo, Stéphane Lafortune
2002 — conf
Failure diagnosis of discrete event systems: the case of intermittent faults.
CDC
Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis
2002 J jnl
Low-energy wireless communication network design.
IEEE Wirel. Commun.
Wayne E. Stark, Hua Wang, Andrew P. Worthen, Stéphane Lafortune, Demosthenis Teneketzis
2002 J jnl
NP-completeness of sensor selection problems arising in partially observed discrete-event systems.
IEEE Trans. Autom. Control.
Tae-Sic Yoo, Stéphane Lafortune
2002 J jnl
On an Optimization Problem in Sensor Selection*.
Discret. Event Dyn. Syst.
Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
2002 J jnl
On optimal control of a class of partially observed discrete event systems.
Autom.
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
2002 — conf
On the computational complexity of the verification of modular discrete-event systems.
CDC
Kurt Rohloff, Stéphane Lafortune
2002 J jnl
Polynomial-time verification of diagnosability of partially observed discrete-event systems.
IEEE Trans. Autom. Control.
Tae-Sic Yoo, Stéphane Lafortune
2001 C conf
Failure diagnosis of dynamic systems: an approach based on discrete event systems.
ACC
Stéphane Lafortune, Demosthenis Teneketzis, Meera Sampath, Raja Sengupta, Kasim Sinnamohideen
2001 C conf
On the computational complexity of some problems arising in partially-observed discrete-event systems.
ACC
Tae-Sic Yoo, Stéphane Lafortune
2001 — conf
Optimal control of discrete event systems under partial observation.
CDC
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
2000 J jnl
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems.
Discret. Event Dyn. Syst.
Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
2000 J jnl
Decentralized supervisory control with communicating controllers.
IEEE Trans. Autom. Control.
George Barrett, Stéphane Lafortune
2000 J jnl
Design of nonblocking modular supervisors using event priority functions.
IEEE Trans. Autom. Control.
Yi-Liang Chen, Stéphane Lafortune, Feng Lin
2000 J jnl
Incremental model evolution and reusability of supervisors for discrete event systems.
Autom.
Yi-Liang Chen, Stéphane Lafortune, Feng Lin
2000 — conf
New results on decentralized supervisory control of discrete-event systems.
CDC
Tae-Sic Yoo, Stéphane Lafortune
2000 J jnl
On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.
SIAM J. Control. Optim.
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
2000 — conf
On the effect of communication delays in failure diagnosis of decentralized discrete event systems.
CDC
Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
2000 — conf
On the separation of estimation and control in discrete-event systems.
CDC
George Barrett, Stéphane Lafortune
1999 J jnl
Adaptive Look-ahead Optimization of Traffic Signals.
J. Intell. Transp. Syst.
Isaac Porche, Stéphane Lafortune
1999 — book
Introduction to Discrete Event Systems
Christos G. Cassandras, Stéphane Lafortune
1998 B conf
A novel framework for decentralized supervisory control with communication.
SMC
George Barrett, Stéphane Lafortune
1998 J jnl
Active diagnosis of discrete-event systems.
IEEE Trans. Autom. Control.
Meera Sampath, Stéphane Lafortune, Demosthenis Teneketzis
1998 J jnl
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines.
Discret. Event Dyn. Syst.
George Barrett, Stéphane Lafortune
1998 B conf
Coordinated decentralized protocols for failure diagnosis of discrete event systems.
SMC
Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis
1998 B conf
On the synthesis of optimal schedulers in discrete event control problems with multiple goals.
SMC
Hervé Marchand, Olivier Boivineau, Stéphane Lafortune
1997 — conf
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.
FIW
John G. Thistle, Roland P. Malhamé, Hai Hoc Hoang, Stéphane Lafortune
1997 — conf
Resolving Feature Interactions Using Modular Supervisory Control with Priorities.
FIW
Yi-Liang Chen, Stéphane Lafortune, Feng Lin
1996 J jnl
Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation.
Discret. Event Dyn. Syst.
Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin
1996 J jnl
Failure diagnosis using discrete-event models.
IEEE Trans. Control. Syst. Technol.
Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, Demosthenis Teneketzis
1995 J jnl
Diagnosability of discrete-event systems.
IEEE Trans. Autom. Control.
Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, Demosthenis Teneketzis
1994 J jnl
Supervisory control using variable lookahead policies.
Discret. Event Dyn. Syst.
Sheng-Luen Chung, Stéphane Lafortune, Feng Lin
1994 J jnl
Variable lookahead supervisory control with state information.
IEEE Trans. Autom. Control.
Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin
1993 A conf
An Information Model for Human Genome Map Representation and Assembly.
CIKM
Amy J. Lee, Elke A. Rundensteiner, Spencer Thomas, Stéphane Lafortune
1993 J jnl
Recursive computation of limited lookahead supervisory controls for discrete event systems.
Discret. Event Dyn. Syst.
Sheng-Luen Chung, Stéphane Lafortune, Feng Lin
1992 J jnl
A graph-theoretic optimal control problem for terminating discrete event processes.
Discret. Event Dyn. Syst.
Raja Sengupta, Stéphane Lafortune
1991 J jnl
On tolerable and desirable behaviors in supervisory control of discrete event systems.
Discret. Event Dyn. Syst.
Stéphane Lafortune, Feng Lin
1989 J jnl
A Knowledge-Based Approach to Multiple Query Processing.
Data Knowl. Eng.
Jong Tae Park, Toby J. Teorey, Stéphane Lafortune
1989 J jnl
An Intelligent Search Method for Query Optimization by Semijoins.
IEEE Trans. Knowl. Data Eng.
Hyuck Yoo, Stéphane Lafortune
1986 J jnl
A State Transition Model for Distributed Query Processing.
ACM Trans. Database Syst.
Stéphane Lafortune, Eugene Wong