Journal of the Institute of Electronics Engineers of Korea SC (전자공학회논문지SC)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지

Corrective Control of Asynchronous Sequential Machines for Tolerating Permanent Faults

교정 제어를 이용한 비동기 순차 머신의 영구 고장 극복

  • Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
  • 양정민 (대구가톨릭대학교 전자공학과)
  • Received : 2010.07.19
  • Published : 2010.09.25
Download PDF
⟨ Previous Next ⟩

Abstract

Corrective control compensates the stable-state behavior of asynchronous sequential machines so that the closed-loop system can be changed in a desirable way. Using corrective control, we present a novel fault tolerance scheme that overcomes permanent faults for asynchronous sequential machines. When a permanent fault occurs to an asynchronous machine, the fault is not recovered forever while the machine is irreversibly stuck in a set of failure states. But, if the machine has control redundancy in the limited behavior range, corrective control can be applied to solve the fault tolerance problem against permanent faults. We present the condition on detecting permanent faults and the existence condition of an appropriate corrective controller. The design procedure for the proposed controller is described in a case study.

교정 제어는 비동기 순차 머신의 안정 상태 동작을 원하는 목적에 맞게 바꾸어주는 역할을 한다. 본 논문에서는 교정 제어를 이용하여 영구 고장이 존재하는 비동기 순차 머신의 고장 극복 기법을 제안한다. 비동기 순차 머신에서 영구 고장이 발생하면 머신은 원래 상태로 영원히 회복되지 못하고 제한된 상태 집합 내에서만 동작하게 된다. 하지만 비동기 순차 머신이 줄어든 작동 범위 안에서도 정상적인 동작을 계속할 수 있는 여유도를 가지고 있다면 교정 제어 기법을 이용하여 고장 극복 문제를 해결할 수 있다. 본 논문에서는 영구 고장을 탐지할 수 있는 조건과 함께 고장 극복 문제를 푸는 교정 제어기가 존재할 필요충분조건을 밝힌다. 또한 사례 연구를 통해서 제안된 제어기의 설계 과정을 예시한다.

Keywords

References

  1. Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.
  2. C. H. (Kees) Van Berkel, M. B. Josephs, and S. M. Nowick, "Scanning the technology: applications of asynchronous circuits," Proceedings of the IEEE, vol. 87, no. 2, pp. 223-233, 1999. https://doi.org/10.1109/5.740016
  3. J. Hammer, "On the modeling and control of biological signal chains," Proceedings of IEEE International Conference on Decision and Control, pp. 3747-3752, 1995.
  4. J. Hammer, "On the corrective control of sequential machines," International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996. https://doi.org/10.1080/00207179608921696
  5. T. E. Murphy, X. Geng, and J. Hammer, "On the control of asynchronous machines with races," IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073-1081, 2003. https://doi.org/10.1109/TAC.2003.812814
  6. 양정민, "비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계", 전자공학회논문지, 제45권 SC 4호, pp. 11-19, 2008.
  7. J.-M. Yang and J. Hammer, "State feedback control of asynchronous sequential machines with adversarial inputs," International Journal of Control, vol. 81, no. 12, pp. 1910-1929, 2008. https://doi.org/10.1080/00207170801930225
  8. J.-M. Yang and S. W. Kwak, "State recovery for input/output asynchronous machines using output feedback," Proceedings of the 7th Asian Control Conference, pp. 1193-1198, 2009.
  9. 양정민, 곽성우, "외란 입력을 극복하기 위한 입력/출력 비동기 머신의 교정 제어," 전기학회논문지, 제58권 3호, pp. 591-597, 2009.
  10. C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
  11. P. K. Samudrala, J. Ramos, and S. Katkoori, "Selective triple modular redundancy (STMR) based single-event upset (SEU) tolerant synthesis for FPGAs," IEEE Transactions on Nuclear Science, vol. 51, no. 5, pp. 2957-2969, 2004. https://doi.org/10.1109/TNS.2004.834955
  12. S. H. Zad, R. H. Kwong, and W. M. Wonham, "Fault diagnosis in discrete-event systems: framework and model reduction," IEEE Transactions on Automatic Control, vol. 48, no. 7, pp. 1199-1212, 2003. https://doi.org/10.1109/TAC.2003.814099
  13. X. Geng and J. Hammer, "Input/output control of asynchronous sequential machines," IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1956-1970, 2005.