dc.contributor.author | Keroglou, C. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Keroglou, C. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:26Z | |
dc.date.available | 2019-04-08T07:46:26Z | |
dc.date.issued | 2018 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43774 | |
dc.description.abstract | We extend and verify diagnosability for a class of set intersection refinement strategies, which can be used for distributed state estimation and fault diagnosis in nondeterministic finite automata that are observed at multiple observation sites. These strategies allow observation sites to (periodically) communicate their diagnostic information (i.e., possible states along with corresponding status, such as normal operation and/or fault type) to other observation sites, which subsequently fuse all available diagnostic information (via set intersection operations), and continue operation based on the refined diagnostic information. We verify diagnosability using the proposed distributed protocol, with polynomial complexity, via compositions of (extended versions of) local verifiers, which are capable of capturing the refinement of information under the set intersection operations, as well as the influence of the refinement process on immediate or future diagnosis decisions. IEEE | en |
dc.source | IEEE Transactions on Automatic Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85041381866&doi=10.1109%2fTAC.2018.2799519&partnerID=40&md5=0cd36c4cce5c6d824d3601d85c50e53e | |
dc.subject | Parallel algorithms | en |
dc.subject | Discrete event simulation | en |
dc.subject | Failure analysis | en |
dc.subject | Network protocols | en |
dc.subject | Fault detection | en |
dc.subject | Synchronization | en |
dc.subject | Distributed algorithms | en |
dc.subject | Polynomial complexity | en |
dc.subject | Discrete-event systems | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Automata | en |
dc.subject | Complexity theory | en |
dc.subject | Discrete event systems | en |
dc.subject | Distributed diagnosis | en |
dc.subject | Distributed fault diagnosis | en |
dc.subject | Distributed protocols | en |
dc.subject | Distributed state estimation | en |
dc.subject | Fault diagnosis | en |
dc.subject | Protocols | en |
dc.title | Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TAC.2018.2799519 | |
dc.description.issue | Journal Article | en |
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 | |