Stéphane Lafortune

Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune: Robust diagnosis of discrete-event systems against permanent loss of observations. Automatica 49(1): 223-231 (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. Discrete Event Dynamic Systems 23(2): 157-195 (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: 1-12

João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira: Computation of minimal event bases that ensure diagnosability. Discrete Event Dynamic Systems 22(3): 249-292 (2012)

Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune: Special issue on recent trends in discrete event systems. Discrete Event Dynamic Systems 22(4): 381-382 (2012)

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Automat. Contr. 57(12): 3104-3117 (2012)

Yi-Chin Wu, Stéphane Lafortune: Enforcement of opacity properties using insertion functions. CDC 2012: 6722-6728

Yin Wang, Peng Liu, Terence Kelly, Stéphane Lafortune, Spyros A. Reveliotis, Charles Zhang: On atomicity enforcement in concurrent software via Discrete Event Systems theory. CDC 2012: 7230-7237

Andrea Paoli, Matteo Sartini, Stéphane Lafortune: Active fault tolerant control of discrete event systems using online diagnostics. Automatica 47(4): 639-649 (2011)

Stéphane Lafortune, J. Lega, S. Madrid: Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function. SIAM Journal of Applied Mathematics 71(5): 1653-1672 (2011)

Weilin Wang, Anouck R. Girard, Stéphane Lafortune, Feng Lin: On Codiagnosability and Coobservability With Dynamic Observations. IEEE Trans. Automat. Contr. 56(7): 1551-1566 (2011)

Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune: Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Automat. Contr. 56(8): 1818-1833 (2011)

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

Eric Dallal, Stéphane Lafortune: A framework for optimization of sensor activation using most permissive observers. CDC-ECE 2011: 2711-2717

Hongwei Liao, Hao Zhou, Stéphane Lafortune: Simulation analysis of multithreaded programs under deadlock-avoidance control. Winter Simulation Conference 2011: 703-715

Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz, Dawn M. Tilbury, Stéphane Lafortune: Multi-level hierarchical interface-based supervisory control. Automatica 46(7): 1152-1164 (2010)

Weilin Wang, Stéphane Lafortune, Anouck R. Girard, Feng Lin: Optimal sensor activation for diagnosing discrete event systems. Automatica 46(7): 1165-1175 (2010)

Richard C. Hill, Dawn M. Tilbury, Stéphane Lafortune: Modular Supervisory Control with Equivalence-Based Abstraction and Covering-Based Conflict Resolution. Discrete Event Dynamic Systems 20(1): 139-185 (2010)

Weilin Wang, Stéphane Lafortune, Feng Lin, Anouck R. Girard: Minimization of Dynamic Sensor Activation in Discrete Event Systems for the Purpose of Control. IEEE Trans. Automat. Contr. 55(11): 2447-2461 (2010)

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

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

Sahika Genc, Stéphane Lafortune: Predictability of event occurrences in partially-observed discrete-event systems. Automatica 45(2): 301-311 (2009)

Terence Kelly, Yin Wang, Stéphane Lafortune, Scott A. Mahlke: Eliminating Concurrency Bugs with Control Engineering. IEEE Computer 42(11): 52-60 (2009)

Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune: Verification of Nonconflict of Supervisors Using Abstractions. IEEE Trans. Automat. Contr. 54(12): 2803-2815 (2009)

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

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu: Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272

Weilin Wang, Stéphane Lafortune, Feng Lin, Anouck R. Girard: An online algorithm for minimal sensor activation in discrete event systems. CDC 2009: 2242-2247

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

Yin Wang, Stéphane Lafortune, Terence Kelly, Manjunath Kudlur, Scott A. Mahlke: The theory of deadlock avoidance via discrete control. POPL 2009: 252-263

Andrea Paoli, Stéphane Lafortune: Diagnosability Analysis of a Class of Hierarchical State Machines. Discrete Event Dynamic Systems 18(3): 385-413 (2008)

Weilin Wang, Stéphane Lafortune, Feng Lin: On the Minimization of Communication in Networked Systems with a Central Station. Discrete Event Dynamic Systems 18(3): 415-443 (2008)

Weilin Wang, Stéphane Lafortune, Feng Lin: Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems. IEEE Trans. Automat. Contr. 53(9): 2197-2202 (2008)

Weilin Wang, Stéphane Lafortune, Feng Lin: Optimal sensor activation in controlled discrete event systems. CDC 2008: 877-882

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

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

Yin Wang, Tae-Sic Yoo, Stéphane Lafortune: Diagnosis of Discrete Event Systems Using Decentralized Architectures. Discrete Event Dynamic Systems 17(2): 233-263 (2007)

Stéphane Lafortune, Feng Lin, Dawn M. Tilbury: Special Issue on WODES'06. Discrete Event Dynamic Systems 17(4): 423-424 (2007)

Weilin Wang, Stéphane Lafortune, Feng Lin: An algorithm for calculating indistinguishable states and clusters in finite-state automata with partially observable transitions. Systems & Control Letters 56(9-10): 656-661 (2007)

Sanjeeva Balasuriya, Georg Gottwald, John Hornibrook, Stéphane Lafortune: High Lewis Number Combustion Wavefronts: A Perturbative Melnikov Analysis. SIAM Journal of Applied Mathematics 67(2): 464-486 (2007)

Feng Lin, Karen Rudie, Stéphane Lafortune: Minimal Communication for Essential Transitions in a Distributed Discrete-Event System. IEEE Trans. Automat. Contr. 52(8): 1495-1502 (2007)

Sahika Genc, Stéphane Lafortune: Distributed Diagnosis of Place-Bordered Petri Nets. IEEE T. Automation Science and Engineering 4(2): 206-219 (2007)

Yin Wang, Terence Kelly, Stéphane Lafortune: Discrete control for safe execution of IT automation workflows. EuroSys 2007: 305-314

Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis: Diagnosability of Discrete Event Systems with Modular Structure. Discrete Event Dynamic Systems 16(1): 9-37 (2006)

Tae-Sic Yoo, Stéphane Lafortune: Solvability of Centralized Supervisory Control Under Partial Observation. Discrete Event Dynamic Systems 16(4): 527-553 (2006)

Kurt Rohloff, Stéphane Lafortune: The Verification and Control of Interacting Similar Discrete-Event Systems. SIAM J. Control and Optimization 45(2): 634-667 (2006)

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

Andrea Paoli, Stéphane Lafortune: Safe diagnosability for fault-tolerant supervision of discrete-event systems. Automatica 41(8): 1335-1347 (2005)

Kurt Rohloff, Stéphane Lafortune: PSPACE-completeness of Modular Supervisory Control Problems*. Discrete Event Dynamic Systems 15(2): 145-167 (2005)

Yiping Cheng, Da-Zhong Zheng, Kurt Rohloff, Stéphane Lafortune, Xi-Ren Cao: Contributing Authors. Discrete Event Dynamic Systems 15(2): 199-200 (2005)

Stéphane Lafortune, J. Lega: Spectral Stability of Local Deformations of an Elastic Rod: Hamiltonian Formalism. SIAM J. Math. Analysis 36(6): 1726-1741 (2005)

Tae-Sic Yoo, Stéphane Lafortune: Decentralized Supervisory Control With Conditional Decisions: Supervisor Realization. IEEE Trans. Automat. Contr. 50(8): 1205-1211 (2005)

Olivier Contant, Stéphane Lafortune, Demosthenis Teneketzis: Diagnosis of Intermittent Faults. Discrete Event Dynamic Systems 14(2): 171-202 (2004)

Tae-Sic Yoo, Stéphane Lafortune: Decentralized supervisory control with conditional decisions: supervisor existence. IEEE Trans. Automat. Contr. 49(11): 1886-1904 (2004)

Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: On the Effect of Communication Delays in Failure Diagnosis of Decentralized Discrete Event Systems. Discrete Event Dynamic Systems 13(3): 263-289 (2003)

Karen Rudie, Stéphane Lafortune, Feng Lin: Minimal communication in a distributed discrete-event system. IEEE Trans. Automat. Contr. 48(6): 957-975 (2003)

Kurt Rohloff, Stéphane Lafortune: On the synthesis of safe control policies in decentralized control of discrete-event systems. IEEE Trans. Automat. Contr. 48(6): 1064-1068 (2003)

Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune: Deciding co-observability is PSPACE-complete. IEEE Trans. Automat. Contr. 48(11): 1995-1999 (2003)

Sahika Genc, Stéphane Lafortune: Distributed Diagnosis of Discrete-Event Systems Using Petri Nets. ICATPN 2003: 316-336

Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On optimal control of a class of partially observed discrete event systems. Automatica 38(11): 1935-1943 (2002)

Tae-Sic Yoo, Stéphane Lafortune: A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems. Discrete Event Dynamic Systems 12(3): 335-377 (2002)

Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: On an Optimization Problem in Sensor Selection*. Discrete Event Dynamic Systems 12(4): 417-445 (2002)

Tae-Sic Yoo, Stéphane Lafortune: Polynomial-time verification of diagnosability of partially observed discrete-event systems. IEEE Trans. Automat. Contr. 47(9): 1491-1495 (2002)

Tae-Sic Yoo, Stéphane Lafortune: NP-completeness of sensor selection problems arising in partially observed discrete-event systems. IEEE Trans. Automat. Contr. 47(9): 1495-1499 (2002)

Yi-Liang Chen, Stéphane Lafortune, Feng Lin: Incremental model evolution and reusability of supervisors for discrete event systems. Automatica 36(2): 243-259 (2000)

Rami Debouk, Stéphane Lafortune, Demosthenis Teneketzis: Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems. Discrete Event Dynamic Systems 10(1-2): 33-86 (2000)

Hervé Marchand, Olivier Boivineau, Stéphane Lafortune: On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. SIAM J. Control and Optimization 39(2): 512-532 (2000)

George Barrett, Stéphane Lafortune: Bisimulation, the Supervisory Control Problem and Strong Model Matching for Finite State Machines. Discrete Event Dynamic Systems 8(4): 377-429 (1998)

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

Yi-Liang Chen, Stéphane Lafortune, Feng Lin: Resolving Feature Interactions Using Modular Supervisory Control with Priorities. FIW 1997: 108-122

Nejib Ben Hadj-Alouane, Stéphane Lafortune, Feng Lin: Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discrete Event Dynamic Systems 6(4): 379-427 (1996)

Sheng-Luen Chung, Stéphane Lafortune, Feng Lin: Supervisory control using variable lookahead policies. Discrete Event Dynamic Systems 4(3): 237-268 (1994)

Sheng-Luen Chung, Stéphane Lafortune, Feng Lin: Recursive computation of limited lookahead supervisory controls for discrete event systems. Discrete Event Dynamic Systems 3(1): 71-100 (1993)

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

Raja Sengupta, Stéphane Lafortune: A graph-theoretic optimal control problem for terminating discrete event processes. Discrete Event Dynamic Systems 2(2): 139-172 (1992)

Stéphane Lafortune, Feng Lin: On tolerable and desirable behaviors in supervisory control of discrete event systems. Discrete Event Dynamic Systems 1(1): 61-92 (1991)

J. T. Park, Toby J. Teorey, Stéphane Lafortune: A Knowledge-Based Approach to Multiple Query Processing. Data Knowl. Eng. 3(4): 261-284 (1989)

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

Stéphane Lafortune, Eugene Wong: A State Transition Model for Distributed Query Processing. ACM Trans. Database Syst. 11(3): 294-322 (1986)