Cascading decomposition of Boolean control networks: a graph-theoreticalmethod
Yi-feng LI , Jian-dong ZHU
Front. Inform. Technol. Electron. Eng ›› 2020, Vol. 21 ›› Issue (2) : 304 -315.
Cascading decomposition of Boolean control networks: a graph-theoreticalmethod
Two types of cascading decomposition problems of Boolean control networks are investigated using a raph-theoretical method. A new graphic concept called nested perfect equal vertex partition (NPEVP) is proposed. Based on NPEVP, the necessary and sufficient graphic conditions for solvability of the cascading decomposition problems are obtained. Given the proposed graphic conditions, the logical coordinate transformations are constructively obtained to realize the corresponding cascading decomposition forms. Finally, two illustrative examples are provided to validate the results.
Boolean control networks / Semi-tensor product / Cascading decomposition / Graphic condition
Zhejiang University and Springer-Verlag GmbH Germany, part of Springer Nature
/
| 〈 |
|
〉 |
PDF
(795KB)
