Conditions for Fault Recovery of Interconnected Asynchronous Sequential Machines with State Feedback

Authors: Jung–Min Yang

Abstract:

In this paper, fault recovery for parallel interconnected asynchronous sequential machines is studied. An adversarial input can infiltrate into one of two submachines comprising parallel composition of the considered asynchronous sequential machine, causing an unauthorized state transition. The control objective is to elucidate the condition for the existence of a corrective controller that makes the closed-loop system immune against any occurrence of adversarial inputs. In particular, an efficient existence condition is presented that does not need the complete modeling of the interconnected asynchronous sequential machine.

Keywords: Asynchronous sequential machines, parallel composition, corrective control, fault tolerance.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1314897

References:

[1] X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1956–1970, 2005.
[2] J. Peng and J. Hammer, “Input/output control of asynchronous sequential machines with races,” Int. J. Control, vol. 83, no. 1, pp. 125–144, 2010.
[3] J. Hammer, “Automatic defensive control of asynchronous sequential machines,” Int. J. Control, vol. 89, no. 1, pp. 193–209, 2015.
[4] B. Wang, J. E. Feng, and M. Meng, “Matrix approach to model matching of composite asynchronous sequential machines,” IET Control Theory Appl., vol. 11, no. 13, pp. 2122–2130, 2017.
[5] T. E. Murphy, X. Geng, and J. Hammer, “On the control of asynchronous machines with races,” IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 1073–1081, 2003.
[6] N. Venkatraman and J. Hammer, “On the control of asynchronous sequential machines with infinite cycles,” Int. J. Control, vol. 79, no. 7, pp. 764–785, 2006.
[7] J. Peng and J. Hammer, “Bursts and output feedback control of non-deterministic asynchronous sequential machines,” Eur. J. Control, vol. 18, no. 3, pp. 286–300, 2012.
[8] J.–M. Yang, “Corrective control of composite asynchronous sequential machines under partial observation,” IEEE Trans. Autom. Control, vol. 61, no. 2, pp. 473–478, 2016.
[9] J.–M. Yang, “On fault diagnosis of asynchronous sequential machines with parallel composition,” WASET Int. J. Comput., Electr., Automat., Control, Info. Eng., vol. 11, no. 9, pp. 947–950, 2017.
[10] J.–M. Yang, “Modeling and control of switched asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 61, no. 9, pp. 2714–2719, 2016.
[11] J.–M. Yang, “Conditions for model matching of switched asynchronous sequential machines with output feedback,” WASET Int. J. Electr. Comput. Energ. Electron. Commun. Eng., vol. 11, no. 1, pp. 55–59, 2017.
[12] C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed., New York, NY: Springer-Verlag, 2008.
[13] Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge, UK: Cambridge University Press, 2010.