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

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

Model Matching of Asynchronous Sequential Machines with Input Disturbance

입력 외란이 존재하는 비동기 순차 머신의 모델 매칭

  • Published : 2008.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

Model matching problem of asynchronous sequential machines is addressed in this paper. The main topic is to design a corrective controller such that the closed-loop behavior of the asynchronous sequential machine can follow a given model, i.e., their models can be "matched" in stable states. In particular, we assume that the considered asynchronous machine suffers from the presence of an input disturbance that can cause undesirable state transitions. The proposed controller can realize both model matching and elimination of the adverse effect of the input disturbance. Necessary and sufficient condition for the existence of a corrective controller that solves model matching problem is presented. Whenever controller exists, algorithms for their design are outlined and demonstrated in a case study.

Keywords

References

  1. S. Hauck, "Asynchronous design methodologies: an overview," Proceedings of the IEEE, vol. 83, no. 1, pp. 69-93, 1995 https://doi.org/10.1109/5.362752
  2. J. Hammer, "On corrective control of sequential machines," International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996 https://doi.org/10.1080/00207179608921696
  3. 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
  4. 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
  5. 양정민, "입력 외란이 존재하는 비동기 순차 머신의 교 정 제어 I: 모델링," 전기학회논문지, 제56권 D편, 제9 호, pp. 1655-1664, 2007
  6. 양정민, "입력 외란이 존재하는 비동기 순차 머신의 교 정 제어 II: 제어기 설계," 전기학회논문지, 제56권 D편, 제9호, pp. 1665-1676, 2007
  7. X. J. Geng, "Model matching for asynchronous sequential machines," Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003
  8. Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
  9. 조경연, 이재훈, 민형복, "기본 모드에서 동작하는 비동 기 순차 회로의 시험 벡터 생성," 전자공학회논문지, 제 35권 C편, 제9호, pp. 716-726, 1998