Browse > Article

Corrective Control of Asynchronous Sequential Machines for Tolerating Permanent Faults  

Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
Publication Information
Journal of the Institute of Electronics Engineers of Korea SC / v.47, no.5, 2010 , pp. 9-17 More about this Journal
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
Asynchronous Sequential Machines; Corrective Control; Fault Tolerance; Permanent Faults;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 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.   DOI   ScienceOn
2 양정민, "비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계", 전자공학회논문지, 제45권 SC 4호, pp. 11-19, 2008.   과학기술학회마을
3 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.   DOI   ScienceOn
4 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.
5 양정민, 곽성우, "외란 입력을 극복하기 위한 입력/출력 비동기 머신의 교정 제어," 전기학회논문지, 제58권 3호, pp. 591-597, 2009.   과학기술학회마을
6 C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
7 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.   DOI
8 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.   DOI   ScienceOn
9 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.
10 Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.
11 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.   DOI   ScienceOn
12 J. Hammer, "On the modeling and control of biological signal chains," Proceedings of IEEE International Conference on Decision and Control, pp. 3747-3752, 1995.
13 J. Hammer, "On the corrective control of sequential machines," International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996.   DOI   ScienceOn