Show simple item record

dc.contributor.authorHadjicostis, Christoforos N.en
dc.creatorHadjicostis, Christoforos N.en
dc.date.accessioned2019-04-08T07:46:02Z
dc.date.available2019-04-08T07:46:02Z
dc.date.issued2003
dc.identifier.urihttp://gnosis.library.ucy.ac.cy/handle/7/43541
dc.description.abstractIn this paper, we construct fault-tolerant linear finite-state machines (LFSMs) in which error detection and correction can be performed nonconcurrently (e.g., periodically). More specifically, by jointly choosing the state encoding constraints and the redundant dynamics of the fault-tolerant LFSM, we enable an external checker to detect and identify errors due to past faults based on the current, possibly corrupted state of the LFSM. The paper presents systematic constructions of fault-tolerant LFSMs based on a characterization of nonconcurrent error detection/correction in terms of state encoding constraints and redundant dynamics. In particular, we develop a scheme that uses Bose-Chaudhuri-Hocquenghem (BCH) coding and obtains fault-tolerant LFSMs that require 2D additional state variables and have the ability to correct up to D errors in any state variable at any time step in the time interval consisting of the latest N time steps of operation. The construction uses the minimum possible number of additional state variables and requires an error detecting/correcting mechanism with computational complexity that is only linear in N.en
dc.sourceIEEE Transactions on Automatic Controlen
dc.source.urihttps://www.scopus.com/inward/record.uri?eid=2-s2.0-0347947000&doi=10.1109%2fTAC.2003.820066&partnerID=40&md5=c3d1750e61215ed1689e6180bff30ad9
dc.subjectAlgorithmsen
dc.subjectLinear control systemsen
dc.subjectState estimationen
dc.subjectComputational complexityen
dc.subjectError correctionen
dc.subjectError detectionen
dc.subjectFault toleranceen
dc.subjectNonconcurrent error detection and correctionen
dc.subjectTransient faultsen
dc.subjectConvolutional codesen
dc.subjectLinear codingen
dc.subjectLinear finite state machines (lfsm)en
dc.subjectLinear finite-state machinesen
dc.subjectSystem embeddingsen
dc.titleNonconcurrent Error Detection and Correction in Fault-Tolerant Linear Finite-State Machinesen
dc.typeinfo:eu-repo/semantics/article
dc.identifier.doi10.1109/TAC.2003.820066
dc.description.volume48
dc.description.issue12
dc.description.startingpage2133
dc.description.endingpage2140
dc.author.facultyΠολυτεχνική Σχολή / Faculty of Engineering
dc.author.departmentΤμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering
dc.type.uhtypeArticleen
dc.source.abbreviationIEEE Trans Autom Controlen
dc.contributor.orcidHadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid0000-0002-1706-708X


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record