Browse > Article

State Feedback Control for Model Matching Inclusion of Asynchronous Sequential Machines with Model Uncertainty  

Yang, Jung-Min (Department of Electrica1 Engineering, Catholic University of Daegu)
Park, Yong-Kuk (School of Mechanica1 and Automotive Engineering, Catho1ic University of Daegu)
Publication Information
Journal of the Institute of Electronics Engineers of Korea SC / v.47, no.4, 2010 , pp. 7-14 More about this Journal
Abstract
Stable-state behaviors of asynchronous sequential machines represented as finite state machines can be corrected by feedback control schemes. In this paper, we propose a state feedback control scheme for input/state asynchronous machines with uncertain transitions. The considered asynchronous machine is deterministic, but its state transition function is partially known due to model uncertainty or inner logic errors. The control objective is to compensate the behavior of the closed-loop system so that it matches a sub-behavior of a prescribed model despite uncertain transitions. Furthermore, during the execution of corrective action, the controller reflects the exact knowledge of transitions into the next step, i.e., the range of the behavior of the closed-loop system can be enlarged through learning. The design procedure for the proposed controller is described in a case study.
Keywords
Asynchronous Sequential Machines; Model Matching Inclusion; Uncertain Transitions; State Feedback Control;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 N. Nishimura, "Efficient asynchronous simulation of a class of synchronous parallel algorithms," Journal of Computer and System Sciences, vol. 50, no. 1, pp. 98-113, 1995.   DOI   ScienceOn
2 S. M. Nowick, M. E. Dean, D. L. Dill, and M. Horowitz, "The design of a high-performance cache controller: a case study in asynchronous synthesis," in Proceedings of the 26th Hawaii International Conference on System Sciences, pp. 419-427, 1993.
3 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
4 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
5 J.-M. Yang and J. Hammer, "State feedback control of asynchronous sequential machines with adversarial inputs," International Journal of Control, vol. 81, no. 12, pp. 1910-1929, 2008.   DOI   ScienceOn
6 R. G. Useinov, "Analytical model of radiation induced or single event latchup in CMOS integrated circuits," IEEE Transactions on Nuclear Science, vol. 53, no. 4, pp. 1834-1838, 2006.   DOI
7 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
8 양정민, "불확실한 상태 천이를 가진 입력/상태 비동기 머신을 위한 견실 제어," 전자공학회논문지, 제46권 SC 제4호, pp. 39-48, 2009.   과학기술학회마을
9 G. Barrett and S. Lafortune, "Bisimulation, the supervisory control problem, and strong model matching for finite state machines," Discrete Event Dynamic Systems: Theory and Applications, vol. 8, no. 4, pp. 377-429, 1998.   DOI   ScienceOn