布尔控制网络可重构性的加权对图表示
最优化与控制
2016-10-12 v2
摘要
提出加权对图（WPGs）的新概念，用以表示布尔控制网络（BCNs）的一种新可重构性定义，该定义是 [Fornasini & Valcher, TAC2013, Def. 4] 中可重构性定义的推广。基于 WPG 表示，借助有限自动机与形式语言理论，设计了用于判定 BCN 新可重构性概念的有效算法。我们证明，BCN 不可重构当且仅当其 WPG 含有完全子图。此外，我们证明 BCN 在 [Fornasini & Valcher, TAC2013, Def. 4] 意义下可重构当且仅当其 WPG 无环，这比 [Fornasini & Valcher, TAC2013, Thm. 4] 中的条件更易于检验。
引用
@article{arxiv.1512.02786,
title = {A weighted pair graph representation for reconstructibility of Boolean control networks},
author = {Kuize Zhang and Lijun Zhang and Rong Su},
journal= {arXiv preprint arXiv:1512.02786},
year = {2016}
}
备注
20 pages, 10 figures, accepted by SIAM Journal on Control and Optimization