Skip to main content
SpringerLink
Log in

Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines

  • Regular Paper
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Corrective control theory lays a novel foundation for the fault-tolerant control of asynchronous sequential machines. In this paper, we present a corrective control scheme for tolerating permanent state transition faults in the dynamics of asynchronous sequential machines. By a fault occurrence, the asynchronous machine may be stuck at a faulty state, not responding to the external input. We analyze the detectability of the considered faults and present the necessary and sufficient condition for the existence of a controller that overcomes any permanent transition faults. Fault tolerance is realized by using potential reachability and asynchronous mechanisms in the machine. A case study on an asynchronous counter is provided to illustrate the proposed fault detection and tolerance scheme.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Sparsϕ J, Furber S. Principles of Asynchronous Circuit Design — A Systems Perspective. Springer, 2001.

  2. Martin A J, Nyström M. Asynchronous techniques for system-on-chip design. Proceedings of IEEE, 2006, 94(6): 1089-1120.

    Article  Google Scholar 

  3. Yang J M. Corrective control of asynchronous sequential machines in the presence of adversarial input. IET Control Theory and Applications, 2008, 2(8): 706-716.

    Article  MathSciNet  Google Scholar 

  4. Yang J M, Kwak S W. Output feedback control of asynchronous sequential machines with disturbance inputs. Information Sciences, 2014, 259: 87-99.

    Article  MathSciNet  MATH  Google Scholar 

  5. Yang J M, Kwak S W. Fault diagnosis and fault-tolerant control of input/output asynchronous sequential machines. IET Control Theory and Applications, 2012, 6(11): 1682-1689.

    Article  MathSciNet  Google Scholar 

  6. Yang J M. Fault-tolerant control of a class of asynchronous sequential machines with permanent faults. Automatica, 2014, 50(3): 989-993.

    Article  MathSciNet  MATH  Google Scholar 

  7. Murphy T E, Geng X, Hammer J. On the control of asynchronous machines with races. IEEE Transactions on Automatic Control, 2003, 48(6): 1073-1081.

    Article  MathSciNet  Google Scholar 

  8. Peng J, Hammer J. Bursts and output feedback control of non-deterministic asynchronous sequential machines. European Journal of Control, 2012, 18(3): 286-300.

    Article  MathSciNet  MATH  Google Scholar 

  9. Venkatraman N, Hammer J. On the control of asynchronous sequential machines with infinite cycles. International Journal of Control, 2006, 79(7): 764-785.

    Article  MathSciNet  MATH  Google Scholar 

  10. Peng J, Hammer J. Input/output control of asynchronous sequential machines with races. International Journal of Control, 2010, 83(1): 125-144.

    Article  MathSciNet  MATH  Google Scholar 

  11. Yang J M, Xing T, Hammer J. Adaptive control of asynchronous sequential machines with state feedback. European Journal of Control, 2012, 18(6): 503-527.

    Article  MathSciNet  MATH  Google Scholar 

  12. Xu X, Hong Y. Matrix approach to model matching of asynchronous sequential machines. IEEE Transactions on Automatic Control, 2013, 58(11): 2974-2979.

    Article  MathSciNet  Google Scholar 

  13. Shu S, Lin F. Fault-tolerant control for safety of faulty discrete event systems. IEEE Transactions on Automation Science and Engineering, 2014, 11(1): 78-89.

    Article  Google Scholar 

  14. Kohavi Z, Jha N K. Switching and Finite Automata Theory (3rd editon). Cambridge University Press, 2010.

  15. Sterpone L, Violante M. Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs. IEEE Transactions on Nuclear Science, 2005, 52(5): 1545-1549.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Electronics Engineering, Kyungpook National University, Daegu, 41566, Korea

    Jung-Min Yang

Authors
  1. Jung-Min Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jung-Min Yang.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yang, JM. Tolerating Permanent State Transition Faults in Asynchronous Sequential Machines. J. Comput. Sci. Technol. 31, 1028–1037 (2016). https://doi.org/10.1007/s11390-016-1677-8

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-016-1677-8

Keywords

Search

Navigation