dc.contributor.author | Athanasopoulou, E. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Athanasopoulou, E. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:44:47Z | |
dc.date.available | 2019-04-08T07:44:47Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/42827 | |
dc.description.abstract | In this paper, we consider distributed systems that can be modeled as finite state machines with known behavior under fault-free conditions, and we study the detection of a general class of faults that manifest themselves as permanent changes in the next-state transition functionality of the system. This scenario could arise in a variety of situations encountered in communication networks, including faults occurred due to design or implementation errors during the execution of communication protocols. In our approach, fault diagnosis is performed by an external observer/diagnoser that functions as a finite state machine and which has access to the input sequence applied to the system but has only limited access to the system state or output. In particular, we assume that the observer/diagnoser is only able to obtain partial information regarding the state of the given system at intermittent time intervals that are determined by certain synchronizing conditions between the system and the observer/diagnoser. By adopting a probabilistic framework, we analyze ways to optimally choose these synchronizing conditions and develop adaptive strategies that achieve a low probability of aliasing, i.e., a low probability that the external observer/diagnoser incorrectly declares the system as fault-free. An application of these ideas in the context of protocol testing/classification is provided as an example. © 2005 IEEE. | en |
dc.source | IEEE Transactions on Neural Networks | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-26844494151&doi=10.1109%2fTNN.2005.853430&partnerID=40&md5=018afb48b00433911eeea2854b287b9e | |
dc.subject | Internet | en |
dc.subject | Mathematical models | en |
dc.subject | Methodology | en |
dc.subject | Article | en |
dc.subject | Distributed computer systems | en |
dc.subject | Algorithms | en |
dc.subject | Algorithm | en |
dc.subject | Information retrieval | en |
dc.subject | Statistical model | en |
dc.subject | Probability | en |
dc.subject | Evaluation | en |
dc.subject | Artifact | en |
dc.subject | Information storage and retrieval | en |
dc.subject | Markov processes | en |
dc.subject | Markov models | en |
dc.subject | Distributed systems | en |
dc.subject | Finite automata | en |
dc.subject | Artifacts | en |
dc.subject | Artificial intelligence | en |
dc.subject | Automated pattern recognition | en |
dc.subject | Communication protocols | en |
dc.subject | Computer networks | en |
dc.subject | Computer simulation | en |
dc.subject | Discrete event system | en |
dc.subject | Discrete event system (des) | en |
dc.subject | Fault tolerant computer systems | en |
dc.subject | Finite-state machines (fsms) | en |
dc.subject | Models, statistical | en |
dc.subject | Network protocols | en |
dc.subject | Pattern recognition, automated | en |
dc.subject | Probabilistic fault detection | en |
dc.subject | Signal processing | en |
dc.subject | Signal processing, computer-assisted | en |
dc.subject | Telecommunication | en |
dc.subject | Telecommunications | en |
dc.title | Probabilistic approaches to fault detection in networked discrete event systems | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TNN.2005.853430 | |
dc.description.volume | 16 | |
dc.description.issue | 5 | |
dc.description.startingpage | 1042 | |
dc.description.endingpage | 1052 | |
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.Neural Networks | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |