Authors:
Seong Woo Kwak
1
and
Jung–Min Yang
2
Affiliations:
1
Keimyung University, Korea, Republic of
;
2
Kyungpook National University, Korea, Republic of
Keyword(s):
Asynchronous Sequential Machines, Switched Systems, Robust Reachability, Fault Tolerance.
Related
Ontology
Subjects/Areas/Topics:
Bioinformatics
;
Biomedical Engineering
;
Model Design and Evaluation
;
Structural Bioinformatics
;
Systems Biology
Abstract:
Switched asynchronous sequential machines are composite systems consisting of a number of single asynchronous
machines, or submachines, and a rule that orchestrates switching operations between submachines.
In this paper, we investigate robust reachability of switched asynchronous machines. If each submachine has
equivalent state space with one another, it can be used in fault recovery against any unauthorized state transition
caused by transient faults. The robust reachability of switched asynchronous machines is addressed in
terms of simple matrix expressions. The use of robust reachability in fault-tolerant corrective control is also
outlined.