Probabilistic fault detection in finite-state machines based on state occupancy measurements
AuthorHadjicostis, Christoforos N.
SourceProceedings of the IEEE Conference on Decision and Control
Proceedings of the IEEE Conference on Decision and Control
Google Scholar check
MetadataShow full item record
This paper discusses a probabilistic methodology for detecting permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated detector observes the frequencies with which states are occupied and detects faults by analyzing the deviation between the expected frequencies and the actual measurements. In addition to state occupancy measurements, the detector requires a statistical characterization of the input, but does not need to know the order with which states appear or the input sequence that is applied to the FSM. The discussion in the paper focuses on the case of a single fault and on the performance of the fault detector in terms of the probabilities of detection and false alarm, the number of states, and the length of the observation window.
Showing items related by title, author, creator and subject.
Defect states of chemical vapor deposition grown GaN nanowires: Effects and mechanisms in the relaxation of carriers Tsokkou, D.; Othonos, A.; Zervos, Matthew (2009)Carrier relaxation in GaN nanowires, grown by atmospheric pressure chemical vapor deposition, via direct nitridation of Ga with NH3 at 950 °C has been investigated in detail. Differential absorption measurements reveal a ...
Saboori, A.; Hadjicostis, Christoforos N. (2013)In this paper, we formulate and analyze methodologies for verifying the notion of initial-state opacity in discrete event systems that are modeled as non-deterministic finite automata with partial observation on their ...
Ru, Y.; Hadjicostis, Christoforos N. (2009)In this paper, we consider state estimation in discrete-event systems (DESs) modeled by labeled Petri nets and present upper bounds on the number of system states (or markings) that are consistent with an observed sequence ...