A State Transition Model for Distributed Query Processing. - Stéphane Lafortune; Eugene Wong 001 (ACM Trans. Database Syst., 1986)

A Knowledge-Based Approach to Multiple Query Processing. - Jong Tae Park 001; Toby J. Teorey; Stéphane Lafortune (Data Knowl. Eng., 1989)

An Intelligent Search Method for Query Optimization by Semijoins. - Hyuck Yoo; Stéphane Lafortune (IEEE Trans. Knowl. Data Eng., 1989)

On tolerable and desirable behaviors in supervisory control of discrete event systems. - Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 1991)

A graph-theoretic optimal control problem for terminating discrete event processes. - Raja Sengupta 002; Stéphane Lafortune (Discret. Event Dyn. Syst., 1992)

An Information Model for Human Genome Map Representation and Assembly. - Amy J. Lee; Elke A. Rundensteiner; Spencer Thomas; Stéphane Lafortune (CIKM, 1993)

Recursive computation of limited lookahead supervisory controls for discrete event systems. - Sheng-Luen Chung; Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 1993)

Supervisory control using variable lookahead policies. - Sheng-Luen Chung; Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 1994)

Variable lookahead supervisory control with state information. - Nejib Ben Hadj-Alouane; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 1994)

Diagnosability of discrete-event systems. - Meera Sampath; Raja Sengupta 002; Stéphane Lafortune; Kasim Sinnamohideen; Demosthenis Teneketzis (IEEE Trans. Autom. Control., 1995)

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. - Nejib Ben Hadj-Alouane; Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 1996)

Failure diagnosis using discrete-event models. - Meera Sampath; Raja Sengupta 002; Stéphane Lafortune; Kasim Sinnamohideen; Demosthenis Teneketzis (IEEE Trans. Control. Syst. Technol., 1996)

Resolving Feature Interactions Using Modular Supervisory Control with Priorities. - Yi-Liang Chen; Stéphane Lafortune; Feng Lin 001 (FIW, 1997)

Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach. - John G. Thistle; Roland P. Malhamé; Hai Hoc Hoang; Stéphane Lafortune (FIW, 1997)

A novel framework for decentralized supervisory control with communication. - George Barrett; Stéphane Lafortune (SMC, 1998)

Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines. - George Barrett; Stéphane Lafortune (Discret. Event Dyn. Syst., 1998)

Active diagnosis of discrete-event systems. - Meera Sampath; Stéphane Lafortune; Demosthenis Teneketzis (IEEE Trans. Autom. Control., 1998)

Introduction to Discrete Event Systems - Christos G. Cassandras; Stéphane Lafortune (Springer, 1999)

Adaptive Look-ahead Optimization of Traffic Signals. - Isaac Porche; Stéphane Lafortune (J. Intell. Transp. Syst., 1999)

On the separation of estimation and control in discrete-event systems. - George Barrett; Stéphane Lafortune (CDC, 2000)

New results on decentralized supervisory control of discrete-event systems. - Tae-Sic Yoo; Stéphane Lafortune (CDC, 2000)

Incremental model evolution and reusability of supervisors for discrete event systems. - Yi-Liang Chen; Stéphane Lafortune; Feng Lin 001 (Autom., 2000)

Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. - Rami Debouk; Stéphane Lafortune; Demosthenis Teneketzis (Discret. Event Dyn. Syst., 2000)

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (SIAM J. Control. Optim., 2000)

Decentralized supervisory control with communicating controllers. - George Barrett; Stéphane Lafortune (IEEE Trans. Autom. Control., 2000)

Design of nonblocking modular supervisors using event priority functions. - Yi-Liang Chen; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 2000)

Failure diagnosis of dynamic systems: an approach based on discrete event systems. - Stéphane Lafortune; Demosthenis Teneketzis; Meera Sampath; Raja Sengupta 002; Kasim Sinnamohideen (ACC, 2001)

On the computational complexity of some problems arising in partially-observed discrete-event systems. - Tae-Sic Yoo; Stéphane Lafortune (ACC, 2001)

Optimal control of discrete event systems under partial observation. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (CDC, 2001)

Failure diagnosis of discrete event systems: the case of intermittent faults. - Olivier Contant; Stéphane Lafortune; Demosthenis Teneketzis (CDC, 2002)

On the computational complexity of the verification of modular discrete-event systems. - Kurt Rohloff; Stéphane Lafortune (CDC, 2002)

On optimal control of a class of partially observed discrete event systems. - Hervé Marchand; Olivier Boivineau; Stéphane Lafortune (Autom., 2002)

On an Optimization Problem in Sensor Selection*. - Rami Debouk; Stéphane Lafortune; Demosthenis Teneketzis (Discret. Event Dyn. Syst., 2002)

A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. - Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2002)

Polynomial-time verification of diagnosability of partially observed discrete-event systems. - Tae-Sic Yoo; Stéphane Lafortune (IEEE Trans. Autom. Control., 2002)

NP-completeness of sensor selection problems arising in partially observed discrete-event systems. - Tae-Sic Yoo; Stéphane Lafortune (IEEE Trans. Autom. Control., 2002)

Low-energy wireless communication network design. - Wayne E. Stark; Hua Wang; Andrew P. Worthen; Stéphane Lafortune; Demosthenis Teneketzis (IEEE Wirel. Commun., 2002)

Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. - Sahika Genc; Stéphane Lafortune (ICATPN, 2003)

Safe diagnosability of discrete event systems. - Andrea Paoli; Stéphane Lafortune (CDC, 2003)

The control and verification of similar agents operating in a broadcast network environment. - Kurt Rohloff; Stéphane Lafortune (CDC, 2003)

On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems. - Rami Debouk; Stéphane Lafortune; Demosthenis Teneketzis (Discret. Event Dyn. Syst., 2003)

On the synthesis of safe control policies in decentralized control of discrete-event systems. - Kurt Rohloff; Stéphane Lafortune (IEEE Trans. Autom. Control., 2003)

Deciding co-observability is PSPACE-complete. - Kurt Rohloff; Tae-Sic Yoo; Stéphane Lafortune (IEEE Trans. Autom. Control., 2003)

Minimal communication in a distributed discrete-event system. - Karen Rudie; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 2003)

Symmetry reductions for a class of discrete-event systems. - Kurt Rohloff; Stéphane Lafortune (CDC, 2004)

Diagnosis of Intermittent Faults. - Olivier Contant; Stéphane Lafortune; Demosthenis Teneketzis (Discret. Event Dyn. Syst., 2004)

Decentralized supervisory control with conditional decisions: supervisor existence. - Tae-Sic Yoo; Stéphane Lafortune (IEEE Trans. Autom. Control., 2004)

Decentralized Diagnosis of Discrete Event Systems using Unconditional and Conditional Decisions. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (CDC/ECC, 2005)

Safe diagnosability for fault-tolerant supervision of discrete-event systems. - Andrea Paoli; Stéphane Lafortune (Autom., 2005)

Contributing Authors. - Yiping Cheng; Da-Zhong Zheng; Kurt Rohloff; Stéphane Lafortune; Xi-Ren Cao (Discret. Event Dyn. Syst., 2005)

PSPACE-completeness of Modular Supervisory Control Problems*. - Kurt Rohloff; Stéphane Lafortune (Discret. Event Dyn. Syst., 2005)

Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism. - Stéphane Lafortune; Joceline Lega (SIAM J. Math. Anal., 2005)

Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization. - Tae-Sic Yoo; Stéphane Lafortune (IEEE Trans. Autom. Control., 2005)

Diagnosis of Patterns in Partially-Observed Discrete-Event Systems. - Sahika Genc; Stéphane Lafortune (CDC, 2006)

A Polynomial Algorithm for Minimizing Communication in a Distributed Discrete Event System with a Central Station. - Weilin Wang; Stéphane Lafortune; Feng Lin 001 (CDC, 2006)

New Results on Testing Modularity of Local Supervisors using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ETFA, 2006)

Discrete Control for Dependable IT Automation. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (HotDep, 2006)

Diagnosability of Discrete Event Systems with Modular Structure. - Olivier Contant; Stéphane Lafortune; Demosthenis Teneketzis (Discret. Event Dyn. Syst., 2006)

Solvability of Centralized Supervisory Control Under Partial Observation. - Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2006)

The Verification and Control of Interacting Similar Discrete-Event Systems. - Kurt Rohloff; Stéphane Lafortune (SIAM J. Control. Optim., 2006)

Discrete control for safe execution of IT automation workflows. - Yin Wang 001; Terence Kelly; Stéphane Lafortune (EuroSys, 2007)

