dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:02Z | |
dc.date.available | 2019-04-08T07:46:02Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43536 | |
dc.description.abstract | This note discusses a probabilistic methodology for detecting single permanent or transient functional changes in the state-transition mechanism of a deterministic finite-state machine (FSM). The associated probabilistic detector observes the empirical frequencies with which different states are occupied and detects faults by analyzing the discrepancy between the observed state occupancy measurements and the expected frequencies. 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 exact input sequence that is applied to the FSM. These features can be useful in settings where the input/state order may not be known due to synchronization, communication or other constraints. © 2005 IEEE. | en |
dc.source | IEEE Transactions on Automatic Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-30344439492&doi=10.1109%2fTAC.2005.860270&partnerID=40&md5=bd1aebfd747937ac8f803d0e73a33cae | |
dc.subject | Mathematical models | en |
dc.subject | Statistical methods | en |
dc.subject | Probability | en |
dc.subject | Discrete time control systems | en |
dc.subject | Markov processes | en |
dc.subject | Matrix algebra | en |
dc.subject | Theorem proving | en |
dc.subject | Markov models | en |
dc.subject | Discrete event systems | en |
dc.subject | Finite automata | en |
dc.subject | Finite-state machines (fsms) | en |
dc.subject | Fault detection | en |
dc.subject | Finite state machines (fsms) | en |
dc.subject | Probability distributions | en |
dc.subject | Discrete-event systems | en |
dc.title | Probabilistic detection of FSM single state-transition faults based on state occupancy measurements | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TAC.2005.860270 | |
dc.description.volume | 50 | |
dc.description.issue | 12 | |
dc.description.startingpage | 2078 | |
dc.description.endingpage | 2083 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Article | en |
dc.source.abbreviation | IEEE Trans Autom Control | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |