Abstract
Model matching for asynchronous sequential machines (ASMs) is to design a corrective controller so as to match the stable-state behavior of the closed-loop system to that of a reference model. In this paper, we discuss the model matching problem for ASMs with discrepancy in the initial state. Owing to a lot of practical constraints, the controlled ASM may not commence its operation at the same initial state as the model, leading to initial model mismatch. We investigate under which condition an appropriate corrective controller can be designed that solves initial model mismatch. If such a condition is not valid, we address delayed model matching in which the closed-loop system is controlled to be stably equivalent with the model within an allowable delay-bound from the initial operation. FPGA experiments on an asynchronous error counter are provided to show the applicability of the proposed control scheme.
Similar content being viewed by others
References
C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 2nd ed., Springer-Verlag, New York, NY, 2008.
S.-J. Park and J.-M. Yang, “A supervisory control theoretic approach to the analysis of democratic progress,” International Journal of Control, Automation and Systems, vol. 16, no. 2, pp. 452–460, 2018.
A. Boussif and M. Ghazel, “Diagnosability analysis of intermittent faults in discrete event systems using a twin-plant structure,” International Journal of Control, Automation and Systems, vol. 18, no. 2, pp. 682–695, 2020.
T. E. Murphy, X. Geng, and J. Hammer, “On the control of asynchronous machines with races,” IEEE Transactions on Automatic Control, vol. 48, no. 6, pp. 1073–1081, 2003.
N. Venkatraman and J. Hammer, “On the control of asynchronous sequential machines with infinite cycles,” International Journal of Control, vol. 79, no. 7, pp. 764–785, 2006.
X. Geng and J. Hammer, “Input/output control of asynchronous sequential machines,” IEEE Transactions on Automatic Control, vol. 50, no. 12, pp. 1956–1970, 2005.
J.-M. Yang and S. W. Kwak, “Model matching for asynchronous sequential machines with adversarial inputs using state bursts,” International Journal of Control, Automation and Systems, vol. 8, no. 5, pp. 985–993, 2010.
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.
X. Xu and Y. Hong, “Matrix approach and model matching of asynchronous sequential machines,” IEEE Transactions on Automatic Control, vol. 58, no. 11, pp. 2974–2979, 2013.
J. Wang, X. Han, Z. Chen, and Q. Zhang, “Model matching of input/output asynchronous sequential machines based on the semi-tensor product of matrices,” Future Generation Computer Systems, vol. 83, pp. 468–475, 2018.
B. Wang and J. E. Feng, “A matrix approach for the static correction problem of asynchronous sequential machines,” International Journal of Control, Automation and Systems, vol. 18, no. 2, pp. 477–485, 2020.
G. C. Cardarilli, M. Ottavi, S. Pontarelli, M. Re, and A. Salsano, “Fault tolerant solid state mass memory for space applications,” IEEE Transactions on Aerospace and Electronic Systems, vol. 41, no. 4, pp. 1353–1372, 2005.
J.-M. Yang, “Fault-tolerant corrective control with bounded delays,” IEEE Transactions on Automatic Control, vol. 62, no. 4, pp. 1992–1998, 2017.
C.-T. Chen, Linear System Theory and Design, 4th ed., Oxford University Press, New York, NY, 2013.
G. Barbaraci and F. D’Ippolito, “An estimator algorithm for the rotation time of magnetization vector in nuclear magnetic resonance for imaging (NMRI),” Journal of Vibration and Control, vol. 25, no. 1, pp. 4–25, 2019.
S.-J. Park and K.-H. Cho, “Nonblocking supervisory control of timed discrete event systems under communication delays: the existence conditions,” Automatica, vol. 44, no. 4, pp. 1011–1019, 2008.
R. Zhang, K. Cai, Y. Gan, and W. M. Wonham, “Distributed supervisory control of discrete-event systems with communication delay,” Discrete Event Dynamic Systems: Theory and Applications, vol. 26, no. 2, pp. 263–293, 2016.
Z. Kohavi and N. K. Jha, Switching and Finite Automata Theory, 3rd ed., Cambridge University Press, Cambridge, UK, 2010.
S. Karp and B. K. Gilbert, “Digital system design in the presence of single event upsets,” IEEE Transactions on Aerospace and Electronic Systems, vol. 29, no. 2, pp. 310–316, 1993.
Y. Bentoutou, “A real time EDAC system for applications onboard earth observation small satellites,” IEEE Transactions on Aerospace and Electronic Systems, vol. 48, no. 1, pp. 648–657, 2012.
R. K. Burek, “The near solid-state data recorders,” Johns Hopkins APL Technical Digest, vol. 19, no. 2, pp. 235–240, 1998.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Publisher’s Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Recommended by Associate Editor Shun-ichi Azuma under the direction of Editor Fumitoshi Matsuno. This research was supported in part by the National Research Foundation of Korea (NRF) grant funded by the Korea government (MSIT) (no. NRF-2018R1A5A1025137), in part by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. NRF-2018R1D1A1A09082016), and in part by Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education (no. NRF-2016R1D1A1B02012959).
Jung-Min Yang received his B.S., M.S., and Ph.D. degrees in electrical engineering from Korea Advanced Institute of Science and Technology (KAIST), Korea, in 1993, 1995, and 1999, respectively. Since 2013, he has been with the School of Electronics Engineering, Kyungpook National University, Daegu, Korea, where he is currently a professor. His research interests are in control of asynchronous sequential machines, supervisory control of discrete-event systems, and control of complex networks.
Dong-Eun Lee worked for the School of Engineering at Southern Illinois University Edwardsville (SIUE) in USA as an assistant professor. He is now a full professor with tenure in both the School of Architecture and Civil Engineering and the Robot and Smart System Engineering at Kyungpook National University, Korea. He is also the chief of Intelligent Construction Automation Center nominated by Ministry of Science and ICT. His specialty includes automation in construction, construction robots, optimization, stochastic simulation, and quantitative analysis.
Seong Woo Kwak received his B.S., M.S., and Ph.D. degrees in electrical engineering from Korea Advanced Institute of Science and Technology (KAIST), Korea, in 1993, 1995, and 2000, respectively. Since 2020, he has been with the Department of Control and Instrumentation Engineering, Pukyong National University, Busan, Korea, where he is currently a professor. His research interests are in fault tolerant systems, control of asynchronous sequential machines, and space-borne electronics.
Rights and permissions
About this article
Cite this article
Yang, JM., Lee, DE. & Kwak, S.W. Delayed Model Matching of Asynchronous Sequential Machines With Discrepancy in the Initial State. Int. J. Control Autom. Syst. 19, 1578–1587 (2021). https://doi.org/10.1007/s12555-020-0226-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12555-020-0226-y