On Fault Diagnosis of Asynchronous Sequential Machines with Parallel Composition

Authors: Jung-Min Yang

Abstract:

Fault diagnosis of composite asynchronous sequential machines with parallel composition is addressed in this paper. An adversarial input can infiltrate one of two submachines comprising the composite asynchronous machine, causing an unauthorized state transition. The objective is to characterize the condition under which the controller can diagnose any fault occurrence. Two control configurations, state feedback and output feedback, are considered in this paper. In the case of output feedback, the exact estimation of the state is impossible since the current state is inaccessible and the output feedback is given as the form of burst. A simple example is provided to demonstrate the proposed methodology.

Keywords: Asynchronous sequential machines, parallel composition, fault diagnosis.

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

References:

[1] 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.
[2] 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.
[3] J. Peng and J. Hammer, “Bursts and output feedback control of non-deterministic asynchronous sequential machines,” Euro. J. Control, vol. 18, no. 3, pp. 286–300, 2012.
[4] J.-M. Yang and S. W. Kwak, “Realizing fault-tolerant asynchronous sequential machines using corrective control,” IEEE Trans. Control Syst. Technol., vol. 18, no. 6, pp. 1457–1463, 2010.
[5] J.-M. Yang and S. W. Kwak, “Output feedback control of asynchronous sequential machines with disturbance inputs,” Inf. Sci., vol. 259, pp. 87–99, 2014.
[6] M. C. Zhou, F. DiCesare, and D. L. Rudolph, “Design and implementation of a Petri net based supervisor for a flexible manufacturing system,” Automatica, vol. 28, no. 6, pp. 1199–1208, 1992.
[7] C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed., New York: Springer, 2008.
[8] X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1956–1970, 2005.
[9] 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.
[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.
[12] Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press: Cambridge, UK, 2010.