화학공학소재연구정보센터
검색결과 : 12건
No. Article
1 Automatic Generation of Optimal Reductions of Distributions
Lin LY, Masopust T, Wonham WM, Su R
IEEE Transactions on Automatic Control, 64(3), 896, 2019
2 Permissive Supervisor Synthesis for Markov Decision Processes Through Learning
Wu B, Zhang XB, Lin H
IEEE Transactions on Automatic Control, 64(8), 3332, 2019
3 Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates
Lin LY, Stefanescu A, Wang WL, Su R, Wonham WM
Automatica, 87, 290, 2018
4 Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Kushi N, Takai S
IEEE Transactions on Automatic Control, 63(5), 1457, 2018
5 Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
Su R, Lennartson B
Automatica, 79, 244, 2017
6 Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
Yin X
IEEE Transactions on Automatic Control, 62(5), 2576, 2017
7 Comments on "Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis"
Ran N, Wang SG, Su HY
IEEE Transactions on Automatic Control, 62(5), 2603, 2017
8 Reduction of Distributions: Definitions, Properties, and Applications
Lin LY, Ware S, Su R, Wonham WM
IEEE Transactions on Automatic Control, 62(11), 5755, 2017
9 Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays
Shu SL, Lin F
IEEE Transactions on Automatic Control, 60(8), 2183, 2015
10 On the complexity of synthesizing a minimum-weighted supervisor under partial observation
Su R
Automatica, 50(6), 1725, 2014