Show simple item record

dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:46:03Z
dc.date.available2019-04-08T07:46:03Z
dc.date.issued2002
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/43546
dc.description.abstractThis 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.en
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.sourceProceedings of the IEEE Conference on Decision and Controlen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0036994458&partnerID=40&md5=ed1a7257ed129fd6e14df991c50bab19
dc.subjectMathematical modelsen
dc.subjectStatistical methodsen
dc.subjectProbabilityen
dc.subjectSet theoryen
dc.subjectFailure analysisen
dc.subjectFinite automataen
dc.subjectFinite state machinesen
dc.subjectState occupancy measurementsen
dc.subjectState transition mechanismen
dc.titleProbabilistic fault detection in finite-state machines based on state occupancy measurementsen
dc.typeinfo:eu-repo/semantics/conferenceObject
dc.description.volume4
dc.description.startingpage3994
dc.description.endingpage3999
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeConference Objecten
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid0000-0002-1706-708X


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record