References
- N. Venkatraman, 'On the control of asynchronous machines with infinite cycles,' Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 1996
- S. H. Unger, 'Hazards, critical races, and metastability,' IEEE Transactions on Computers, vol. 44, no. 6, pp. 754-768, 1995 https://doi.org/10.1109/12.391185
- J. Hammer, 'On the control of incompletely described sequential machines,' International Journal of Control, vol. 63, no. 6, pp. 1005-1028, 1996 https://doi.org/10.1080/00207179608921881
- J. Hammer, 'On corrective control of sequential machines,' Intemational 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
- N. Venkatraman and J. 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
- 조경연, 이재훈, 민형복, '기본 모드에서 동작하는 비동기 순차 회로의 시험 벡터 생성,' 전자공학회논문지, 제 35권 C편, 제9호, pp. 38-48, 1998
- 류광기, 정정화, '비동기 회로 합성을 위한 펑션 해저드 제거 알고리듬,' 전자공학회논문지, 제36권 C편, 제10호, pp. 47-55, 1999
- 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭 제어 I: 모델링', 전기학회논문지, 제51D권, 2007
- Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
- M. D. Dibenedetto, A. Sangiovanni-Vincentelli and T. Villa, 'Model matching for finite-state machines,' IEEE Transactions on Automatic Control, vol. 46, no. 11, pp. 1726-1743, 2001 https://doi.org/10.1109/9.964683
- X. J. Geng, 'Model matching for asynchronous sequential machines,' Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003