{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,9]],"date-time":"2026-04-09T22:33:23Z","timestamp":1775774003969,"version":"3.50.1"},"reference-count":130,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2022,12,23]],"date-time":"2022-12-23T00:00:00Z","timestamp":1671753600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,12,23]],"date-time":"2022-12-23T00:00:00Z","timestamp":1671753600000},"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":[[2023,1]]},"DOI":"10.1007\/s11432-022-3538-4","type":"journal-article","created":{"date-parts":[[2023,1,4]],"date-time":"2023-01-04T06:03:09Z","timestamp":1672812189000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":119,"title":["Survey on applications of algebraic state space theory of logical systems to finite state machines"],"prefix":"10.1007","volume":"66","author":[{"given":"Yongyi","family":"Yan","sequence":"first","affiliation":[]},{"given":"Daizhan","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Jun-E.","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Haitao","family":"Li","sequence":"additional","affiliation":[]},{"given":"Jumei","family":"Yue","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,12,23]]},"reference":[{"key":"3538_CR1","volume-title":"Advanced Matrix Theory for Scientists ADN Engineers","author":"A S Deif","year":"1990","unstructured":"Deif A S. Advanced Matrix Theory for Scientists ADN Engineers. Boca Raton: CRC Press, 1990"},{"key":"3538_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5797-2","volume-title":"Matrix Theory, Basic Results and Techniques","author":"F Zhang","year":"1999","unstructured":"Zhang F. Matrix Theory, Basic Results and Techniques. New York: Springer-Verlag, 1999"},{"key":"3538_CR3","doi-asserted-by":"publisher","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 to Morgen\u2019s problem. Sci China Ser F-Inf Sci, 2001, 44: 195\u2013212","journal-title":"Sci China Ser F-Inf Sci"},{"key":"3538_CR4","doi-asserted-by":"publisher","first-page":"3398","DOI":"10.1109\/TCYB.2018.2842819","volume":"49","author":"J Zhong","year":"2019","unstructured":"Zhong J, Ho D W C, Lu J, et al. Pinning controllers for activation output tracking of Boolean network under one-bit perturbation. IEEE Trans Cybern, 2019, 49: 3398\u20133408","journal-title":"IEEE Trans Cybern"},{"key":"3538_CR5","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1016\/j.automatica.2018.11.036","volume":"100","author":"Y H Wu","year":"2019","unstructured":"Wu Y H, Sun X M, Zhao X D, et al. Optimal control of Boolean control networks with average cost: a policy iteration approach. Automatica, 2019, 100: 378\u2013387","journal-title":"Automatica"},{"key":"3538_CR6","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.automatica.2018.06.028","volume":"96","author":"D Z Cheng","year":"2018","unstructured":"Cheng D Z, Liu T. From Boolean game to potential game. Automatica, 2018, 96: 51\u201360","journal-title":"Automatica"},{"key":"3538_CR7","first-page":"1164","volume":"69","author":"J M Yue","year":"2022","unstructured":"Yue J M, Yan Y Y. Update law of simplifying finite state machines (FSMs): an answer to the open question of the unmanned optimization of FSMs. IEEE Trans Circ Syst II, 2022, 69: 1164\u20131167","journal-title":"IEEE Trans Circ Syst II"},{"key":"3538_CR8","doi-asserted-by":"publisher","first-page":"1100","DOI":"10.1109\/TCST.2016.2587247","volume":"25","author":"Y H Wu","year":"2017","unstructured":"Wu Y H, Shen T L. Policy iteration approach to control residual gas fraction in IC engines under the framework of stochastic logical dynamics. IEEE Trans Contr Syst Technol, 2017, 25: 1100\u20131107","journal-title":"IEEE Trans Contr Syst Technol"},{"key":"3538_CR9","doi-asserted-by":"publisher","first-page":"2974","DOI":"10.1109\/TAC.2013.2259957","volume":"58","author":"X R Xu","year":"2013","unstructured":"Xu X R, Hong Y G. Matrix approach to model matching of asynchronous sequential machines. IEEE Trans Automat Contr, 2013, 58: 2974\u20132979","journal-title":"IEEE Trans Automat Contr"},{"key":"3538_CR10","doi-asserted-by":"publisher","first-page":"3810","DOI":"10.1109\/TIE.2021.3075886","volume":"69","author":"Z Y Lv","year":"2022","unstructured":"Lv Z Y, Wu Y H, Zhao Q, et al. Design and control of a novel coaxial tilt-rotor UAV. IEEE Trans Ind Electron, 2022, 69: 3810\u20133821","journal-title":"IEEE Trans Ind Electron"},{"key":"3538_CR11","doi-asserted-by":"publisher","first-page":"3203","DOI":"10.1109\/TCYB.2018.2839892","volume":"49","author":"Y L Li","year":"2019","unstructured":"Li Y L, Li H T, Ding X Y, et al. Leader-follower consensus of multiagent systems with time delays over finite fields. IEEE Trans Cybern, 2019, 49: 3203\u20133208","journal-title":"IEEE Trans Cybern"},{"key":"3538_CR12","first-page":"3264","volume":"29","author":"F F Li","year":"2018","unstructured":"Li F F, Yan H C, Karimi H R. Single-input pinning controller design for reachability of Boolean networks. IEEE Trans Neural Netw Learn Syst, 2018, 29: 3264\u20133269","journal-title":"IEEE Trans Neural Netw Learn Syst"},{"key":"3538_CR13","doi-asserted-by":"publisher","first-page":"3482","DOI":"10.1109\/TCYB.2016.2560240","volume":"47","author":"J Zhong","year":"2017","unstructured":"Zhong J, Lu J Q, Huang T W, et al. Controllability and synchronization analysis of identical-hierarchy mixed-valued logical control networks. IEEE Trans Cybern, 2017, 47: 3482\u20133493","journal-title":"IEEE Trans Cybern"},{"key":"3538_CR14","doi-asserted-by":"publisher","first-page":"022201","DOI":"10.1007\/s11432-018-9414-5","volume":"62","author":"Y H Wang","year":"2019","unstructured":"Wang Y H, Cheng D Z, Liu X Y. Matrix expression of Shapley values and its application to distributed resource allocation. Sci China Inf Sci, 2019, 62: 022201","journal-title":"Sci China Inf Sci"},{"key":"3538_CR15","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1016\/j.ins.2019.01.055","volume":"483","author":"B Wang","year":"2019","unstructured":"Wang B, Feng J E. On detectability of probabilistic Boolean networks. Inf Sci, 2019, 483: 383\u2013395","journal-title":"Inf Sci"},{"key":"3538_CR16","doi-asserted-by":"publisher","first-page":"010202","DOI":"10.1007\/s11432-017-9238-1","volume":"61","author":"H T Li","year":"2018","unstructured":"Li H T, Zhao G D, Meng M, et al. A survey on applications of semi-tensor product method in engineering. Sci China Inf Sci, 2018, 61: 010202","journal-title":"Sci China Inf Sci"},{"key":"3538_CR17","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1016\/j.automatica.2018.07.011","volume":"96","author":"J Q Lu","year":"2018","unstructured":"Lu J Q, Li M L, Huang T W, et al. The transformation between the Galois NLFSRs and the Fibonacci NLFSRs via semi-tensor product of matrices. Automatica, 2018, 96: 393\u2013397","journal-title":"Automatica"},{"key":"3538_CR18","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1016\/j.neunet.2013.12.008","volume":"52","author":"M Yang","year":"2014","unstructured":"Yang M, Li R, Chu T G. Construction of a Boolean model of gene and protein regulatory network with memory. Neural Networks, 2014, 52: 18\u201324","journal-title":"Neural Networks"},{"key":"3538_CR19","doi-asserted-by":"publisher","first-page":"3848","DOI":"10.1002\/mma.5616","volume":"42","author":"J Yue","year":"2019","unstructured":"Yue J, Yan Y, Chen Z, et al. Identification of predictors of Boolean networks from observed attractor states. Math Meth Appl Sci, 2019, 42: 3848\u20133864","journal-title":"Math Meth Appl Sci"},{"key":"3538_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.4310\/AJM.2019.v23.n2.a3","volume":"23","author":"D Z Cheng","year":"2019","unstructured":"Cheng D Z. On equivalence of matrices. Asian J Math, 2019, 23: 257\u2013348","journal-title":"Asian J Math"},{"key":"3538_CR21","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1016\/j.nahs.2016.03.009","volume":"22","author":"G D Zhao","year":"2016","unstructured":"Zhao G D, Wang Y Z. Formulation and optimization control of a class of networked evolutionary games with switched topologies. Nonlinear Anal-Hybrid Syst, 2016, 22: 98\u2013107","journal-title":"Nonlinear Anal-Hybrid Syst"},{"key":"3538_CR22","doi-asserted-by":"crossref","unstructured":"Xu X R, Zhang Y Q, Hong Y G. Matrix approach to stabilizability of deterministic finite automata. In: Proceedings of American Control Conference (ACC), 2013. 3242\u20133247","DOI":"10.1109\/ACC.2013.6580331"},{"key":"3538_CR23","first-page":"41","volume":"54","author":"Z P Zhang","year":"2018","unstructured":"Zhang Z P, Chen Z Q, Han X G, et al. On the static output feedback stabilization of deterministic finite automata based upon the approach of semi-tensor product of matrix. Kybernetika, 2018, 54: 41\u201360","journal-title":"Kybernetika"},{"key":"3538_CR24","doi-asserted-by":"publisher","first-page":"874","DOI":"10.1080\/00207179.2017.1295319","volume":"91","author":"X G Han","year":"2018","unstructured":"Han X G, Chen Z Q, Liu Z X, et al. The detection and stabilisation of limit cycle for deterministic finite automata. Int J Control, 2018, 91: 874\u2013886","journal-title":"Int J Control"},{"key":"3538_CR25","doi-asserted-by":"crossref","unstructured":"Zhang Z P, Chen Z Q, Han X G, et al. Static output feedback stabilization of deterministic finite automat. In: Proceedings of the 36th Chinese Control Conference, Dalian, 2017. 2421\u20132425","DOI":"10.23919\/ChiCC.2017.8027721"},{"key":"3538_CR26","first-page":"75","volume":"25","author":"Z P Zhang","year":"2018","unstructured":"Zhang Z P, Chen Z Q, Liu Z X. Compatible-invariant subset analysis of deterministic finite automata via semi-tensor product of matrices approach. J China Univ Posts and Telecommun, 2018, 25: 75\u201382","journal-title":"J China Univ Posts and Telecommun"},{"key":"3538_CR27","doi-asserted-by":"publisher","first-page":"2634","DOI":"10.1002\/asjc.2190","volume":"21","author":"J M Yue","year":"2019","unstructured":"Yue J M, Yan Y Y, Chen Z Q. Language acceptability of finite automata based on theory of semi-tensor product of matrices. Asian J Control, 2019, 21: 2634\u20132643","journal-title":"Asian J Control"},{"key":"3538_CR28","doi-asserted-by":"publisher","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. Front Comput Sci, 2014, 8: 948\u2013957","journal-title":"Front Comput Sci"},{"key":"3538_CR29","unstructured":"Yan Y Y, Chen Z Q, Yue J M. STP approach to controlliability of finite state machines. In: Proceedings of the 17th IFAC Symposium on System Identification, Beijing, 2015"},{"key":"3538_CR30","doi-asserted-by":"publisher","first-page":"8642","DOI":"10.1016\/j.jfranklin.2018.09.009","volume":"355","author":"X G Han","year":"2018","unstructured":"Han X G, Chen Z Q. A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata. J Franklin Inst, 2018, 355: 8642\u20138663","journal-title":"J Franklin Inst"},{"key":"3538_CR31","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":"3538_CR32","doi-asserted-by":"crossref","unstructured":"Yue J M, Yan Y Y, Li Z Q, et al. Matrix conditions of language recognition for finite state machines using the theory of semi-tensor product of matrices. In: Proceedings of the 38th Chinese Control Conference, Guangzhou, 2019. 65\u201370","DOI":"10.23919\/ChiCC.2019.8865075"},{"key":"3538_CR33","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1016\/S1005-8885(14)60322-8","volume":"21","author":"Y Y Yan","year":"2014","unstructured":"Yan Y Y, Chen Z Q, Liu Z X. Verification analysis of self-verifying automata via semi-tensor product of matrices. J China Univ Posts Telecommun, 2014, 21: 96\u2013104","journal-title":"J China Univ Posts Telecommun"},{"key":"3538_CR34","doi-asserted-by":"publisher","first-page":"1148","DOI":"10.1007\/s11704-019-6525-x","volume":"13","author":"Y Y Yan","year":"2019","unstructured":"Yan Y Y, Yue J M, Fu Z M, et al. Algebraic criteria for finite automata understanding of regular language. Front Comput Sci, 2019, 13: 1148\u20131150","journal-title":"Front Comput Sci"},{"key":"3538_CR35","first-page":"124687","volume":"365","author":"Z P Zhang","year":"2020","unstructured":"Zhang Z P, Xia C Y, Chen Z Q. On the stabilization of nondeterministic finite automata via static output feedback. Appl Math Comput, 2020, 365: 124687","journal-title":"Appl Math Comput"},{"key":"3538_CR36","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.ijar.2020.11.002","volume":"129","author":"H H Wang","year":"2021","unstructured":"Wang H H, Zhao L Y, Li P. Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness. Int J Approximate Reasoning, 2021, 129: 20\u201340","journal-title":"Int J Approximate Reasoning"},{"key":"3538_CR37","doi-asserted-by":"publisher","first-page":"129203","DOI":"10.1007\/s11432-018-9739-9","volume":"63","author":"J M Yue","year":"2020","unstructured":"Yue J M, Yan Y Y, Chen Z Q. Three matrix conditions for the reduction of finite automata based on the theory of semi-tensor product of matrices. Sci China Inf Sci, 2020, 63: 129203","journal-title":"Sci China Inf Sci"},{"key":"3538_CR38","first-page":"1","volume":"2018","author":"Y L Li","year":"2018","unstructured":"Li Y L, Dou W H, Li H T, et al. Controllability, reachability, and stabilizability of finite automata: a controllability matrix method. Math Problems Eng, 2018, 2018: 1\u20136","journal-title":"Math Problems Eng"},{"key":"3538_CR39","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, H 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":"3538_CR40","doi-asserted-by":"crossref","unstructured":"Xu X R, Hong Y G, Lin H. Matrix approach to simulation and bisimulation analysis of finite automata. In: Proceedings of the 10th World Congress on Intelligent Control and Automation (WCICA), 2012. 2716\u20132721","DOI":"10.1109\/WCICA.2012.6358333"},{"key":"3538_CR41","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":"3538_CR42","doi-asserted-by":"crossref","unstructured":"Yan Y Y, Yue J M, Fu Z M, et al. Construction of incompatible graph of finite state machines using the theory of semi-tensor product of matrices. In: Proceedings of the 38th Chinese Control Conference, Guangzhou, 2019. 59\u201364","DOI":"10.23919\/ChiCC.2019.8865832"},{"key":"3538_CR43","doi-asserted-by":"publisher","first-page":"219201","DOI":"10.1007\/s11432-020-3161-6","volume":"65","author":"J M Yue","year":"2022","unstructured":"Yue J M, Yan Y Y, Chen Z Q, et al. Further results on bilinear behavior formulation of finite state machines. Sci China Inf Sci, 2022, 65: 219201","journal-title":"Sci China Inf Sci"},{"key":"3538_CR44","doi-asserted-by":"publisher","first-page":"1611","DOI":"10.1109\/JSYST.2019.2956114","volume":"14","author":"Y Nan","year":"2020","unstructured":"Nan Y, Yi G X, Wang C H, et al. A novel effectiveness evaluation method based on simultaneous probabilistic finite-state machines. IEEE Syst J, 2020, 14: 1611\u20131622","journal-title":"IEEE Syst J"},{"key":"3538_CR45","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1016\/j.asoc.2019.01.023","volume":"77","author":"J Li","year":"2019","unstructured":"Li J, Tan Y. A probabilistic finite state machine based strategy for multi-target search using swarm robotics. Appl Soft Computing, 2019, 77: 467\u2013483","journal-title":"Appl Soft Computing"},{"key":"3538_CR46","first-page":"1","volume":"2019","author":"W H Dou","year":"2019","unstructured":"Dou W H, Li H T, Alsaadi F E. Semitensor product approach to controllability, reachability, and stabilizability of probabilistic finite automata. Math Problems Eng, 2019, 2019: 1\u20137","journal-title":"Math Problems Eng"},{"key":"3538_CR47","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijplas.2015.12.001","volume":"79","author":"Y F Li","year":"2016","unstructured":"Li Y F, Pan X D, Wu G C, et al. Shape-instability life scatter prediction of 40Cr steel: damage-coupled crystal plastic probabilistic finite element method. Int J Plast, 2016, 79: 1\u201318","journal-title":"Int J Plast"},{"key":"3538_CR48","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.compstruc.2012.09.002","volume":"112\u2013113","author":"T Guo","year":"2012","unstructured":"Guo T, Frangopol D M, Chen Y W. Fatigue reliability assessment of steel bridge details integrating weigh-in-motion data and probabilistic finite element analysis. Comput Struct, 2012, 112\u2013113: 245\u2013257","journal-title":"Comput Struct"},{"key":"3538_CR49","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1109\/JSAC.2020.2980920","volume":"38","author":"Z Zhang","year":"2020","unstructured":"Zhang Z, Xia C, Chen S, et al. Reachability analysis of networked finite state machine with communication losses: a switched perspective. IEEE J Sel Areas Commun, 2020, 38: 845\u2013853","journal-title":"IEEE J Sel Areas Commun"},{"key":"3538_CR50","doi-asserted-by":"publisher","first-page":"3056","DOI":"10.1002\/asjc.2705","volume":"24","author":"Y Y Yan","year":"2022","unstructured":"Yan Y Y, Deng H, Chen Z Q. A new look at the critical observability of finite state machines from an algebraic viewpoint. Asian J Control, 2022, 24: 3056\u20133065","journal-title":"Asian J Control"},{"key":"3538_CR51","doi-asserted-by":"publisher","first-page":"1598","DOI":"10.1631\/FITEE.2000608","volume":"22","author":"J M Yue","year":"2021","unstructured":"Yue J M, Yan Y Y, Chen Z Q, et al. State space optimization of finite state machines from the viewpoint of control theory. Front Inform Technol Electron Eng, 2021, 22: 1598\u20131609","journal-title":"Front Inform Technol Electron Eng"},{"key":"3538_CR52","doi-asserted-by":"publisher","first-page":"129202","DOI":"10.1007\/s11432-018-9507-7","volume":"61","author":"Z P Zhang","year":"2018","unstructured":"Zhang Z P, Chen Z Q, Liu Z X. Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices. Sci China Inf Sci, 2018, 61: 129202","journal-title":"Sci China Inf Sci"},{"key":"3538_CR53","doi-asserted-by":"crossref","unstructured":"Zhao J T, Chen Z Q, Liu Z X. Reachability and controllability of time-variant k-valued logical control network and finite memories k-valued logical control network. In: Proceedings of the 36th Chinese Control Conference, Dalian, 2017. 2379\u20132386","DOI":"10.23919\/ChiCC.2017.8027714"},{"key":"3538_CR54","doi-asserted-by":"publisher","first-page":"3558","DOI":"10.1080\/00207721.2017.1384964","volume":"48","author":"N Gao","year":"2017","unstructured":"Gao N, Han X G, Chen Z Q, et al. A novel matrix approach to observability analysis of finite automata. Int J Syst Sci, 2017, 48: 3558\u20133568","journal-title":"Int J Syst Sci"},{"key":"3538_CR55","first-page":"155","volume":"16","author":"J Brzozowski","year":"2010","unstructured":"Brzozowski J, Ye Y L. Gate circuits with feedback in finite multivalued algebras of transients. J Multiple-Valued Logic Soft Comput, 2010, 16: 155\u2013176","journal-title":"J Multiple-Valued Logic Soft Comput"},{"key":"3538_CR56","doi-asserted-by":"publisher","first-page":"2578","DOI":"10.1002\/asjc.2160","volume":"21","author":"Z P Zhang","year":"2019","unstructured":"Zhang Z P, Chen Z Q, Liu Z C. Reachability and controllability analysis of probabilistic finite automata via a novel matrix method. Asian J Control, 2019, 21: 2578\u20132586","journal-title":"Asian J Control"},{"key":"3538_CR57","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1007\/s11390-016-1677-8","volume":"31","author":"J M Yang","year":"2016","unstructured":"Yang J M. Tolerating permanent state transition faults in asynchronous sequential machines. J Comput Sci Technol, 2016, 31: 1028\u20131037","journal-title":"J Comput Sci Technol"},{"key":"3538_CR58","doi-asserted-by":"publisher","first-page":"2526","DOI":"10.1049\/iet-cta.2016.0602","volume":"10","author":"J M Yang","year":"2016","unstructured":"Yang J M, Kwak S W. Static corrective control for asynchronous sequential machines and its application to on-board computers. IET Control Theor & Appl, 2016, 10: 2526\u20132533","journal-title":"IET Control Theor & Appl"},{"key":"3538_CR59","first-page":"473","volume":"61","author":"J M Yang","year":"2016","unstructured":"Yang J M. Corrective control of composite asynchronous sequential machines under partial observation. IEEE Trans Automat Contr, 2016, 61: 473\u2013478","journal-title":"IEEE Trans Automat Contr"},{"key":"3538_CR60","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":"3538_CR61","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":"3538_CR62","volume-title":"Switching and Finite Automata Theory","author":"Z Kohavi","year":"2010","unstructured":"Kohavi Z, Jha N K. Switching and Finite Automata Theory. 3rd ed. New York: Cambridge University Press, 2010","edition":"3rd ed."},{"key":"3538_CR63","volume-title":"Theory of Finite Automata (in Chinese)","author":"W Y Chen","year":"2007","unstructured":"Chen W Y. Theory of Finite Automata (in Chinese). Chengdu: University of Electronic Science Technology Press, 2007"},{"key":"3538_CR64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-59837-6","volume-title":"Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges","author":"A Barkalov","year":"2018","unstructured":"Barkalov A, Bieganowski J, Titarenko L. Logic Synthesis for Finite State Machines Based on Linear Chains of States: Foundations, Recent Developments and Challenges. Berlin: Springer, 2018"},{"key":"3538_CR65","unstructured":"Goren S, Ferguson F J. Chesmin: a heuristic for state reduction in incompletely specified finite state machines. In: Proceedings of Design, Automation and Test in Europe Conference and Exhibition, 2002"},{"key":"3538_CR66","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":"2nd ed."},{"key":"3538_CR67","doi-asserted-by":"publisher","first-page":"3054","DOI":"10.1016\/j.automatica.2008.05.025","volume":"44","author":"S L Shu","year":"2008","unstructured":"Shu S L, Lin F, Ying H, et al. State estimation and detectability of probabilistic discrete event systems. Automatica, 2008, 44: 3054\u20133060","journal-title":"Automatica"},{"key":"3538_CR68","doi-asserted-by":"publisher","first-page":"2085","DOI":"10.1109\/TASE.2020.2989226","volume":"17","author":"K Viard","year":"2020","unstructured":"Viard K, Fanti M P, Faraut G, et al. Human activity discovery and recognition using probabilistic finite-state automata. IEEE Trans Automat Sci Eng, 2020, 17: 2085\u20132096","journal-title":"IEEE Trans Automat Sci Eng"},{"key":"3538_CR69","doi-asserted-by":"publisher","first-page":"1726","DOI":"10.1109\/TCYB.2018.2884007","volume":"50","author":"C H Liu","year":"2020","unstructured":"Liu C H, Huynh D Q, Reynolds M. Toward occlusion handling in visual tracking via probabilistic finite state machines. IEEE Trans Cybern, 2020, 50: 1726\u20131738","journal-title":"IEEE Trans Cybern"},{"key":"3538_CR70","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1155\/2015\/158972","volume":"2015","author":"W C Hsu","year":"2015","unstructured":"Hsu W C, Lee L W, Tseng K H, et al. Design of feedback control for networked finite-distributed delays systems with quantization and packet dropout compensation. Discrete Dyn Nat Soc, 2015, 2015: 1\u201315","journal-title":"Discrete Dyn Nat Soc"},{"key":"3538_CR71","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.tcs.2017.05.025","volume":"810","author":"Y Emek","year":"2020","unstructured":"Emek Y, Uitto J. Dynamic networks of finite state machines. Theor Comput Sci, 2020, 810: 58\u201371","journal-title":"Theor Comput Sci"},{"key":"3538_CR72","first-page":"1","volume":"22","author":"P Guiraud","year":"2017","unstructured":"Guiraud P, Tanr\u00e9 E. Stability of synchronization under stochastic perturbations in leaky integrate and fire neural networks of finite size. Discrete Cont Dyn Syst-B, 2017, 22: 1\u201319","journal-title":"Discrete Cont Dyn Syst-B"},{"key":"3538_CR73","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s00236-014-0199-5","volume":"51","author":"A Meduna","year":"2014","unstructured":"Meduna A, Zemek P. Controlled finite automata. Acta Inform, 2014, 51: 327\u2013337","journal-title":"Acta Inform"},{"key":"3538_CR74","first-page":"111","volume":"85","author":"B Farwer","year":"2008","unstructured":"Farwer B, Jantzen M, Kudlek M, et al. Petri net controlled finite automata. Fundamenta Inform, 2008, 85: 111\u2013121","journal-title":"Fundamenta Inform"},{"key":"3538_CR75","doi-asserted-by":"publisher","first-page":"2040","DOI":"10.1049\/iet-cta.2016.1659","volume":"11","author":"J Q Lu","year":"2017","unstructured":"Lu J Q, Li H T, Liu Y, et al. Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems. IET Control Theor & Appl, 2017, 11: 2040\u20132047","journal-title":"IET Control Theor & Appl"},{"key":"3538_CR76","doi-asserted-by":"publisher","first-page":"519","DOI":"10.1007\/s10626-011-0110-2","volume":"21","author":"K Kobayashi","year":"2011","unstructured":"Kobayashi K, Imura J, Hiraishi K. Stabilization of finite automata with application to hybrid systems control. Discrete Event Dyn Syst, 2011, 21: 519\u2013545","journal-title":"Discrete Event Dyn Syst"},{"key":"3538_CR77","first-page":"270","volume":"8","author":"J Kari","year":"2002","unstructured":"Kari J. Synchronization and stability of finite automata. J Universal Comput Sci, 2002, 8: 270\u2013277","journal-title":"J Universal Comput Sci"},{"key":"3538_CR78","doi-asserted-by":"crossref","unstructured":"Yan Y Y, Chen Z Q, Liu Z X, et al. Modelling combined automata via semi-tensor product of matrices. In: Proceedings of the 33rd Chinese Control Conference, Nanjing, 2014. 6560\u20136565","DOI":"10.1109\/ChiCC.2014.6896075"},{"key":"3538_CR79","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s10009-019-00520-8","volume":"22","author":"M \u010ce\u0161ka","year":"2020","unstructured":"\u010ce\u0161ka M, Havlena V, Hol\u00edk L, et al. Approximate reduction of finite automata for high-speed network intrusion detection. Int J Softw Tools Technol Transfer, 2020, 22: 523\u2013539","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"3538_CR80","doi-asserted-by":"crossref","unstructured":"Hong S P, Kim Y S, Kwon W H, et al. Model and stability of hybrid linear system. In: Proceedings of the DIMACS\/SYCON Workshop on Hybrid Systems III: Verification and Control: Verification and Control, 1996. 1066: 424\u2013435","DOI":"10.1007\/BFb0020965"},{"key":"3538_CR81","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1016\/S1474-6670(17)51970-9","volume":"23","author":"C M Ozveren","year":"1990","unstructured":"Ozveren C M, Willsky A S. Stabilization, tracking, and hierarchical modeling of discrete-event dynamic systems. IFAC Proc Volumes, 1990, 23: 529\u2013533","journal-title":"IFAC Proc Volumes"},{"key":"3538_CR82","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1109\/9.133186","volume":"36","author":"C M Ozveren","year":"1991","unstructured":"Ozveren C M, Willsky A S. Output stabilizability of discrete-event dynamic systems. IEEE Trans Automat Contr, 1991, 36: 925\u2013935","journal-title":"IEEE Trans Automat Contr"},{"key":"3538_CR83","doi-asserted-by":"publisher","first-page":"5173","DOI":"10.1016\/j.jfranklin.2020.02.028","volume":"357","author":"Z P Zhang","year":"2020","unstructured":"Zhang Z P, Chen Z Q, Han X G, et al. Stabilization of probabilistic finite automata based on semi-tensor product of matrices. J Franklin Inst, 2020, 357: 5173\u20135186","journal-title":"J Franklin Inst"},{"key":"3538_CR84","doi-asserted-by":"publisher","DOI":"10.1002\/9781119226444","volume-title":"Smart Cities: Foundations, Principles, and Applications","author":"H Song","year":"2017","unstructured":"Song H, Srinivasan R, Sookoor T, et al. Smart Cities: Foundations, Principles, and Applications. Hoboken: Wiley, 2017"},{"key":"3538_CR85","volume-title":"Cyber-Physical Systems: Foundations, Principles and Applications","author":"H Song","year":"2016","unstructured":"Song H, Rawat D B, Jeschke S, et al. Cyber-Physical Systems: Foundations, Principles and Applications. Orlando: Academic, 2016"},{"key":"3538_CR86","doi-asserted-by":"publisher","first-page":"1097","DOI":"10.1109\/JSAC.2012.120708","volume":"30","author":"H S Li","year":"2012","unstructured":"Li H S, Lai L F, Poor H V. Multicast routing for decentralized control of cyber physical systems with an application in smart grid. IEEE J Sel Areas Commun, 2012, 30: 1097\u20131107","journal-title":"IEEE J Sel Areas Commun"},{"key":"3538_CR87","doi-asserted-by":"publisher","first-page":"107024","DOI":"10.1016\/j.epsr.2021.107024","volume":"193","author":"A A Khan","year":"2021","unstructured":"Khan A A, Beg O A, Alamaniotis M, et al. Intelligent anomaly identification in cyber-physical inverter-based systems. Electric Power Syst Res, 2021, 193: 107024","journal-title":"Electric Power Syst Res"},{"key":"3538_CR88","first-page":"3098","volume":"67","author":"Z Q Chen","year":"2020","unstructured":"Chen Z Q, Zhou Y R, Zhang Z P, et al. Semi-tensor product of matrices approach to the problem of fault detection for discrete event systems (DESs). IEEE Trans Circ Syst II, 2020, 67: 3098\u20133102","journal-title":"IEEE Trans Circ Syst II"},{"key":"3538_CR89","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.1080\/00207721.2019.1618941","volume":"50","author":"Z P Zhang","year":"2019","unstructured":"Zhang Z P, Chen Z Q, Han X G, et al. On the static output feedback stabilisation of discrete event dynamic systems based upon the approach of semi-tensor product of matrices. Int J Syst Sci, 2019, 50: 1595\u20131608","journal-title":"Int J Syst Sci"},{"key":"3538_CR90","doi-asserted-by":"publisher","first-page":"6460","DOI":"10.1016\/j.jfranklin.2019.05.028","volume":"356","author":"B Wang","year":"2019","unstructured":"Wang B, Feng J E, Meng M. Matrix approach to detectability of discrete event systems. J Franklin Inst, 2019, 356: 6460\u20136477","journal-title":"J Franklin Inst"},{"key":"3538_CR91","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.sysconle.2018.10.014","volume":"123","author":"X G Han","year":"2019","unstructured":"Han X G, Chen Z Q, Su R. Synthesis of minimally restrictive optimal stability-enforcing supervisors for nondeterministic discrete event systems. Syst Control Lett, 2019, 123: 33\u201339","journal-title":"Syst Control Lett"},{"key":"3538_CR92","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1016\/j.ins.2019.11.015","volume":"514","author":"S T Le","year":"2020","unstructured":"Le S T, Wu Y H, Toyoda M. A congestion game framework for service chain composition in NFV with function benefit. Inf Sci, 2020, 514: 512\u2013522","journal-title":"Inf Sci"},{"key":"3538_CR93","doi-asserted-by":"crossref","unstructured":"Tu Z Z, Xia X H, Zhu B. Demand-side management and control for a class of smart grids based on game theory. In: Proceedings of the 36th Chinese Control Conference, Dalian, 2017. 10662\u201310667","DOI":"10.23919\/ChiCC.2017.8029055"},{"key":"3538_CR94","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/TCYB.2019.2944659","volume":"51","author":"J Q Lu","year":"2021","unstructured":"Lu J Q, Liu R J, Lou J G, et al. Pinning stabilization of Boolean control networks via a minimum number of controllers. IEEE Trans Cybern, 2021, 51: 373\u2013381","journal-title":"IEEE Trans Cybern"},{"key":"3538_CR95","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.ins.2020.10.019","volume":"548","author":"X G Han","year":"2021","unstructured":"Han X G, Yang W D, Chen X Y, et al. Detectability vverification of probabilistic Boolean networks. Inf Sci, 2021, 548: 313\u2013327","journal-title":"Inf Sci"},{"key":"3538_CR96","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1080\/00207179.2019.1585957","volume":"94","author":"X Y Ding","year":"2021","unstructured":"Ding X Y, Li H T. Optimal control of random evolutionary Boolean games. Int J Control, 2021, 94: 144\u2013152","journal-title":"Int J Control"},{"key":"3538_CR97","doi-asserted-by":"publisher","first-page":"2027","DOI":"10.1002\/asjc.1294","volume":"18","author":"Y Y Yan","year":"2016","unstructured":"Yan Y Y, Chen Z Q, Yue J M, et al. STP approach to model controlled automata with application to reachability analysis of DEDS. Asian J Control, 2016, 18: 2027\u20132036","journal-title":"Asian J Control"},{"key":"3538_CR98","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-662-21545-6_27","volume-title":"Automata, languages and programming","author":"F G\u00e9cseg","year":"1974","unstructured":"G\u00e9cseg F. Composition of automata. In: Automata, languages and programming. Berlin: Springer, 1974. 351\u2013363"},{"key":"3538_CR99","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13","volume-title":"The Theory of Hybrid Automata","author":"T A Henzinger","year":"2000","unstructured":"Henzinger T A. The Theory of Hybrid Automata. Berlin: Springer, 2000"},{"key":"3538_CR100","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":"3538_CR101","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1177\/0142331220972524","volume":"43","author":"Z Q Chen","year":"2021","unstructured":"Chen Z Q, Zhou Y R, Zhang Z P, et al. Observability analysis of combined finite automata based upon semi-tensor product of matrices approach. Trans Inst Measurement Control, 2021, 43: 717\u2013727","journal-title":"Trans Inst Measurement Control"},{"key":"3538_CR102","doi-asserted-by":"publisher","first-page":"670","DOI":"10.1016\/j.jtbi.2006.09.023","volume":"244","author":"T Akutsu","year":"2007","unstructured":"Akutsu T, Hayashida M, Ching W K, et al. Control of Boolean networks: hardness results and algorithms for tree structured networks. J Theor Biol, 2007, 244: 670\u2013679","journal-title":"J Theor Biol"},{"key":"3538_CR103","doi-asserted-by":"publisher","first-page":"1659","DOI":"10.1016\/j.automatica.2009.03.006","volume":"45","author":"D Z Cheng","year":"2009","unstructured":"Cheng D Z, Qi H S. Controllability and observability of Boolean control networks. Automatica, 2009, 45: 1659\u20131667","journal-title":"Automatica"},{"key":"3538_CR104","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1016\/j.sysconle.2010.09.002","volume":"59","author":"Y Zhao","year":"2010","unstructured":"Zhao Y, Qi H S, Cheng D Z. Input-state incidence matrix of Boolean control networks and its applications. Syst Control Lett, 2010, 59: 767\u2013774","journal-title":"Syst Control Lett"},{"key":"3538_CR105","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1016\/j.automatica.2011.01.083","volume":"47","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z, Zhao Y. Identification of Boolean control networks. Automatica, 2011, 47: 702\u2013710","journal-title":"Automatica"},{"key":"3538_CR106","doi-asserted-by":"publisher","first-page":"2711","DOI":"10.1002\/rnc.3019","volume":"24","author":"R Li","year":"2014","unstructured":"Li R, Yang M, Chu T G. Observability conditions of Boolean control networks. Int J Robust Nonlinear Control, 2014, 24: 2711\u20132723","journal-title":"Int J Robust Nonlinear Control"},{"key":"3538_CR107","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1016\/j.sysconle.2015.11.004","volume":"87","author":"D Z Cheng","year":"2016","unstructured":"Cheng D Z, Qi H S, Liu T, et al. A note on observability of Boolean control networks. Syst Control Lett, 2016, 87: 76\u201382","journal-title":"Syst Control Lett"},{"key":"3538_CR108","first-page":"1","volume":"2013","author":"W P Shi","year":"2013","unstructured":"Shi W P, Wu B, Han J. A note on the observability of temporal Boolean control network. Abstract Appl Anal, 2013, 2013: 1\u20139","journal-title":"Abstract Appl Anal"},{"key":"3538_CR109","doi-asserted-by":"publisher","first-page":"2351","DOI":"10.1016\/j.automatica.2013.04.038","volume":"49","author":"D Laschov","year":"2013","unstructured":"Laschov D, Margaliot M, Even G. Observability of Boolean networks: a graph-theoretic approach. Automatica, 2013, 49: 2351\u20132362","journal-title":"Automatica"},{"key":"3538_CR110","doi-asserted-by":"publisher","first-page":"1390","DOI":"10.1109\/TAC.2012.2231592","volume":"58","author":"E Fornasini","year":"2013","unstructured":"Fornasini E, Valcher M E. Observability, reconstructibility and state observers of Boolean control networks. IEEE Trans Automat Contr, 2013, 58: 1390\u20131401","journal-title":"IEEE Trans Automat Contr"},{"key":"3538_CR111","doi-asserted-by":"publisher","first-page":"2733","DOI":"10.1109\/TAC.2015.2501365","volume":"61","author":"K Z Zhang","year":"2016","unstructured":"Zhang K Z, Zhang L J. Observability of Boolean control networks: a unified approach based on finite automata. IEEE Trans Automat Contr, 2016, 61: 2733\u20132738","journal-title":"IEEE Trans Automat Contr"},{"key":"3538_CR112","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-097-7","volume-title":"Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach","author":"D Z Cheng","year":"2011","unstructured":"Cheng D Z, Qi H S, Li Z Q. Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach. London: Springer-Verlag, 2011"},{"key":"3538_CR113","doi-asserted-by":"publisher","first-page":"586","DOI":"10.3389\/fphys.2018.00586","volume":"9","author":"M Chaves","year":"2018","unstructured":"Chaves M, Tournier L. Analysis tools for interconnected Boolean networks with biological applications. Front Physiol, 2018, 9: 586","journal-title":"Front Physiol"},{"key":"3538_CR114","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.nahs.2015.10.002","volume":"19","author":"K Z Zhang","year":"2016","unstructured":"Zhang K Z, Zhang L J, Xie L H. Finite automata approach to observability of switched Boolean control networks. Nonlinear Anal-Hybrid Syst, 2016, 19: 186\u2013197","journal-title":"Nonlinear Anal-Hybrid Syst"},{"key":"3538_CR115","doi-asserted-by":"publisher","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: 1227\u20131236","journal-title":"Automatica"},{"key":"3538_CR116","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s11768-014-0153-7","volume":"12","author":"M R Xu","year":"2014","unstructured":"Xu M R, Wang Y Z, Wei A R. Robust graph coloring based on the matrix semi-tensor product with application to examination timetabling. Control Theor Technol, 2014, 12: 187\u2013197","journal-title":"Control Theor Technol"},{"key":"3538_CR117","first-page":"64","volume":"45","author":"X U Meirong","year":"2015","unstructured":"Meirong X U, Wang Y Z. Conflict-free coloring problem with appliction to frequency assignment. J Shandong Univ, 2015, 45: 64\u201369","journal-title":"J Shandong Univ"},{"key":"3538_CR118","doi-asserted-by":"crossref","unstructured":"Xu M R, Wang Y Z, Jiang P. Fuzzy graph coloring via semi-tensor product method. In: Proceedings of the 34th Chinese Control Conference, Hangzhou, 2015. 973\u2013978","DOI":"10.1109\/ChiCC.2015.7259766"},{"key":"3538_CR119","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1016\/j.neucom.2015.09.073","volume":"174","author":"J Zhong","year":"2016","unstructured":"Zhong J, Lu J Q, Huang C, et al. Finding graph minimum stable set and core via semi-tensor product approach. Neurocomputing, 2016, 174: 588\u2013596","journal-title":"Neurocomputing"},{"key":"3538_CR120","first-page":"1","volume":"2014","author":"M Meng","year":"2014","unstructured":"Meng M, Feng J E. A matrix approach to hypergraph stable set and coloring problems with its application to storing problem. J Appl Math, 2014, 2014: 1\u20139","journal-title":"J Appl Math"},{"key":"3538_CR121","first-page":"457","volume":"34","author":"J M Yue","year":"2017","unstructured":"Yue J M, Chen Z Q, Yan Y Y, et al. Solvability of k-track assignment problem: a graph approach. Control Theory & Appl, 2017, 34: 457\u2013466","journal-title":"Control Theory & Appl"},{"key":"3538_CR122","doi-asserted-by":"publisher","first-page":"2061","DOI":"10.1002\/asjc.2123","volume":"22","author":"J M Yue","year":"2020","unstructured":"Yue J M, Yan Y Y, Chen Z Q. Matrix approach to simplification of finite state machines using semi-tensor product of matrices. Asian J Control, 2020, 22: 2061\u20132070","journal-title":"Asian J Control"},{"key":"3538_CR123","doi-asserted-by":"publisher","first-page":"627","DOI":"10.3233\/JIFS-161382","volume":"35","author":"Y B Wang","year":"2018","unstructured":"Wang Y B, Li Y M. Minimization of lattice multiset finite automata. J Intell Fuzzy Syst, 2018, 35: 627\u2013637","journal-title":"J Intell Fuzzy Syst"},{"key":"3538_CR124","doi-asserted-by":"publisher","first-page":"1423","DOI":"10.1016\/j.fss.2007.03.003","volume":"158","author":"Y M Li","year":"2007","unstructured":"Li Y M, Pedrycz W. Minimization of lattice finite automata and its application to the decomposition of lattice languages. Fuzzy Sets Syst, 2007, 158: 1423\u20131436","journal-title":"Fuzzy Sets Syst"},{"key":"3538_CR125","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1134\/S1064230717010129","volume":"56","author":"V V Solov\u2019ev","year":"2017","unstructured":"Solov\u2019ev V V. Minimization of mealy finite-state machines by using the values of the output variables for state assignment. J Comput Syst Sci Int, 2017, 56: 96\u2013104","journal-title":"J Comput Syst Sci Int"},{"key":"3538_CR126","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1134\/S1064226911020136","volume":"56","author":"V V Solov\u2019ev","year":"2011","unstructured":"Solov\u2019ev V V. Minimization of mealy finite state machines via internal state merging. J Commun Technol Electron, 2011, 56: 207\u2013213","journal-title":"J Commun Technol Electron"},{"key":"3538_CR127","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1134\/S1064226910050153","volume":"55","author":"V V Solov\u2019ev","year":"2010","unstructured":"Solov\u2019ev V V. Minimization of Moore finite automata by internal state gluing. J Commun Technol Electron, 2010, 55: 584\u2013592","journal-title":"J Commun Technol Electron"},{"key":"3538_CR128","doi-asserted-by":"publisher","first-page":"400","DOI":"10.1134\/S106423071303009X","volume":"52","author":"A S Klimowicz","year":"2013","unstructured":"Klimowicz A S, Solov\u2019ev V V. Minimization of incompletely specified mealy finite-state machines by merging two internal states. J Comput Syst Sci Int, 2013, 52: 400\u2013409","journal-title":"J Comput Syst Sci Int"},{"key":"3538_CR129","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1016\/j.compeleceng.2006.06.001","volume":"33","author":"S G\u00f6ren","year":"2007","unstructured":"G\u00f6ren S, Ferguson F J. On state reduction of incompletely specified finite state machines. Comput Electrical Eng, 2007, 33: 58\u201369","journal-title":"Comput Electrical Eng"},{"key":"3538_CR130","doi-asserted-by":"publisher","first-page":"e0165864","DOI":"10.1371\/journal.pone.0165864","volume":"11","author":"D S Liu","year":"2016","unstructured":"Liu D S, Huang Z P, Zhang Y M, et al. Efficient deterministic finite automata minimization based on backward depth information. Plos One, 2016, 11: e0165864","journal-title":"Plos One"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-3538-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-022-3538-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-022-3538-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T15:53:25Z","timestamp":1728662005000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-022-3538-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,23]]},"references-count":130,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1]]}},"alternative-id":["3538"],"URL":"https:\/\/doi.org\/10.1007\/s11432-022-3538-4","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,12,23]]},"assertion":[{"value":"17 January 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 April 2022","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 June 2022","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 December 2022","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"111201"}}