Asynchronous correction for cascade composition of finite state machines

Jung Min Yang; Seong Woo Kwak

doi:10.1109/ICSMC.2012.6378102

Asynchronous correction for cascade composition of finite state machines

Jung Min Yang, Seong Woo Kwak

School of Electronics Engineering

Keimyung University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This paper presents a scheme of correcting transient faults in finite state machines with asynchronous mechanism. The considered system is cascade composition of two finite state machines and is exposed to transient faults that cause unauthorized state transitions. Using the theory of corrective control for asynchronous sequential machines, the proposed framework yields an output feedback controller that diagnoses and tolerates any transient faults occurring to the system so that the closed-loop system can continue the normal behavior. With no observation module added, the controller can determine which component experiences a transient fault. An illustrative example is provided for sketching the design procedure of the proposed controller.

Original language	English
Title of host publication	Proceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012
Pages	2401-2406
Number of pages	6
DOIs	https://doi.org/10.1109/ICSMC.2012.6378102
State	Published - 2012
Event	2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012 - Seoul, Korea, Republic of Duration: 14 Oct 2012 → 17 Oct 2012

Publication series

Name	Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)	1062-922X

Conference

Conference	2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012
Country/Territory	Korea, Republic of
City	Seoul
Period	14/10/12 → 17/10/12

Keywords

asynchronous sequential machines
cascade composition
corrective controllers
fault diagnosis and tolerance

Access to Document

10.1109/ICSMC.2012.6378102

Cite this

@inproceedings{e7119a4a7155423190dd8c42bfece07b,

title = "Asynchronous correction for cascade composition of finite state machines",

abstract = "This paper presents a scheme of correcting transient faults in finite state machines with asynchronous mechanism. The considered system is cascade composition of two finite state machines and is exposed to transient faults that cause unauthorized state transitions. Using the theory of corrective control for asynchronous sequential machines, the proposed framework yields an output feedback controller that diagnoses and tolerates any transient faults occurring to the system so that the closed-loop system can continue the normal behavior. With no observation module added, the controller can determine which component experiences a transient fault. An illustrative example is provided for sketching the design procedure of the proposed controller.",

keywords = "asynchronous sequential machines, cascade composition, corrective controllers, fault diagnosis and tolerance",

author = "Yang, {Jung Min} and Kwak, {Seong Woo}",

year = "2012",

doi = "10.1109/ICSMC.2012.6378102",

language = "English",

isbn = "9781467317146",

series = "Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics",

pages = "2401--2406",

booktitle = "Proceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012",

note = "2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012 ; Conference date: 14-10-2012 Through 17-10-2012",

}

Yang, JM & Kwak, SW 2012, Asynchronous correction for cascade composition of finite state machines. in Proceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012., 6378102, Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics, pp. 2401-2406, 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012, Seoul, Korea, Republic of, 14/10/12. https://doi.org/10.1109/ICSMC.2012.6378102

Asynchronous correction for cascade composition of finite state machines. / Yang, Jung Min; Kwak, Seong Woo.
Proceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012. 2012. p. 2401-2406 6378102 (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Asynchronous correction for cascade composition of finite state machines

AU - Yang, Jung Min

AU - Kwak, Seong Woo

PY - 2012

Y1 - 2012

N2 - This paper presents a scheme of correcting transient faults in finite state machines with asynchronous mechanism. The considered system is cascade composition of two finite state machines and is exposed to transient faults that cause unauthorized state transitions. Using the theory of corrective control for asynchronous sequential machines, the proposed framework yields an output feedback controller that diagnoses and tolerates any transient faults occurring to the system so that the closed-loop system can continue the normal behavior. With no observation module added, the controller can determine which component experiences a transient fault. An illustrative example is provided for sketching the design procedure of the proposed controller.

AB - This paper presents a scheme of correcting transient faults in finite state machines with asynchronous mechanism. The considered system is cascade composition of two finite state machines and is exposed to transient faults that cause unauthorized state transitions. Using the theory of corrective control for asynchronous sequential machines, the proposed framework yields an output feedback controller that diagnoses and tolerates any transient faults occurring to the system so that the closed-loop system can continue the normal behavior. With no observation module added, the controller can determine which component experiences a transient fault. An illustrative example is provided for sketching the design procedure of the proposed controller.

KW - asynchronous sequential machines

KW - cascade composition

KW - corrective controllers

KW - fault diagnosis and tolerance

UR - http://www.scopus.com/inward/record.url?scp=84872376603&partnerID=8YFLogxK

U2 - 10.1109/ICSMC.2012.6378102

DO - 10.1109/ICSMC.2012.6378102

M3 - Conference contribution

AN - SCOPUS:84872376603

SN - 9781467317146

T3 - Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

SP - 2401

EP - 2406

BT - Proceedings 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012

T2 - 2012 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2012

Y2 - 14 October 2012 through 17 October 2012

ER -

Asynchronous correction for cascade composition of finite state machines

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this