Special Issue on WODES'06. - Stéphane Lafortune; Feng Lin 001; Dawn M. Tilbury (Discret. Event Dyn. Syst., 2007)

Diagnosis of Discrete Event Systems Using Decentralized Architectures. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2007)

An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. - Weilin Wang; Stéphane Lafortune; Feng Lin 001 (Syst. Control. Lett., 2007)

High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis. - Sanjeeva Balasuriya; Georg A. Gottwald; John Hornibrook; Stéphane Lafortune (SIAM J. Appl. Math., 2007)

Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. - Feng Lin 001; Karen Rudie; Stéphane Lafortune (IEEE Trans. Autom. Control., 2007)

Distributed Diagnosis of Place-Bordered Petri Nets. - Sahika Genc; Stéphane Lafortune (IEEE Trans Autom. Sci. Eng., 2007)

Introduction to Discrete Event Systems, Second Edition. - Christos G. Cassandras; Stéphane Lafortune (Springer, 2008)

Modular supervisory control with equivalence-based conflict resolution. - Richard C. Hill; Dawn M. Tilbury; Stéphane Lafortune (ACC, 2008)

Polynomial-time verification of the observer property in abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ACC, 2008)

Optimal sensor activation in controlled discrete event systems. - Weilin Wang; Stéphane Lafortune; Feng Lin 001 (CDC, 2008)

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs. - Yin Wang 001; Terence Kelly; Manjunath Kudlur; Stéphane Lafortune; Scott A. Mahlke (OSDI, 2008)

Diagnosability Analysis of a Class of Hierarchical State Machines. - Andrea Paoli; Stéphane Lafortune (Discret. Event Dyn. Syst., 2008)

On the Minimization of Communication in Networked Systems with a Central Station. - Weilin Wang; Stéphane Lafortune; Feng Lin 001 (Discret. Event Dyn. Syst., 2008)

An algorithm for maximising covered area. - Weilin Wang; Stéphane Lafortune (Int. J. Control, 2008)

Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems. - Weilin Wang; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 2008)

Discrete Event Systems: Untimed Models and their Analysis. - Stéphane Lafortune (Wiley Encyclopedia of Computer Science and Engineering, 2008)

Robust codiagnosability of discrete event systems. - João Carlos Basilio; Stéphane Lafortune (ACC, 2009)

Dynamic sensor activation for event diagnosis. - Weilin Wang; Stéphane Lafortune; Anouck R. Girard; Feng Lin 001 (ACC, 2009)

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). - Yin Wang 001; Hongwei Liao; Ahmed Nazeem; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CASE, 2009)

Diagnosability analysis of unbounded Petri nets. - Maria Paola Cabasino; Alessandro Giua; Stéphane Lafortune; Carla Seatzu (CDC, 2009)

An online algorithm for minimal sensor activation in discrete event systems. - Weilin Wang; Stéphane Lafortune; Feng Lin 001; Anouck R. Girard (CDC, 2009)

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. - Yin Wang 001; Hongwei Liao; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CDC, 2009)

The verification of codiagnosability in the case of dynamic observations. - Weilin Wang; Anouck R. Girard; Stéphane Lafortune; Feng Lin 001 (ECC, 2009)

The theory of deadlock avoidance via discrete control. - Yin Wang 001; Stéphane Lafortune; Terence Kelly; Manjunath Kudlur; Scott A. Mahlke (POPL, 2009)

Predictability of event occurrences in partially-observed discrete-event systems. - Sahika Genc; Stéphane Lafortune (Autom., 2009)

Eliminating Concurrency Bugs with Control Engineering. - Terence Kelly; Yin Wang 001; Stéphane Lafortune; Scott A. Mahlke (Computer, 2009)

Verification of Nonconflict of Supervisors Using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (IEEE Trans. Autom. Control., 2009)

On most permissive observers in dynamic sensor optimization problems for discrete event systems. - Eric Dallal; Stéphane Lafortune (Allerton, 2010)

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (CDC, 2010)

A methodology for modular model-building in discrete automation. - Matteo Sartini; Andrea Paoli; Richard C. Hill; Stéphane Lafortune (ETFA, 2010)

