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.
과학기술학회마을
|