中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Observability of Finite Labeled Transition Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602
作者:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan
收藏  |  浏览/下载：138/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
收藏  |  浏览/下载：197/0  |  提交时间：2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
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
收藏  |  浏览/下载：94/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 期刊论文
NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2016, 卷号: 19, 页码: 186-197
作者:  Zhang, Kuize;  Zhang, Lijun;  Xie, Lihua
收藏  |  浏览/下载：107/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
收藏  |  浏览/下载：126/0  |  提交时间：2018/07/30
Boolean control network  reconstructibility  weighted pair graph  finite automaton  formal language  semitensor product of matrices  
Generalized Reversibility of Topological Dynamical Systems and Cellular Automata 期刊论文
JOURNAL OF CELLULAR AUTOMATA, 2015, 卷号: 10, 期号: 5-6, 页码: 425-434
作者:  Zhang, Kuize;  Zhang, Lijun
收藏  |  浏览/下载：95/0  |  提交时间：2018/07/30
Topological dynamical system  cellular automaton  generalized reversibility  limit set  topological entropy  undecidability  Drazin inverse  
Lattices of quantum automata 期刊论文
INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2003, 卷号: 42, 期号: 7, 页码: 1425-1449
作者:  Lu, RQ;  Zheng, H
收藏  |  浏览/下载：97/0  |  提交时间：2018/07/30
quantum automata  lattice of quantum automata  operation of quantum automata