dc.contributor.author | Hadjicostis, Christoforos N. | en |
dc.creator | Hadjicostis, Christoforos N. | en |
dc.date.accessioned | 2019-04-08T07:46:02Z | |
dc.date.available | 2019-04-08T07:46:02Z | |
dc.date.issued | 2003 | |
dc.identifier.uri | http://gnosis.library.ucy.ac.cy/handle/7/43542 | |
dc.description.abstract | In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system corrupts its state in a way that can render its future functionality useless. In this paper, we develop a methodology for systematically constructing redundant finitestate machines so that an external checker can capture transient state-transition faults via checks that are performed in a non-concurrent manner (e.g., periodically). More specifically, the proposed approach allows the checker to detect and identify errors due to past state-transition faults based on an analysis of the current, possibly corrupted FSM state. As a result, the checker in such designs can operate at a slower speed than the rest of the system which relaxes the stringent requirements on its reliability. | 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-1542289783&partnerID=40&md5=777e052eb7e4364e658edc192fbd4871 | |
dc.subject | Algorithms | en |
dc.subject | Probability | en |
dc.subject | Matrix algebra | en |
dc.subject | Theorem proving | en |
dc.subject | Vectors | en |
dc.subject | Identification (control systems) | en |
dc.subject | Digital control systems | en |
dc.subject | Signal interference | en |
dc.subject | Error detection | en |
dc.subject | Digital sequential systems | en |
dc.subject | Machine embeddings | en |
dc.title | Finite-State Machine Embeddings for Non-Concurrent Error Detection and Identification | en |
dc.type | info:eu-repo/semantics/conferenceObject | |
dc.description.volume | 4 | |
dc.description.startingpage | 3215 | |
dc.description.endingpage | 3220 | |
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 | |