CSpace

Browse/Search Results:  1-10 of 17 Help

Selected(0)Clear Items/Page:    Sort:
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
Authors:  Zhang, Xiao;  Meng, Min;  Wang, Yuanhua;  Cheng, Daizhan
Favorite  |  View/Download:52/0  |  Submit date: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
Authors:  Li, Rui;  Hong, Yiguang;  Wang, Xingyuan
Favorite  |  View/Download:66/0  |  Submit date: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
Authors:  Xu, Cheng;  Li, Chengqing;  Lu, Jinhu;  Shu, Shi
Favorite  |  View/Download:35/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun
Favorite  |  View/Download:37/0  |  Submit date: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
Authors:  Su, Guoxin;  Feng, Yuan;  Chen, Taolue;  Rosenblum, David S.
Favorite  |  View/Download:38/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
Favorite  |  View/Download:45/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:58/0  |  Submit date: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
Authors:  Li, Lvzhou;  Feng, Yuan
Favorite  |  View/Download:55/0  |  Submit date: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
Authors:  Li, Lvzhou;  Feng, Yuan
Favorite  |  View/Download:50/0  |  Submit date: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
Authors:  Zhang, Kuize;  Zhang, Lijun
Favorite  |  View/Download:52/0  |  Submit date:2018/07/30
Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse