{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T07:00:16Z","timestamp":1760598016194,"version":"3.38.0"},"reference-count":33,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T00:00:00Z","timestamp":1607299200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61573200"],"award-info":[{"award-number":["61573200"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61973175"],"award-info":[{"award-number":["61973175"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Transactions of the Institute of Measurement and Control"],"published-print":{"date-parts":[[2021,2]]},"abstract":"<jats:p> As a fundamental subject, the state estimation of deterministic finite automata has received considerable attention. Especially, it is increasingly necessary to study various problems based on more complex systems. In this paper, the observability of three kinds of combining automata, structured in parallel, serial and feedback manners, are investigated based on an algebraic state space approach. Compared with the formal language method, the matrix approach has great advantages in problem description and solution. Because of inconsistent frameworks of these combined automata, we optimize structure matrices by pseudo-commutation of semi-tensor product and power-reducing matrix. In addition, we construct corresponding incidence matrices by labelling to avoid superfluous null elements in the logical matrix occupying storage space. It follows that the observability analysis could be carried out under two polynomial matrices, established from the above algebraic form. Meanwhile, two algorithms, judging whether a combined automaton is initial state observable or current state observable, are presented. Finally, there are two representative examples to actualize our approach. <\/jats:p>","DOI":"10.1177\/0142331220972524","type":"journal-article","created":{"date-parts":[[2020,12,10]],"date-time":"2020-12-10T17:33:35Z","timestamp":1607621615000},"page":"717-727","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":9,"title":["Observability analysis of combined finite automata based upon semi-tensor product of matrices approach"],"prefix":"10.1177","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1415-4073","authenticated-orcid":false,"given":"Zengqiang","family":"Chen","sequence":"first","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, P. R. China"}]},{"given":"Yingrui","family":"Zhou","sequence":"additional","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, P. R. China"}]},{"given":"Zhipeng","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Computer Science and Engineering, Tianjin University of Technology, P. R. China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3565-4800","authenticated-orcid":false,"given":"Zhongxin","family":"Liu","sequence":"additional","affiliation":[{"name":"College of Artificial Intelligence, Nankai University, P. R. China"}]}],"member":"179","published-online":{"date-parts":[[2020,12,7]]},"reference":[{"key":"bibr1-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70090"},{"key":"bibr2-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1988.194300"},{"volume-title":"Introduction to Discrete Event Systems","year":"2009","author":"Cassandras CG","key":"bibr3-0142331220972524"},{"key":"bibr4-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2020.2967062."},{"issue":"3","key":"bibr5-0142331220972524","first-page":"195","volume":"44","author":"Cheng D","year":"2001","journal-title":"Science in China Series: Information Sciences"},{"key":"bibr6-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.03.006"},{"key":"bibr7-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2043294"},{"key":"bibr8-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2009.2039802"},{"key":"bibr9-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1142\/8323"},{"key":"bibr10-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2018.03.004"},{"key":"bibr11-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1080\/23307706.2015.1098577"},{"key":"bibr12-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2017.1384964"},{"key":"bibr13-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00602-9_14"},{"volume-title":"Automata theory and its applications","year":"2012","author":"Khoussainov B","key":"bibr14-0142331220972524"},{"key":"bibr15-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9238-1"},{"key":"bibr16-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2014.01.001"},{"issue":"1","key":"bibr17-0142331220972524","first-page":"16","volume":"39","author":"Mahmudov EN","year":"2019","journal-title":"Informatics and Control Problems"},{"key":"bibr18-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2906372"},{"key":"bibr19-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"key":"bibr20-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1080\/00207160.2014.926005"},{"key":"bibr21-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1999.12005110"},{"key":"bibr22-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2007.03.006"},{"key":"bibr23-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2259957"},{"key":"bibr24-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/s11768-012-1178-4"},{"key":"bibr25-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0096"},{"key":"bibr26-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-016-5128-z"},{"key":"bibr27-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-018-9507-7"},{"key":"bibr28-0142331220972524","first-page":"1","author":"Zhang Z","year":"2019","journal-title":"International Journal of Systems Science"},{"key":"bibr29-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/TCBB.2016.2515600"},{"key":"bibr30-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.2980920"},{"key":"bibr31-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2019.124687"},{"key":"bibr32-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1080\/00207721.2018.1506063"},{"key":"bibr33-0142331220972524","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-017-9135-4"}],"container-title":["Transactions of the Institute of Measurement and Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0142331220972524","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.1177\/0142331220972524","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/0142331220972524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,1]],"date-time":"2025-03-01T05:41:29Z","timestamp":1740807689000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/0142331220972524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,12,7]]},"references-count":33,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,2]]}},"alternative-id":["10.1177\/0142331220972524"],"URL":"https:\/\/doi.org\/10.1177\/0142331220972524","relation":{},"ISSN":["0142-3312","1477-0369"],"issn-type":[{"type":"print","value":"0142-3312"},{"type":"electronic","value":"1477-0369"}],"subject":[],"published":{"date-parts":[[2020,12,7]]}}}