| 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 |
