CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:  Zhang, Kuize
收藏  |  浏览/下载:198/0  |  提交时间:2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
Invertibility and nonsingularity of Boolean control networks 期刊论文
AUTOMATICA, 2015, 卷号: 60, 页码: 155-164
作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
收藏  |  浏览/下载:138/0  |  提交时间:2018/07/30
Boolean control network  Invertibility  Nonsingularity  Symbolic dynamics  Weighted pair graph  Semi-tensor product of matrices  Control of the mammalian cell cycle