Browse > Article

Corrective Control of Asynchronous Sequential Machines with Input Disturbance II : Controller Design  

Yang, Jung-Min (대구가톨릭대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.56, no.9, 2007 , pp. 1665-1675 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 provide necessary and sufficient condition for the existence of a corrective controller that solves model matching problem of an asynchronous machine suffering from input disturbance. The existence condition can be stated in terms of a simple comparison of two skeleton matrices. The proposed controller eliminates the adversarial effect of input disturbance and makes the controlled machine mimic the behavior of a model in stable-state way. Whenever controller exists, algorithms for their design are outlined and demonstrated in a case study.
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 J. Hammer, 'On the control of incompletely described sequential machines,' International Journal of Control, vol. 63, no. 6, pp. 1005-1028, 1996   DOI   ScienceOn
2 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
3 류광기, 정정화, '비동기 회로 합성을 위한 펑션 해저드 제거 알고리듬,' 전자공학회논문지, 제36권 C편, 제10호, pp. 47-55, 1999
4 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭 제어 I: 모델링', 전기학회논문지, 제51D권, 2007   과학기술학회마을
5 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   DOI   ScienceOn
6 J. Hammer, 'On corrective control of sequential machines,' Intemational Journal of Control, vol. 65, no. 2, pp. 249-276, 1996   DOI   ScienceOn
7 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
8 S. H. Unger, 'Hazards, critical races, and metastability,' IEEE Transactions on Computers, vol. 44, no. 6, pp. 754-768, 1995   DOI   ScienceOn
9 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
10 조경연, 이재훈, 민형복, '기본 모드에서 동작하는 비동기 순차 회로의 시험 벡터 생성,' 전자공학회논문지, 제 35권 C편, 제9호, pp. 38-48, 1998
11 Z. Kohavi, Switching and Finite Automata Theory, New York: McGraw-Hill, 1970
12 X. J. Geng, 'Model matching for asynchronous sequential machines,' Ph.D. Dissertation, Department of Electrical and Computer Engineering, University of Florida, USA, 2003