11 |
Supervisor localisation for large-scale discrete-event systems under partial observation Zhang RY, Cai K International Journal of Control, 93(3), 387, 2020 |
12 |
How selfish individuals achieve unselfish goals: majority-based progressive control of discrete event systems Park SJ, Yang JM International Journal of Control, 93(9), 2168, 2020 |
13 |
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems Masopust T, Yin X Automatica, 101, 290, 2019 |
14 |
Infinite-step opacity and K-step opacity of stochastic discrete-event systems Yin X, Li ZJ, Wang WL, Li SY Automatica, 99, 266, 2019 |
15 |
Deciding detectability for labeled Petri nets Masopust T, Yin X Automatica, 104, 238, 2019 |
16 |
An efficient simulation procedure for ranking the top simulated designs in the presence of stochastic constraints Xiao H, Chen H, Lee LH Automatica, 103, 106, 2019 |
17 |
State estimation of max-plus automata with unobservable events Lai AW, Lahaye S, Giua A Automatica, 105, 36, 2019 |
18 |
A general approach for optimizing dynamic sensor activation for discrete event systems Yin X, Lafortune S Automatica, 105, 376, 2019 |
19 |
Automatic Generation of Optimal Reductions of Distributions Lin LY, Masopust T, Wonham WM, Su R IEEE Transactions on Automatic Control, 64(3), 896, 2019 |
20 |
Model Checking in Isomorphic Module Systems Wang WL, Su R, Lin LY, Gong CH IEEE Transactions on Automatic Control, 64(2), 728, 2019 |