{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:36:25Z","timestamp":1771702585284,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1007\/s11704-014-3425-y","type":"journal-article","created":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T09:14:40Z","timestamp":1409735680000},"page":"948-957","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":28,"title":["Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition"],"prefix":"10.1007","volume":"8","author":[{"given":"Yongyi","family":"Yan","sequence":"first","affiliation":[]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"issue":"3","key":"3425_CR1","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02714570","volume":"44","author":"D Cheng","year":"2001","unstructured":"Cheng D. Semi-tensor product of matrices and its application to Morgen\u2019s problem. Science in China Series F: Information Sciences, 2001, 44(3): 195\u2013212","journal-title":"Science in China Series F: Information Sciences"},{"key":"3425_CR2","doi-asserted-by":"crossref","DOI":"10.1142\/8323","volume-title":"An Introduction to Semi-tensor Product of Matrices and Its Applications","author":"D Cheng","year":"2012","unstructured":"Cheng D, Qi H, Zhao Y. An Introduction to Semi-tensor Product of Matrices and Its Applications. Singapore: World Scientific Publishing Co, 2012"},{"issue":"8","key":"3425_CR3","doi-asserted-by":"crossref","first-page":"2525","DOI":"10.1016\/j.automatica.2013.05.004","volume":"49","author":"G Hochma","year":"2013","unstructured":"Hochma G, Margaliot M, Fornasini E, Valcher M E. Symbolic dynamics of Boolean control networks. Automatica, 2013, 49(8): 2525\u20132530","journal-title":"Automatica"},{"issue":"6","key":"3425_CR4","doi-asserted-by":"crossref","first-page":"638","DOI":"10.1002\/rnc.2781","volume":"23","author":"L Zhang","year":"2013","unstructured":"Zhang L, Zhang K. L2 stability, H\u221e control of switched homogeneous nonlinear systems and their semi-tensor product of matrices representation. International Journal of Robust and Nonlinear Control, 2013, 23(6): 638\u2013652","journal-title":"International Journal of Robust and Nonlinear Control"},{"key":"3425_CR5","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/j.neunet.2012.06.002","volume":"34","author":"F Li","year":"2012","unstructured":"Li F, Sun J. Controllability and optimal control of a temporal Boolean network. Neural Networks, 2012, 34: 10\u201317","journal-title":"Neural Networks"},{"issue":"4","key":"3425_CR6","doi-asserted-by":"crossref","first-page":"688","DOI":"10.1016\/j.automatica.2012.01.021","volume":"48","author":"H Li","year":"2012","unstructured":"Li H, Wang Y. Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method. Automatica, 2012, 48(4): 688\u2013693","journal-title":"Automatica"},{"key":"3425_CR7","volume-title":"Asian Journal of Control","author":"H T Li","year":"2013","unstructured":"Li H T, Wang Y Z, Liu Z B. A semi-tensor product approach to Pseudo-Boolean functions with application to Boolean control networks. Asian Journal of Control, 2013 (in press)"},{"issue":"6","key":"3425_CR8","doi-asserted-by":"crossref","first-page":"996","DOI":"10.1109\/TNNLS.2013.2248092","volume":"24","author":"R Li","year":"2013","unstructured":"Li R, Yang M, Chu T. Synchronization design of Boolean networks via the semi-tensor product method. IEEE Transactions on Neural Networks and Learning Systems, 2013, 24(6): 996\u20131001","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"issue":"7","key":"3425_CR9","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1016\/j.automatica.2012.03.024","volume":"48","author":"Y Wang","year":"2012","unstructured":"Wang Y, Zhang C, Liu Z. A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems. Automatica, 2012, 48(7): 1227\u20131236","journal-title":"Automatica"},{"issue":"12","key":"3425_CR10","doi-asserted-by":"crossref","first-page":"3641","DOI":"10.1016\/j.automatica.2013.09.023","volume":"49","author":"H Li","year":"2013","unstructured":"Li H, Wang Y. Output feedback stabilization control design for Boolean control networks. Automatica, 2013, 49(12): 3641\u20133645","journal-title":"Automatica"},{"issue":"2","key":"3425_CR11","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/s11768-014-0137-7","volume":"12","author":"Y Yan","year":"2014","unstructured":"Yan Y, Cheng Z, Liu Z. Solving type-2 fuzzy relation equations via semi-tensor product of matrices. Control Theory and Technology, 2014, 12(2): 173\u2013186","journal-title":"Control Theory and Technology"},{"key":"3425_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11432-013-5009-0","volume":"56","author":"J Feng","year":"2013","unstructured":"Feng J, Yao J, Cui P. Singular Boolean networks: Semi-tensor product approach. Science China Information Science, 2013, 56: 1\u201314","journal-title":"Science China Information Science"},{"issue":"2","key":"3425_CR13","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/s11768-012-1178-4","volume":"10","author":"X Xu","year":"2012","unstructured":"Xu X, Hong Y. Matrix expression and reachability analysis of finite automata. Journal of Control Theory and Applications, 2012, 10(2): 210\u2013215","journal-title":"Journal of Control Theory and Applications"},{"issue":"6","key":"3425_CR14","doi-asserted-by":"crossref","first-page":"1150","DOI":"10.1080\/00207160.2012.762451","volume":"90","author":"W Charatonik","year":"2013","unstructured":"Charatonik W, Chorowska A. Parameterized complexity of basic decision problems for tree automata. International Journal of Computer Mathematics, 2013, 90(6): 1150\u20131170","journal-title":"International Journal of Computer Mathematics"},{"key":"3425_CR15","volume-title":"Automata, languages, and machines","author":"S Eilenberg","year":"1974","unstructured":"Eilenberg S. Automata, languages, and machines. New York: Academic Press, INC, 1974"},{"issue":"12","key":"3425_CR16","doi-asserted-by":"crossref","first-page":"1715","DOI":"10.1080\/00207160701326764","volume":"84","author":"H Long","year":"2007","unstructured":"Long H, Fu Y. A general approach for building combinational P automata. International Journal of Computer Mathematics, 2007, 84(12): 1715\u20131730","journal-title":"International Journal of Computer Mathematics"},{"key":"3425_CR17","volume-title":"Boolean matrix theory and applications","author":"K H Kim","year":"1982","unstructured":"Kim K H. Boolean matrix theory and applications. New York: Dekker, 1982"},{"issue":"12","key":"3425_CR18","doi-asserted-by":"crossref","first-page":"767","DOI":"10.1016\/j.sysconle.2010.09.002","volume":"59","author":"Y Zhao","year":"2010","unstructured":"Zhao Y, Qi H, Cheng D. Input-state incidence matrix of Boolean control networks and its applications. Systems & Control Letters, 2010, 59(12): 767\u2013774","journal-title":"Systems & Control Letters"},{"issue":"1","key":"3425_CR19","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TCT.1959.1086510","volume":"6","author":"S Seshu","year":"1959","unstructured":"Seshu S, Miller R, Metze G. Transition matrices of sequential machines. IRE Transactions on Circuit Theory, 1959, 6(1): 5\u201312","journal-title":"IRE Transactions on Circuit Theory"},{"key":"3425_CR20","first-page":"1109","volume-title":"Proceeding of the American Control Conference","author":"S Abdelwahed","year":"2003","unstructured":"Abdelwahed S, Wonham W. Blocking detection in discrete event systems. In: Proceeding of the American Control Conference. 2003, 1109\u20131114"},{"issue":"3","key":"3425_CR21","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J Lygeros","year":"1999","unstructured":"Lygeros J, Tomlin C, Sastry S. Controllers for reachability specifications for hybrid systems. Automatica, 1999, 35(3): 349\u2013370","journal-title":"Automatica"},{"key":"3425_CR22","first-page":"2322","volume-title":"Proceedings of the Decision and Control","author":"A Casagrande","year":"2004","unstructured":"Casagrande A, Balluchi A, Benvenuti L, Policriti A, Viua T, Sangiovanni-Vincenteui A. Improving reachability analysis of hybrid automata for engine control. In: Proceedings of the Decision and Control. 2004, 2322\u20132327"},{"key":"3425_CR23","first-page":"192","volume-title":"Proceedings of the Intelligent Control","author":"M Dogruel","year":"1992","unstructured":"Dogruel M, Ozguner U. Controllability, reachability, stabilizability and state reduction in automata. In: Proceedings of the Intelligent Control. 1992, 192\u2013197"},{"key":"3425_CR24","doi-asserted-by":"crossref","first-page":"2716","DOI":"10.1109\/WCICA.2012.6358333","volume-title":"Proceedings of 10th World Congress on Intelligent Control and Automation","author":"X Xu","year":"2012","unstructured":"Xu X, Hong Y, Lin H. Matrix approach to simulation and bisimulation analysis of finite automata. In: Proceedings of 10th World Congress on Intelligent Control and Automation. 2012, 2716\u20132721"},{"issue":"2013","key":"3425_CR25","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1016\/j.neunet.2013.03.009","volume":"44","author":"F Li","year":"2013","unstructured":"Li F, Lu X. Complete synchronization of temporal Boolean networks. Neural Networks, 2013, 44(2013): 72\u201377","journal-title":"Neural Networks"},{"key":"3425_CR26","volume-title":"Theory of finite automata","author":"W Chen","year":"2007","unstructured":"Chen W. Theory of finite automata. Chengdu: University of Electronic Scinece Technoldge Press, 2007 (in Chinese)"},{"issue":"1","key":"3425_CR27","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s11704-012-1301-1","volume":"7","author":"J Liu","year":"2013","unstructured":"Liu J, Liu ZW, He J F, Mallet F, Ding Z H. Hybrid MARTE statecharts. Frontiers of Computer Science, 2013, 7(1): 95\u2013108","journal-title":"Frontiers of Computer Science"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3425-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-014-3425-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-014-3425-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,16]],"date-time":"2023-07-16T10:36:06Z","timestamp":1689503766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-014-3425-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":27,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2014,12]]}},"alternative-id":["3425"],"URL":"https:\/\/doi.org\/10.1007\/s11704-014-3425-y","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,3]]}}}