Journal of the Institute of Electronics and Information Engineers (전자공학회논문지)

The Institute of Electronics and Information Engineers (대한전자공학회)
권호 표지
DOI QR코드

DOI QR Code

Model Matching for Composite Asynchronous Sequential Machines in Cascade Connection

직렬 결합된 복합 비동기 순차 머신을 위한 모델 정합

  • Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
  • 양정민 (대구가톨대학교 전자공학과)
  • Received : 2012.11.19
  • Published : 2013.05.25
Download PDF
⟨ Previous Next ⟩

Abstract

In this paper, we study the problem of controlling composite asynchronous sequential machines. The considered asynchronous machine consists of two input/state machines in cascade connection, where the output of the front machine is delivered to the input channel of the rear machine. The objective is to design a corrective controller realizing model matching such that the stable state behavior of the closed-loop system matches that of a reference model. Since the controller receives the state feedback of the rear machine only, there exists uncertainty about the present state of the front machine. We specify the existence condition for a corrective controller given the uncertainty. The design procedure for the proposed controller is described in a case study.

본 논문에서는 복합 비동기 순차 머신을 제어하는 방법을 다룬다. 논문에서 고려하는 비동기 머신은 입력/상태 머신 두 개가 직렬 결합된 것으로서 선행 머신의 출력 값이 후행 머신의 입력으로 전달된다. 제어 목적은 폐루프 시스템의 입력과 출력의 정상 상태 특성을 원하는 모델의 동작과 일치시키는 모델 정합 문제를 구현하는 교정 제어기를 꾸미는 일이다. 교정 제어기는 후행 머신의 상태 피드백 정보만 전달 받기 때문에 선행 머신의 상태를 정확하게 알 수 없는 불확실성이 존재한다. 본 논문에서는 그러한 불확실성 하에서 모델 정합 교정 제어기가 존재할 조건을 구하고 설계 알고리듬을 제안한다. 또한 사례 연구를 통해서 제안된 제어기의 설계 과정을 예시한다.

Keywords

References

  1. T.-A. Chu, "Synthesis of self-timed VLSI circuits from graph-theoretic specifications," in Proceedings of International Conference on Computer Design (ICCD), pp. 220-223, 1987.
  2. A. J. Martin and M. Nyström, "Asynchronous techniques for system-on-chip design," Proceedings of IEEE, vol. 94, no. 6, pp. 1089-1120, 2006. https://doi.org/10.1109/JPROC.2006.875789
  3. A. J. Martin, M. Nyström, and C. G. Wong, "Three generations of asynchronous microprocessors," IEEE Design & Test of Computers, vol. 20, no. 6, pp. 9-17, 2003. https://doi.org/10.1109/MDT.2003.1246159
  4. J. Muttersbach, T. Villiger, and W. Fichner, "Practical design of globally-asynchronous locally-synchronous systems," in Proceedings of International Symposium on Advanced Research in Asynchronous Circuits and Systems, pp. 52-59, 2000.
  5. 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
  6. 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
  7. J.-M. Yang and J. Hammer, "Asynchronous sequential machines with adversarial intervention: the use of bursts," International Journal of Control, vol. 83, no. 5, pp. 956-969, 2010. https://doi.org/10.1080/00207170903502831
  8. 양정민, "교정 제어를 이용한 비동기 순차 머신의 영구 고장 극복", 전자공학회논문지, 제47권 SC 5 호, pp. 9-17, 2010.
  9. 양정민, "간헐 고장이 존재하는 비동기 머신의 견실한 상태 피드백 제어", 전자공학회논문지, 제48 권 SC 3호, pp. 40-47, 2011.
  10. X. Geng, Model Matching for Asynchronous Sequential Machines, Ph.D. dissertation, University of Florida, 2003.
  11. E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, 2nd ed., LeeVaraiya.org, 2011.
  12. J.-M. Yang and S. W. Kwak, "Asynchronous correction for cascade composition of finite state machines," in Proceedings of IEEE International Conference on Systems, Man, and Cybernetics, pp. 2401-2406, 2012.
  13. Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.

Cited by

  1. Corrective Control of Composite Asynchronous Sequential Machines in Parallel Connection vol.51, pp.8, 2014, https://doi.org/10.5573/ieie.2014.51.8.139
  2. Model Matching for Input/Output Asynchronous Machines Using Output Equivalent Machines vol.51, pp.9, 2014, https://doi.org/10.5573/ieie.2014.51.9.173