Robust diagnosis of discrete-event systems subject to permanent sensor failures. - Saulo Telles Souza Lima; João Carlos Basilio; Stéphane Lafortune; Marcos Vicente Moreira (WODES, 2010)

Optimal deadlock avoidance for complex resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (WODES, 2010)

Efficient computation of observer projections using OP-verifiers. - Patrícia N. Pena; José E. R. Cury; Robi Malik; Stéphane Lafortune (WODES, 2010)

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

Multi-level hierarchical interface-based supervisory control. - Richard C. Hill; José Eduardo Ribeiro Cury; Max Hering de Queiroz; Dawn M. Tilbury; Stéphane Lafortune (Autom., 2010)

Optimal sensor activation for diagnosing discrete event systems. - Weilin Wang; Stéphane Lafortune; Anouck R. Girard; Feng Lin 001 (Autom., 2010)

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. - Richard C. Hill; Dawn M. Tilbury; Stéphane Lafortune (Discret. Event Dyn. Syst., 2010)

Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control. - Weilin Wang; Stéphane Lafortune; Feng Lin 001; Anouck R. Girard (IEEE Trans. Autom. Control., 2010)

A framework for optimization of sensor activation using most permissive observers. - Eric Dallal; Stéphane Lafortune (CDC/ECC, 2011)

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. - Hongwei Liao; Jason Stanley; Yin Wang 001; Stéphane Lafortune; Spyros A. Reveliotis; Scott A. Mahlke (CDC/ECC, 2011)

Simulation analysis of multithreaded programs under deadlock-avoidance control. - Hongwei Liao; Hao Zhou; Stéphane Lafortune (WSC, 2011)

Active fault tolerant control of discrete event systems using online diagnostics. - Andrea Paoli; Matteo Sartini; Stéphane Lafortune (Autom., 2011)

Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function. - Stéphane Lafortune; Joceline Lega; S. Madrid (SIAM J. Appl. Math., 2011)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (IEEE Trans. Autom. Control., 2011)

On Codiagnosability and Coobservability With Dynamic Observations. - Weilin Wang; Anouck R. Girard; Stéphane Lafortune; Feng Lin 001 (IEEE Trans. Autom. Control., 2011)

On atomicity enforcement in concurrent software via Discrete Event Systems theory. - Yin Wang 001; Peng Liu 010; Terence Kelly; Stéphane Lafortune; Spyros A. Reveliotis; Charles Zhang (CDC, 2012)

Enforcement of opacity properties using insertion functions. - Yi-Chin Wu; Stéphane Lafortune (CDC, 2012)

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (WODES, 2012)

On the computation of supremal sublanguages relevant to supervisory control. - Thomas Moor; Christine Baier; Tae-Sic Yoo; Feng Lin 001; Stéphane Lafortune (WODES, 2012)

Explicit storage and analysis of billions of states using commodity computers. - Yin Wang 001; Jason Stanley; Stéphane Lafortune (WODES, 2012)

Computation of minimal event bases that ensure diagnosability. - João Carlos Basilio; Saulo Telles Souza Lima; Stéphane Lafortune; Marcos Vicente Moreira (Discret. Event Dyn. Syst., 2012)

Special issue on recent trends in discrete event systems. - Jörg Raisch; Alessandro Giua; Thomas Moor; Stéphane Lafortune (Discret. Event Dyn. Syst., 2012)

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. - Maria Paola Cabasino; Alessandro Giua; Stéphane Lafortune; Carla Seatzu (IEEE Trans. Autom. Control., 2012)

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. - Stéphane Lafortune; Yin Wang 001; Spyros A. Reveliotis (Petri Nets, 2013)

Supervisory control for collision avoidance in vehicular networks with imperfect measurements. - Eric Dallal; Alessandro Colombo; Domitilla Del Vecchio; Stéphane Lafortune (CDC, 2013)

Practical lock/unlock pairing for concurrent programs. - Hyoun Kyu Cho; Terence Kelly; Yin Wang 001; Stéphane Lafortune; Hongwei Liao; Scott A. Mahlke (CGO, 2013)

Overview of fault diagnosis methods for Discrete Event Systems. - Janan Zaytoon; Stéphane Lafortune (Annu. Rev. Control., 2013)

Optimal sensor selection for ensuring diagnosability in labeled Petri nets. - Maria Paola Cabasino; Stéphane Lafortune; Carla Seatzu (Autom., 2013)

