Browse > Article

Robust State Feedback Control of Asynchronous Sequential Machines and Its Implementation on VHDL  

Yang, Jung-Min (대구가톨릭대 전자공학과)
Kwak, Seong-Woo (계명대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.58, no.12, 2009 , pp. 2484-2491 More about this Journal
Abstract
This paper proposes robust state feedback control of asynchronous sequential machines with model uncertainty. The considered asynchronous machine is deterministic, but its state transition function is partially known before executing a control process. The main objective is to derive the existence condition for a corrective controller for which the behavior of the closed-loop system can match a prescribed model in spite of uncertain transitions. The proposed control scheme also has learning ability. The controller perceives true state transitions as it undergoes corrective actions and reflects the learned knowledge in the next step. An adaptation is made such that the controller can have the minimum number of state transitions to realize a model matching procedure. To demonstrate control construction and execution, a VHDL and FPGA implementation of the proposed control scheme is presented.
Keywords
Asynchronous sequential machines; Robust corrective control; Uncertain transitions; VHDL; FPGA;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
Times Cited By SCOPUS : 0
연도 인용수 순위
1 양정민, 곽성우, '외란 입력을 극복하기 위한 입력/출력 비동기 머신의 교정 제어,' 전기학회논문지, 제58권 제3호, pp. 591-597, 2009   과학기술학회마을
2 J. Sparso and S. Furber (eds.), Principles of Asynchronous Circuit Design - A Systems Perspective, Kluwer Academic Publishers, 2001
3 S. H. Unger, 'Hazards, critical races, and metastability,' IEEE Transactions on Computers, vol. 44, no. 6, pp.754-768, 1995   DOI   ScienceOn
4 R. G. Useinov, 'Analytical model of radiation induced or single event latchup in CMOS integrated circuits,' IEEE Transactions on Nuclear Science, vol. 53, no. 4, pp. 1834-1838, 2006   DOI   ScienceOn
5 Z. Kohavi, Switching and Finite Automata Theory (2nd ed.), New York: McGraw-Hill, 1978
6 J.-M. Yang, 'Corrective control of asynchronous sequential machines in the presence of adversarial input,' IET Control Theory and Applications, vol. 2, no. 8, pp. 706 - 716, 2008   DOI   ScienceOn
7 M. Sipser, Introduction to the Theory of Computation (2nd ed.), Massachusetts: Thomson, 2006
8 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   DOI   ScienceOn
9 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
10 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
11 양정민, 곽성우, '비동기 상태 피드백 제어를 이용한 TMR 메모리 SEU 극복,' 전기학회논문지, 제57권 제8호, pp. 1440-1446, 2008   과학기술학회마을