Skip to main content
SpringerLink
Log in

Diagnosability of discrete event systems

  • The Automata Theoretic Approach
  • Conference paper
  • First Online:
11th International Conference on Analysis and Optimization of Systems Discrete Event Systems

Part of the book series: Lecture Notes in Control and Information Sciences ((LNCIS,volume 199))

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Caines, P., Greiner, R., Wang, S.: Classical and logic based dynamic observers for finite automata. IMA Journal of Math. Control Inform. 8 (1991) 45–80

    Google Scholar 

  2. Cieslak, R., Desclaux, D., Fawaz, A., Varaiya, P.: Supervisory control of discrete event processes with partial observations. IEEE Trans. AC 33 (1988) 249–260

    Google Scholar 

  3. Lin, F.: Diagnosability of discrete event systems and its applications. Preprint, March, 1993.

    Google Scholar 

  4. Lin, F., Wonham, W.M.: On observability of discrete event systems. Inform. Sci. 44 (1988) 173–198

    Article  Google Scholar 

  5. Özveren, C.M., Willsky, A.S.: Observability of discrete event dynamic systems. IEEE Trans. AC 35 (1990) 797–806

    Google Scholar 

  6. Özveren, C.M., Willsky, A.S.: Invertibility of discrete event dynamic systems. Math. Control Signals Systems 5 (1992) 365–390

    Article  Google Scholar 

  7. Park, Y., Chong, E.: On the eventual invertibility of discrete event systems and its applications. Proc. of the 32nd CDC (1993).

    Google Scholar 

  8. Ramadge, P.J.: Observability of discrete event systems. Proc. of the 25th CDC (1986) 1108–1112

    Google Scholar 

  9. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D: Diagnosability of discrete event systems. Tech. Rep. CGR 94-2, Dept. of EECS, Univ. of Michigan, MI 48109, USA (1994)

    Google Scholar 

  10. Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D: Failure diagnosis using discrete event models. Tech. Rep. CGR 94-3, Dept. of EECS, Univ. of Michigan, MI 48109, USA (1994)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Michigan, 48109, Ann Arbor, MI, USA

    Meera Sampath, Raja Sengupta, Stéphane Lafortune & Demosthenis Teneketzis

  2. Johnson Controls, Inc., 53201, Milwaukee, WI, USA

    Kasim Sinnamohideen

Authors
  1. Meera Sampath
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Raja Sengupta
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Stéphane Lafortune
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Kasim Sinnamohideen
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Demosthenis Teneketzis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Guy Cohen Jean-Pierre Quadrat

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag London Limited

About this paper

Cite this paper

Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D. (1994). Diagnosability of discrete event systems. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033534

Download citation

  • DOI: https://doi.org/10.1007/BFb0033534

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19896-3

  • Online ISBN: 978-3-540-39345-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation