Conditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback

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.

Authors:



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.