Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Observability of Finite Labeled Transition Systems 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 卷号: 63, 期号: 6, 页码: 1591-1602
Authors:  Zhang, Kuize;  Liu, Ting;  Cheng, Daizhan
Favorite  |  View/Download:11/0  |  Submit date: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
Authors:  Zhang, Kuize
Favorite  |  View/Download:5/0  |  Submit date:2018/07/30
Discrete event system  Finite automaton  Weak (periodic) detectability  PSPACE-hardness