{"title":"Conditions for Fault Recovery of Interconnected Asynchronous Sequential Machines with State Feedback","authors":"Jung\u2013Min Yang","volume":133,"journal":"International Journal of Electronics and Communication Engineering","pagesStart":16,"pagesEnd":20,"ISSN":"1307-6892","URL":"https:\/\/publications.waset.org\/pdf\/10008376","abstract":"In this paper, fault recovery for parallel interconnected
\r\nasynchronous sequential machines is studied. An adversarial input
\r\ncan infiltrate into one of two submachines comprising parallel
\r\ncomposition of the considered asynchronous sequential machine,
\r\ncausing an unauthorized state transition. The control objective is to
\r\nelucidate the condition for the existence of a corrective controller
\r\nthat makes the closed-loop system immune against any occurrence
\r\nof adversarial inputs. In particular, an efficient existence condition
\r\nis presented that does not need the complete modeling of the
\r\ninterconnected asynchronous sequential machine.","references":"[1] X. Geng and J. Hammer, \u201cInput\/output control of asynchronous\r\nsequential machines,\u201d IEEE Trans. Autom. Control, vol. 50, no. 12,\r\npp. 1956\u20131970, 2005.\r\n[2] J. Peng and J. Hammer, \u201cInput\/output control of asynchronous sequential\r\nmachines with races,\u201d Int. J. Control, vol. 83, no. 1, pp. 125\u2013144, 2010.\r\n[3] J. Hammer, \u201cAutomatic defensive control of asynchronous sequential\r\nmachines,\u201d Int. J. Control, vol. 89, no. 1, pp. 193\u2013209, 2015.\r\n[4] B. Wang, J. E. Feng, and M. Meng, \u201cMatrix approach to model matching\r\nof composite asynchronous sequential machines,\u201d IET Control Theory\r\nAppl., vol. 11, no. 13, pp. 2122\u20132130, 2017.\r\n[5] T. E. Murphy, X. Geng, and J. Hammer, \u201cOn the control of asynchronous\r\nmachines with races,\u201d IEEE Trans. Autom. Control, vol. 48, no. 6,\r\npp. 1073\u20131081, 2003.\r\n[6] N. Venkatraman and J. Hammer, \u201cOn the control of asynchronous\r\nsequential machines with infinite cycles,\u201d Int. J. Control, vol. 79, no. 7,\r\npp. 764\u2013785, 2006.\r\n[7] J. Peng and J. Hammer, \u201cBursts and output feedback control of\r\nnon-deterministic asynchronous sequential machines,\u201d Eur. J. Control,\r\nvol. 18, no. 3, pp. 286\u2013300, 2012.\r\n[8] J.\u2013M. Yang, \u201cCorrective control of composite asynchronous sequential\r\nmachines under partial observation,\u201d IEEE Trans. Autom. Control,\r\nvol. 61, no. 2, pp. 473\u2013478, 2016.\r\n[9] J.\u2013M. Yang, \u201cOn fault diagnosis of asynchronous sequential machines\r\nwith parallel composition,\u201d WASET Int. J. Comput., Electr., Automat.,\r\nControl, Info. Eng., vol. 11, no. 9, pp. 947\u2013950, 2017.\r\n[10] J.\u2013M. Yang, \u201cModeling and control of switched asynchronous sequential\r\nmachines,\u201d IEEE Trans. Autom. Control, vol. 61, no. 9, pp. 2714\u20132719,\r\n2016.\r\n[11] J.\u2013M. Yang, \u201cConditions for model matching of switched asynchronous\r\nsequential machines with output feedback,\u201d WASET Int. J. Electr.\r\nComput. Energ. Electron. Commun. Eng., vol. 11, no. 1, pp. 55\u201359,\r\n2017.\r\n[12] C. G. Cassandras and S. Lafortune, Introduction to Discrete Event\r\nSystems, 2nd ed., New York, NY: Springer-Verlag, 2008.\r\n[13] Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd\r\ned., Cambridge, UK: Cambridge University Press, 2010. ","publisher":"World Academy of Science, Engineering and Technology","index":"Open Science Index 133, 2018"}