Robust diagnosis of discrete-event systems against permanent loss of observations. - Lilian K. Carvalho; Marcos Vicente Moreira; João Carlos Basilio; Stéphane Lafortune (Autom., 2013)

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2013)

Comparative analysis of related notions of opacity in centralized and coordinated architectures. - Yi-Chin Wu; Stéphane Lafortune (Discret. Event Dyn. Syst., 2013)

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (IEEE Trans. Autom. Control., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2014)

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. - Rüdiger Ehlers; Stéphane Lafortune; Stavros Tripakis; Moshe Y. Vardi (WODES, 2014)

Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement. - Yi-Chin Wu; Karthik Abinav Sankararaman; Stéphane Lafortune (WODES, 2014)

Synthesis of insertion functions for enforcement of opacity security properties. - Yi-Chin Wu; Stéphane Lafortune (Autom., 2014)

On Most Permissive Observers in Dynamic Sensor Activation Problems. - Eric Dallal; Stéphane Lafortune (IEEE Trans. Autom. Control., 2014)

Verification of the Observer Property in Discrete Event Systems. - Patrícia N. Pena; Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Robi Malik; Stéphane Lafortune; José E. R. Cury (IEEE Trans. Autom. Control., 2014)

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. - Xiang Yin 003; Stéphane Lafortune (ACC, 2015)

On the relationship between codiagnosability and coobservability under dynamic observations. - Xiang Yin 003; Stéphane Lafortune (ACC, 2015)

Synthesis of opacity-enforcing insertion functions that can be publicly known. - Yi-Chin Wu; Stéphane Lafortune (CDC, 2015)

Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2015)

A general approach for solving dynamic sensor activation problems for a class of properties. - Xiang Yin 003; Stéphane Lafortune (CDC, 2015)

Codiagnosability and coobservability under dynamic observations: Transformation and verification. - Xiang Yin 003; Stéphane Lafortune (Autom., 2015)

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). - Krishnendu Chatterjee; Stéphane Lafortune; Nicolas Markey; Wolfgang Thomas (Dagstuhl Reports, 2015)

Editorial: changes at J-DEDS. - Xi-Ren Cao; Stéphane Lafortune (Discret. Event Dyn. Syst., 2015)

Special issue on recent advances in control of discrete event systems. - Antonio Ramírez-Treviño; Manuel Silva Suárez; Stéphane Lafortune (Discret. Event Dyn. Syst., 2015)

Erratum to: Diagnosis of discrete event systems using decentralized architectures. - Yin Wang 001; Tae-Sic Yoo; Stéphane Lafortune (Discret. Event Dyn. Syst., 2015)

Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media. - Anna Ghazaryan; Stéphane Lafortune; P. McLarnan (SIAM J. Appl. Math., 2015)

SAT-Based Control of Concurrent Software for Deadlock Avoidance. - Jason Stanley; Hongwei Liao; Stéphane Lafortune (IEEE Trans. Autom. Control., 2015)

Diagnosis of Discrete Event Systems. - Stéphane Lafortune (Encyclopedia of Systems and Control, 2015)

Enhancing opacity of stochastic discrete event systems using insertion functions. - Yi-Chin Wu; Gil Lederman; Stéphane Lafortune (ACC, 2016)

Planning under abstraction within a supervisory control context. - Richard C. Hill; Stéphane Lafortune (CDC, 2016)

On the maximally-permissive range control problem in partially-observed discrete event systems. - Xiang Yin 003; Stéphane Lafortune (CDC, 2016)

Obfuscator Synthesis for Privacy and Utility. - Yi-Chin Wu; Vasumathi Raman; Stéphane Lafortune; Sanjit A. Seshia (NFM, 2016)

Detection and prevention of actuator enablement attacks in supervisory control systems. - Lilian Kawakami Carvalho; Yi-Chin Wu; Raymond H. Kwong; Stéphane Lafortune (WODES, 2016)

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. - Xiang Yin 003; Stéphane Lafortune (WODES, 2016)

On two-way observer and its application to the verification of infinite-step and K-step opacity. - Xiang Yin 003; Stéphane Lafortune (WODES, 2016)

Synthesis of Optimal Insertion Functions for Opacity Enforcement. - Yi-Chin Wu; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

Decentralized Supervisory Control With Intersection-Based Architecture. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2016)

Scaling the formal synthesis of supervisory control software for multiple robot systems. - Richard C. Hill; Stéphane Lafortune (ACC, 2017)

Stealthy deception attacks for cyber-physical systems. - Romulo Meira Goes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (CDC, 2017)

Enforcing opacity by publicly known edit functions. - Yiding Ji; Stéphane Lafortune (CDC, 2017)

Verification and synthesis of embedded insertion functions for opacity enforcement. - Christoforos Keroglou; Stéphane Lafortune (CDC, 2017)

A new approach for the verification of infinite-step and K-step opacity using two-way observers. - Xiang Yin 003; Stéphane Lafortune (Autom., 2017)

Verification complexity of a class of observational properties for modular discrete events systems. - Xiang Yin 003; Stéphane Lafortune (Autom., 2017)

Synthesis of Property-Preserving Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CoRR, 2017)

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. - Eric Dallal; Alessandro Colombo; Domitilla Del Vecchio; Stéphane Lafortune (Discret. Event Dyn. Syst., 2017)

Supervisory control and reactive synthesis: a comparative introduction. - Rüdiger Ehlers; Stéphane Lafortune; Stavros Tripakis; Moshe Y. Vardi (Discret. Event Dyn. Syst., 2017)

Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2017)

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2017)

Mean Payoff Supervisory Control Under Partial Observation. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (CDC, 2018)

Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. - Sahar Mohajerani; Yiding Ji; Stéphane Lafortune (CDC, 2018)

On the history of diagnosability and opacity in discrete event systems. - Stéphane Lafortune; Feng Lin 001; Christoforos N. Hadjicostis (Annu. Rev. Control., 2018)

Detection and mitigation of classes of attacks in supervisory control systems. - Lilian Kawakami Carvalho; Yi-Chin Wu; Raymond H. Kwong; Stéphane Lafortune (Autom., 2018)

Enforcement of opacity by public and private insertion functions. - Yiding Ji; Yi-Chin Wu; Stéphane Lafortune (Autom., 2018)

Synthesis of Obfuscation Policies to Ensure Privacy and Utility. - Yi-Chin Wu; Vasumathi Raman; Blake C. Rawlings; Stéphane Lafortune; Sanjit A. Seshia (J. Autom. Reason., 2018)

Minimization of Sensor Activation in Decentralized Discrete-Event Systems. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2018)

Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2018)

Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. - Romulo Meira Goes; Raymond H. Kwong; Stéphane Lafortune (ACC, 2019)

Automated Synthesis of Secure Platform Mappings. - Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2019)

Supervisory Control under Local Mean Payoff Constraints. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (CDC, 2019)

Towards resilient supervisors against sensor deception attacks. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (CDC, 2019)

Discrete Event Systems: Modeling, Observation, and Control. - Stéphane Lafortune (Annu. Rev. Control. Robotics Auton. Syst., 2019)

Enforcing opacity by insertion functions under multiple energy constraints. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (Autom., 2019)

A general approach for optimizing dynamic sensor activation for discrete event systems. - Xiang Yin 003; Stéphane Lafortune (Autom., 2019)

Incorporating automation logic in online chemical production scheduling. - Blake C. Rawlings; Venkatachalam Avadiappan; Stéphane Lafortune; Christos T. Maravelias; John M. Wassick (Comput. Chem. Eng., 2019)

Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2019)

Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". - Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2019)

Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. - Rômulo Meira-Góes; Eunsuk Kang; Raymond H. Kwong; Stéphane Lafortune (Autom., 2020)

Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope. - Anna Ghazaryan; Stéphane Lafortune; Vahagn Manukian (SIAM J. Appl. Math., 2020)

Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. - Alessandro Giua; Stéphane Lafortune; Carla Seatzu (IEEE Trans. Autom. Control., 2020)

Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. - Sahar Mohajerani; Yiding Ji; Stéphane Lafortune (IEEE Trans. Autom. Control., 2020)

Transforming Opacity Verification to Nonblocking Verification in Modular Systems. - Sahar Mohajerani; Stéphane Lafortune (IEEE Trans. Autom. Control., 2020)

Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. - Blake C. Rawlings; Stéphane Lafortune; B. Erik Ydstie (IEEE Trans. Control. Syst. Technol., 2020)

Introduction to Discrete Event Systems, Third Edition - Christos G. Cassandras; Stéphane Lafortune (Springer, 2021)

Enforcement of K-Step Opacity with Edit Functions. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (CDC, 2021)

Optimal supervisory control with mean payoff objectives and under partial observation. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (Autom., 2021)

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. - Sahar Mohajerani; Robi Malik; Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (Autom., 2021)

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]". - Xiang Yin 003; Stéphane Lafortune (Autom., 2021)

Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. - Shoma Matsui; Stéphane Lafortune (CoRR, 2021)

Editorial - Thirty years of J-DEDS: moving on with new leadership. - Christoforos N. Hadjicostis; Stéphane Lafortune (Discret. Event Dyn. Syst., 2021)

Embedded Insertion Functions for Opacity Enforcement. - Christoforos Keroglou; Stéphane Lafortune (IEEE Trans. Autom. Control., 2021)

Synthesis of Supervisors Robust Against Sensor Deception Attacks. - Rômulo Meira-Góes; Stéphane Lafortune; Hervé Marchand (IEEE Trans. Autom. Control., 2021)

Artifact for Paper: On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Zenodo, 2021)

Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. - Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (ACC, 2022)

Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control. - Christoforos N. Hadjicostis; Stéphane Lafortune; Feng Lin 001; Rong Su 001 (CDC, 2022)

A Dynamic Obfuscation Framework for Security and Utility. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (ICCPS, 2022)

Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. - Christoforos N. Hadjicostis; Stéphane Lafortune; Carla Seatzu (IEEE Control. Syst. Lett., 2022)

Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. - Shoma Matsui; Stéphane Lafortune (Discret. Event Dyn. Syst., 2022)

A general language-based framework for specifying and verifying notions of opacity. - Andrew Wintenberg; Matthew Blischke; Stéphane Lafortune; Necmiye Ozay (Discret. Event Dyn. Syst., 2022)

Local Mean Payoff Supervisory Control for Discrete Event Systems. - Yiding Ji; Xiang Yin 003; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. - Rômulo Meira-Góes; Raymond H. Kwong; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. - Rômulo Meira-Góes; Jack Weitze; Stéphane Lafortune (IEEE Trans. Autom. Control., 2022)

Safe Environmental Envelopes of Discrete Systems. - Rômulo Meira-Góes; Ian Dardik; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (CAV (1), 2023)

Dealing with sensor and actuator deception attacks in supervisory control. - Rômulo Meira-Góes; Hervé Marchand; Stéphane Lafortune (Autom., 2023)

Opacity From Observers With a Bounded Memory. - Andrew Wintenberg; Stéphane Lafortune; Necmiye Ozay (IEEE Control. Syst. Lett., 2023)

On tolerance of discrete systems with respect to transition perturbations. - Rômulo Meira-Góes; Eunsuk Kang; Stéphane Lafortune; Stavros Tripakis (Discret. Event Dyn. Syst., 2023)

Supplementary Material for "The Universal State-Estimate-Intersection-Based Architecture for Decentralized Problems of Discrete-Event Systems". - K. Ritsuka; Stéphane Lafortune (Zenodo, 2024)

Supplementary Material for "Joint Opacity and Opacity against State-Estimate-Intersection-based Intrusion of Discrete-Event Systems". - K. Ritsuka; Stéphane Lafortune; Feng Lin 001 (Zenodo, 2024)

Diagnosability and attack detection for discrete event systems under sensor attacks. - Feng Lin 001; Stéphane Lafortune; Caisheng Wang (Discret. Event Dyn. Syst., 2024)

Supplementary Material for "Detectability of Discrete Event Systems under Sensor Attacks". - K. Ritsuka; Stéphane Lafortune; Feng Lin 001; Caisheng Wang (Zenodo, 2024)

Orbital Stability of Smooth Solitary Waves for the Novikov Equation. - Brett Ehrman; Mathew A. Johnson; Stéphane Lafortune (J. Nonlinear Sci., 2024)

Joint opacity and opacity against state-estimate-intersection-based intrusion of discrete-event systems. - K. Ritsuka; Stéphane Lafortune; Feng Lin 001 (Autom., 2025)

Detectability of Discrete Event Systems Under Sensor Attacks. - K. Ritsuka; Feng Lin 001; Stéphane Lafortune; Caisheng Wang (J. Syst. Sci. Complex., 2025)