화학공학소재연구정보센터
검색결과 : 368건
No. Article
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