Encoded dynamics for fault tolerance linear finite-state machines

Hadjicostis, Christoforos N.; Verghese, G. C.

doi:10.1109/9.981743

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	2002
dc.identifier.uri	http://gnosis.library.ucy.ac.cy/handle/7/43571
dc.description.abstract	This note discusses fault tolerance in linear finite-state machines (LFSMs). By replacing a given LFSM with a larger, redundant LFSM that preserves the state of the original one in some linearly encoded form, various alternatives to modular redundancy are considered. We characterize the class of appropriate redundant machines in terms of added dynamics and their coupling with the dynamics of the original machine, and illustrate how these can be chosen to minimize redundant hardware.	en
dc.source	IEEE Transactions on Automatic Control	en
dc.source.uri	https://www.scopus.com/inward/record.uri?eid=2-s2.0-0036253420&doi=10.1109%2f9.981743&partnerID=40&md5=8689c61f0575e30adfd65c153fff9695
dc.subject	Linear control systems	en
dc.subject	Finite automata	en
dc.subject	Finite state machines	en
dc.subject	Fault tolerant computer systems	en
dc.subject	Invariance	en
dc.subject	Encoding (symbols)	en
dc.subject	Embedded systems	en
dc.subject	Fault tolerance	en
dc.subject	Linear coding	en
dc.subject	Linear finite-state machines	en
dc.subject	System embeddings	en
dc.subject	Encoded dynamics	en
dc.title	Encoded dynamics for fault tolerance linear finite-state machines	en
dc.type	info:eu-repo/semantics/article
dc.identifier.doi	10.1109/9.981743
dc.description.volume	47
dc.description.issue	1
dc.description.startingpage	189
dc.description.endingpage	192
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 Autom Control	en
dc.contributor.orcid	Hadjicostis, Christoforos N. [0000-0002-1706-708X]
dc.gnosis.orcid	0000-0002-1706-708X

Files in this item

Files	Size	Format	View
There are no files associated with this item.

This item appears in the following Collection(s)

Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών / Department of Electrical and Computer Engineering [2897]

Show simple item record