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

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

Corrective Control of Asynchronous Sequential Machines with Input Disturbance II : Controller Design

입력 외란이 존재하는 비동기 순차 머신의 교정 제어 II : 제어기 설계

  • Published : 2007.09.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper presents the problem of controlling asynchronous sequential machines in the presence of input disturbances, which may be also regarded as an adversary in a game theoretic setting. The main objective is to provide necessary and sufficient condition for the existence of a corrective controller that solves model matching problem of an asynchronous machine suffering from input disturbance. The existence condition can be stated in terms of a simple comparison of two skeleton matrices. The proposed controller eliminates the adversarial effect of input disturbance and makes the controlled machine mimic the behavior of a model in stable-state way. Whenever controller exists, algorithms for their design are outlined and demonstrated in a case study.

Keywords

References

  1. N. Venkatraman, 'On the control of asynchronous machines with infinite cycles,' Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 1996
  2. 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
  3. J. Hammer, 'On the control of incompletely described sequential machines,' International Journal of Control, vol. 63, no. 6, pp. 1005-1028, 1996 https://doi.org/10.1080/00207179608921881
  4. J. Hammer, 'On corrective control of sequential machines,' Intemational 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. N. Venkatraman and J. Hammer, 'On the control of asynchronous sequential machines with infinite cycles,' International Journal of Control, vol. 79, no. 7, pp. 764-785, 2006 https://doi.org/10.1080/00207170600665022
  7. 조경연, 이재훈, 민형복, '기본 모드에서 동작하는 비동기 순차 회로의 시험 벡터 생성,' 전자공학회논문지, 제 35권 C편, 제9호, pp. 38-48, 1998
  8. 류광기, 정정화, '비동기 회로 합성을 위한 펑션 해저드 제거 알고리듬,' 전자공학회논문지, 제36권 C편, 제10호, pp. 47-55, 1999
  9. 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭 제어 I: 모델링', 전기학회논문지, 제51D권, 2007
  10. Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
  11. M. D. Dibenedetto, A. Sangiovanni-Vincentelli and T. Villa, 'Model matching for finite-state machines,' IEEE Transactions on Automatic Control, vol. 46, no. 11, pp. 1726-1743, 2001 https://doi.org/10.1109/9.964683
  12. X. J. Geng, 'Model matching for asynchronous sequential machines,' Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003