The Transactions of The Korean Institute of Electrical Engineers (전기학회논문지)

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지

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

비동기 순차 머신의 강인한 상태 피드백 제어 및 VHDL 구현

  • Published : 2009.12.01
Download PDF
⟨ Previous Next ⟩

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

References

  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 https://doi.org/10.1109/TAC.2003.812814
  2. 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 https://doi.org/10.1109/TAC.2005.860293
  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 https://doi.org/10.1080/00207170801930225
  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 https://doi.org/10.1109/TNS.2006.878820
  5. 양정민, 곽성우, '비동기 상태 피드백 제어를 이용한 TMR 메모리 SEU 극복,' 전기학회논문지, 제57권 제8호, pp. 1440-1446, 2008
  6. 양정민, 곽성우, '외란 입력을 극복하기 위한 입력/출력 비동기 머신의 교정 제어,' 전기학회논문지, 제58권 제3호, pp. 591-597, 2009
  7. S. H. Unger, 'Hazards, critical races, and metastability,' IEEE Transactions on Computers, vol. 44, no. 6, pp.754-768, 1995 https://doi.org/10.1109/12.391185
  8. Z. Kohavi, Switching and Finite Automata Theory (2nd ed.), New York: McGraw-Hill, 1978
  9. M. Sipser, Introduction to the Theory of Computation (2nd ed.), Massachusetts: Thomson, 2006
  10. 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 https://doi.org/10.1049/iet-cta:20070433
  11. J. Sparso and S. Furber (eds.), Principles of Asynchronous Circuit Design - A Systems Perspective, Kluwer Academic Publishers, 2001