Conditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback
Creators
Description
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.
Files
10006124.pdf
Files
(172.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:281d1ebe8c43d5cd35f23970e009d82e
|
172.9 kB | Preview Download |
Additional details
References
- 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. [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.