Table of Contents Author Guidelines Submit a Manuscript
Mathematical Problems in Engineering
Volume 2018, Article ID 6719319, 6 pages
https://doi.org/10.1155/2018/6719319
Research Article

Controllability, Reachability, and Stabilizability of Finite Automata: A Controllability Matrix Method

1School of Mathematics and Statistics, Shandong Normal University, Jinan 250014, China
2Institute of Data Science and Technology, Shandong Normal University, Jinan 250014, China

Correspondence should be addressed to Haitao Li; moc.liamg@90iloatiah

Received 15 November 2017; Revised 6 January 2018; Accepted 18 January 2018; Published 28 February 2018

Academic Editor: Alessandro Lo Schiavo

Copyright © 2018 Yalu Li et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. S. Abdelwahed and W. M. Wonham, “Blocking Detection in Discrete Event Systems,” in Proceedings of the American Control Conference, pp. 1673–1678, USA, 2003. View at Scopus
  2. M. Dogruel and U. Ozguner, “Controllability, reachability, stabilizability and state reduction in automata,” in Proceedings of the IEEE International Symposium on Intelligent Control, pp. 192–197, Glasgow, UK, 1992.
  3. Y. Gang, “Decomposing a kind of weakly invertible finite automata with delay 2,” Journal of Computer Science and Technology, vol. 18, no. 3, pp. 354–360, 2003. View at Google Scholar
  4. J. Lygeros, C. Tomlin, and S. Sastry, “Controllers for reachability specifications for hybrid systems,” Automatica, vol. 35, no. 3, pp. 349–370, 1999. View at Publisher · View at Google Scholar · View at Scopus
  5. X. Xu and Y. Hong, “Matrix expression and reachability analysis of finite automata,” Control Theory and Technology, vol. 10, no. 2, pp. 210–215, 2012. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  6. A. Casagrande, A. Balluchi, L. Benvenuti, A. Policriti, T. Villa, and A. Sangiovanni-Vincentelli, “Improving reachability analysis of hybrid automata for engine control,” in Proceedings of the 43rd IEEE Conference on Decision and Control (CDC), pp. 2322–2327, 2004. View at Scopus
  7. J. Thistle and W. Wonham, “Control of infinite behavior of finite automata,” SIAM Journal on Control and Optimization, vol. 32, no. 4, pp. 1075–1097, 1994. View at Publisher · View at Google Scholar · View at MathSciNet
  8. K. Kobayashi, J. Imura, and K. Hiraishi, “Stabilization of finite automata with application to hybrid systems control,” Discrete Event Dynamic Systems, vol. 21, no. 4, pp. 519–545, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  9. D. Cheng, H. Qi, and Z. Li, Analysis and Control of Boolean Network: A Semi-Tensor Product Approach, Communications and Control Engineering Series, Springer, London, UK, 2011. View at Publisher · View at Google Scholar · View at MathSciNet
  10. E. Fornasini and M. E. Valcher, “On the periodic trajectories of Boolean control networks,” Automatica, vol. 49, no. 5, pp. 1506–1509, 2013. View at Publisher · View at Google Scholar · View at Scopus
  11. Y. Guo, P. Wang, W. Gui, and C. Yang, “Set stability and set stabilization of Boolean control networks based on invariant subsets,” Automatica, vol. 61, pp. 106–112, 2015. View at Publisher · View at Google Scholar · View at Scopus
  12. D. Laschov and M. Margaliot, “Minimum-time control of Boolean networks,” SIAM Journal on Control and Optimization, vol. 51, no. 4, pp. 2869–2892, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  13. F. Li and J. Sun, “Controllability and optimal control of a temporal Boolean network,” Neural Networks, vol. 34, pp. 10–17, 2012. View at Publisher · View at Google Scholar · View at Scopus
  14. F. Li, “Pinning control design for the synchronization of two coupled boolean networks,” IEEE Transactions on Circuits and Systems II: Express Briefs, vol. 63, no. 3, pp. 309–313, 2016. View at Publisher · View at Google Scholar · View at Scopus
  15. H. Li, L. Xie, and Y. Wang, “On robust control invariance of Boolean control networks,” Automatica, vol. 68, pp. 392–396, 2016. View at Publisher · View at Google Scholar · View at Scopus
  16. H. Li, Y. Wang, and L. Xie, “Output tracking control of Boolean control networks via state feedback: Constant reference signal case,” Automatica, vol. 59, article 6422, pp. 54–59, 2015. View at Publisher · View at Google Scholar · View at Scopus
  17. H. Li and Y. Wang, “Controllability analysis and control design for switched Boolean networks with state and input constraints,” SIAM Journal on Control and Optimization, vol. 53, no. 5, pp. 2955–2979, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  18. H. Li, L. Xie, and Y. Wang, “Output regulation of Boolean control networks,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 62, no. 6, pp. 2993–2998, 2017. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  19. J. Lu, J. Zhong, C. Huang, and J. Cao, “On pinning controllability of Boolean control networks,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 61, no. 6, pp. 1658–1663, 2016. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. M. Meng, L. Liu, and G. Feng, “Stability and gain analysis of Boolean networks with Markovian jump parameters,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 62, no. 8, pp. 4222–4228, 2017. View at Publisher · View at Google Scholar · View at MathSciNet
  21. Z. Liu, Y. Wang, and H. Li, “New approach to derivative calculation of multi-valued logical functions with application to fault detection of digital circuits,” IET Control Theory & Applications, vol. 8, no. 8, pp. 554–560, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  22. J. Lu, H. Li, Y. Liu, and F. Li, “Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems,” IET Control Theory & Applications, vol. 11, no. 13, pp. 2040–2047, 2017. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  23. Y. Wu and T. Shen, “An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems,” Systems & Control Letters, vol. 82, article 3915, pp. 108–114, 2015. View at Publisher · View at Google Scholar · View at Scopus
  24. D. Cheng, F. He, H. Qi, and T. Xu, “Modeling, analysis and control of networked evolutionary games,” Institute of Electrical and Electronics Engineers Transactions on Automatic Control, vol. 60, no. 9, pp. 2402–2415, 2015. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. P. Guo, H. Zhang, F. E. Alsaadi, and T. Hayat, “Semi-tensor product method to a class of event-triggered control for finite evolutionary networked games,” IET Control Theory & Applications, vol. 11, no. 13, pp. 2140–2145, 2017. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  26. Y. Yan, Z. Chen, and Z. Liu, “Semi-tensor product approach to controllability and stabilizability of finite automata,” Journal of Systems Engineering and Electronics, vol. 26, no. 1, pp. 134–141, 2015. View at Publisher · View at Google Scholar
  27. D. Cheng and H. Qi, “Non-regular feedback linearization of nonlinear systems via a normal form algoithm,” Automatica, vol. 40, pp. 439–447, 2004. View at Google Scholar
  28. H. Li, G. Zhao, M. Meng, and J. Feng, “A survey on applications of semi-tensor product method in engineering,” Science China Information Sciences, vol. 61, no. 1, Article ID 010202, 2018. View at Google Scholar
  29. Z. Li, Y. Qiao, H. Qi, and D. Cheng, “Stability of switched polynomial systems,” Journal of Systems Science and Complexity, vol. 21, no. 3, pp. 362–377, 2008. View at Publisher · View at Google Scholar · View at MathSciNet
  30. Y. Liu, H. Chen, J. Lu, and B. Wu, “Controllability of probabilistic Boolean control networks based on transition probability matrices,” Automatica, vol. 52, pp. 340–345, 2015. View at Publisher · View at Google Scholar · View at Scopus
  31. Y. Wang, C. Zhang, and Z. Liu, “A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems,” Automatica, vol. 48, no. 7, pp. 1227–1236, 2012. View at Publisher · View at Google Scholar · View at Scopus
  32. Y. Yan, Z. Chen, and Z. Liu, “Solving type-2 fuzzy relation equations via semi-tensor product of matrices,” Control Theory and Technology, vol. 12, no. 2, pp. 173–186, 2014. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  33. K. Zhang, L. Zhang, and L. Xie, “Invertibility and nonsingularity of Boolean control networks,” Automatica, vol. 60, article 6475, pp. 155–164, 2015. View at Publisher · View at Google Scholar · View at Scopus
  34. J. Zhong, J. Lu, Y. Liu, and J. Cao, “Synchronization in an array of output-coupled boolean networks with time delay,” IEEE Transactions on Neural Networks and Learning Systems, vol. 25, no. 12, pp. 2288–2294, 2014. View at Publisher · View at Google Scholar · View at Scopus
  35. Y. Zou and J. Zhu, “System decomposition with respect to inputs for Boolean control networks,” Automatica, vol. 50, no. 4, pp. 1304–1309, 2014. View at Publisher · View at Google Scholar · View at Scopus