Skip to main content
SpringerLink
Log in

Diagnosis of Discrete Event Systems

  • Living reference work entry
  • First Online:
Encyclopedia of Systems and Control

  • 414 Accesses

Abstract

We discuss the problem of event diagnosis in partially observed discrete event systems. The objective is to infer the past occurrence, if any, of an unobservable event of interest based on the observed system behavior and the complete model of the system. Event diagnosis is performed by diagnosers that are synthesized from the system model and that observe the system behavior at run-time. Diagnosability analysis is the off-line task of determining which events of interest can be diagnosed at run-time by diagnosers.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Bibliography

  • Campos J, Seatzu C, Xie X (eds) (2013) Formal methods in manufacturing. Series on industrial information technology. CRC/Taylor and Francis, Boca Raton

    Google Scholar 

  • Cassandras CG, Lafortune S (2008) Introduction to discrete event systems, 2nd edn. Springer, New York

    Book  MATH  Google Scholar 

  • Lamperti G, Zanella M (2003) Diagnosis of active systems: principles and techniques. Kluwer, Dordrecht

    Book  Google Scholar 

  • Lin F (1994) Diagnosability of discrete event systems and its applications. Discret Event Dyn Syst Theory Appl 4(2):197–212

    Article  MATH  Google Scholar 

  • Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995) Diagnosability of discrete event systems. IEEE Trans Autom Control 40(9):1555–1575

    Article  MATH  MathSciNet  Google Scholar 

  • Seatzu C, Silva M, van Schuppen J (eds) (2013) Control of discrete-event systems. Automata and Petri net perspectives. Lecture notes in control and information sciences, vol 433. Springer, London

    Google Scholar 

  • Zaytoon J, Lafortune S (2013) Overview of fault diagnosis methods for discrete event systems. Annu Rev Control 37(2):308–320

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Electrical Engineering and Computer Science, University of Michigan, Ann Arbor, MI, USA

    Stéphane Lafortune

Authors
  1. Stéphane Lafortune
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Stéphane Lafortune .

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, Boston University, Boston, Massachusetts, USA

    John Baillieul

  2. Automation and Control Solutions, Honeywell, Golden Valley, Minnesota, USA

    Tariq Samad

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag London

About this entry

Cite this entry

Lafortune, S. (2013). Diagnosis of Discrete Event Systems. In: Baillieul, J., Samad, T. (eds) Encyclopedia of Systems and Control. Springer, London. https://doi.org/10.1007/978-1-4471-5102-9_56-1

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-5102-9_56-1

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, London

  • Online ISBN: 978-1-4471-5102-9

  • eBook Packages: Springer Reference EngineeringReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation