1 |
S. Hauck, "Asynchronous design methodologies: an overview," Proceedings of the IEEE, vol. 83, no. 1, pp. 69-93, 1995
DOI
ScienceOn
|
2 |
M. D. Di Benedetto, 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
DOI
ScienceOn
|
3 |
C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Kluwer Academic Publishers, Boston, 1999
|
4 |
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
|
5 |
F. Lin, "Robust and adaptive supervisory control of discrete event systems," IEEE Transactions on Automatic Control, vol. 38, no. 12, pp. 1848-1852, 1993
DOI
ScienceOn
|
6 |
Z. Kohavi, Switching and Finite Automata Theory, McGraw-Hill, New York, 1970
|
7 |
X. Geng and J. Hammer, "Input/output control of asynchronous sequential machines," IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1956-1970, 2005
DOI
ScienceOn
|
8 |
R. Kumar and M. A. Shayman, "Nonblocking supervisory control of nondeterministic systems via prioritized synchronization," IEEE Transactions on Automatic Control, vol. 41, no. 8, pp. 1160-1175, 1996
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 |
양정민, "비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계," 대한전자공학회 논문지 제45권 SC 제7호
과학기술학회마을
|
11 |
S. M. Nowick and D. L. Dill, "Synthesis of asynchronous state machines using a local clock," in Proceedings of IEEE International Conference on Computer Design, pp. 192-197, 1991
|