Asynchronous Sequential Machines with Fault Detectors

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.




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.