{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T19:30:15Z","timestamp":1771702215531,"version":"3.50.1"},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"12","license":[{"start":{"date-parts":[[2018,11,7]],"date-time":"2018-11-07T00:00:00Z","timestamp":1541548800000},"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":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11432-018-9507-7","type":"journal-article","created":{"date-parts":[[2018,11,12]],"date-time":"2018-11-12T03:54:25Z","timestamp":1541994865000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":26,"title":["Modeling and reachability of probabilistic finite automata based on semi-tensor product of matrices"],"prefix":"10.1007","volume":"61","author":[{"given":"Zhipeng","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,7]]},"reference":[{"key":"9507_CR1","doi-asserted-by":"publisher","first-page":"2013","DOI":"10.1109\/TAC.2009.2024376","volume":"54","author":"V Pantelic","year":"2009","unstructured":"Pantelic V, Postma S M, Lawford M. Probabilistic supervisory control of probabilistic discrete event systems. IEEE Trans Autom Control, 2009, 54: 2013\u20132018","journal-title":"IEEE Trans Autom Control"},{"key":"9507_CR2","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1016\/j.automatica.2017.08.027","volume":"86","author":"C Keroglou","year":"2017","unstructured":"Keroglou C, Hadjicostis C N. Verification of detectability in probabilistic finite automata. Automatica, 2017, 86: 192\u2013198","journal-title":"Automatica"},{"key":"9507_CR3","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 Autom Control, 2010, 55: 2251\u20132258","journal-title":"IEEE Trans Autom Control"},{"key":"9507_CR4","first-page":"012202","volume":"57","author":"Y Zhao","year":"2014","unstructured":"Zhao Y, Cheng D Z. On controllability and stabilizability of probabilistic Boolean control networks. Sci China Inf Sci, 2014, 57: 012202","journal-title":"Sci China Inf Sci"},{"key":"9507_CR5","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 Theory Appl, 2012, 10: 210\u2013215","journal-title":"J Control Theory Appl"},{"key":"9507_CR6","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":"9507_CR7","first-page":"41","volume":"1","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, 1: 41\u201360","journal-title":"Kybernetika"},{"key":"9507_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event System. 2nd ed","author":"C Cassandras","year":"2008","unstructured":"Cassandras C, Lafortune S. Introduction to Discrete Event System. 2nd ed. New York: Springer Science and Business Media, 2008"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9507-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-018-9507-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9507-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T14:09:58Z","timestamp":1579356598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-018-9507-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,7]]},"references-count":8,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9507"],"URL":"https:\/\/doi.org\/10.1007\/s11432-018-9507-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11,7]]},"assertion":[{"value":"24 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 June 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"129202"}}