dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.contributor.author | Verghese, G. C. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.creator | Verghese, G. C. | en |
dc.date.accessioned | 2019-04-08T07:46:05Z | |
dc.date.available | 2019-04-08T07:46:05Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43569 | |
dc.description.abstract | This paper discusses fault tolerance in discrete-time dynamic systems, such as finite-state controllers or computer simulations, with focus on the use of coding techniques to efficiently provide fault tolerance to linear finite-state machines (LFSMs). Unlike traditional fault tolerance schemes, which rely heavily - Particularly for dynamic systems operating over extended time horizons - On the assumption that the error-correcting mechanism is fault free, we are interested in the case when all components of the implementation are fault prone. The paper starts with a paradigmatic fault tolerance scheme that systematically adds redundancy into a discrete-time dynamic system in a way that achieves tolerance to transient faults in both the state transition and the error-correcting mechanisms. By combining this methodology with low-complexity error-correcting coding, we then obtain an efficient way of providing fault tolerance to k identical unreliable LFSMs that operate in parallel on distinct input sequences. The overall construction requires only a constant amount of redundant hardware per machine (but sufficiently large k) to achieve an arbitrarily small probability of overall failure for any prespecified (finite) time interval, leading in this way to a lower bound on the computational capacity of unreliable LFSMs. © 2005 IEEE. | en |
dc.source | IEEE Transactions on Information Theory | en |
dc.source.uri | https://www.scopus.com/inward/record.uri?eid=2-s2.0-12444282770&doi=10.1109%2fTIT.2004.839491&partnerID=40&md5=0a6178faf9fd22de66d0758af93a1238 | |
dc.subject | Probability | en |
dc.subject | Discrete time control systems | en |
dc.subject | Linear control systems | en |
dc.subject | Theorem proving | en |
dc.subject | Fault tolerant computer systems | en |
dc.subject | Error correction | en |
dc.subject | Error detection | en |
dc.subject | Fault tolerance | en |
dc.subject | Redundancy | en |
dc.subject | Transient faults | en |
dc.subject | Coding errors | en |
dc.subject | Linear dynamic systems | en |
dc.subject | Linear finite state machines (lfsms) | en |
dc.subject | Linear finite-state machines (lfsms) | en |
dc.subject | Systems analysis | en |
dc.subject | Unreliable error correction | en |
dc.title | Coding approaches to fault tolerance in linear dynamic systems | en |
dc.type | info:eu-repo/semantics/article | |
dc.identifier.doi | 10.1109/TIT.2004.839491 | |
dc.description.volume | 51 | |
dc.description.issue | 1 | |
dc.description.startingpage | 210 | |
dc.description.endingpage | 228 | |
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.Inf.Theory | en |
dc.contributor.orcid | Hadjicostis, Christoforos N. [0000-0002-1706-708X] | |
dc.gnosis.orcid | 0000-0002-1706-708X | |