Excellence in Research and Innovation for Humanity

International Science Index


Select areas to restrict search in scientific publication database:
10005309
Asynchronous Sequential Machines with Fault Detectors
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.
Digital Article Identifier (DAI):

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.

Vol:11 No:12 2017Vol:11 No:11 2017Vol:11 No:10 2017Vol:11 No:09 2017Vol:11 No:08 2017Vol:11 No:07 2017Vol:11 No:06 2017Vol:11 No:05 2017Vol:11 No:04 2017Vol:11 No:03 2017Vol:11 No:02 2017Vol:11 No:01 2017
Vol:10 No:12 2016Vol:10 No:11 2016Vol:10 No:10 2016Vol:10 No:09 2016Vol:10 No:08 2016Vol:10 No:07 2016Vol:10 No:06 2016Vol:10 No:05 2016Vol:10 No:04 2016Vol:10 No:03 2016Vol:10 No:02 2016Vol:10 No:01 2016
Vol:9 No:12 2015Vol:9 No:11 2015Vol:9 No:10 2015Vol:9 No:09 2015Vol:9 No:08 2015Vol:9 No:07 2015Vol:9 No:06 2015Vol:9 No:05 2015Vol:9 No:04 2015Vol:9 No:03 2015Vol:9 No:02 2015Vol:9 No:01 2015
Vol:8 No:12 2014Vol:8 No:11 2014Vol:8 No:10 2014Vol:8 No:09 2014Vol:8 No:08 2014Vol:8 No:07 2014Vol:8 No:06 2014Vol:8 No:05 2014Vol:8 No:04 2014Vol:8 No:03 2014Vol:8 No:02 2014Vol:8 No:01 2014
Vol:7 No:12 2013Vol:7 No:11 2013Vol:7 No:10 2013Vol:7 No:09 2013Vol:7 No:08 2013Vol:7 No:07 2013Vol:7 No:06 2013Vol:7 No:05 2013Vol:7 No:04 2013Vol:7 No:03 2013Vol:7 No:02 2013Vol:7 No:01 2013
Vol:6 No:12 2012Vol:6 No:11 2012Vol:6 No:10 2012Vol:6 No:09 2012Vol:6 No:08 2012Vol:6 No:07 2012Vol:6 No:06 2012Vol:6 No:05 2012Vol:6 No:04 2012Vol:6 No:03 2012Vol:6 No:02 2012Vol:6 No:01 2012
Vol:5 No:12 2011Vol:5 No:11 2011Vol:5 No:10 2011Vol:5 No:09 2011Vol:5 No:08 2011Vol:5 No:07 2011Vol:5 No:06 2011Vol:5 No:05 2011Vol:5 No:04 2011Vol:5 No:03 2011Vol:5 No:02 2011Vol:5 No:01 2011
Vol:4 No:12 2010Vol:4 No:11 2010Vol:4 No:10 2010Vol:4 No:09 2010Vol:4 No:08 2010Vol:4 No:07 2010Vol:4 No:06 2010Vol:4 No:05 2010Vol:4 No:04 2010Vol:4 No:03 2010Vol:4 No:02 2010Vol:4 No:01 2010
Vol:3 No:12 2009Vol:3 No:11 2009Vol:3 No:10 2009Vol:3 No:09 2009Vol:3 No:08 2009Vol:3 No:07 2009Vol:3 No:06 2009Vol:3 No:05 2009Vol:3 No:04 2009Vol:3 No:03 2009Vol:3 No:02 2009Vol:3 No:01 2009
Vol:2 No:12 2008Vol:2 No:11 2008Vol:2 No:10 2008Vol:2 No:09 2008Vol:2 No:08 2008Vol:2 No:07 2008Vol:2 No:06 2008Vol:2 No:05 2008Vol:2 No:04 2008Vol:2 No:03 2008Vol:2 No:02 2008Vol:2 No:01 2008
Vol:1 No:12 2007Vol:1 No:11 2007Vol:1 No:10 2007Vol:1 No:09 2007Vol:1 No:08 2007Vol:1 No:07 2007Vol:1 No:06 2007Vol:1 No:05 2007Vol:1 No:04 2007Vol:1 No:03 2007Vol:1 No:02 2007Vol:1 No:01 2007