World's Best Scientists 2026 revealed!

D-Index & Metrics

Engineering and Technology

D-Index
67
Citations
24827
World Ranking
1268
National Ranking
411

Research.com Recognitions

  • 2014 - Fellow of the International Federation of Automatic Control (IFAC)

Overview

Stéphane Lafortune is affiliated with the University of Michigan-Ann Arbor in the United States. Their research primarily intersects the field of Computer Science, with focused contributions across several subfields including Computational Theory and Mathematics, Statistical and Nonlinear Physics, Artificial Intelligence, Computer Networks and Communications, and Control and Systems Engineering.

The scientist's research covers a range of topics, notably:

  • Petri Nets in System Modeling
  • Formal Methods in Verification
  • Security and Verification in Computing
  • Distributed systems and fault tolerance
  • Nonlinear Waves and Solitons
  • Nonlinear Photonic Systems
  • Advanced Mathematical Physics Problems

Frequent publication venues for Stéphane Lafortune include:

  • arXiv (Cornell University)
  • IFAC-PapersOnLine
  • IEEE Transactions on Automatic Control
  • Automatica
  • Discrete Event Dynamic Systems

Recent papers authored or coauthored by Stéphane Lafortune present work in a variety of high-impact journals. Selected recent publications include:

  • Spectral Instability of Peakons in the b-Family of the Camassa-Holm Equations, 2022, SIAM Journal on Mathematical Analysis
  • Dealing with sensor and actuator deception attacks in supervisory control, 2022, Automatica
  • Optimal supervisory control with mean payoff objectives and under partial observation, 2020, Automatica
  • A general language-based framework for specifying and verifying notions of opacity, 2022, Discrete Event Dynamic Systems
  • Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata, 2021, IEEE Transactions on Automatic Control

Collaboration is a significant aspect of their work. Frequent coauthors include:

  • Rômulo Meira-Góes
  • Andrew Wintenberg
  • Eunsuk Kang
  • Necmiye Özay
  • Stavros Tripakis

In 2014, Stéphane Lafortune was recognized as a Fellow of the International Federation of Automatic Control (IFAC), indicating a professional acknowledgment within the domain of automatic control.

Best Publications

  • Introduction to Discrete Event Systems

    Christos G. Cassandras;Stephane Lafortune

  • Diagnosability of discrete-event systems

    M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen

  • Failure diagnosis using discrete-event models

    M. Sampath;R. Sengupta;S. Lafortune;K. Sinnamohideen

  • Coordinated Decentralized Protocols for Failure Diagnosisof Discrete Event Systems

    Rami Debouk;Stéphane Lafortune;Demosthenis Teneketzis

  • Polynomial-time verification of diagnosability of partially observed discrete-event systems

    Tae-Sic Yoo;S. Lafortune

  • Active diagnosis of discrete-event systems

    M. Sampath;S. Lafortune;D. Teneketzis

  • Overview of fault diagnosis methods for Discrete Event Systems

    Janan Zaytoon;Stéphane Lafortune

  • A General Architecture for Decentralized Supervisory Control of Discrete-Event Systems

    T.-S. Yoo;Stéphane Lafortune

  • Distributed diagnosis of discrete-event systems using Petri nets

    Sahika Genc;Stéphane Lafortune

  • Limited lookahead policies in supervisory control of discrete event systems

    S.-L. Chung;S. Lafortune;F. Lin

  • Comparative analysis of related notions of opacity in centralized and coordinated architectures

    Yi-Chin Wu;Stéphane Lafortune

  • Coordinated decentralized protocols for failure diagnosis of discrete event systems

    R. Debouk;S. Lafortune;D. Teneketzis

  • Diagnosis of Discrete Event Systems Using Decentralized Architectures

    Yin Wang;Tae-Sic Yoo;Stéphane Lafortune

  • Distributed Diagnosis of Place-Bordered Petri Nets

    S. Genc;S. Lafortune

  • Gadara: dynamic deadlock avoidance for multithreaded programs

    Yin Wang;Terence Kelly;Manjunath Kudlur;Stéphane Lafortune

  • On the history of diagnosability and opacity in discrete event systems

    Stéphane Lafortune;Feng Lin;Christoforos N. Hadjicostis

  • Decentralized supervisory control with communicating controllers

    G. Barrett;S. Lafortune

  • A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

    M. P. Cabasino;A. Giua;S. Lafortune;C. Seatzu

  • A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems

    Xiang Yin;Stephane Lafortune

  • Detection and mitigation of classes of attacks in supervisory control systems

    Lilian Kawakami Carvalho;Yi-Chin Wu;Yi-Chin Wu;Raymond H. Kwong;Stéphane Lafortune

  • An Optimal Control Theory for Discrete Event Systems

    Raja Sengupta;Stéphane Lafortune

  • Minimal communication in a distributed discrete-event system

    K. Rudie;S. Lafortune;Feng Lin

Frequent Co-Authors

Feng Lin
Feng Lin Wayne State University
Demosthenis Teneketzis
Demosthenis Teneketzis University of Michigan–Ann Arbor
Raja Sengupta
Raja Sengupta University of California, Berkeley
Scott Mahlke
Scott Mahlke University of Michigan–Ann Arbor
Christos G. Cassandras
Christos G. Cassandras Boston University
Stavros Tripakis
Stavros Tripakis Northeastern University
Dawn M. Tilbury
Dawn M. Tilbury University of Michigan–Ann Arbor
Alessandro Giua
Alessandro Giua University of Cagliari
Carla Seatzu
Carla Seatzu University of Cagliari
Jason Stanley
Jason Stanley Yale University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Engineering and Technology in the USA goes hand-in-hand with today’s flexible education options. Many students now consider 6-month certificate programs that pay well as a stepping stone to lucrative tech jobs. These certificates are ideal if you want a quick route into fields like IT, data analytics, or technical support.

For those balancing family and learning, there are tailored degrees for stay at home moms that offer convenience and career advancement. These programs allow you to study at your own pace and build skills relevant to in-demand industries, including engineering and technology.

If speed is your priority, consider enrolling in 6 week college courses online. These accelerated courses can help you quickly gain academic credits, certifications, or specialized knowledge, enhancing your resume and career readiness.

Additionally, if you are thinking about combining technology with business, getting a finance degree online can further expand your career pathways. Finance and tech skills often overlap, making this a strong combination for roles in fintech, engineering management, or technology startups.

Best Scientists Citing Stéphane Lafortune

Trending Scientists

Recently Published Articles