dc.contributor.author | Fabre, E. | en |
dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Fabre, E. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:45:49Z | |
dc.date.available | 2019-04-08T07:45:49Z | |
dc.date.issued | 2006 | |
dc.identifier.isbn | 1-4244-0053-8 | |
dc.identifier.isbn | 978-1-4244-0053-9 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43406 | |
dc.description.abstract | We consider modular automata, obtained as a product of elementary components, and adopt the usual sequential semantics: runs of these systems are sequences of events (in contrast to partial orders). The set of all runs of an automaton can be described by a trellis, which forms the support of many recursive estimation or decision algorithms. In this paper, we revise this notion to adapt it to the case of modular automata, and obtain a factorization property on this revised trellis. This factorization opens the way to distributed estimation algorithms that were described up to now in partial order semantics. © 2006 IEEE. | en |
dc.source | Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006 | en |
dc.source | Proceedings - Eighth International Workshop on Discrete Event Systems, WODES 2006 | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-34250726155&doi=10.1109%2fWODES.2006.1678445&partnerID=40&md5=3e4e92d22e1d8ef5f1506d8589dde6d9 | |
dc.subject | Distributed computer systems | en |
dc.subject | Parallel algorithms | en |
dc.subject | Distributed systems | en |
dc.subject | Automata theory | en |
dc.subject | Trellis codes | en |
dc.subject | Computer system recovery | en |
dc.subject | Decision algorithms | en |
dc.subject | Factorization | en |
dc.subject | Modular automata | en |
dc.subject | Semantics | en |
dc.subject | Sequential semantics | en |
dc.title | A trellis notion for distributed system diagnosis with sequential semantics | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.identifier.doi | 10.1109/WODES.2006.1678445 | |
dc.description.startingpage | 294 | |
dc.description.endingpage | 300 | |
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 | |