On Robust Reachability of Input/State Switched Asynchronous Sequential Machines

Seong Woo Kwak; Jung–Min Yang

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

On Robust Reachability of Input/State Switched Asynchronous Sequential Machines

Topics: Model Design and Evaluation; Simulation and Modeling; Structural Bioinformatics; Systems Biology

In Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 3: BIOSTEC, 190-195, 2017 , Porto, Portugal

Authors: Seong Woo Kwak ¹ and Jung–Min Yang ²

Affiliations: ¹ Keimyung University, Korea, Republic of ; ² Kyungpook National University, Korea, Republic of

Keyword(s): Asynchronous Sequential Machines, Switched Systems, Robust Reachability, Fault Tolerance.

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

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

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

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 (BIOSTEC 2017) - BIOINFORMATICS; ISBN 978-989-758-214-1; ISSN 2184-4305, SciTePress, 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 (BIOSTEC 2017) - BIOINFORMATICS},
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 (BIOSTEC 2017) - BIOINFORMATICS
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
PB - SciTePress