{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T12:58:09Z","timestamp":1770987489982,"version":"3.50.1"},"reference-count":38,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of the Franklin Institute"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1016\/j.jfranklin.2020.02.028","type":"journal-article","created":{"date-parts":[[2020,2,26]],"date-time":"2020-02-26T20:21:51Z","timestamp":1582748511000},"page":"5173-5186","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":26,"title":["Stabilization of probabilistic finite automata based on semi-tensor product of matrices"],"prefix":"10.1016","volume":"357","author":[{"given":"Zhipeng","family":"Zhang","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1415-4073","authenticated-orcid":false,"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0810-259X","authenticated-orcid":false,"given":"Xiaoguang","family":"Han","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3565-4800","authenticated-orcid":false,"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jfranklin.2020.02.028_bib0001","doi-asserted-by":"crossref","first-page":"42084","DOI":"10.1109\/ACCESS.2018.2859798","article-title":"State-based control of discrete-event systems under partial observation","volume":"6","author":"Wang","year":"2018","journal-title":"IEEE Access"},{"issue":"2","key":"10.1016\/j.jfranklin.2020.02.028_bib0002","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1109\/TSMCA.2010.2058101","article-title":"Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems","volume":"41","author":"Hu","year":"2011","journal-title":"IEEE Trans. Syst. Man Cybern. A Syst. Hum."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0003","series-title":"Introduction to Discrete Event System, 2nd ed","author":"Cassandras","year":"2008"},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0004","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/j.plrev.2016.08.002","article-title":"Pattern transitions in spatial epidemics: Mechanisms and emergent properties","volume":"19","author":"Sun","year":"2016","journal-title":"Phys. Life Rev."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0005","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/j.jtbi.2018.03.006","article-title":"Modelling the effects of bacterial cell state and spatial location on tuberculosis treatment: Insights from a hybrid multiscale cellular automaton model","volume":"446","author":"Bowness","year":"2018","journal-title":"J. Theor. Biol."},{"issue":"3","key":"10.1016\/j.jfranklin.2020.02.028_bib0006","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1016\/S0019-9958(63)90290-0","article-title":"Probabilistic automata","volume":"6","author":"Rabin","year":"1963","journal-title":"Inf. Control"},{"issue":"4","key":"10.1016\/j.jfranklin.2020.02.028_bib0007","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1007\/s10626-011-0110-2","article-title":"Stabilization of finite automata with application to hybrid systems control","volume":"21","author":"Kobayashi","year":"2011","journal-title":"Discret. Event Dyn. Syst."},{"issue":"5","key":"10.1016\/j.jfranklin.2020.02.028_bib0008","doi-asserted-by":"crossref","first-page":"1101","DOI":"10.1080\/00207179008934118","article-title":"Stabilization of discrete-event processes","volume":"51","author":"Brave","year":"1990","journal-title":"Int. J. Control"},{"issue":"3","key":"10.1016\/j.jfranklin.2020.02.028_bib0009","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1145\/116825.116855","article-title":"Stability and stabilizability of discrete event dynamic systems","volume":"38","author":"\u00d6zveren","year":"1991","journal-title":"J. ACM"},{"issue":"5","key":"10.1016\/j.jfranklin.2020.02.028_bib0010","doi-asserted-by":"crossref","first-page":"1294","DOI":"10.1137\/0331061","article-title":"Language stability and stabilizability of discrete event dynamical systems","volume":"31","author":"Kumar","year":"1993","journal-title":"SIAM J. Control Optim."},{"issue":"5","key":"10.1016\/j.jfranklin.2020.02.028_bib0011","doi-asserted-by":"crossref","first-page":"1133","DOI":"10.1109\/TAC.2008.923658","article-title":"A framework for robust stability of systems over finite alphabets","volume":"53","author":"Tarraf","year":"2008","journal-title":"IEEE Trans. Autom. Control"},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0012","first-page":"124687","article-title":"On the stabilization of nondeterministic finite automata via static output feedback","volume":"365","author":"Zhang","year":"2020","journal-title":"Appl. Math. Comput."},{"issue":"17","key":"10.1016\/j.jfranklin.2020.02.028_bib0013","doi-asserted-by":"crossref","first-page":"8642","DOI":"10.1016\/j.jfranklin.2018.09.009","article-title":"A matrix-based approach to verifying stability and synthesizing optimal stabilizing controllers for finite-state automata","volume":"355","author":"Han","year":"2018","journal-title":"J. Frankl. Inst."},{"issue":"10","key":"10.1016\/j.jfranklin.2020.02.028_bib0014","doi-asserted-by":"crossref","first-page":"1971","DOI":"10.1109\/9.793788","article-title":"Supervisory control of probabilistic discrete-event systems with recovery","volume":"44","author":"Y","year":"1999","journal-title":"IEEE Trans. Autom. Control"},{"issue":"8","key":"10.1016\/j.jfranklin.2020.02.028_bib0015","doi-asserted-by":"crossref","first-page":"2013","DOI":"10.1109\/TAC.2009.2024376","article-title":"Probabilistic supervisory control of probabilistic discrete event systems","volume":"54","author":"Pantelic","year":"2009","journal-title":"IEEE Trans. Autom. Control"},{"issue":"4","key":"10.1016\/j.jfranklin.2020.02.028_bib0016","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1109\/TAC.2005.844722","article-title":"Diagnosability of stochastic discrete-event systems","volume":"50","author":"Thorsley","year":"2005","journal-title":"IEEE Trans. Autom. Control"},{"issue":"12","key":"10.1016\/j.jfranklin.2020.02.028_bib0017","doi-asserted-by":"crossref","first-page":"3054","DOI":"10.1016\/j.automatica.2008.05.025","article-title":"State estimation and detectability of probabilistic discrete event systems","volume":"44","author":"Shu","year":"2008","journal-title":"Automatica"},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0018","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/j.sysconle.2015.07.005","article-title":"Detectability in stochastic discrete event systems","volume":"84","author":"Keroglou","year":"2015","journal-title":"Syst. Control Lett."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0019","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1016\/j.automatica.2017.08.027","article-title":"Verification of detectability in probabilistic finite automata","volume":"86","author":"Keroglou","year":"2017","journal-title":"Automatica"},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0020","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.automatica.2017.02.032","article-title":"Initial-state detectability of stochastic discrete\u2013event systems with probabilistic sensor failures","volume":"80","author":"Yin","year":"2017","journal-title":"Automatica"},{"issue":"1","key":"10.1016\/j.jfranklin.2020.02.028_bib0021","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1109\/TAC.2013.2279914","article-title":"Current-state opacity formulations in probabilistic finite automata","volume":"59","author":"Saboori","year":"2014","journal-title":"IEEE Trans. Autom. Control"},{"issue":"10","key":"10.1016\/j.jfranklin.2020.02.028_bib0022","doi-asserted-by":"crossref","first-page":"2251","DOI":"10.1109\/TAC.2010.2043294","article-title":"A linear representation of dynamics of Boolean networks","volume":"55","author":"Cheng","year":"2010","journal-title":"IEEE Trans. Autom. Control"},{"issue":"9","key":"10.1016\/j.jfranklin.2020.02.028_bib0023","doi-asserted-by":"crossref","first-page":"2733","DOI":"10.1109\/TAC.2015.2501365","article-title":"Observability of Boolean control networks: a unified approach based on finite automata","volume":"61","author":"Zhang","year":"2016","journal-title":"IEEE Trans. Autom. Control"},{"issue":"17","key":"10.1016\/j.jfranklin.2020.02.028_bib0024","doi-asserted-by":"crossref","first-page":"8576","DOI":"10.1016\/j.jfranklin.2018.09.004","article-title":"Input-output decoupling control design for switched Boolean control networks","volume":"355","author":"Fu","year":"2018","journal-title":"J. Frankl. Inst."},{"issue":"3","key":"10.1016\/j.jfranklin.2020.02.028_bib0025","first-page":"2402","article-title":"Stability and stabilization of a class of finite evolutionary games","volume":"354","author":"Wang","year":"2015","journal-title":"J. Frankl. Inst."},{"issue":"3","key":"10.1016\/j.jfranklin.2020.02.028_bib0026","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1109\/TSMC.2015.2507162","article-title":"Calculation of siphons and minimal siphons in petri nets based on semi-tensor product of matrices","volume":"47","author":"Han","year":"2016","journal-title":"IEEE Trans. Syst. Man Cybern. Syst."},{"issue":"12","key":"10.1016\/j.jfranklin.2020.02.028_bib0027","doi-asserted-by":"crossref","first-page":"2765","DOI":"10.1016\/j.automatica.2011.09.016","article-title":"Controllability of probabilistic Boolean control networks","volume":"47","author":"Li","year":"2011","journal-title":"Automatica"},{"issue":"6","key":"10.1016\/j.jfranklin.2020.02.028_bib0028","doi-asserted-by":"crossref","first-page":"3314","DOI":"10.1016\/j.jfranklin.2019.02.007","article-title":"Column stacking approach to resolution of systems of fuzzy relational inequalities","volume":"356","author":"Wang","year":"2019","journal-title":"J. Frankl. Inst."},{"issue":"1","key":"10.1016\/j.jfranklin.2020.02.028_bib0029","doi-asserted-by":"crossref","first-page":"12202","DOI":"10.1007\/s11432-013-4851-4","article-title":"On controllability and stabilizability of probabilistic Boolean control networks","volume":"57","author":"Zhao","year":"2014","journal-title":"Sci. China Inf. Sci."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0030","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1016\/j.automatica.2014.12.018","article-title":"Controllability of probabilistic Boolean control networks based on transition probability matrices","volume":"52","author":"Liu","year":"2015","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.jfranklin.2020.02.028_bib0031","doi-asserted-by":"crossref","first-page":"1272","DOI":"10.1016\/j.automatica.2014.02.034","article-title":"State feedback stabilization for probabilistic Boolean networks","volume":"50","author":"Li","year":"2014","journal-title":"Automatica"},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0032","first-page":"1","article-title":"State feedback based output tracking control of probabilistic Boolean networks","volume":"349","author":"Li","year":"2016","journal-title":"Inf. Sci."},{"issue":"4","key":"10.1016\/j.jfranklin.2020.02.028_bib0033","doi-asserted-by":"crossref","first-page":"819","DOI":"10.1109\/TNNLS.2017.2647989","article-title":"Synchronization for the realization-dependent probabilistic Boolean networks","volume":"29","author":"Chen","year":"2018","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0034","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.sysconle.2015.04.007","article-title":"An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems","volume":"82","author":"Wu","year":"2015","journal-title":"Syst. Control Lett."},{"issue":"12","key":"10.1016\/j.jfranklin.2020.02.028_bib0035","doi-asserted-by":"crossref","first-page":"129202","DOI":"10.1007\/s11432-018-9507-7","article-title":"Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices","volume":"61","author":"Zhang","year":"2018","journal-title":"Sci. China Inf. Sci."},{"key":"10.1016\/j.jfranklin.2020.02.028_bib0036","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1016\/j.jtbi.2017.07.020","article-title":"Asymmetric disease dynamics in multihost interconnected networks","volume":"430","author":"Pilosof","year":"2017","journal-title":"J. Theor. Biol."},{"issue":"12","key":"10.1016\/j.jfranklin.2020.02.028_bib0037","first-page":"437","article-title":"Coupling dynamics of epidemic spreading and information diffusion on complex networks","volume":"332","author":"Zhan","year":"2018","journal-title":"Appl. Math. Comput."},{"issue":"12","key":"10.1016\/j.jfranklin.2020.02.028_bib0038","first-page":"566","article-title":"Analysis of transmission dynamics for Zika virus on networks","volume":"347","author":"Li","year":"2019","journal-title":"Appl. Math. Comput."}],"container-title":["Journal of the Franklin Institute"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0016003220301125?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0016003220301125?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,16]],"date-time":"2025-09-16T09:31:23Z","timestamp":1758015083000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0016003220301125"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":38,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["S0016003220301125"],"URL":"https:\/\/doi.org\/10.1016\/j.jfranklin.2020.02.028","relation":{},"ISSN":["0016-0032"],"issn-type":[{"value":"0016-0032","type":"print"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Stabilization of probabilistic finite automata based on semi-tensor product of matrices","name":"articletitle","label":"Article Title"},{"value":"Journal of the Franklin Institute","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jfranklin.2020.02.028","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 The Franklin Institute. Published by Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}]}}