검색결과 : 11건
| No. | Article |
|---|---|
| 1 |
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 |
| 2 |
A Supervisory Control Theory Approach to Control Gene Regulatory Networks Baldissera FL, Cury JER, Raisch J IEEE Transactions on Automatic Control, 61(1), 18, 2016 |
| 3 |
Supervisory control of discrete event systems with distinguishers Cury JER, de Queiroz MH, Bouzon G, Teixeira M Automatica, 56, 93, 2015 |
| 4 |
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction Teixeira M, Malik R, Cury JER, de Queiroz MH IEEE Transactions on Automatic Control, 60(1), 118, 2015 |
| 5 |
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 |
| 6 |
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems Schmidt KW, Cury JER IEEE Transactions on Automatic Control, 57(12), 3224, 2012 |
| 7 |
Multi-level hierarchical interface-based supervisory control Hill RC, Cury JER, de Queiroz MH, Tilbury DM, Lafortune S Automatica, 46(7), 1152, 2010 |
| 8 |
Verification of Nonconflict of Supervisors Using Abstractions Pena PN, Cury JER, Lafortune S IEEE Transactions on Automatic Control, 54(12), 2803, 2009 |
| 9 |
Exploiting symmetry in the synthesis of supervisors for discrete event systems Eyzell JM, Cury JER IEEE Transactions on Automatic Control, 46(9), 1500, 2001 |
| 10 |
Robustness of supervisors for discrete-event systems Cury JER, Krogh BH IEEE Transactions on Automatic Control, 44(2), 376, 1999 |