@inproceedings{d5fd7f4528db4ebeaa230c6b74bf19f2,
title = "On robust reachability of input/state switched asynchronous sequential machines",
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.",
keywords = "Asynchronous Sequential Machines, Fault Tolerance, Robust Reachability, Switched Systems",
author = "Kwak, {Seong Woo} and Yang Jung–Min",
note = "Publisher Copyright: Copyright {\textcopyright} 2017 by SCITEPRESS – Science and Technology Publications, Lda. All rights reserved.; 8th International Conference on Bioinformatics Models, Methods and Algorithms, BIOINFORMATICS 2017 - Part of 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017 ; Conference date: 21-02-2017 Through 23-02-2017",
year = "2017",
doi = "10.5220/0006220401900195",
language = "English",
series = "BIOINFORMATICS 2017 - 8th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017",
publisher = "SciTePress",
pages = "190--195",
editor = "Hesham Ali and Ana Fred and Hugo Gamboa and Mario Vaz",
booktitle = "BIOINFORMATICS 2017 - 8th International Conference on Bioinformatics Models, Methods and Algorithms, Proceedings; Part of 10th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2017",
}