Journal of Institute of Control, Robotics and Systems (제어로봇시스템학회논문지)

Institute of Control, Robotics and Systems (제어로봇시스템학회)
권호 표지
DOI QR코드

DOI QR Code

State Feedback Control of Asynchronous Sequential Machines with Uncontrollable Inputs: Application to Error Counters

제어 불능 입력이 존재하는 비동기 순차 머신의 상태 피드백 제어 및 오류 카운터로의 응용

  • 양정민 (대구가톨릭대학교 전자공학과) ;
  • 곽성우 (계명대학교 전자공학과)
  • Published : 2009.10.01
Download PDF
⟨ Previous Next ⟩

Abstract

The model matching problem of asynchronous sequential machines is to design a corrective controller such that the stable-state behavior of the closed-loop system matches that of a prescribed model. In this paper, we address model matching when the external input set consists of controllable inputs and uncontrollable ones. Like in the frame of supervisory control of Discrete-Event Systems (DES), uncontrollable inputs cannot be disabled and must be transmitted to the plant without any change. We postulate necessary and sufficient conditions for the existence of a corrective controller that solves model matching despite the influence of uncontrollable events. Whenever a controller exists, the algorithm for its design is outlined. To illustrate the physical meaning of the proposed problem, the closed-loop system of an asynchronous machine with the proposed control scheme is implemented in VHDL code.

Keywords

References

  1. J. Sparse and S. Furber (eds.), Principles of Asynchronous Circuit design - A Systems Perspective, Kluwer Academic Publishers, 2001
  2. M. B. Josephs, S. M. Nowick, and C. H. Van Berkel, 'Modeling and design of asynchronous circuits,' Proceedings of the IEEE, vol. 87, no. 2, pp. 234-242, 1999 https://doi.org/10.1109/5.740017
  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 1. 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. 1.-M. Yang and 1. 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
  6. X. Geng, "Model matching for asynchronous sequential machines," Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003
  7. 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭," 전기학회논문지, 제57A권 제1호, pp.109~116, 2008
  8. C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Boston, MA: Kluwer, 1999
  9. B. A Brandin and W. M. Wonham, "Supervisory control of timed discrete-event systems," IEEE Transactions on Automatic Control, vol. 39, no. 2, pp. 329-342, 1994 https://doi.org/10.1109/9.272327
  10. P. C. Y. Chen and W. M. Wonham, "Real-time supervisory control of a processor for non-preemptive execution of periodic tasks," Real-Time Systems, vol. 23, pp. 183-208, 2002 https://doi.org/10.1023/A:1020207328508
  11. Z. Kohavi, Switching and Finite Automata Theory 2nd Ed., McGraw-Hill, 1978
  12. J. A Abraham, E. S. Davidson, and J. H. Patel, "Memory system design for tolerating single event upsets," IEEE Transactions on Nuclear Science, vol. 30, no. 6, pp. 4339-4344, 1983. https://doi.org/10.1109/TNS.1983.4333134
  13. G. C. Cardarilli, M. Ottavi, S. Pontarelli, M. Re, and A Salsano, "Fault tolerant solid state mass memory for space applications," IEEE Transactions on Aerospace and Electronic Systems, vol. 41, no. 4, pp. 1353-1372, 2005 https://doi.org/10.1109/TAES.2005.1561889
  14. A M. Saleh, J. J. Serrano, and J. H. Patel, "Reliability of scrubbing recovery-techniques for memory systems," IEEE Transactions on Reliability, vol. 39, no. 1, pp. 114-122, 1990 https://doi.org/10.1109/24.52622
  15. 곽성우, 박홍영, "과학기술위성 1호 탑재 컴퓨터(On-board Computer)에서의 SEUs (Single Event Upsets)극복을 위한 메모리 운용 및 해석," 한국항공우주학회지, 제32권 제1호, pp. 98-105, 2004. https://doi.org/10.5139/JKSAS.2004.32.1.098