# On Robust Reachability of Input/State Switched Asynchronous Sequential Machines

### Seong Woo Kwak, Jung–Min Yang

#### 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.

#### References

- Hammer, J. (1995). On the modeling and control of biological signaling chains. In Proceedings of IEEE International Conference on Decision and Control, pp. 3742- 3752.
- Huffman, D. A. (1954). The synthesis of sequential switching circuits. Journal of The Franklin Institute, 257, 161-190.
- Kohavi, Z., Jha, N. K. (2010). Switching and finite automata theory (3rd ed.). Cambridge, UK: Cambridge University Press.
- Krishna, C. M., Shin, K. G. (1997). Real-time systems. NewYork: McGraw-Hill.
- Murphy, T. E., Geng, X., Hammer, J. (2003). On the control of asynchronous machines with races. IEEE Transactions on Automatic Control, 48(6), 1073-1081.
- Peng, J., Hammer, J. (2012). Bursts and output feedback control of non-deterministic asynchronous sequential machines. European Journal of Control, 18(3), 286- 300.
- Saadatpour, A., Albert, I., Albert, R. (2010). Attractor analysis of asynchronous Boolean models of signal transduction networks. Journal of Theoretical Biology, 266(4), 641-656.
- Schwartz, M. (1996). Broadband integrated networks. New Jersey: Prentice Hall.
- Sparsø, J., Furber, S. (2001). Principles of asynchronous circuit design - a systems perspective. Kluwer Academic Publishers.
- Sun, Z., Ge, S. S. (2006) Switched linear systems: control and design. London: Springer-Verlag.
- Unger, S. H. (1995). Hazards, critical races, and metastability. IEEE Transactions on Computers. 44(6), 754- 768.
- Yang, J. M. (2016). Modeling and control of switched asynchronous sequential machines. IEEE Transactions on Automatic Control, 61(9), 2714-2719.
- Zhang, L., Feng, J. (2012). Controllability and observability of switched Boolean control networks. IET Control Theory & Applications, 6(16), 2477-2484.

#### Paper Citation

#### in Harvard Style

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, pages 190-195. DOI: 10.5220/0006220401900195

#### 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={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},

}

#### in EndNote Style

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

AU - Kwak S.

AU - Yang J.

PY - 2017

SP - 190

EP - 195

DO - 10.5220/0006220401900195