This paper is concerned with the diagnosability property of partially observed Discrete Event Systems (DES) modeled by live and safe Interpreted Petri Nets (IPN). The IPN are used to model the normal behavior and permanent behavior. Based on the model with the normal and faulty behavior, the notion of input-output diagnosability is introduced and a polynomial algorithm to characterize diagnosable IPN is proposed. The novel features of the approach herein presented are: a) the notion of maximum relative distance between any pair of transitions; b) the use of the net siphons and T-semiflows to determine the relative distance between any pair of transitions; c) a characterization of diagnosable IPN based on the relative distance concept, it characterizes a broader class of IPN exhibiting the diagnosability property and presents a better deepening of the structures needed to characterize diagnosable IPN; d) an efficient method for obtaining a reduced diagnoser IPN model is proposed.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Structural Characterization of Diagnosability and On-Line Fault Detection and Location Methodology


    Beteiligte:


    Erscheinungsdatum :

    01.09.2009


    Format / Umfang :

    366654 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Design for Diagnosability

    Eichhorn, John W. | SAE Technical Papers | 1983


    Design for diagnosability

    Eichhorn,J.W. / General Motors,US | Kraftfahrwesen | 1983



    Optimal Layout of Liquid Rocket Engine Turbopump Sensors based on Fault Diagnosability

    Liu, Yuwei / Cheng, Yuqiang / Shuming, Yang et al. | TIBKAT | 2023