中文版 | English

在结果中检索

CSpace

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

限定条件    
已选(0)清除 条数/页：   排序方式：
The problem of determining the weak (periodic) detectability of discrete event systems is PSPACE-complete 期刊论文
AUTOMATICA, 2017, 卷号: 81, 页码: 217-220
作者:  Zhang, Kuize
收藏  |  浏览/下载：198/0  |  提交时间：2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness  
A Triangular Decomposition Algorithm for Differential Polynomial Systems with Elementary Computation Complexity 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2017, 卷号: 30, 期号: 2, 页码: 464-483
作者:  Zhu Wei;  Gao Xiao-Shan
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30
Differential polynomial system  regular triangular set  saturated triangular set  triangular decomposition  
atriangulardecompositionalgorithmfordifferentialpolynomialsystemswithelementarycomputationcomplexity 期刊论文
journalofsystemsscienceandcomplexity, 2017, 卷号: 30, 期号: 2, 页码: 464
作者:  Zhu Wei;  Gao Xiaoshan
收藏  |  浏览/下载：97/0  |  提交时间：2020/01/10