机译:确定离散事件系统的弱(周期性)可检测性的问题是pspace-complete
Harbin Engn Univ Coll Automat Harbin 150001 Peoples R China;
Discrete event system; Finite automaton; Weak (periodic) detectability; PSPACE-hardness;
机译:确定离散事件系统的弱(周期性)可检测性的问题是pspace-complete
机译:定期系数离散时间线性随机系统的精确可检测性和精确可观察性
机译:具有动态事件观察功能的离散事件系统的可检测性
机译:确定远程控制系统中固定离散事件的实时性的方法
机译:非平稳和不确定周期离散事件系统的(max,+)代数。
机译:T-S模糊离散系统的鲁棒滤波的周期事件触发设计
机译:具有动态事件观察的离散事件系统的可检测性