J. Cury

Most-cited papers

Modular Supervisory Control of Large Scale Discrete Event Systems
M. D. de Queiroz, J. Cury
2000191 citations
Semantic Scholar
Synthesis and implementation of local modular supervisory control for a manufacturing cell
M. D. de Queiroz, J. Cury
2002Sixth International Workshop on Discrete Event Systems, 2002. Proceedings.129 citations
Semantic Scholar
Modular control of composed systems
M. D. de Queiroz, J. Cury
2000Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334)96 citations
Semantic Scholar
Multitasking Supervisory Control of Discrete-Event Systems
M. D. de Queiroz, J. Cury, W. Wonham
2004Discrete event dynamic systems83 citations
Semantic Scholar
Practicing engineering in a freshman introductory course
M. B. R. Vallim, J. Farines, J. Cury
2006IEEE Transactions on Education69 citations
Semantic Scholar
A Method for PLC Implementation of Supervisory Control of Discrete Event Systems
A. D. Vieira, E. Santos, M. D. de Queiroz, A. B. Leal +2 more
2017IEEE Transactions on Control Systems Technology61 citations Open access
Semantic Scholar
Robustness of supervisors for discrete-event systems
J. Cury, B. Krogh
1999IEEE Transactions on Automatic Control55 citations
Semantic Scholar
Verification of Nonconflict of Supervisors Using Abstractions
P. Pena, J. Cury, S. Lafortune
2009IEEE Transactions on Automatic Control48 citations
Semantic Scholar
Multi-level hierarchical interface-based supervisory control
R. C. Hill, J. Cury, M. D. de Queiroz, D. Tilbury +1 more
2010at - Automatisierungstechnik35 citations Open access
Semantic Scholar
Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking
Antonio Eduardo Carrilho da Cunha, J. Cury
2007IEEE Transactions on Automatic Control30 citations
Semantic Scholar
Supervisory control of discrete event systems with distinguishers
J. Cury, M. D. de Queiroz, Gustavo Bouzon, Marcelo Teixeira
2015at - Automatisierungstechnik28 citations
Semantic Scholar
Conceptual Design of Discrete-Event Systems Using Templates
L. Grigorov, B. Butler, J. Cury, K. Rudie
2011Discrete event dynamic systems28 citations Open access
Semantic Scholar
A Model for PLC Implementation of Supervisory Control of Discrete Event Systems
A. D. Vieira, J. Cury, M. D. de Queiroz
2006IEEE Conference on Emerging Technologies and Factory Automation27 citations
Semantic Scholar
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction
Marcelo Teixeira, R. Malik, J. Cury, M. D. de Queiroz
2015IEEE Transactions on Automatic Control25 citations
Semantic Scholar
Systems Biology, Synthetic Biology and Control Theory: A promising golden braid
J. Cury, Fabio L. Baldissera
2013Annual Reviews in Control23 citations
Semantic Scholar
Optimal scheduling of a repair shipyard based on Supervisory Control Theory
Denis C. Pinha, M. D. de Queiroz, J. Cury
2011IEEE International Conference on Automation Science and Engineering23 citations
Semantic Scholar
Polynomial-time verification of the observer property in abstractions
P. Pena, J. Cury, S. Lafortune
2008American Control Conference19 citations
Semantic Scholar
A Supervisory Control Theory Approach to Control Gene Regulatory Networks
Fabio L. Baldissera, J. Cury, J. Raisch
2016IEEE Transactions on Automatic Control18 citations
Semantic Scholar
Some results on the feedback control of max-plus linear systems under state constrains
C. Maia, L. Hardouin, J. Cury
2013IEEE Conference on Decision and Control17 citations
Semantic Scholar
Local Modular Supervisory Control of Timed Discrete-Event Systems
Germano Schafaschek, M. D. de Queiroz, J. Cury
2017IEEE Transactions on Automatic Control14 citations Open access
Semantic Scholar
Hierarchical supervisory control of discrete event systems based on state aggregation
C. Torrico, J. Cury
200213 citations
Semantic Scholar
Combining Online Diagnosis and Prognosis for Safe Controllability
Ana T. Y. Watanabe, A. B. Leal, J. Cury, M. D. de Queiroz
2022IEEE Transactions on Automatic Control12 citations Open access
Semantic Scholar
Local modular Supervisory Control of DES with distinguishers
Marcelo Teixeira, J. Cury, M. D. de Queiroz
2011IEEE International Conference on Emerging Technologies and Factory Automation12 citations
Semantic Scholar
Exploiting distinguishing sensors in supervisory control of DES
Gustavo Bouzon, M. D. de Queiroz, J. Cury
2009IEEE International Conference on Control and Automation12 citations
Semantic Scholar
MODULAR MULTITASKING SUPERVISORY CONTROL OF COMPOSITE DISCRETE-EVENT SYSTEMS
M. D. de Queiroz, J. Cury
200512 citations Open access
Semantic Scholar
Stability analysis and guaranteed domain of attraction for a class of hybrid systems: an LMI approach
S. P. Bean, Daniel Coutinho, A. Trofino, J. Cury
200312 citations
Semantic Scholar
Verification of the Observer Property in Discrete Event Systems
P. Pena, Hugo J. Bravo, A. D. Da Cunha, R. Malik +2 more
2014IEEE Transactions on Automatic Control11 citations Open access
Semantic Scholar
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems
K. Schmidt, J. Cury
2012IEEE Transactions on Automatic Control11 citations Open access
Semantic Scholar
Efficient computation of observer projections using OP-verifiers
P. Pena, J. Cury, R. Malik, S. Lafortune
2010International Workshop on Discrete Event Systems11 citations Open access
Semantic Scholar
Hierarchical and decentralized multitasking control of discrete event systems
K. Schmidt, M. D. de Queiroz, J. Cury
2007IEEE Conference on Decision and Control11 citations Open access
Semantic Scholar
New Results on Testing Modularity of Local Supervisors using Abstractions
P. Pena, J. Cury, S. Lafortune
2006IEEE Conference on Emerging Technologies and Factory Automation11 citations
Semantic Scholar
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis
José M. E. González, A. D. Da Cunha, J. Cury, B. Krogh
2001International Conference on Hybrid Systems: Computation and Control11 citations
Semantic Scholar
Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems
Marcelo Teixeira, J. Cury, M. D. de Queiroz
2018IEEE Transactions on Automation Science and Engineering10 citations
Semantic Scholar
Integration of supervisory control with SCADA system for a flexible manufacturing cell
Nicole Beatriz Portilla, M. D. de Queiroz, J. Cury
2014International Conference on Industrial Informatics10 citations
Semantic Scholar
Variable abstraction and approximations in supervisory control synthesis
Marcelo Teixeira, R. Malik, J. Cury, M. D. de Queiroz
2013American Control Conference10 citations Open access
Semantic Scholar
Generalised verification of the observer property in discrete event systems
Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, P. Pena, R. Malik +1 more
2012International Workshop on Discrete Event Systems10 citations Open access
Semantic Scholar
New results on the nonconflict test of modular supervisors
P. Pena, A. D. Da Cunha, J. Cury, Stéphane Lafortune
2008International Workshop on Discrete Event Systems10 citations
Semantic Scholar
Supervisory Control of Discrete Event Systems with Flexible Marking
J. Cury, C. Torrico, A. D. Da Cunha
2004European Journal of Control9 citations
Semantic Scholar
Partial Order on the set of Boolean Regulatory Functions
J. Cury, Pedro T. Monteiro, C. Chaouiya
2019arXiv.org8 citations
Semantic Scholar
Heuristic Search of Supervisors by Approximated Distinguishers
Raquel S. S. Aguiar, Antonio Eduardo Carrilho da Cunha, J. Cury, M. D. de Queiroz
20138 citations Open access
Semantic Scholar
Supervisory control of DES with distinguishing sensors
Gustavo Bouzon, M. D. de Queiroz, J. Cury
2008International Workshop on Discrete Event Systems8 citations
Semantic Scholar
SYNTHESIS OF SUPERVISORS FOR PARAMETERIZED AND INFINITY NON-REGULAR DISCRETE EVENT SYSTEMS
C. D. de Oliveira, J. Cury, C. Kaestner
20078 citations
Semantic Scholar
Supervisory Control in Construction Robotics: in the Quest for Scalability and Permissiveness
Marcelo Rosa, J. Cury, Fabio L. Baldissera
20207 citations Open access
Semantic Scholar
Safe Controllability using Online Prognosis
Ana T. Y. Watanabe, A. B. Leal, J. Cury, M. D. de Queiroz
20177 citations Open access
Semantic Scholar
Discrete Event Systems with Guards
C. D. de Oliveira, J. Cury, C. Kaestner
20047 citations
Semantic Scholar
A New approach for supervisory control of discrete event systems
J. Cury, C. Torrico, A. D. Da Cunha
2001European Control Conference6 citations
Semantic Scholar
A computational model for supporting conceptual design of automatic systems
E. A. P. Santos, V. J. De Negri, J. Cury
20016 citations
Semantic Scholar
Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints
Rodrigo Szpak, M. D. de Queiroz, J. Cury
20205 citations Open access
Semantic Scholar
Efficient Implementation of Distinguished Controllers for Discrete-Event Systems
Marcelo Rosa, Marcelo Teixeira, G. Denardin, C. Torrico +1 more
20175 citations Open access
Semantic Scholar
Scheduling Cluster Tools with Supervisory Control Theory
J. Cury, C. Martinez, M. D. de Queiroz
20135 citations Open access
Semantic Scholar