Welcome to the InfoSci Platform
A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems

A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems

Eric Gascard, Zineb Simeu-Abazi, Bérangère Suiphon
Copyright: © 2015 |Volume: 6 |Issue: 2 |Pages: 22
ISSN: 1947-9220|EISSN: 1947-9239|EISBN13: 9781466678484|DOI: 10.4018/IJARAS.2015070101
Cite Article Cite Article

MLA

Gascard, Eric, et al. "A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems." IJARAS vol.6, no.2 2015: pp.1-22. http://doi.org/10.4018/IJARAS.2015070101

APA

Gascard, E., Simeu-Abazi, Z., & Suiphon, B. (2015). A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems. International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), 6(2), 1-22. http://doi.org/10.4018/IJARAS.2015070101

Chicago

Gascard, Eric, Zineb Simeu-Abazi, and Bérangère Suiphon. "A Polynomial Algorithm for Diagnosability Analysis of Discrete Event Systems," International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS) 6, no.2: 1-22. http://doi.org/10.4018/IJARAS.2015070101

Export Reference

Mendeley
Favorite Full-Issue Download

Abstract

The paper deals with the definition of procedure that enables one to determine, for a given plant, if all faults can be detected and located after a finite sequence of observable events. More formally, the diagnosability is the property that every fault can be correctly detected from the observable events of the system after its occurrence no later than a bounded number of events. In this paper, the diagnosability problem of Discrete Event Systems (DESs) is studied. As modeling tool, finite-state automaton in an event-based framework is used. A necessary and sufficient condition of diagnosability of such systems is proposed. The results proposed in this paper allow checking the diagnosability of discrete event systems in an efficient way, i.e. in polynomial time.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.