On Robust Reachability of Input/State Switched Asynchronous Sequential Machines

Seong Woo Kwak, Jung–Min Yang

2017

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.

Paper Citation

in Harvard Style

Kwak S. and Yang J. (2017). On Robust Reachability of Input/State Switched Asynchronous Sequential Machines. In - BIOINFORMATICS, (BIOSTEC 2017) ISBN , pages 0-0. DOI: 10.5220/0006220400001488

in Bibtex Style

@conference{bioinformatics17,
author={Seong Woo Kwak and Jung–Min Yang},
title={On Robust Reachability of Input/State Switched Asynchronous Sequential Machines},
booktitle={ - BIOINFORMATICS, (BIOSTEC 2017)},
year={2017},
pages={},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006220400001488},
isbn={},
}

in EndNote Style

TY - CONF

JO - - BIOINFORMATICS, (BIOSTEC 2017)
TI - On Robust Reachability of Input/State Switched Asynchronous Sequential Machines
SN -
AU - Kwak S.
AU - Yang J.
PY - 2017
SP - 0
EP - 0
DO - 10.5220/0006220400001488