{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T21:14:17Z","timestamp":1713474857730},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"11","license":[{"start":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T00:00:00Z","timestamp":1587600000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T00:00:00Z","timestamp":1587600000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2020,11]]},"DOI":"10.1007\/s11432-018-9676-7","type":"journal-article","created":{"date-parts":[[2020,4,24]],"date-time":"2020-04-24T10:27:07Z","timestamp":1587724027000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems"],"prefix":"10.1007","volume":"63","author":[{"given":"Xiaoguang","family":"Han","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pengfei","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zengqiang","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,4,23]]},"reference":[{"key":"9676_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7","volume-title":"Introduction to Discrete Event Systems","author":"C Cassandras","year":"2008","unstructured":"Cassandras C, Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008","edition":"2nd ed."},{"key":"9676_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10626-004-6210-5","volume":"15","author":"K Rohloff","year":"2005","unstructured":"Rohloff K, Lafortune S. PSPACE-completeness of modular supervisory control problems. Discrete Event Dyn Syst Theor Appl, 2005, 15: 145\u2013167","journal-title":"Discrete Event Dyn Syst Theor Appl"},{"key":"9676_CR3","doi-asserted-by":"publisher","first-page":"602","DOI":"10.1109\/TAC.2017.2726582","volume":"63","author":"T Masopust","year":"2018","unstructured":"Masopust T. Complexity of verifying nonblockingness in modular supervisory control. IEEE Trans Automat Contr, 2018, 63: 602\u2013607","journal-title":"IEEE Trans Automat Contr"},{"key":"9676_CR4","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, ZhaoXu X R, Hong Y GG D, MengXu X R, Hong Y GM, 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":"9676_CR5","doi-asserted-by":"publisher","first-page":"556","DOI":"10.1016\/j.automatica.2018.06.030","volume":"95","author":"Y L Li","year":"2018","unstructured":"Li Y L, Li H T, Sun W W. Event-triggered control for robust set stabilization of logical control networks. Automatica, 2018, 95: 556\u2013560","journal-title":"Automatica"},{"key":"9676_CR6","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"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9676-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11432-018-9676-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-018-9676-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,20]],"date-time":"2021-12-20T21:04:00Z","timestamp":1640034240000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11432-018-9676-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4,23]]},"references-count":6,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2020,11]]}},"alternative-id":["9676"],"URL":"https:\/\/doi.org\/10.1007\/s11432-018-9676-7","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,4,23]]},"assertion":[{"value":"9 October 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 April 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"219204"}}