{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T20:44:20Z","timestamp":1763585060410},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T00:00:00Z","timestamp":1482969600000},"content-version":"unspecified","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":[[2017,10]]},"DOI":"10.1007\/s11704-016-5128-z","type":"journal-article","created":{"date-parts":[[2016,12,29]],"date-time":"2016-12-29T11:06:53Z","timestamp":1483009613000},"page":"874-886","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Algebraic state space approach to model and control combined automata"],"prefix":"10.1007","volume":"11","author":[{"given":"Yongyi","family":"Yan","sequence":"first","affiliation":[]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Jumei","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,29]]},"reference":[{"issue":"1","key":"5128_CR1","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3233\/FI-2015-1148","volume":"136","author":"G Pighizzini","year":"2015","unstructured":"Pighizzini G, Pisoni A. Limited automata and context-free languages. Fundamenta Informaticae, 2015, 136(1): 157\u2013176","journal-title":"Fundamenta Informaticae"},{"issue":"5","key":"5128_CR2","doi-asserted-by":"crossref","first-page":"908","DOI":"10.1080\/00207160.2014.926005","volume":"92","author":"N Schluter","year":"2015","unstructured":"Schluter N. Restarting automata with auxiliary symbols restricted by look ahead size. International Journal of Computer Mathematics, 2015, 92(5): 908\u2013938","journal-title":"International Journal of Computer Mathematics"},{"key":"5128_CR3","volume-title":"Automata, Languages and Programming","author":"F G\u00e9cseg","year":"1974","unstructured":"G\u00e9cseg F. Automata, Languages and Programming. New York: Springer, 1974"},{"key":"5128_CR4","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of Symposium on Logic in Computer Science.","author":"T A Henzinger","year":"1996","unstructured":"Henzinger T A. The theory of hybrid automata. In: Proceedings of Symposium on Logic in Computer Science. 1996, 278\u2013292"},{"key":"5128_CR5","volume-title":"Switching and Finite Automata Theory","author":"Z Kohavi","year":"2010","unstructured":"Kohavi Z, Jhan K. Switching and Finite Automata Theory. New York: Cambridge University Press, 2010"},{"key":"5128_CR6","volume-title":"Algebraic Automata Theory","author":"M Holcombe","year":"2004","unstructured":"Holcombe M, Holcombe L. Algebraic Automata Theory. Cambridge: Cambridge University Press, 2004"},{"key":"5128_CR7","volume-title":"Validation of Stochastic Systems","author":"A Sokolova","year":"2004","unstructured":"Sokolova A, Devinke P. Validation of Stochastic Systems. New York: Springer, 2004"},{"key":"5128_CR8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Olderog","year":"2010","unstructured":"Olderog R, Swaminathan M. Formal Modeling and Analysis of Timed Systems. New York: Springer, 2010"},{"key":"5128_CR9","first-page":"318","volume-title":"Proceedings of the International Workshop on Discrete Event Systems.","author":"J Komenda","year":"2010","unstructured":"Komenda J, Lahaye S, Boimond L. Synchronous composition of interval weighted automata. In: Proceedings of the International Workshop on Discrete Event Systems. 2010, 318\u2013323"},{"key":"5128_CR10","first-page":"192","volume-title":"Proceedings of the IEEE International Symposium on Intelligent Control.","author":"M Dogruel","year":"1992","unstructured":"Dogruel M, Ozguner U. Controllability, reachability, stabilizability and state reduction in automata. In: Proceedings of the IEEE International Symposium on Intelligent Control. 1992, 192\u2013197"},{"key":"5128_CR11","volume-title":"Automata, Topologies, Controllability, Observability","author":"A Nerode","year":"1993","unstructured":"Nerode A, Kohn W. Automata, Topologies, Controllability, Observability. New York: Springer, 1993"},{"key":"5128_CR12","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195218","volume-title":"Elements of Automata Theory","author":"J Sakarovitch","year":"2009","unstructured":"Sakarovitch J. Elements of Automata Theory. Cambridge: Cambridge University Press, 2009"},{"issue":"6","key":"5128_CR13","doi-asserted-by":"crossref","first-page":"348","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): 348\u2013356","journal-title":"International Journal of Computer Mathematics"},{"issue":"3","key":"5128_CR14","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1080\/00207160.2014.914508","volume":"92","author":"L Czech","year":"2015","unstructured":"Czech L. On dynamics of automata with a stack. International Journal of Computer Mathematics, 2015, 92(3): 486\u2013497","journal-title":"International Journal of Computer Mathematics"},{"issue":"3","key":"5128_CR15","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/BF02714570","volume":"44","author":"D Z Cheng","year":"2001","unstructured":"Cheng D Z. Semi-tensor product of matrices and its application toMorgen\u2019s problem. Science in China Series F: Information Sciences, 2001, 44(3): 195\u2013212","journal-title":"Science in China Series F: Information Sciences"},{"key":"5128_CR16","doi-asserted-by":"crossref","DOI":"10.1142\/8323","volume-title":"An Introduction to Semi-tensor Product of Matrices and Its Applications","author":"D Z Cheng","year":"2012","unstructured":"Cheng D Z, Qi H S, Zhao Y. An Introduction to Semi-tensor Product of Matrices and Its Applications. Singapore: World Scientific Publishing, 2012"},{"key":"5128_CR17","first-page":"208","volume-title":"Proceedings of the 32nd Chinese Control Conference.","author":"H S Qi","year":"2013","unstructured":"Qi H S. On shift register via semi-tensor product approach. In: Proceedings of the 32nd Chinese Control Conference. 2013, 208\u2013212"},{"issue":"1","key":"5128_CR18","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1109\/TAC.2010.2050161","volume":"56","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z. Disturbance decoupling of boolean control networks. IEEE Transactions on Automatic Control, 2011, 56(1): 2\u201310","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"5128_CR19","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(12): 10\u201317","journal-title":"Neural Networks"},{"issue":"7","key":"5128_CR20","doi-asserted-by":"crossref","first-page":"1227","DOI":"10.1016\/j.automatica.2012.03.024","volume":"48","author":"Y Z Wang","year":"2012","unstructured":"Wang Y Z, Zhang C H, Liu Z B. 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":"5","key":"5128_CR21","doi-asserted-by":"crossref","first-page":"1313","DOI":"10.1002\/asjc.656","volume":"15","author":"J E Feng","year":"2013","unstructured":"Feng J E, Lv H L, Cheng D Z. Multiple fuzzy relation and its application to coupled fuzzy control. Asian Journal of Control, 2013, 15(5): 1313\u20131324","journal-title":"Asian Journal of Control"},{"issue":"4","key":"5128_CR22","doi-asserted-by":"crossref","first-page":"688","DOI":"10.1016\/j.automatica.2012.01.021","volume":"48","author":"H T Li","year":"2012","unstructured":"Li H T, Wang Y Z. 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"},{"issue":"6","key":"5128_CR23","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1007\/s11704-014-3425-y","volume":"8","author":"Y Y Yan","year":"2014","unstructured":"Yan Y Y, Chen Z Q, Liu Z X. Semi-tensor product of matrices approach to reachability of finite automata with application to language recognition. Frontiers of Computer Science, 2014, 8(6): 948\u2013957","journal-title":"Frontiers of Computer Science"},{"issue":"12","key":"5128_CR24","doi-asserted-by":"crossref","first-page":"1609","DOI":"10.1049\/iet-cta.2013.0096","volume":"7","author":"X R Xu","year":"2013","unstructured":"Xu X R, Hong Y G. Observability analysis and observer design for finite automata via matrix approach. Control Theory & Applications, 2013, 7(12): 1609\u20131615","journal-title":"Control Theory & Applications"},{"issue":"2","key":"5128_CR25","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/s11768-012-1178-4","volume":"10","author":"X R Xu","year":"2012","unstructured":"Xu X R, Hong Y G. 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":"1","key":"5128_CR26","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1109\/JSEE.2015.00018","volume":"26","author":"Y Y Yan","year":"2015","unstructured":"Yan Y Y, Chen Z Q, Liu Z X. Semi-tensor product approach to controlliability and stabilizability of finite automata. Journal of Systems Engineering and Electronics, 2015, 26(1): 134\u2013141","journal-title":"Journal of Systems Engineering and Electronics"},{"issue":"3","key":"5128_CR27","doi-asserted-by":"crossref","first-page":"362","DOI":"10.1007\/s11424-008-9119-5","volume":"21","author":"D Z Cheng","year":"2008","unstructured":"Cheng D Z, Li Z Q, Qiao Y, Qi H S, Liu J B. Stability of switched polynomial systems. Journal of Systems Science and Complexity, 2008, 21(3): 362\u2013377","journal-title":"Journal of Systems Science and Complexity"},{"key":"5128_CR28","volume-title":"Asian Journal of Control","author":"Y Y Yan","year":"2016","unstructured":"Yan Y Y, Chen Z Q, Yue J M, Fu Z M. STP approach to model controlled automata with application to reachability analysis of discrete event dynamic systems. Asian Journal of Control, 2016, doi: 10.1002\/asjc.1294"},{"issue":"1","key":"5128_CR29","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1006\/inco.1998.2787","volume":"152","author":"G Q Zhang","year":"1999","unstructured":"Zhang G Q. Automata, Boolean matrices, and ultimate periodicity. Information and Computatioin, 1999, 152(1): 138\u2013154","journal-title":"Information and Computatioin"},{"key":"5128_CR30","first-page":"2151","volume-title":"Proceedings of the 31st Chinese Control Conference.","author":"Y Q Zhang","year":"2012","unstructured":"Zhang Y Q, Xu X R, Hong Y G. Bi-decomposition analysis and algorithm of automata based on semi-tensor product. In: Proceedings of the 31st Chinese Control Conference. 2012, 2151\u20132156"},{"key":"5128_CR31","volume-title":"Automata Theory and Its Applications","author":"C He","year":"1990","unstructured":"He C. Automata Theory and Its Applications. Beijing: Science Press, 1990"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-016-5128-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5128-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-016-5128-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T13:45:36Z","timestamp":1718977536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-016-5128-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,29]]},"references-count":31,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2017,10]]}},"alternative-id":["5128"],"URL":"https:\/\/doi.org\/10.1007\/s11704-016-5128-z","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,12,29]]}}}