Browse > Article

Corrective Control of Input/Output Asynchronous Sequential Machines for Overcoming Disturbance Inputs  

Yang, Jung-Min (대구가톨릭대 전자공학과)
Kwak, Seong-Woo (계명대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.58, no.3, 2009 , pp. 591-597 More about this Journal
Abstract
The problem of controlling a finite-state asynchronous sequential machine is examined. The considered machine is governed by input/output control, where access to the state of the machine is not available. In particular, disturbance inputs can infiltrate into the asynchronous machine and provoke unauthorized state transitions. The control objective is to use output feedback to compensate the machine so that the closed-loop system drive the faulty asynchronous machine from a failed state to the original one. Necessary and sufficient condition for the existence of appropriate controllers are presented in a theoretical framework. As a case study, the closed-loop system of an asynchronous machine with the proposed control scheme is implemented in VHDL code.
Keywords
Asynchronous sequential Machines; Corrective control; Input/output Control; Disturbance input;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
Times Cited By SCOPUS : 0
연도 인용수 순위
1 J. Hammer, 'On corrective control of sequential machines,' International Journal of Control, vol. 65, no. 2, pp. 249-276, 1996   DOI   ScienceOn
2 Z. Kohavi, Switching and Finite Automata Theory (2nd ed.) McGaw-Hill, 1978
3 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   DOI
4 양정민, '입력 외란이 존재하는 비동기 순차 머신의 모델 매칭,' 전기학회논문지, 제57A권 제1호, pp. 109-116, 2008   과학기술학회마을
5 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
6 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
7 M. A. Shayman and R. Kumar, 'Supervisory control of nondeterministic systems with driven events via prioritized synchronization and trajectory models,' SIAM Journal on Control and Optimization, vol. 33, no. 2, pp. 469-497, 1995   DOI   ScienceOn
8 양정민, 곽성우, '비동기 상태 피드백 제어를 이용한 TMR 메모리 SEU 극복,' 전기학회논문지, 제57권 제8호, pp. 1440-1446, 2008   과학기술학회마을
9 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
10 양정민, '비결정 모델에 대한 비동기 순차 회로의 교정 제어 II: 제어기 설계,' 전자공학회논문지 제45권 SC 제4호, pp. 11-20, 2008   과학기술학회마을
11 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
12 S.-J Park and J-T. Lim, 'Robust and nonblocking supervisor for discrete-event systems with model uncertainty under partial observation,' IEEE Transactions on Automatic Control, vol. 45, no. 12, pp. 2393-2396, 2000   DOI   ScienceOn
13 J.-M. Yang, J. Hammer, 'Counteracting the effects of adversarial inputs on asynchronous sequential machines.' Proceeding of the 17th IFAC World Congress, pp. 1432-1437, Seoul, Korea, 2008   DOI