References
- 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.
- 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. https://doi.org/10.1109/JPROC.2006.875789
- 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. https://doi.org/10.1109/MDT.2003.1246159
- 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.
- 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
- 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
- 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. https://doi.org/10.1080/00207170903502831
- 양정민, "교정 제어를 이용한 비동기 순차 머신의 영구 고장 극복", 전자공학회논문지, 제47권 SC 5 호, pp. 9-17, 2010.
- 양정민, "간헐 고장이 존재하는 비동기 머신의 견실한 상태 피드백 제어", 전자공학회논문지, 제48 권 SC 3호, pp. 40-47, 2011.
- X. Geng, Model Matching for Asynchronous Sequential Machines, Ph.D. dissertation, University of Florida, 2003.
- E. A. Lee and P. Varaiya, Structure and Interpretation of Signals and Systems, 2nd ed., LeeVaraiya.org, 2011.
- 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.
- Z. Kohavi, Switching and Finite Automata Theory, 2nd ed. New York: McGraw-Hill, 1978.
Cited by
- Corrective Control of Composite Asynchronous Sequential Machines in Parallel Connection vol.51, pp.8, 2014, https://doi.org/10.5573/ieie.2014.51.8.139
- Model Matching for Input/Output Asynchronous Machines Using Output Equivalent Machines vol.51, pp.9, 2014, https://doi.org/10.5573/ieie.2014.51.9.173