机构

• 数学与系统科学研究... [10]

采集方式

• OAI收割 [10]

内容类型

• 期刊论文 [10]

发表日期

• 2018 [1]
• 2017 [2]
• 2016 [5]
• 2015 [2]

学科主题

筛选

浏览/检索结果: 共10条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Observability of Finite Labeled Transition Systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602 作者:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan   |  收藏  |  浏览/下载：21/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 期刊论文  OAI收割 AUTOMATICA, 2017, 卷号: 81, 页码: 217-220 作者:  Zhang, Kuize   |  收藏  |  浏览/下载：213/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 期刊论文  OAI收割 IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2017, 卷号: 14, 期号: 1, 页码: 225-229 作者:  Zhang, Kuize;  Zhang, Lijun;  Mou, Shaoshuai   |  收藏  |  浏览/下载：26/0  |  提交时间：2018/07/30 Boolean control network  invertibility  mammalian cell cycle   On Decomposed Subspaces of Finite Games 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 11, 页码: 3651-3656 作者:  Cheng, Daizhan;  Liu, Ting;  Zhang, Kuize;  Qi, Hongsheng   |  收藏  |  浏览/下载：20/0  |  提交时间：2018/07/30 Decomposition  harmonic game  non-strategic game  potential game  semi-tensor product of matrices   Controllability of probabilistic Boolean control networks with time-variant delays in states 期刊论文  OAI收割 SCIENCE CHINA-INFORMATION SCIENCES, 2016, 卷号: 59, 期号: 9, 页码: 10 作者:  Zhang, Kuize;  Zhang, Lijun   |  收藏  |  浏览/下载：30/0  |  提交时间：2018/07/30 probabilistic Boolean control network  time delay  controllability constructed path  semi-tensor product of matrices  controllability   Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2016, 卷号: 61, 期号: 9, 页码: 2733-2738 作者:  Zhang, Kuize;  Zhang, Lijun   |  收藏  |  浏览/下载：26/0  |  提交时间：2018/07/30 Boolean control network  finite automaton  formal language  observability  semi-tensor product of matrices  weighted pair graph   Finite automata approach to observability of switched Boolean control networks 期刊论文  OAI收割 NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197 作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua   |  收藏  |  浏览/下载：23/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 期刊论文  OAI收割 SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2016, 卷号: 54, 期号: 6, 页码: 3040-3060 作者:  Zhang, Kuize;  Zhang, Lijun;  Su, Rong   |  收藏  |  浏览/下载：32/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 期刊论文  OAI收割 AUTOMATICA, 2015, 卷号: 60, 页码: 155-164 作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua   |  收藏  |  浏览/下载：24/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 期刊论文  OAI收割 JOURNAL OF CELLULAR AUTOMATA, 2015, 卷号: 10, 期号: 5-6, 页码: 425-434 作者:  Zhang, Kuize;  Zhang, Lijun   |  收藏  |  浏览/下载：16/0  |  提交时间：2018/07/30 Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse