Browse > Article

Corrective Control of Asynchronous Sequential Machines with Input Disturbance I : Modeling  

Yang, Jung-Min (대구가톨릭대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.56, no.9, 2007 , pp. 1655-1664 More about this Journal
Abstract
This paper presents the problem of controlling asynchronous sequential machines in the presence of input disturbances, which may be also regarded as an adversary in a game theoretic setting. The main objective is to develope a new methodology for including unpredictable behavior of input disturbance into models of asynchronous machines. The input disturbance, representing uncontrollable noise input, is embedded into a new model of asynchronous machines in form of input/state finite state machines. It is shown that the proposed modeling preserves the fundamental model and well-pose of asynchronous machines. The reachability matrix, an important performance index of asynchronous machines, is also adapted according to input disturbance and will be used for constructing corrective controllers in the companion paper.
Keywords
Asynchronous Sequential Machines; Corrective Control; Input Disturbance; Model Matching;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
Times Cited By SCOPUS : 0
연도 인용수 순위
1 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   DOI   ScienceOn
2 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭 제어 II: 제어기 설계,' 전기학회논문지, 제57D권, 2007   과학기술학회마을
3 S. W. Moore, G. S. Taylor, P. A. Cunningham, R. D. Mullins and P. Robinson, 'Self calibrating clocks for globally asynchronous locally synchronous systems,' in Proceedings of IEEE International Conference on Computer Design, pp. 73-78, 2000
4 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
5 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
6 Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
7 M. Singh and S. M. Nowick, 'Synthesis-for¬initializability of asynchronous sequential machines,' in Proceedings of International Test Conference, pp. 232-241, 1996
8 C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, Boston, MA: Kluwer, 1999
9 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
10 J. Hammer, 'On corrective control of sequential machines,' International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996   DOI   ScienceOn
11 G. Birtwistle and A. Davis (eds.), Asynchronous Digital Circuit Design, London: Springer-Verlag, 1995