中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Observability of Finite Labeled Transition Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602
作者:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan
收藏  |  浏览/下载：136/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
收藏  |  浏览/下载：195/0  |  提交时间：2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle 期刊论文
IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2017, 卷号: 14, 期号: 1, 页码: 225-229
作者:  Zhang, Kuize;  Zhang, Lijun;  Mou, Shaoshuai
收藏  |  浏览/下载：102/0  |  提交时间：2018/07/30
Boolean control network  invertibility  mammalian cell cycle  
On Decomposed Subspaces of Finite Games 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 11, 页码: 3651-3656
作者:  Cheng, Daizhan;  Liu, Ting;  Zhang, Kuize;  Qi, Hongsheng
收藏  |  浏览/下载：110/0  |  提交时间：2018/07/30
Decomposition  harmonic game  non-strategic game  potential game  semi-tensor product of matrices  
Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 9, 页码: 2733-2738
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：91/0  |  提交时间：2018/07/30
Boolean control network  finite automaton  formal language  observability  semi-tensor product of matrices  weighted pair graph  
Controllability of probabilistic Boolean control networks with time-variant delays in states 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2016, 卷号: 59, 期号: 9, 页码: 10
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：90/0  |  提交时间：2018/07/30
probabilistic Boolean control network  time delay  controllability constructed path  semi-tensor product of matrices  controllability  
Finite automata approach to observability of switched Boolean control networks 期刊论文
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197
作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
收藏  |  浏览/下载：105/0  |  提交时间：2018/07/30
Switched Boolean control network  Observability  Weighted pair graph  Finite automaton  Formal language  Semi-tensor product of matrices  
A WEIGHTED PAIR GRAPH REPRESENTATION FOR RECONSTRUCTIBILITY OF BOOLEAN CONTROL NETWORKS 期刊论文
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060
作者:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong
收藏  |  浏览/下载：125/0  |  提交时间：2018/07/30
Boolean control network  reconstructibility  weighted pair graph  finite automaton  formal language  semitensor product of matrices  
Invertibility and nonsingularity of Boolean control networks 期刊论文
AUTOMATICA, 2015, 卷号: 60, 页码: 155-164
作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
收藏  |  浏览/下载：129/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  
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata 期刊论文
JOURNAL OF CELLULAR AUTOMATA, 2015, 卷号: 10, 期号: 5-6, 页码: 425-434
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：94/0  |  提交时间：2018/07/30
Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse