Stéphane Lafortune

According to our database1, Stéphane Lafortune authored at least 148 papers between 1986 and 2018.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 1999, "For contributions to the theory of discrete event systems.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Synthesis of Obfuscation Policies to Ensure Privacy and Utility.
J. Autom. Reasoning, 2018

Detection and Mitigation of Classes of Attacks in Supervisory Control Systems.
CoRR, 2018

Enforcement of opacity by public and private insertion functions.
Automatica, 2018

On the history of diagnosability and opacity in discrete event systems.
Annual Reviews in Control, 2018

2017
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets.
IEEE Trans. Automat. Contr., 2017

Synthesis of Maximally-Permissive Supervisors for the Range Control Problem.
IEEE Trans. Automat. Contr., 2017

Supervisory control and reactive synthesis: a comparative introduction.
Discrete Event Dynamic Systems, 2017

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Discrete Event Dynamic Systems, 2017

Synthesis of Property-Preserving Mappings.
CoRR, 2017

Verification complexity of a class of observational properties for modular discrete events systems.
Automatica, 2017

A new approach for the verification of infinite-step and K-step opacity using two-way observers.
Automatica, 2017

Verification and synthesis of embedded insertion functions for opacity enforcement.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Enforcing opacity by publicly known edit functions.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Stealthy deception attacks for cyber-physical systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Scaling the formal synthesis of supervisory control software for multiple robot systems.
Proceedings of the 2017 American Control Conference, 2017

2016
Decentralized Supervisory Control With Intersection-Based Architecture.
IEEE Trans. Automat. Contr., 2016

A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Automat. Contr., 2016

Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems.
IEEE Trans. Automat. Contr., 2016

Synthesis of Optimal Insertion Functions for Opacity Enforcement.
IEEE Trans. Automat. Contr., 2016

On two-way observer and its application to the verification of infinite-step and K-step opacity.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Detection and prevention of actuator enablement attacks in supervisory control systems.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Obfuscator Synthesis for Privacy and Utility.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On the maximally-permissive range control problem in partially-observed discrete event systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Planning under abstraction within a supervisory control context.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Enhancing opacity of stochastic discrete event systems using insertion functions.
Proceedings of the 2016 American Control Conference, 2016

2015
Diagnosis of Discrete Event Systems.
Proceedings of the Encyclopedia of Systems and Control, 2015

SAT-Based Control of Concurrent Software for Deadlock Avoidance.
IEEE Trans. Automat. Contr., 2015

Erratum to: Diagnosis of discrete event systems using decentralized architectures.
Discrete Event Dynamic Systems, 2015

Special issue on recent advances in control of discrete event systems.
Discrete Event Dynamic Systems, 2015

Editorial: changes at J-DEDS.
Discrete Event Dynamic Systems, 2015

Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061).
Dagstuhl Reports, 2015

Codiagnosability and coobservability under dynamic observations: Transformation and verification.
Automatica, 2015

A general approach for solving dynamic sensor activation problems for a class of properties.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Minimization of sensor activation in decentralized fault diagnosis of discrete event systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Synthesis of opacity-enforcing insertion functions that can be publicly known.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

On the relationship between codiagnosability and coobservability under dynamic observations.
Proceedings of the American Control Conference, 2015

A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems.
Proceedings of the American Control Conference, 2015

2014
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Automat. Contr., 2014

On Most Permissive Observers in Dynamic Sensor Activation Problems.
IEEE Trans. Automat. Contr., 2014

Synthesis of insertion functions for enforcement of opacity security properties.
Automatica, 2014

Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Contr. Sys. Techn., 2013

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Automat. Contr., 2013

Comparative analysis of related notions of opacity in centralized and coordinated architectures.
Discrete Event Dynamic Systems, 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discrete Event Dynamic Systems, 2013

Robust diagnosis of discrete-event systems against permanent loss of observations.
Automatica, 2013

Optimal sensor selection for ensuring diagnosability in labeled Petri nets.
Automatica, 2013

Overview of fault diagnosis methods for Discrete Event Systems.
Annual Reviews in Control, 2013

Practical lock/unlock pairing for concurrent programs.
Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

Supervisory control for collision avoidance in vehicular networks with imperfect measurements.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Supervisory control for collision avoidance in vehicular networks using discrete event abstractions.
Proceedings of the American Control Conference, 2013

2012
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets.
IEEE Trans. Automat. Contr., 2012

Special issue on recent trends in discrete event systems.
Discrete Event Dynamic Systems, 2012

Computation of minimal event bases that ensure diagnosability.
Discrete Event Dynamic Systems, 2012

Explicit storage and analysis of billions of states using commodity computers.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

On the computation of supremal sublanguages relevant to supervisory control.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Enforcement of opacity properties using insertion functions.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

On atomicity enforcement in concurrent software via Discrete Event Systems theory.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

2011
On Codiagnosability and Coobservability With Dynamic Observations.
IEEE Trans. Automat. Contr., 2011

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Automat. Contr., 2011

Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function.
SIAM Journal of Applied Mathematics, 2011

Active fault tolerant control of discrete event systems using online diagnostics.
Automatica, 2011

Simulation analysis of multithreaded programs under deadlock-avoidance control.
Proceedings of the Winter Simulation Conference 2011, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

A framework for optimization of sensor activation using most permissive observers.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control.
IEEE Trans. Automat. Contr., 2010

Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution.
Discrete Event Dynamic Systems, 2010

Optimal sensor activation for diagnosing discrete event systems.
Automatica, 2010

Multi-level hierarchical interface-based supervisory control.
Automatica, 2010

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Efficient computation of observer projections using OP-verifiers.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Optimal deadlock avoidance for complex resource allocation systems through classification theory.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Robust diagnosis of discrete-event systems subject to permanent sensor failures.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A methodology for modular model-building in discrete automation.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009
Verification of Nonconflict of Supervisors Using Abstractions.
IEEE Trans. Automat. Contr., 2009

Eliminating Concurrency Bugs with Control Engineering.
IEEE Computer, 2009

Predictability of event occurrences in partially-observed discrete-event systems.
Automatica, 2009

The theory of deadlock avoidance via discrete control.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

An online algorithm for minimal sensor activation in discrete event systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Diagnosability analysis of unbounded Petri nets.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
Discrete Event Systems: Untimed Models and their Analysis.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems.
IEEE Trans. Automat. Contr., 2008

An algorithm for maximising covered area.
Int. J. Control, 2008

On the Minimization of Communication in Networked Systems with a Central Station.
Discrete Event Dynamic Systems, 2008

Diagnosability Analysis of a Class of Hierarchical State Machines.
Discrete Event Dynamic Systems, 2008

Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Optimal sensor activation in controlled discrete event systems.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

Introduction to Discrete Event Systems, Second Edition.
Springer, ISBN: 978-0-387-33332-8, 2008

2007
Distributed Diagnosis of Place-Bordered Petri Nets.
IEEE Trans. Automation Science and Engineering, 2007

Minimal Communication for Essential Transitions in a Distributed Discrete-Event System.
IEEE Trans. Automat. Contr., 2007

High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis.
SIAM Journal of Applied Mathematics, 2007

An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions.
Systems & Control Letters, 2007

Diagnosis of Discrete Event Systems Using Decentralized Architectures.
Discrete Event Dynamic Systems, 2007

Special Issue on WODES'06.
Discrete Event Dynamic Systems, 2007

Discrete control for safe execution of IT automation workflows.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2006
The Verification and Control of Interacting Similar Discrete-Event Systems.
SIAM J. Control and Optimization, 2006

Solvability of Centralized Supervisory Control Under Partial Observation.
Discrete Event Dynamic Systems, 2006

Diagnosability of Discrete Event Systems with Modular Structure.
Discrete Event Dynamic Systems, 2006

Discrete Control for Dependable IT Automation.
Proceedings of the Second Workshop on Hot Topics in System Dependability, 2006

New Results on Testing Modularity of Local Supervisors using Abstractions.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005
Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization.
IEEE Trans. Automat. Contr., 2005

Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism.
SIAM J. Math. Analysis, 2005

PSPACE-completeness of Modular Supervisory Control Problems*.
Discrete Event Dynamic Systems, 2005

Contributing Authors.
Discrete Event Dynamic Systems, 2005

Safe diagnosability for fault-tolerant supervision of discrete-event systems.
Automatica, 2005

2004
Decentralized supervisory control with conditional decisions: supervisor existence.
IEEE Trans. Automat. Contr., 2004

Diagnosis of Intermittent Faults.
Discrete Event Dynamic Systems, 2004

2003
Minimal communication in a distributed discrete-event system.
IEEE Trans. Automat. Contr., 2003

Deciding co-observability is PSPACE-complete.
IEEE Trans. Automat. Contr., 2003

On the synthesis of safe control policies in decentralized control of discrete-event systems.
IEEE Trans. Automat. Contr., 2003

On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems.
Discrete Event Dynamic Systems, 2003

Distributed Diagnosis of Discrete-Event Systems Using Petri Nets.
Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002
Low-energy wireless communication network design.
IEEE Wireless Commun., 2002

NP-completeness of sensor selection problems arising in partially observed discrete-event systems.
IEEE Trans. Automat. Contr., 2002

Polynomial-time verification of diagnosability of partially observed discrete-event systems.
IEEE Trans. Automat. Contr., 2002

A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems.
Discrete Event Dynamic Systems, 2002

On an Optimization Problem in Sensor Selection*.
Discrete Event Dynamic Systems, 2002

On optimal control of a class of partially observed discrete event systems.
Automatica, 2002

2000
Design of nonblocking modular supervisors using event priority functions.
IEEE Trans. Automat. Contr., 2000

Decentralized supervisory control with communicating controllers.
IEEE Trans. Automat. Contr., 2000

On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.
SIAM J. Control and Optimization, 2000

Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems.
Discrete Event Dynamic Systems, 2000

Incremental model evolution and reusability of supervisors for discrete event systems.
Automatica, 2000

1999
Adaptive Look-ahead Optimization of Traffic Signals.
J. Intellig. Transport. Systems, 1999

1998
Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines.
Discrete Event Dynamic Systems, 1998

On the synthesis of optimal schedulers in discrete event control problems with multiple goals.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Coordinated decentralized protocols for failure diagnosis of discrete event systems.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

A novel framework for decentralized supervisory control with communication.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Feature Interaction Modelling, Detection and Resolution: A Supervisory Control Approach.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

Resolving Feature Interactions Using Modular Supervisory Control with Priorities.
Proceedings of the Feature Interactions in Telecommunications Networks IV, 1997

1996
Failure diagnosis using discrete-event models.
IEEE Trans. Contr. Sys. Techn., 1996

Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation.
Discrete Event Dynamic Systems, 1996

1994
Supervisory control using variable lookahead policies.
Discrete Event Dynamic Systems, 1994

1993
Recursive computation of limited lookahead supervisory controls for discrete event systems.
Discrete Event Dynamic Systems, 1993

An Information Model for Human Genome Map Representation and Assembly.
Proceedings of the CIKM 93, 1993

1992
A graph-theoretic optimal control problem for terminating discrete event processes.
Discrete Event Dynamic Systems, 1992

1991
On tolerable and desirable behaviors in supervisory control of discrete event systems.
Discrete Event Dynamic Systems, 1991

1989
An Intelligent Search Method for Query Optimization by Semijoins.
IEEE Trans. Knowl. Data Eng., 1989

A Knowledge-Based Approach to Multiple Query Processing.
Data Knowl. Eng., 1989

1986
A State Transition Model for Distributed Query Processing.
ACM Trans. Database Syst., 1986


  Loading...