검색결과 : 2건
| No. | Article |
|---|---|
| 1 |
Verification of the Observer Property in Discrete Event Systems Pena PN, Bravo HJ, da Cunha AEC, Malik R, Lafortune S, Cury JER IEEE Transactions on Automatic Control, 59(8), 2176, 2014 |
| 2 |
Verification of Nonconflict of Supervisors Using Abstractions Pena PN, Cury JER, Lafortune S IEEE Transactions on Automatic Control, 54(12), 2803, 2009 |