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.

Keywords: Asynchronous sequential machines, corrective control, model matching, input/output control.

Digital Object Identifier (DOI): doi.org/10.5281/zenodo.1128259

References:

[1] J. Sparsø and S. Furber, Principles of Asynchronous Circuit Design — A Systems Perspective, Kluwer Academic Publishers, 2001.
[2] D. A. Huffman, “The synthesis of sequential switching circuits,” J. Franklin. Inst., vol. 257, pp. 161–190, 1954.
[3] S. H. Unger, “Hazards, critical races, and metastability,” IEEE Trans. Computers, vol. 44, no. 6, pp. 754–768, 1995.
[4] M. Schwartz, Broadband Integrated Networks, New Jersey: Prentice Hall, 1996.
[5] 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.
[6] 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.
[7] X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 50, no. 12, pp. 1956–1970, 2005.
[8] 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.
[9] 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.
[10] Z. Sun and S. S. Ge, Switched Linear Systems: Control and Design, London: Springer-Verlag, 2006.
[11] 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.
[12] J. M. Yang, “Modeling and control of switched asynchronous sequential machines,” IEEE Trans. Autom. Control, vol. 61, no. 9, pp. 2714–2719, 2016.
[13] Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press: Cambridge, UK, 2010.