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

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.

Authors:

• Jung–Min Yang

Keywords:

• Asynchronous sequential machines
• parallel composition
• corrective control
• fault tolerance.

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.