Browse > Article
http://dx.doi.org/10.5302/J.ICROS.2009.15.10.967

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

Yang, Jung-Min (대구가톨릭대학교 전자공학과)
Kwak, Seong-Woo (계명대학교 전자공학과)
Publication Information
Journal of Institute of Control, Robotics and Systems / v.15, no.10, 2009 , pp. 967-973 More about this Journal
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
asynchronous sequential machines; corrective control; model matching; uncontrollable inputs;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
Times Cited By SCOPUS : 1
연도 인용수 순위
1 C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Boston, MA: Kluwer, 1999
2 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   DOI   ScienceOn
3 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   DOI   ScienceOn
4 Z. Kohavi, Switching and Finite Automata Theory 2nd Ed., McGraw-Hill, 1978
5 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.   DOI   ScienceOn
6 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   DOI   ScienceOn
7 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   DOI   ScienceOn
8 곽성우, 박홍영, "과학기술위성 1호 탑재 컴퓨터(On-board Computer)에서의 SEUs (Single Event Upsets)극복을 위한 메모리 운용 및 해석," 한국항공우주학회지, 제32권 제1호, pp. 98-105, 2004.   과학기술학회마을   DOI   ScienceOn
9 J. Sparse and S. Furber (eds.), Principles of Asynchronous Circuit design - A Systems Perspective, Kluwer Academic Publishers, 2001
10 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   DOI   ScienceOn
11 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   DOI   ScienceOn
12 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   DOI   ScienceOn
13 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   DOI   ScienceOn
14 X. Geng, "Model matching for asynchronous sequential machines," Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003
15 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭," 전기학회논문지, 제57A권 제1호, pp.109~116, 2008   과학기술학회마을