Detection of temporal anomalies for partially observed timed PNs (Q1992544)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Detection of temporal anomalies for partially observed timed PNs
scientific article

    Statements

    Detection of temporal anomalies for partially observed timed PNs (English)
    0 references
    0 references
    5 November 2018
    0 references
    Summary: This article concerns faults detection and isolation for timed stochastic discrete event systems modeled with partially observed timed Petri nets. Events occur according to arbitrary probability density functions. The models include the sensors used to measure events and markings and also the temporal constraints to be satisfied by the system operations. These temporal constraints are defined according to tolerance intervals specified for each transition. A fault is an operation that ends too early or too late. The set of trajectories consistent with a given timed measured trajectory is first computed. Then, the probability that the temporal specifications are unsatisfied is estimated for any sequence of measurements and the probability that a temporal fault has occurred is obtained as a consequence.
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references