| 1 |
Transforming Opacity Verification to Nonblocking Verification in Modular Systems
Mohajerani S, Lafortune S
IEEE Transactions on Automatic Control, 65(4), 1739, 2020 |
| 2 |
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 |
| 3 |
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions
Malik R, Leduc R
IEEE Transactions on Automatic Control, 58(8), 1891, 2013 |
| 4 |
Modular supervisory control and coordination of state tree structures
Chao WJ, Gan YM, Wang ZA, Wonham WM
International Journal of Control, 86(1), 9, 2013 |
| 5 |
Robust and nonblocking supervisory control of nondeterministic discrete event systems with communication delay and partial observation
Park SJ
International Journal of Control, 85(1), 58, 2012 |
| 6 |
COMPOSITIONAL VERIFICATION IN SUPERVISORY CONTROL
Flordal H, Malik R
SIAM Journal on Control and Optimization, 48(3), 1914, 2009 |
| 7 |
Nonblocking supervisory control of timed discrete event systems under communication delays: The existence conditions
Park SJ, Cho KH
Automatica, 44(4), 1011, 2008 |
| 8 |
Optimal nonblocking directed control of discrete event systems
Huang J, Kumar R
IEEE Transactions on Automatic Control, 53(7), 1592, 2008 |
| 9 |
Bisimilarity control of partially observed deterministic systems
Zhou C, Kumar R
IEEE Transactions on Automatic Control, 52(9), 1642, 2007 |
| 10 |
Nonblocking supervisory control of state tree structures
Ma C, Wonham WM
IEEE Transactions on Automatic Control, 51(5), 782, 2006 |
