The detection and stabilisation of limit cycle for deterministic finite automata

References

• Cai, K., & Wonham, W. M. (2016). Supervisor localization: A top-down approach to distributed control of discrete-event systems. Lecture Notes in Control and Information Sciences (LNCIS) 459. Switzerland: Springer.
   Google Scholar
• Caines, P. E., Greiner, R., & Wang, S. (1989). Dynamical logic observers for finite automata. In Proceedings of the 27th IEEE Conference on Decision and Control (pp. 226–233), Austin, Texas, USA.
   Google Scholar
• Cassandras C. G., & Lafortune, S. (2008). Introduction to discrete event system (2nd ed.). New York, NY: Springer.
   Google Scholar
• Cheng, D. Z. (2001). Semi-tensor product of matrices and its application to Morgen's problem. Science China Series F, 44(3), 195–212.
   Google Scholar
• Cheng, D. Z. (2009). Input-state appraoch to Boolean networks. IEEE Transactions on Neural Networks, 20(3), 512–521.
   PubMed Web of Science ®Google Scholar
• Cheng, D. Z. (2014). On finite potential games. Automatica, 50(7), 1793–1801.
   Web of Science ®Google Scholar
• Cheng, D. Z., He, F. H., Qi, H. S., & Xu, T. T. (2015). Modeling, analysis and control of networked evolutionary games. IEEE Transactions on Automatic Control, 60(9), 2402–2415.
   Web of Science ®Google Scholar
• Cheng, D. Z., & Qi, H. S. (2009). Controllability and observability of Boolean control networks. Automatica, 45(7), 1659–1667.
   Web of Science ®Google Scholar
• Cheng, D. Z., & Qi, H. S. (2010). A linear representation of dynamics of Boolean networks. IEEE Transactions on Automatic Control, 55(10), 2251–2258.
   Web of Science ®Google Scholar
• Cheng, D. Z., Qi, H. S., & Zhao, Y. (2012). An introduction to semi-tensor product of matrices and its applications. Singapore: World Scientific.
   Google Scholar
• Cieslak, R., Desclaux, C., Fawaz, A. S. & Varaiya, P. (1988). Supervisory control of discrete-event processes with partial observations. IEEE Transactions on Automatic Control, 33(3), 249–260.
   Web of Science ®Google Scholar
• Dogruel, M., & Ozguner, U. (1992). Controllability, reachability, stabilizability and state reduction in automata. In Proceedings of 1992 IEEE International Symposium on Intelligent Control (pp. 192–197), Glasgow, Scotland, UK.
   Google Scholar
• Fornasini, E., & Valcher, M. E. (2013). On the periodic trajectories of Boolean control networks. Automatica, 49, 1506–1509.
   Web of Science ®Google Scholar
• Han, X. G., Chen, Z. Q., Liu, Z. X., & Zhang, Q. ( in press). Calculation of siphons and minimal siphons in Petri nets based on semi-tensor product of matrices. IEEE Transactions on Systems, Man, and Cybernetics: Systems. doi:10.1109/TSMC.2015.2507162
   Web of Science ®Google Scholar
• Han, X. G., Chen, Z. Q., Zhang, K. Z., Liu, Z. X., & Zhang, Q. (2015). Modeling and reachability analysis of a class of Petri nets via semi-tensor product of matrices. In Proceedings of the 34th Chinese Control Conference (pp. 6586–6591), Changsha, China.
   Google Scholar
• Heidel, J., Maloney, J., Farrow, C., & Rogers, J. A. (2003). Finding cycles in synchronous Boolean networks with applications to biochemical systems. International Journal of Bifurcation and Chaos, 13(3), 535–552.
   Web of Science ®Google Scholar
• Kari, J. (2002). Synchronization and stability of finite automata. Journal of Universal Computer Science, 8(2), 270–277.
   Web of Science ®Google Scholar
• Kari, J. (2013). A lecture note on automata and formal languages. Retrieved from http://users.utu.fi/jkari/automata/
   Google Scholar
• Kobayashi, K., Imura, J. I., & Hiraishi, K. (2011). Stabilization of finite automata with application to hybrid systems control. Discrete Event Dynamic Systems: Theory and applications, 21(4), 519–545.
   Web of Science ®Google Scholar
• Kohavi, Z. (1970). Switching and finite automata theory. New York, NY: McGraw-Hill.
   Google Scholar
