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

  1. 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.
  2. Huffman, D. A. (1954). The synthesis of sequential switching circuits. Journal of The Franklin Institute, 257, 161-190.
  3. Kohavi, Z., Jha, N. K. (2010). Switching and finite automata theory (3rd ed.). Cambridge, UK: Cambridge University Press.
  4. Krishna, C. M., Shin, K. G. (1997). Real-time systems. NewYork: McGraw-Hill.
  5. 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.
  6. Peng, J., Hammer, J. (2012). Bursts and output feedback control of non-deterministic asynchronous sequential machines. European Journal of Control, 18(3), 286- 300.
  7. 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.
  8. Schwartz, M. (1996). Broadband integrated networks. New Jersey: Prentice Hall.
  9. Sparsø, J., Furber, S. (2001). Principles of asynchronous circuit design - a systems perspective. Kluwer Academic Publishers.
  10. Sun, Z., Ge, S. S. (2006) Switched linear systems: control and design. London: Springer-Verlag.
  11. Unger, S. H. (1995). Hazards, critical races, and metastability. IEEE Transactions on Computers. 44(6), 754- 768.
  12. Yang, J. M. (2016). Modeling and control of switched asynchronous sequential machines. IEEE Transactions on Automatic Control, 61(9), 2714-2719.
  13. Zhang, L., Feng, J. (2012). Controllability and observability of switched Boolean control networks. IET Control Theory & Applications, 6(16), 2477-2484.
Download


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