{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:08:40Z","timestamp":1774418920129,"version":"3.50.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2024,10]]},"DOI":"10.1007\/s11432-022-4124-7","type":"journal-article","created":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T21:02:11Z","timestamp":1726434131000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["An STP look at logical blocking of finite state machines: formulation, detection, and search"],"prefix":"10.1007","volume":"67","author":[{"given":"Yongyi","family":"Yan","sequence":"first","affiliation":[]},{"given":"Penglei","family":"Hao","sequence":"additional","affiliation":[]},{"given":"Jumei","family":"Yue","sequence":"additional","affiliation":[]},{"given":"Haitao","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jun-E","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"4124_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C G Cassandras","year":"2008","unstructured":"Cassandras C G, Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008","edition":"2"},{"key":"4124_CR2","volume-title":"Regular Languages: To Finite Automata and Beyond Succinct Descriptions and Optimal Simulations","author":"L Prigioniero","year":"2020","unstructured":"Prigioniero L. Regular Languages: To Finite Automata and Beyond Succinct Descriptions and Optimal Simulations. European Association for Theoretical Computer Science, 2020"},{"key":"4124_CR3","doi-asserted-by":"publisher","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. IET Control Theor Appl, 2013, 7: 1609\u20131615","journal-title":"IET Control Theor Appl"},{"key":"4124_CR4","doi-asserted-by":"publisher","first-page":"111201","DOI":"10.1007\/s11432-022-3538-4","volume":"66","author":"Y Y Yan","year":"2023","unstructured":"Yan Y Y, Cheng D Z, Feng J-E, et al. Survey on applications of algebraic state space theory of logical systems to finite state machines. Sci China Inf Sci, 2023, 66: 111201","journal-title":"Sci China Inf Sci"},{"key":"4124_CR5","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1007\/s11704-016-5128-z","volume":"11","author":"Y Y Yan","year":"2017","unstructured":"Yan Y Y, Chen Z Q, Yue J M. Algebraic state space approach to model and control combined automata. Front Comput Sci, 2017, 11: 874\u2013886","journal-title":"Front Comput Sci"},{"key":"4124_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TAC.2023.3334109","volume":"68","author":"Y L Li","year":"2023","unstructured":"Li Y L, Feng J-E, Cheng D Z, et al. Observability decomposition of Boolean control networks under several kinds of observability. IEEE Trans Automat Contr, 2023, 68: 1\u20138","journal-title":"IEEE Trans Automat Contr"},{"key":"4124_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-319-24202-6","volume-title":"Logic Synthesis for FPGA-Based Finite State Machines","author":"A Barkalov","year":"2016","unstructured":"Barkalov A, Titarenko L. Background of finite state machines and programmable logic. In: Logic Synthesis for FPGA-Based Finite State Machines, Springer International Publishing, 2016. 1\u201331"},{"key":"4124_CR8","doi-asserted-by":"publisher","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 Co. Pte. Ltd., 2012"},{"key":"4124_CR9","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/TAC.2023.3269321","volume":"69","author":"S Y Zhu","year":"2024","unstructured":"Zhu S Y, Cao J D, Lin L, et al. Toward stabilizable large-scale Boolean networks by controlling the minimal set of nodes. IEEE Trans Automat Contr, 2024, 69: 174\u2013188","journal-title":"IEEE Trans Automat Contr"},{"key":"4124_CR10","doi-asserted-by":"publisher","first-page":"101216","DOI":"10.1016\/j.nahs.2022.101216","volume":"46","author":"J H Wu","year":"2022","unstructured":"Wu J H, Liu Y, Ruan Q H, et al. Robust stability of switched Boolean networks with function perturbation. Nonlinear Anal-Hybrid Syst, 2022, 46: 101216","journal-title":"Nonlinear Anal-Hybrid Syst"},{"key":"4124_CR11","doi-asserted-by":"publisher","first-page":"5523","DOI":"10.1016\/j.jfranklin.2020.02.040","volume":"357","author":"Y H Wang","year":"2020","unstructured":"Wang Y H, Cheng D Z. On coset weighted potential game. J Franklin Inst, 2020, 357: 5523\u20135540","journal-title":"J Franklin Inst"},{"key":"4124_CR12","doi-asserted-by":"publisher","first-page":"5793","DOI":"10.1109\/TAC.2021.3122372","volume":"67","author":"Y H Wu","year":"2022","unstructured":"Wu Y H, Le S T, Zhang K Z, et al. Ex-ante agent transformation of Bayesian games. IEEE Trans Automat Contr, 2022, 67: 5793\u20135808","journal-title":"IEEE Trans Automat Contr"},{"key":"4124_CR13","first-page":"2171","volume":"70","author":"Y Y Yan","year":"2023","unstructured":"Yan Y Y, Deng H, Yue J M. Model-reference adaptive control of finite state machines with respect to states: a matrix-based approach. IEEE Trans Circ Syst II, 2023, 70: 2171\u20132175","journal-title":"IEEE Trans Circ Syst II"},{"key":"4124_CR14","doi-asserted-by":"publisher","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. J Control Theor Appl, 2012, 10: 210\u2013215","journal-title":"J Control Theor Appl"},{"key":"4124_CR15","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/s11432-019-2813-7","volume":"63","author":"B W Li","year":"2020","unstructured":"Li B W, Lu J Q. Boolean-network-based approach for construction of filter generators. Sci China Inf Sci, 2020, 63: 220\u2013232","journal-title":"Sci China Inf Sci"},{"key":"4124_CR16","doi-asserted-by":"publisher","first-page":"110970","DOI":"10.1016\/j.automatica.2023.110970","volume":"152","author":"H T Li","year":"2023","unstructured":"Li H T, Yang X R. Robust optimal control of logical control networks with function perturbation. Automatica, 2023, 152: 110970","journal-title":"Automatica"},{"key":"4124_CR17","doi-asserted-by":"publisher","first-page":"212203","DOI":"10.1007\/s11432-021-3446-8","volume":"65","author":"Y H Wu","year":"2022","unstructured":"Wu Y H, Zhang J Y, Shen T L. A logical network approximation to optimal control on a continuous domain and its application to HEV control. Sci China Inf Sci, 2022, 65: 212203","journal-title":"Sci China Inf Sci"},{"key":"4124_CR18","doi-asserted-by":"publisher","first-page":"2156","DOI":"10.1109\/TASE.2024.3362975","volume":"21","author":"Y Y Yan","year":"2024","unstructured":"Yan Y Y, Xu P J, Yue J M, et al. Robust control: from continuous-state systems to finite state machines. IEEE Trans Autom Sci Eng, 2024, 21: 2156\u20132163","journal-title":"IEEE Trans Autom Sci Eng"},{"key":"4124_CR19","doi-asserted-by":"publisher","first-page":"2251","DOI":"10.1109\/TAC.2010.2043294","volume":"55","author":"D Z Cheng","year":"2010","unstructured":"Cheng D Z, Qi H S. A linear representation of dynamics of Boolean networks. IEEE Trans Automat Contr, 2010, 55: 2251\u20132258","journal-title":"IEEE Trans Automat Contr"},{"key":"4124_CR20","first-page":"196","volume":"70","author":"J M Yue","year":"2023","unstructured":"Yue J M, Yan Y Y, Chen Z Q. A simplifying-matrix method to reduce the storage complexity in studying finite state machines in the framework of STP. IEEE Trans Circ Syst II, 2023, 70: 196\u2013200","journal-title":"IEEE Trans Circ Syst II"},{"key":"4124_CR21","doi-asserted-by":"publisher","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 controllability and stabilizability of finite automata. J Syst Eng Electron, 2015, 26: 134\u2013141","journal-title":"J Syst Eng Electron"},{"key":"4124_CR22","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1109\/TNN.2011.2106512","volume":"22","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z, Qi H S, Li Z Q. Model construction of Boolean network via observed data. IEEE Trans Neural Netw, 2011, 22: 525\u2013536","journal-title":"IEEE Trans Neural Netw"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-4124-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-022-4124-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-4124-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T20:24:09Z","timestamp":1763583849000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-022-4124-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":22,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2024,10]]}},"alternative-id":["4124"],"URL":"https:\/\/doi.org\/10.1007\/s11432-022-4124-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"22 October 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 October 2023","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 January 2024","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 September 2024","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"202208"}}