• Li, M. & Kumar, R. (2014). Recursive modeling of stateflow as input/output-extended automaton. IEEE Transactions on Automation Science and Engineering, 11(4), 1229–1239.
   Web of Science ®Google Scholar
• Lin, H., & Antsaklis, P. J. (2014). Hybrid dynamical systems: An introduction to control and verification. Foundations and Trends in Systems and Control, 1(1), 1–172.
   Google Scholar
• Lunze, J. (1994). Qualitative modeling of linear dyanmical systems with quantized state measurements. Automatica, 30(3), 417–431.
   Web of Science ®Google Scholar
• Lygeros, J., Johansson, K. H. Simic, S. N., Zhang, J., & Sastry, S. S. (2003). Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control, 48(1), 2–17.
   Web of Science ®Google Scholar
• Mahdavinezhad, P., Gohari, P., & Aghdam, A. G. (2008). Supervisory control of discrete-event systems with output: Application to hybrid systems. International Journal of Control, 81(9), 1451–1461.
   Web of Science ®Google Scholar
• Peng, J., & Hammer, J. (2010). Input/output control of asynchronous sequential machines with races. International Journal of Control, 83(1), 125–144.
   Web of Science ®Google Scholar
• Pola, G., Girard, A., & Tabuada, P. (2008). Approximately bisimilar symbolic models for nonlinear control systems. Automatica, 44(10), 2508–2516.
   Web of Science ®Google Scholar
• Ramadge, P. J., & Wonham, W. M. (1989). The control of discrete event systems. Proceedings of IEEE, 77(1), 81–98.
   Web of Science ®Google Scholar
• Ray, A., Fu, J. B., & Lagoa, C. (2004). Optimal supervisory control of finite state automata. International Journal of Control, 77(12), 1083–1100.
   Web of Science ®Google Scholar
• Ross, K., & Wright, C. (2003). Discrete mathematics (5th ed.). New York, NY: Prentice Hall.
   Google Scholar
• Tarraf, D. C., Dahleh, M. A., & Megretskr, A. (2005). Stability of deterministic finite state machines. In Proceedings of the 2005 American Control Conference (pp. 3932–3936). Portland, Oregon, USA.
   Google Scholar
• Venkatraman, N., & Hammer, J. (2006). On the control of asynchronous sequential machines with infinite cycles. International Journal of Control, 79(7), 764–785.
   Web of Science ®Google Scholar
• Wu, S., Adiga, A., & Mortveit, H. S. (2014). Limit cycle structure for dynamic bi-threshold systems. Theoretical Computer Science, 559, 34–41.
   Web of Science ®Google Scholar
• Xu, X. R., & Hong, Y. G. (2012). Matrix expression and reachability analysis of finite automata. Journal of Control Theory and Applications, 10(2), 210–215.
   Google Scholar
• Xu, X. R., & Hong, Y. G. (2013a). Observability analysis and observer design for finite automata via matrix approach. IET Control Theory and Applications, 7(12), 1609–1615.
   Web of Science ®Google Scholar
• Xu, X. R., & Hong, Y. G. (2013b). Matrix approach to model matching of asynchronous sequential machines. IEEE Transactions on Automatic Control, 58(11), 2974–2979.
   Web of Science ®Google Scholar
• Xu, X. R., Zhang, Y. Q., & Hong, Y. G. (2013). Matrix approach to stabilizability of deterministic finite automata. In Proceedings of the 2013 American Control Conference (pp. 3242–3247). Washington, DC, USA.
   Google Scholar
• Yan, Y. Y., Chen, Z. Q., & Liu, Z. X. (2014). Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Frontiers of Computer Science, 8(6), 948–957.
   Web of Science ®Google Scholar
• Yan, Y. Y., Chen, Z. Q., & Liu, Z. X. (2015). Semi-tensor product approach to controllability and stabilizability of finite automata. Journal of Systems Engineering and Electronics, 26(1), 134–141.
   Web of Science ®Google Scholar
• Zhang, K. Z., & Zhang, L. J. (2016). Observability of Boolean control networks: A unified approach based on finite automata. IEEE Transactions on Automatic Control, 61(9), 2733–2738.
   Web of Science ®Google Scholar
• Zhang, S. Q., Hayashida, M., Akutsu, T., Ching, W. K., & Ng, M. K. (2007). Algorithms for finding small attractors in Boolean networks. Eurasip Journal on Bioinformatics and Systems Biology, 2007, 1–13.
   Google Scholar