검색결과 : 6건
| No. | Article |
|---|---|
| 1 |
Complexity of Verifying Nonblockingness in Modular Supervisory Control Masopust T IEEE Transactions on Automatic Control, 63(2), 602, 2018 |
| 2 |
Local Modular Supervisory Control of Timed Discrete-Event Systems Schafaschek G, de Queiroz MH, Cury JER IEEE Transactions on Automatic Control, 62(2), 934, 2017 |
| 3 |
Verification of Nonconflict of Supervisors Using Abstractions Pena PN, Cury JER, Lafortune S IEEE Transactions on Automatic Control, 54(12), 2803, 2009 |
| 4 |
Supervisory control of modular systems with global specification languages Komenda J, van Schuppen JH, Gaudin B, Marchand H Automatica, 44(4), 1127, 2008 |
| 5 |
Efficient implementation of fairness in discrete-event systems using queues Gohari P, Wonham WM IEEE Transactions on Automatic Control, 50(11), 1845, 2005 |
| 6 |
Design of nonblocking modular supervisors using event priority functions Chen YL, Lafortune S, Lin F IEEE Transactions on Automatic Control, 45(3), 432, 2000 |