logo

SCIENCE CHINA Information Sciences, https://doi.org/10.1007/s11432-018-9676-7

Matrix approach to verification and enforcement of nonblockingness for modular discrete-event systems

More info

Abstract

In this paper, we develop a novel matrix-based methodology to investigate the state-based nonblockingness of modular nondeterministic DESs. we first express the dynamics of a modular nondeterministic DES as an algebraic equation in the framework of the semi-tensor product of matrices. Using this algebraic description, we further study the verification and enforcement of nonblockingness for modular DESs.


Funded by

This work was supported by National Natural Science Foundation of China (Grant No. 61573199).

Copyright 2020  CHINA SCIENCE PUBLISHING & MEDIA LTD.  中国科技出版传媒股份有限公司  版权所有

京ICP备14028887号-23       京公网安备11010102003388号