Browse > Article
http://dx.doi.org/10.5391/JKIIS.2015.25.2.139

Design of Corrective Controllers for Model Matching of Switched Asynchronous Sequential Machines  

Yang, Jung-Min (School of Electronics Engineering, Kyungpook National University)
Publication Information
Journal of the Korean Institute of Intelligent Systems / v.25, no.2, 2015 , pp. 139-146 More about this Journal
Abstract
This paper presents the solution to model matching of switched asynchronous sequential machines by corrective control. We propose a model of switched asynchronous sequential machines, in which the system can have different dynamics of asynchronous machines governed by a pre-determined sequence of switching. The control objective is to derive a corrective control law so that the stable state behavior of the closed-loop system can match that of a prescribed model. A new skeleton matrix is defined to represent the reachability of the switched asynchronous machine, and a novel control scheme is presented that interweaves the switching signal and the corrective control procedure. A design algorithm for the proposed controller is illustrated in a case study.
Keywords
Switched Asynchronous Sequential Machines; Model Matching; Corrective Control; Switching Sequence;
Citations & Related Records
Times Cited By KSCI : 2  (Citation Analysis)
연도 인용수 순위
1 J. Peng and J. Hammer, "Bursts and output feedback control of non-deterministic asynchronous sequential machines," European Journal of Control, vol. 18, no. 3, pp. 286-300, 2012.   DOI   ScienceOn
2 X. Xu and Y. Hong, "Matrix approach to model matching of asynchronous sequential machines," IEEE Transactions on Automatic Control, vol. 58, no. 11, pp. 2974-2979, 2013.   DOI
3 J.-M. Yang, "Fault-tolerant control of a class of asynchronous sequential machines with permanent faults," Automatica, vol. 50, no. 3, pp. 989-993, 2014.   DOI
4 S. W. Kwak and J.-M. Yang, "Fault diagnosis and tolerance for asynchronous counters with critical races caused by total ionizing dose in space," Journal of Korean Institute of Intelligent Systems, vol. 22, no. 1, pp. 49-55, 2012.   DOI
5 J.-M. Yang and S. W. Kwak, "Output feedback control of asynchronous sequential machines with disturbance inputs," Information Sciences, vol. 259, pp. 87-99, 2014.   DOI
6 Z. Sun and S. S. Ge, Switched Linear Systems: Control and Design, London: Springer-Verlag, 2006.
7 B. J. Choi and P. P. Wang, "A Study on the design of a biologizing control system," Journal of Korean Institute of Intelligent Systems, vol. 14, no. 5, pp. 630-634, 2004.   DOI
8 H. Li and Y. Wang, "Consistent stabilizability of switched boolean networks," Neural Networks, vol. 46, pp. 183-189, 2013.   DOI   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.
10 A. Saadatpour, I. Albert, and R. Albert, "Attractor analysis of asynchronous Boolean models of signal transduction networks," Journal of Theoretical Biology, vol. 266, no. 4, pp. 641-656, 2010.   DOI
11 Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge UK: Cambridge University Press, 2010.
12 K.-S. Chong, B.-H. Gwee and J. S. Chang, "Design of several asynchronous-logic macrocells for a low-voltage micropower cell library," IET Circuits, Devices and Systems, vol. 1, no. 2, pp. 161-169, 2007.   DOI