CSpace

Browse/Search Results:  1-10 of 10 Help

Selected(0)Clear Items/Page:    Sort:
Observability of Finite Labeled Transition Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602
Authors:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan
Favorite  |  View/Download:4/0  |  Submit date: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
Authors:  Zhang, Kuize
Favorite  |  View/Download:3/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun;  Mou, Shaoshuai
Favorite  |  View/Download:4/0  |  Submit date: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
Authors:  Cheng, Daizhan;  Liu, Ting;  Zhang, Kuize;  Qi, Hongsheng
Favorite  |  View/Download:6/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun
Favorite  |  View/Download:3/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun
Favorite  |  View/Download:3/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
Favorite  |  View/Download:4/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong
Favorite  |  View/Download:7/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
Favorite  |  View/Download:5/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun
Favorite  |  View/Download:3/0  |  Submit date:2018/07/30
Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse