An intelligent technique based on Petri nets for diagnosability enhancement of discrete event systems

4Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

This paper presents an intelligent systematic methodology for enhancing diagnosability of discrete event systems by adding sensors. The methodology consists of the following iteractive steps. First, Petri nets are used to model the target system. Then, an algorithm of polynomial complexity is adopted to analyze a sufficient condition of diagnosability of the modeled system. Here, diagnosability is defined in the context of the discrete event systems theory, which was first introduced by Sampath [3]. If the system is found to be possibly non-diagnosable, T-components of the Petri net model are computed to find a location in the system for adding a sensor. The objective is to distinguish multiple T-components with the same observable event sequences. The diagnosability-checking algorithm is used again to see if the system with the newly added sensor is diagnosable. The process is repeated until either the system is diagnosable or diagnosability of the system cannot be enhanced. © Springer-Verlag Berlin Heidelberg 2006.

Cite

CITATION STYLE

APA

Wen, Y. L., Jeng, M. D., Jeng, L. D., & Fan, P. S. (2006). An intelligent technique based on Petri nets for diagnosability enhancement of discrete event systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4252 LNAI-II, pp. 879–887). Springer Verlag. https://doi.org/10.1007/11893004_112

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free