Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStéphane Lafortune
Person information
- affiliation: University of Michigan, Ann Arbor, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j119]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune:
Dealing with sensor and actuator deception attacks in supervisory control. Autom. 147: 110736 (2023)- 2022
- [j118]Christoforos N. Hadjicostis, Stéphane Lafortune
, Carla Seatzu:
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. IEEE Control. Syst. Lett. 6: 2929 (2022) - [j117]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A general language-based framework for specifying and verifying notions of opacity. Discret. Event Dyn. Syst. 32(2): 253-289 (2022) - [j116]Shoma Matsui, Stéphane Lafortune:
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies. Discret. Event Dyn. Syst. 32(4): 573-610 (2022) - [j115]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Local Mean Payoff Supervisory Control for Discrete Event Systems. IEEE Trans. Autom. Control. 67(5): 2282-2297 (2022) - [j114]Rômulo Meira-Góes, Raymond H. Kwong, Stéphane Lafortune:
Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata. IEEE Trans. Autom. Control. 67(6): 2873-2888 (2022) - [j113]Rômulo Meira-Góes, Jack Weitze, Stéphane Lafortune:
A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems. IEEE Trans. Autom. Control. 67(7): 3567-3573 (2022) - [c83]Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay:
Communication Obfuscation for Privacy and Utility against Obfuscation-Aware Eavesdroppers. ACC 2022: 3363 - [c82]Christoforos N. Hadjicostis, Stéphane Lafortune, Feng Lin, Rong Su:
Cybersecurity and Supervisory Control: A Tutorial on Robust State Estimation, Attack Synthesis, and Resilient Control. CDC 2022: 3020-3040 - [c81]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A Dynamic Obfuscation Framework for Security and Utility. ICCPS 2022: 236-246 - 2021
- [b3]Christos G. Cassandras, Stéphane Lafortune:
Introduction to Discrete Event Systems, Third Edition. Springer 2021, ISBN 978-3-030-72272-2, pp. 1-804 - [j112]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Optimal supervisory control with mean payoff objectives and under partial observation. Autom. 123: 109359 (2021) - [j111]Xiang Yin, Stéphane Lafortune:
Authors' Reply to "Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica, 2017(80)162-171]". Autom. 124: 109273 (2021) - [j110]Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay:
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130: 109723 (2021) - [j109]Christoforos N. Hadjicostis, Stéphane Lafortune:
Editorial - Thirty years of J-DEDS: moving on with new leadership. Discret. Event Dyn. Syst. 31(1): 1-3 (2021) - [j108]Christoforos Keroglou, Stéphane Lafortune:
Embedded Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 66(9): 4184-4191 (2021) - [j107]Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Trans. Autom. Control. 66(10): 4990-4997 (2021) - [c80]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
Enforcement of K-Step Opacity with Edit Functions. CDC 2021: 331-338 - [i10]Shoma Matsui, Stéphane Lafortune:
Synthesis of Winning Attacks on Communication Protocols using Supervisory Control Theory. CoRR abs/2102.06028 (2021) - [i9]Andrew Wintenberg, Matthew Blischke, Stéphane Lafortune, Necmiye Ozay:
A General Language-Based Framework for Specifying and Verifying Notions of Opacity. CoRR abs/2103.10501 (2021) - [i8]Rômulo Meira-Góes, Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
On tolerance of discrete systems with respect to transition perturbations. CoRR abs/2110.04200 (2021) - 2020
- [j106]Rômulo Meira-Góes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune:
Synthesis of sensor deception attacks at the supervisory layer of Cyber-Physical Systems. Autom. 121: 109172 (2020) - [j105]Anna Ghazaryan, Stéphane Lafortune, Vahagn Manukian:
Spectral Analysis of Fronts in a Marangoni-Driven Thin Liquid Film Flow Down a Slope. SIAM J. Appl. Math. 80(1): 95-118 (2020) - [j104]Sahar Mohajerani, Stéphane Lafortune:
Transforming Opacity Verification to Nonblocking Verification in Modular Systems. IEEE Trans. Autom. Control. 65(4): 1739-1746 (2020) - [j103]Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65(7): 3092-3097 (2020) - [j102]Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 65(8): 3349-3364 (2020) - [j101]Blake C. Rawlings, Stéphane Lafortune, B. Erik Ydstie:
Supervisory Control of Labeled Transition Systems Subject to Multiple Reachability Requirements via Symbolic Model Checking. IEEE Trans. Control. Syst. Technol. 28(2): 644-652 (2020) - [i7]Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune:
Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems. CoRR abs/2008.01497 (2020) - [i6]Rômulo Meira-Góes, Stéphane Lafortune, Hervé Marchand:
Synthesis of Supervisors Robust Against Sensor Deception Attacks. CoRR abs/2012.12932 (2020)
2010 – 2019
- 2019
- [j100]Xiang Yin, Stéphane Lafortune:
A general approach for optimizing dynamic sensor activation for discrete event systems. Autom. 105: 376-383 (2019) - [j99]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Enforcing opacity by insertion functions under multiple energy constraints. Autom. 108 (2019) - [j98]Blake C. Rawlings, Venkatachalam Avadiappan, Stéphane Lafortune, Christos T. Maravelias, John M. Wassick:
Incorporating automation logic in online chemical production scheduling. Comput. Chem. Eng. 128: 201-215 (2019) - [j97]Xiang Yin, Stéphane Lafortune:
Corrections to "On the Decidability and Complexity of Diagnosability for Labeled Petri Nets". IEEE Trans. Autom. Control. 64(4): 1768 (2019) - [j96]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions. IEEE Trans. Autom. Control. 64(10): 4369-4376 (2019) - [c79]Romulo Meira Goes, Raymond H. Kwong, Stéphane Lafortune:
Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata. ACC 2019: 5620-5626 - [c78]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Automated Synthesis of Secure Platform Mappings. CAV (1) 2019: 219-237 - [c77]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Supervisory Control under Local Mean Payoff Constraints. CDC 2019: 1043-1049 - [c76]Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune:
Towards resilient supervisors against sensor deception attacks. CDC 2019: 5144-5149 - [i5]Sahar Mohajerani, Stéphane Lafortune:
Transforming opacity verification to nonblocking verification in modular systems. CoRR abs/1904.06242 (2019) - [i4]Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
Compositional and Abstraction-Based Approach for Synthesis of Edit Functions for Opacity Enforcement. CoRR abs/1910.00417 (2019) - 2018
- [j95]Stéphane Lafortune, Feng Lin, Christoforos N. Hadjicostis:
On the history of diagnosability and opacity in discrete event systems. Annu. Rev. Control. 45: 257-266 (2018) - [j94]Yiding Ji, Yi-Chin Wu, Stéphane Lafortune:
Enforcement of opacity by public and private insertion functions. Autom. 93: 369-378 (2018) - [j93]Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and mitigation of classes of attacks in supervisory control systems. Autom. 97: 121-133 (2018) - [j92]Yi-Chin Wu, Vasumathi Raman, Blake C. Rawlings, Stéphane Lafortune, Sanjit A. Seshia:
Synthesis of Obfuscation Policies to Ensure Privacy and Utility. J. Autom. Reason. 60(1): 107-131 (2018) - [j91]Xiang Yin, Stéphane Lafortune:
Minimization of Sensor Activation in Decentralized Discrete-Event Systems. IEEE Trans. Autom. Control. 63(11): 3705-3718 (2018) - [j90]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally Permissive Nonblocking Supervisors for the Lower Bound Containment Problem. IEEE Trans. Autom. Control. 63(12): 4435-4441 (2018) - [c75]Yiding Ji, Xiang Yin, Stéphane Lafortune:
Mean Payoff Supervisory Control Under Partial Observation. CDC 2018: 3981-3987 - [c74]Sahar Mohajerani, Yiding Ji, Stéphane Lafortune:
Efficient Synthesis of Edit Functions for Opacity Enforcement Using Bisimulation-Based Abstractions. CDC 2018: 4849-4854 - [i3]Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and Mitigation of Classes of Attacks in Supervisory Control Systems. CoRR abs/1807.04889 (2018) - 2017
- [j89]Xiang Yin, Stéphane Lafortune:
A new approach for the verification of infinite-step and K-step opacity using two-way observers. Autom. 80: 162-171 (2017) - [j88]Xiang Yin, Stéphane Lafortune:
Verification complexity of a class of observational properties for modular discrete events systems. Autom. 83: 199-205 (2017) - [j87]Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. Discret. Event Dyn. Syst. 27(1): 1-44 (2017) - [j86]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Supervisory control and reactive synthesis: a comparative introduction. Discret. Event Dyn. Syst. 27(2): 209-260 (2017) - [j85]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally-Permissive Supervisors for the Range Control Problem. IEEE Trans. Autom. Control. 62(8): 3914-3929 (2017) - [j84]Xiang Yin, Stéphane Lafortune:
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets. IEEE Trans. Autom. Control. 62(11): 5931-5938 (2017) - [c73]Richard C. Hill, Stéphane Lafortune:
Scaling the formal synthesis of supervisory control software for multiple robot systems. ACC 2017: 3840-3847 - [c72]Christoforos Keroglou, Stéphane Lafortune:
Verification and synthesis of embedded insertion functions for opacity enforcement. CDC 2017: 4217-4223 - [c71]Romulo Meira Goes, Eunsuk Kang, Raymond H. Kwong, Stéphane Lafortune:
Stealthy deception attacks for cyber-physical systems. CDC 2017: 4224-4230 - [c70]Yiding Ji, Stéphane Lafortune:
Enforcing opacity by publicly known edit functions. CDC 2017: 4866-4871 - [i2]Eunsuk Kang, Stéphane Lafortune, Stavros Tripakis:
Synthesis of Property-Preserving Mappings. CoRR abs/1705.03618 (2017) - 2016
- [j83]Yi-Chin Wu, Stéphane Lafortune:
Synthesis of Optimal Insertion Functions for Opacity Enforcement. IEEE Trans. Autom. Control. 61(3): 571-584 (2016) - [j82]Xiang Yin, Stéphane Lafortune:
Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(5): 1239-1254 (2016) - [j81]Xiang Yin, Stéphane Lafortune:
A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems. IEEE Trans. Autom. Control. 61(8): 2140-2154 (2016) - [j80]Xiang Yin, Stéphane Lafortune:
Decentralized Supervisory Control With Intersection-Based Architecture. IEEE Trans. Autom. Control. 61(11): 3644-3650 (2016) - [c69]Yi-Chin Wu, Gil Lederman, Stéphane Lafortune:
Enhancing opacity of stochastic discrete event systems using insertion functions. ACC 2016: 2053-2060 - [c68]Xiang Yin, Stéphane Lafortune:
On the maximally-permissive range control problem in partially-observed discrete event systems. CDC 2016: 3923-3928 - [c67]Richard C. Hill, Stéphane Lafortune:
Planning under abstraction within a supervisory control context. CDC 2016: 4770-4777 - [c66]Yi-Chin Wu, Vasumathi Raman, Stéphane Lafortune, Sanjit A. Seshia:
Obfuscator Synthesis for Privacy and Utility. NFM 2016: 133-149 - [c65]Xiang Yin, Stéphane Lafortune:
On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis. WODES 2016: 1-7 - [c64]Lilian Kawakami Carvalho, Yi-Chin Wu, Raymond H. Kwong, Stéphane Lafortune:
Detection and prevention of actuator enablement attacks in supervisory control systems. WODES 2016: 298-305 - [c63]Xiang Yin, Stéphane Lafortune:
On two-way observer and its application to the verification of infinite-step and K-step opacity. WODES 2016: 361-366 - 2015
- [j79]Xiang Yin, Stéphane Lafortune:
Codiagnosability and coobservability under dynamic observations: Transformation and verification. Autom. 61: 241-252 (2015) - [j78]Xi-Ren Cao, Stéphane Lafortune:
Editorial: changes at J-DEDS. Discret. Event Dyn. Syst. 25(1-2): 1-2 (2015) - [j77]Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune:
Special issue on recent advances in control of discrete event systems. Discret. Event Dyn. Syst. 25(1-2): 3-5 (2015) - [j76]Yin Wang, Tae-Sic Yoo, Stéphane Lafortune:
Erratum to: Diagnosis of discrete event systems using decentralized architectures. Discret. Event Dyn. Syst. 25(4): 601-603 (2015) - [j75]Anna Ghazaryan, Stéphane Lafortune, P. McLarnan:
Stability Analysis for Combustion Fronts Traveling in Hydraulically Resistant Porous Media. SIAM J. Appl. Math. 75(3): 1225-1244 (2015) - [j74]Jason Stanley, Hongwei Liao, Stéphane Lafortune:
SAT-Based Control of Concurrent Software for Deadlock Avoidance. IEEE Trans. Autom. Control. 60(12): 3269-3274 (2015) - [c62]Xiang Yin, Stéphane Lafortune:
A new approach for synthesizing opacity-enforcing supervisors for partially-observed discrete-event systems. ACC 2015: 377-383 - [c61]Xiang Yin, Stéphane Lafortune:
On the relationship between codiagnosability and coobservability under dynamic observations. ACC 2015: 390-395 - [c60]Xiang Yin, Stéphane Lafortune:
Minimization of sensor activation in decentralized fault diagnosis of discrete event systems. CDC 2015: 1014-1019 - [c59]Yi-Chin Wu, Stéphane Lafortune:
Synthesis of opacity-enforcing insertion functions that can be publicly known. CDC 2015: 3506-3513 - [c58]Xiang Yin, Stéphane Lafortune:
A general approach for solving dynamic sensor activation problems for a class of properties. CDC 2015: 3610-3615 - [r1]Stéphane Lafortune:
Diagnosis of Discrete Event Systems. Encyclopedia of Systems and Control 2015 - [i1]Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas:
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). Dagstuhl Reports 5(2): 1-25 (2015) - 2014
- [j73]Yi-Chin Wu, Stéphane Lafortune:
Synthesis of insertion functions for enforcement of opacity security properties. Autom. 50(5): 1336-1348 (2014) - [j72]Eric Dallal, Stéphane Lafortune:
On Most Permissive Observers in Dynamic Sensor Activation Problems. IEEE Trans. Autom. Control. 59(4): 966-981 (2014) - [j71]Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury:
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59(8): 2176-2181 (2014) - [c57]Xiang Yin, Stéphane Lafortune:
Synthesis of maximally permissive non-blocking supervisors for partially observed discrete event systems. CDC 2014: 5156-5162 - [c56]Yi-Chin Wu, Karthik Abinav Sankararaman, Stéphane Lafortune:
Ensuring Privacy in Location-Based Services: An Approach Based on Opacity Enforcement. WODES 2014: 33-38 - [c55]Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi:
Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. WODES 2014: 222-227 - 2013
- [j70]Janan Zaytoon, Stéphane Lafortune:
Overview of fault diagnosis methods for Discrete Event Systems. Annu. Rev. Control. 37(2): 308-320 (2013) - [j69]Lilian K. Carvalho, Marcos Vicente Moreira, João Carlos Basilio, Stéphane Lafortune:
Robust diagnosis of discrete-event systems against permanent loss of observations. Autom. 49(1): 223-231 (2013) - [j68]Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Autom. 49(8): 2373-2383 (2013) - [j67]Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis:
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discret. Event Dyn. Syst. 23(2): 157-195 (2013) - [j66]Yi-Chin Wu, Stéphane Lafortune:
Comparative analysis of related notions of opacity in centralized and coordinated architectures. Discret. Event Dyn. Syst. 23(3): 307-339 (2013) - [j65]Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke:
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. 58(5): 1123-1138 (2013) - [j64]Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke:
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21(6): 2067-2082 (2013) - [c54]Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune:
Supervisory control for collision avoidance in vehicular networks using discrete event abstractions. ACC 2013: 4380-4386 - [c53]Stéphane Lafortune, Yin Wang, Spyros A. Reveliotis:
Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets. Petri Nets 2013: 21-28 - [c52]Eric Dallal, Alessandro Colombo, Domitilla Del Vecchio, Stéphane Lafortune:
Supervisory control for collision avoidance in vehicular networks with imperfect measurements. CDC 2013: 6298-6303 - [c51]Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke:
Practical lock/unlock pairing for concurrent programs. CGO 2013: 6:1-6:12 - 2012
- [j63]João Carlos Basilio, Saulo Telles Souza Lima, Stéphane Lafortune, Marcos Vicente Moreira:
Computation of minimal event bases that ensure diagnosability. Discret. Event Dyn. Syst. 22(3): 249-292 (2012) - [j62]Jörg Raisch, Alessandro Giua, Thomas Moor, Stéphane Lafortune:
Special issue on recent trends in discrete event systems. Discret. Event Dyn. Syst. 22(4): 381-382 (2012) - [j61]Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Autom. Control. 57(12): 3104-3117 (2012) - [c50]Yi-Chin Wu, Stéphane Lafortune:
Enforcement of opacity properties using insertion functions. CDC 2012: 6722-6728 - [c49]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 - [c48]Thomas Moor, Christine Baier, Tae-Sic Yoo, Feng Lin, Stéphane Lafortune:
On the computation of supremal sublanguages relevant to supervisory control. WODES 2012: 175-180 - [c47]Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES 2012: 208-213 - [c46]Yin Wang, Jason Stanley, Stéphane Lafortune:
Explicit storage and analysis of billions of states using commodity computers. WODES 2012: 364-371 - 2011
- [j60]Andrea Paoli, Matteo Sartini, Stéphane Lafortune:
Active fault tolerant control of discrete event systems using online diagnostics. Autom. 47(4): 639-649 (2011) - [j59]Stéphane Lafortune, Joceline Lega, S. Madrid:
Instability of Local Deformations of an Elastic Rod: Numerical Evaluation of the Evans Function. SIAM J. Appl. Math. 71(5): 1653-1672 (2011) - [j58]Weilin Wang, Anouck R. Girard, Stéphane Lafortune, Feng Lin:
On Codiagnosability and Coobservability With Dynamic Observations. IEEE Trans. Autom. Control. 56(7): 1551-1566 (2011) - [j57]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. Autom. Control. 56(8): 1818-1833 (2011) - [c45]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/ECC 2011: 1142-1148 - [c44]Eric Dallal, Stéphane Lafortune:
A framework for optimization of sensor activation using most permissive observers. CDC/ECC 2011: 2711-2717 - [c43]Hongwei Liao, Hao Zhou, Stéphane Lafortune:
Simulation analysis of multithreaded programs under deadlock-avoidance control. WSC 2011: 703-715 - 2010
- [j56]Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz, Dawn M. Tilbury, Stéphane Lafortune:
Multi-level hierarchical interface-based supervisory control. Autom. 46(7): 1152-1164 (2010) - [j55]Weilin Wang, Stéphane Lafortune, Anouck R. Girard, Feng Lin:
Optimal sensor activation for diagnosing discrete event systems. Autom. 46(7): 1165-1175 (2010) - [j54]