dc.contributor.author | Panteli, M. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Panteli, M. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:47:40Z | |
dc.date.available | 2019-04-08T07:47:40Z | |
dc.date.issued | 2013 | |
dc.identifier.isbn | 978-1-4673-5717-3 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/44503 | |
dc.description.abstract | We consider decentralized diagnosis in discrete event systems that are modeled as non-deterministic finite automata and are observed, through distinct natural projection maps, at multiple observation sites. Specifically, we consider a scenario where two or more observers (each with its own map) are allowed to communicate their assessments (state estimates and matching normal/failure conditions) to a centralized location which then makes an overall decision based on the intersection of the local state estimates and their matching conditions. This intersection based decentralized diagnosis (IBDD) scheme can be implemented with polynomial complexity, both at the observation sites and at the centralized location. It is shown that IBDD can be verified with an algorithm of polynomial complexity that constructs verifiers for the observation sites, and analyzes properties of their parallel composition and product with the system. © 2013 IEEE. | en |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source | Proceedings of the IEEE Conference on Decision and Control | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84902313434&doi=10.1109%2fCDC.2013.6760887&partnerID=40&md5=2dc81e1d9bfd6e0566c2a1119fb406a6 | |
dc.subject | Automata theory | en |
dc.subject | State estimation | en |
dc.subject | Natural projections | en |
dc.subject | Polynomial complexity | en |
dc.subject | Nondeterministic finite automaton | en |
dc.subject | Decentralized diagnosis | en |
dc.subject | Decision-based | en |
dc.subject | Image matching | en |
dc.subject | Matching condition | en |
dc.subject | Parallel composition | en |
dc.subject | State estimates | en |
dc.title | Intersection based decentralized diagnosis: Implementation and verification | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/CDC.2013.6760887 | |
dc.description.startingpage | 6311 | |
dc.description.endingpage | 6316 | |
dc.author.faculty | Πολυτεχνική Σχολή / Faculty of Engineering | |
dc.author.department | Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering | |
dc.type.uhtype | Conference Object | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |