Browse > Article

Corrective Control of Asynchronous Sequential Machines for Nondeterministic Model I: Reachability Analysis  

Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
Publication Information
Journal of the Institute of Electronics Engineers of Korea SC / v.45, no.4, 2008 , pp. 1-10 More about this Journal
Abstract
The problem of controlling asynchronous sequential machines is addressed in this paper. Corrective control means to make behavior of an asynchronous sequential machine equal to that of a given model. The main objective is to develope a corrective controller, especially when a model is given as nondeterministic, or a set of reference models. The structure of corrective control system for asynchronous sequential machines is addressed first, followed by description of nondeterministic models. Then, we propose a method for analyzing reachability of asynchronous machines and nondeterministic models. Proposed methods are demonstrated in an example.
Keywords
Asynchronous Sequential Machines; Corrective Control; Model Matching; Nondeterministic Model;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
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