References
Cassandras C, Lafortune S. Introduction to Discrete Event Systems. 2nd ed. New York: Springer, 2008
Rohloff K, Lafortune S. PSPACE-completeness of modular supervisory control problems. Discrete Event Dyn Syst Theor Appl, 2005, 15: 145–167
Masopust T. Complexity of verifying nonblockingness in modular supervisory control. IEEE Trans Automat Contr, 2018, 63: 602–607
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
Li Y L, Li H T, Sun W W. Event-triggered control for robust set stabilization of logical control networks. Automatica, 2018, 95: 556–560
Xu X R, Hong Y G. Matrix expression and reachability analysis of finite automata. J Control Theor Appl, 2012, 10: 210–215
Acknowledgements
This work was supported by National Natural Science Foundation of China (Grant No. 61573199) and Tianjin Natural Science Foundation (Grant No. 18JCQNJC74000).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Han, X., Wang, P. & Chen, Z. Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems. Sci. China Inf. Sci. 63, 219204 (2020). https://doi.org/10.1007/s11432-018-9676-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11432-018-9676-7