Browse > Article

Robust Control of Input/state Asynchronous Machines with Uncertain State Transitions  

Yang, Jung-Min (Department of Electrical Engineering, Catholic University of Daegu)
Publication Information
Journal of the Institute of Electronics Engineers of Korea SC / v.46, no.4, 2009 , pp. 39-48 More about this Journal
Abstract
Asynchronous sequential machines, or clockless logic circuits, have several advantages over synchronous machines such as fast operation speed, low power consumption, etc. In this paper, we propose a novel robust controller for input/output asynchronous sequential machines with uncertain state transitions. Due to model uncertainties or inner failures, the state transition function of the considered asynchronous machine is not completely known. In this study, we present a formulation to model this kind of asynchronous machines ana using generalized reachability matrices, we address the condition for the existence of an appropriate controller such that the closed-loop behavior matches that of a prescribed model. Based on the previous research results, we sketch design procedure of the proposed controller and analyze the stable-state operation of the closed-loop system.
Keywords
Asynchronous Sequential Machines; Model Matching; Uncertain Transitions; Robust Control;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 P. J. Ramadge and W. M. Wonham, 'The control of discrete event systems,' Proceedings of IEEE, vol. 77, no. 1, pp. 81-98, 1989   DOI   ScienceOn
2 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
3 J. Hammer, 'On corrective control of sequential machines,' International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996   DOI   ScienceOn
4 양정민, '비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계,' 전자공학회논문지 제45권 SC 제4호, pp. 11-20, 2008   과학기술학회마을   ScienceOn
5 Z. Kohavi, Switching and Finite Automata Theory (2nd ed.), McGraw-Hill, 1978
6 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭,' 전기학회논문지, 제57A권 제1호, pp. 109-116, 2008   과학기술학회마을
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 양정민, '비결정 모델에 대한 비동기 순차 회로의 교정 제어 I: 도달가능성 분석,' 전자공학회논문지 제45권 SC 제4호, pp. 1-10, 2008   과학기술학회마을   ScienceOn
9 L. Sterpone and M. Violante, 'Analysis of the robustness of the TMR-architecture in SRAM-based FPGAs,' IEEE Transactions on Nuclear Science, vol. 53, no. 5, pp. 1545-1549, 2005   DOI   ScienceOn
10 X. Geng, Model Matching for Asynchronous Sequential Machines, Ph.D. dissertation, Department of Electrical and Computer Engineering, University of Florida, 2003
11 M. Sipser, Introduction to the Theory of Computation (2nd ed.), Thomson Course Technology, 2006
12 L. Sterpone, M. Violante and S. Rezgui, 'An analysis based on fault injection of hardening techniques for SRAM-based FPGAs,' IEEE Transactions on Nuclear Science, vol. 53, no. 4, pp. 2054–2059   DOI   ScienceOn
13 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