loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Seong Woo Kwak 1 and Jung–Min Yang 2

Affiliations: 1 Keimyung University, Korea, Republic of ; 2 Kyungpook National University, Korea, Republic of

ISBN: 978-989-758-214-1

ISSN: 2184-4305

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.177.17

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Kwak, S. and Yang, J. (2017). On Robust Reachability of Input/State Switched Asynchronous Sequential Machines. In Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017) ISBN 978-989-758-214-1 ISSN 2184-4305, pages 190-195. DOI: 10.5220/0006220401900195

@conference{bioinformatics17,
author={Seong Woo Kwak. and Jung–Min Yang.},
title={On Robust Reachability of Input/State Switched Asynchronous Sequential Machines},
booktitle={Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017)},
year={2017},
pages={190-195},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006220401900195},
isbn={978-989-758-214-1},
issn={2184-4305},
}

TY - CONF

JO - Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOINFORMATICS, (BIOSTEC 2017)
TI - On Robust Reachability of Input/State Switched Asynchronous Sequential Machines
SN - 978-989-758-214-1
IS - 2184-4305
AU - Kwak, S.
AU - Yang, J.
PY - 2017
SP - 190
EP - 195
DO - 10.5220/0006220401900195

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.