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

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

Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model I: Reachability Analysis

비결정 모델에 대한 비동기 순차 회로의 교정 제어 I: 도달가능성 분석

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

Abstract

The problem of controlling asynchronous sequential machines is addressed in this paper. Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. The structure of corrective control system for asynchronous sequential machines is addressed first, followed by description of nondeterministic models. Then, we propose a method for analyzing reachability of asynchronous machines and nondeterministic models. Proposed methods are demonstrated in an example.

본 논문에서는 비동기 순차 머신의 교정 제어 문제를 다룬다. 교정 제어는 머신의 동작을 주어진 모델의 동작과 일치시키도록 하는 모델 매칭을 실현하는 제어를 말한다. 본 논문의 주요 목적은 비동기 순차 머신이 추종해야 하는 모델의 형태가 비결정적일 때, 즉 여러 개의 결정적 모델의 합으로 주어질 때 교정 제어기를 설계하는 일이다. 본 논문에서는 먼저 비동기 순차 머신을 위한 교정 제어 시스템의 형태와 동작 원리를 설명하고 비결정 모델의 표현 방법을 제안한다 또한 교정 제어기 존재 조건을 표현하기 위해서 비동기 순차 머신과 비결정적 모델에 대한 도달가능성을 분석하고 예제를 통해서 분석 방법을 검증한다.

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. 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
  5. M. D. Di Benedetto, 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
  6. 양정민, "비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계," 대한전자공학회 논문지 제45권 SC 제7호
  7. S. M. Nowick and D. L. Dill, "Synthesis of asynchronous state machines using a local clock," in Proceedings of IEEE International Conference on Computer Design, pp. 192-197, 1991
  8. Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1970
  9. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, 1999
  10. R. Kumar and M. A. Shayman, "Nonblocking supervisory control of nondeterministic systems via prioritized synchronization," IEEE Transactions on Automatic Control, vol. 41, no. 8, pp. 1160-1175, 1996 https://doi.org/10.1109/9.533677
  11. F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Transactions on Automatic Control, vol. 38, no. 12, pp. 1848-1852, 1993 https://doi.org/10.1109/9.250564