Commenced in January 2007
Paper Count: 30124
Conditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback
Authors: Jung–Min Yang
Abstract:Solvability of the model matching problem for input/output switched asynchronous sequential machines is discussed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model. Switching operations and correction procedures are incorporated using output feedback so that the controlled switched machine can show the desired input/output behavior. A matrix expression is presented to address reachability of switched asynchronous sequential machines with output equivalence with respect to a model. The presented reachability condition for the controller design is validated in a simple example.
Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1128259Procedia APA BibTeX Chicago EndNote Harvard JSON MLA RIS XML ISO 690 PDF Downloads 759
 J. Sparsø and S. Furber, Principles of Asynchronous Circuit Design — A Systems Perspective, Kluwer Academic Publishers, 2001.
 D. A. Huffman, “The synthesis of sequential switching circuits,” J. Franklin. Inst., vol. 257, pp. 161–190, 1954.
 S. H. Unger, “Hazards, critical races, and metastability,” IEEE Trans. Computers, vol. 44, no. 6, pp. 754–768, 1995.
 M. Schwartz, Broadband Integrated Networks, New Jersey: Prentice Hall, 1996.
 P. D. Hough, T. G. Kolda, and V. J. Torczon, “Asynchronous parallel pattern search for nonlinear optimization,” SIAM J. Sci. Comput., vol. 23, no. 1, pp. 134–156, 2001.
 T. E. Murphy, X. Geng, and J. Hammer, “On the control of asynchronous machines with races,” IEEE Trans. Autom. Control, vol. 48, no. 6, pp. 1073–1081, 2003.
 X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1956–1970, 2005.
 N. Venkatraman and J. Hammer, “On the control of asynchronous sequential machines with infinite cycles,” Int. J. Control, vol. 79, no. 7, pp. 764–785, 2006.
 X. Xu and Y. Hong, “Matrix approach and model matching of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 58, no. 11, pp. 2974–2979, 2013.
 Z. Sun and S. S. Ge, Switched Linear Systems: Control and Design, London: Springer-Verlag, 2006.
 L. Zhang and J. Feng, “Controllability and observability of switched Boolean control networks,” IET Control Theory Appl., vol. 6, no. 16, pp. 2477–2484, 2012.
 J. M. Yang, “Modeling and control of switched asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 61, no. 9, pp. 2714–2719, 2016.
 Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press: Cambridge, UK, 2010.