화학공학소재연구정보센터
검색결과 : 361건
No. Article
1 Supervisor Localization of Timed Discrete-Event Systems Under Partial Observation
Zhang RY, Cai K
IEEE Transactions on Automatic Control, 65(1), 295, 2020
2 Critical Observability for Automata and Petri & x00A0;Nets
Masopust T
IEEE Transactions on Automatic Control, 65(1), 341, 2020
3 Synthesis of Dynamic Masks for Infinite-Step Opacity
Yin X, Li SY
IEEE Transactions on Automatic Control, 65(4), 1429, 2020
4 Structuring Multilevel Discrete-Event Systems With Dependence Structure Matrices
Goorden M, van de Mortel-Fronczak J, Reniers M, Fokkink W, Rooda J
IEEE Transactions on Automatic Control, 65(4), 1625, 2020
5 Supervisor localisation for large-scale discrete-event systems under partial observation
Zhang RY, Cai K
International Journal of Control, 93(3), 387, 2020
6 Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Masopust T, Yin X
Automatica, 101, 290, 2019
7 Infinite-step opacity and K-step opacity of stochastic discrete-event systems
Yin X, Li ZJ, Wang WL, Li SY
Automatica, 99, 266, 2019
8 Deciding detectability for labeled Petri nets
Masopust T, Yin X
Automatica, 104, 238, 2019
9 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
10 State estimation of max-plus automata with unobservable events
Lai AW, Lahaye S, Giua A
Automatica, 105, 36, 2019