| 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 |
Automatic Generation of Optimal Reductions of Distributions
Lin LY, Masopust T, Wonham WM, Su R
IEEE Transactions on Automatic Control, 64(3), 896, 2019 |
| 3 |
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning
Wu B, Zhang XB, Lin H
IEEE Transactions on Automatic Control, 64(8), 3332, 2019 |
| 4 |
Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification
Chen C, Hu HS
IEEE Transactions on Automatic Control, 64(11), 4748, 2019 |
| 5 |
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 |
| 6 |
What information really matters in supervisor reduction?
Su R, Wonham WM
Automatica, 95, 368, 2018 |
| 7 |
Synthesis of Similarity Enforcing Supervisors for Nondeterministic Discrete Event Systems
Kushi N, Takai S
IEEE Transactions on Automatic Control, 63(5), 1457, 2018 |
| 8 |
A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems
Zhang HM, Feng L, Li ZW
IEEE Transactions on Automatic Control, 63(10), 3345, 2018 |
| 9 |
Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
Su R, Lennartson B
Automatica, 79, 244, 2017 |
| 10 |
Supervisor localization of discrete-event systems under partial observation
Zhang RY, Cai K, Wonham WM
Automatica, 81, 142, 2017 |
