中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Observability of Finite Labeled Transition Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602
作者:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan
收藏  |  浏览/下载：143/0  |  提交时间：2018/07/30
Finite automaton  finite labeled transition system (FLTS)  observability  
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:  Zhang, Kuize
收藏  |  浏览/下载：201/0  |  提交时间：2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
Controllability of probabilistic Boolean control networks with time-variant delays in states 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2016, 卷号: 59, 期号: 9, 页码: 10
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：95/0  |  提交时间：2018/07/30
probabilistic Boolean control network  time delay  controllability constructed path  semi-tensor product of matrices  controllability  
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata 期刊论文
JOURNAL OF CELLULAR AUTOMATA, 2015, 卷号: 10, 期号: 5-6, 页码: 425-434
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：100/0  |  提交时间：2018/07/30
Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse