Browse > Article
http://dx.doi.org/10.5573/ieek.2013.50.5.253

Model Matching for Composite Asynchronous Sequential Machines in Cascade Connection  

Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
Publication Information
Journal of the Institute of Electronics and Information Engineers / v.50, no.5, 2013 , pp. 253-261 More about this Journal
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
Asynchronous Sequential Machines; Corrective Control; Model Matching; Cascade Connection;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 X. Geng, Model Matching for Asynchronous Sequential Machines, Ph.D. dissertation, University of Florida, 2003.
2 E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, 2nd ed., LeeVaraiya.org, 2011.
3 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.
4 Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.
5 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.
6 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.
7 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.   DOI   ScienceOn
8 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.   DOI   ScienceOn
9 J. Hammer, "On corrective control of sequential machines," International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996.   DOI   ScienceOn
10 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
11 양정민, "간헐 고장이 존재하는 비동기 머신의 견실한 상태 피드백 제어", 전자공학회논문지, 제48 권 SC 3호, pp. 40-47, 2011.   과학기술학회마을
12 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.   DOI   ScienceOn
13 양정민, "교정 제어를 이용한 비동기 순차 머신의 영구 고장 극복", 전자공학회논문지, 제47권 SC 5 호, pp. 9-17, 2010.   과학기술학회마을