中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Criteria for Observability and Reconstructibility of Boolean Control Networks via Set Controllability 期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS II-EXPRESS BRIEFS, 2021, 卷号: 68, 期号: 4, 页码: 1263-1267
作者:  Zhang, Xiao;  Meng, Min;  Wang, Yuanhua;  Cheng, Daizhan
收藏  |  浏览/下载：137/0  |  提交时间：2021/06/01
Controllability  Observability  Indexes  Automata  Circuits and systems  Electronic mail  Computational complexity  Boolean control networks  semi-tensor product of matrices  observability  reconstructibility  set controllability  
Observability of Automata Networks: Fixed and Switching Cases 期刊论文
IEEE TRANSACTIONS ON NEURAL NETWORKS AND LEARNING SYSTEMS, 2018, 卷号: 29, 期号: 4, 页码: 1388-1394
作者:  Li, Rui;  Hong, Yiguang;  Wang, Xingyuan
收藏  |  浏览/下载：140/0  |  提交时间：2018/07/30
Automata networks  conjugacy  observability  recurrent neural networks  switched systems  
On the Network Analysis of the State Space of Discrete Dynamical Systems 期刊论文
INTERNATIONAL JOURNAL OF BIFURCATION AND CHAOS, 2017, 卷号: 27, 期号: 4, 页码: 4
作者:  Xu, Cheng;  Li, Chengqing;  Lu, Jinhu;  Shu, Shi
收藏  |  浏览/下载：99/0  |  提交时间：2018/07/30
Chaotic dynamics  cellular automata  complex network  state-mapping network  
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  
Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability Parameters 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 7, 页码: 623-639
作者:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
收藏  |  浏览/下载：130/0  |  提交时间：2018/07/30
Asymptotic perturbation bound  discrete-time Markov chain  numerical iteration  optimization  parametric Markov chain  perturbation analysis  probabilistic model checking  quadratic programming  
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  
On hybrid models of quantum finite automata 期刊论文
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：105/0  |  提交时间：2018/07/30
Quantum computing  Automata theory  Quantum finite automata  Hybrid model of QFA  
Quantum Markov chains: Description of hybrid systems, decidability of equivalence, and model checking linear-time properties 期刊论文
INFORMATION AND COMPUTATION, 2015, 卷号: 244, 页码: 229-244
作者:  Li, Lvzhou;  Feng, Yuan
收藏  |  浏览/下载：108/0  |  提交时间：2018/07/30
Quantum Markov chains  Hybrid systems  Quantum automata  Equivalence  Model checking  Linear-time property  
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