Asynchronous Sequential Machines with Fault Detectors

Authors: Seong Woo Kwak, Jung-Min Yang

Abstract:

A strategy of fault diagnosis and tolerance for asynchronous sequential machines is discussed in this paper. With no synchronizing clock, it is difficult to diagnose an occurrence of permanent or stuck-in faults in the operation of asynchronous machines. In this paper, we present a fault detector comprised of a timer and a set of static functions to determine the occurrence of faults. In order to realize immediate fault tolerance, corrective control theory is applied to designing a dynamic feedback controller. Existence conditions for an appropriate controller and its construction algorithm are presented in terms of reachability of the machine and the feature of fault occurrences.

Keywords: Asynchronous sequential machines, corrective control, fault diagnosis and tolerance, fault detector.

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

References:

[1] J. Sparsø and S. Furber, Principles of Asynchronous Circuit Design — A Systems Perspective, Kluwer Academic Publishers, 2001.
[2] J. Hammer, “On the corrective control of sequential machines,” Int. J. Control, vol. 65, no. 2, pp. 249–276, 1996.
[3] J. Hammer, “On the control of sequential machines with disturbances,” Int. J. Control, vol. 67, no. 3, pp. 307–331, 1997.
[4] 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.
[5] 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.
[6] X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1956–1970, 2005.
[7] J. Peng and J. Hammer, “Bursts and output feedback control of non-deterministic asynchronous sequential machines,” European J. Control, vol. 18, no. 3, pp. 286–300, 2012.
[8] 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.
[9] J.–M. Yang, “Corrective control of input/output asynchronous sequential machines with adversarial inputs,” IEEE Trans. Autom. Control, vol. 55, no. 3, pp. 755–761, 2010.
[10] J.–M. Yang and J. Hammer, “Asynchronous sequential machines with adversarial intervention: the use of bursts,” Int. J. Control, vol. 83, no. 5, pp. 956–969, 2010.
[11] 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.
[12] J.–M. Yang and S. W. Kwak, “Model matching for asynchronous sequential machines with uncontrollable inputs,” IEEE Trans. Autom. Control, vol. 56, no. 9, pp. 2140–2145, 2011.
[13] J.–M. Yang and S. W. Kwak, “Corrective control of asynchronous machines with uncontrollable inputs: application to single-event-upset error counters,” IET Control Theory Appl., vol. 4, no. 11, pp. 2454–2462, 2010.
[14] J.–M. Yang, “Fault tolerance in asynchronous sequential machines using output feedback control,” IEEE Trans. Autom. Control, vol. 57, no. 6, pp. 1604–1609, 2012.
[15] J.–M. Yang and S. W. Kwak, “Fault diagnosis and fault-tolerant control of input/output asynchronous sequential machines,” IET Control Theory Appl., vol. 6, no. 11, pp. 1682–1689, 2012.
[16] J.–M. Yang, T. Xing, and J. Hammer, “Adaptive control of asynchronous sequential machines with state feedback,” European J. Control, vol. 18, no. 6, pp. 503–527, 2012.
[17] S. Shu and F. Lin, “Fault-tolerant control for safety of faulty discrete event systems,” IEEE Trans. Auto. Sci. Engr., vol. 11, no. 1, pp. 78–89, 2014.
[18] Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed. Cambridge University Press: Cambridge, UK, 2010.