On Fault Diagnosis of Asynchronous Sequential Machines with Parallel Composition

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.

Authors:

• Jung-Min Yang

Keywords:

• Asynchronous sequential machines
• parallel composition
• fault diagnosis.

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.