Jose Eduardo Ribeiro Cury

Pós-doutorado

Idiomas

Áreas de atuação

Orientou

Produções bibliográficas

• ROSA, MARCELO ; CURY, JOSÉ E. R. ; BALDISSERA, FABIO L. . A modular synthesis approach for the coordination of multi-agent systems: the multiple team case. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , v. 34, p. 163-198, 2024.

• YOKOMIZOWATANABE, ANA TERUKO ; BITTENCOURT LEAL, ANDRE ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Combining Online Diagnosis and Prognosis for Safe Controllability. IEEE TRANSACTIONS ON AUTOMATIC CONTROL , v. 67, p. 5563-5569, 2022.

• LEITE, PEDRO A. C. F. ; BALDISSERA, FABIO L. ; CURY, JOSÉ E. R. . State-based supervisory control with restrictions on the supervisor realization. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , v. 1, p. 1-25, 2020.

• TEIXEIRA, MARCELO ; CURY, JOSE E. R. ; DE QUEIROZ, MAX H. . Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems. IEEE Transactions on Automation Science and Engineering , v. 15, p. 1431-1437, 2018.

• SCHAFASCHEK, GERMANO ; DE QUEIROZ, MAX H. ; CURY, JOSE E. R. . Local Modular Supervisory Control of Timed Discrete-Event Systems. IEEE Transactions on Automatic Control , v. 62, p. 934-940, 2017.

• VIEIRA, AGNELO DENIS ; SANTOS, EDUARDO ALVES PORTELA ; DE QUEIROZ, MAX HERING ; LEAL, ANDRE B. ; DE PAULA NETO, AMARO DUARTE ; CURY, JOSE E. R. . A Method for PLC Implementation of Supervisory Control of Discrete Event Systems. IEEE Transactions on Control Systems Technology , v. 25, p. 175-191, 2017.

• ROSA, MARCELO ; TEIXEIRA, MARCELO ; DENARDIN, GUSTAVO W. ; TORRICO, CESAR R.C. ; CURY, JOSÉ E.R. . Efficient Implementation of Distinguished Controllers for Discrete-Event Systems * *This research has been partially supported by Fundação Araucária.. IFAC-PAPERSONLINE , v. 50, p. 1187-1192, 2017.

• BALDISSERA, F. L. ; Cury, J. E. R. ; RAISCH, J. . A Supervisory Control Theory Approach to Control Gene Regulatory Networks. IEEE Transactions on Automatic Control (Print) , v. 61, p. 18-33, 2016.

• Cury, J. E. R. ; QUEIROZ, M. H. ; Teixeira, M. ; BOUZON, Gustavo . Supervisory control of discrete event systems with distinguishers. Automatica (Oxford) , v. 56, p. 93-104, 2015.

• PENA, Patrícia Nascimento ; BRAVO, H. ; CUNHA, Antônio E. C. da ; MALIK, R. ; LAFORTUNE, Stéphane ; Cury, J. E. R. . Verification of the Observer Property in Discrete Event Systems. IEEE Transactions on Automatic Control (Print) , v. 59, p. 2176-2181, 2014.

• Teixeira, M. ; MALIK, R. ; Cury, J. E. R. ; QUEIROZ, M. H. . Supervisory Control of DES with Extended Finite-State Machines and Variable Abstraction. IEEE Transactions on Automatic Control (Print) , v. 60, p. 118-129, 2014.

• Cury, J. E. R. ; BALDISSERA, F. L. . Systems Biology, Synthetic Biology and Control Theory: A promising golden braid. Annual Reviews in Control , v. 37, p. 57-67, 2013.

• SCHMIDT, KLAUS WERNER ; CURY, JOSÉ EDUARDO RIBEIRO . Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems. IEEE Transactions on Automatic Control (Print) , v. 57, p. 3224-3229, 2012.

• GRIGOROV, L. ; BUTLER, B. ; Cury, J. E. R. ; RUDIE, K. . Conceptual design of discrete-event systems using templates. Discrete Event Dynamic Systems , v. 21, p. 257-303, 2011.

• HILL R. ; Cury, J. E. R. ; QUEIROZ, Max Hering de ; TILBURY, D. M. ; LAFORTUNE, Stéphane . Multi-Level Hierarchical Interface-Based Supervisory Control. Automatica (Oxford) , v. 46, p. 1152-1164, 2010.

• PENA, Patrícia Nascimento ; CUNHA, A. E. C. DA ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Metodologia e Ferramenta de Apoio ao Teste de Náo-conflito no Controle Modular de Sistemas a Eventos Discretos. Controle & Automação (Impresso) , v. 21, p. 58-68, 2010.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Verification of Nonconflict of Supervisors Using Abstractions. IEEE Transactions on Automatic Control (Print) , v. 54, p. 2803-2815, 2009.

• CUNHA, Antônio E. C. da ; Cury, J. E. R. . Hierarchical Supervisory Control Based on Discrete Event Systems with Flexible Marking. IEEE Transactions on Automatic Control (Print) , v. 52, p. 2242-2253, 2007.

• VALLIM, Marcos ; FARINES, Jean Marie ; Cury, J. E. R. . Practicing Engineering in a Freshman Introductory Course. IEEE Transactions on Education , v. 49, n.1, p. 74-79, 2006.

• HENNEMANN, Fabiano André ; SANTOS, José V. Canto dos ; RABELO, Ricardo ; Cury, J. E. R. . Um Sistema Híbrido de Apoio à Decisão Formado por Redes de Petri, Simulação e Sistema Especialista. Controle & Automação (Impresso) , v. 17, n.1, p. 10-23, 2006.

• QUEIROZ, Max Hering de ; Cury, J. E. R. ; WONHAM, M. W. . Multitasking supervisory control of discrete-event systems. Discrete Event Dynamic Systems , v. 15, p. 375-395, 2005.

• Cury, J. E. R. ; TORRICO, César Rafael Claure ; CUNHA, Antônio E. C. da . Supervisory Control of Discrete Event Systems with Flexible Marking. European Journal Of Control, v. 10, n.1, p. 47-60, 2004.

• Cury, J. E. R. ; QUEIROZ, Max Hering de . Discussion on: Supervisory Control of Product and Hierarchical Discrete Event Systems. European Journal of Control , v. 10, n.2, p. 146-147, 2004.

• TORRICO, C. R. C. ; Cury, J. E. R. . Controle supervisório hierárquico modular por agregação de estados. Controle & Automação (Impresso) , Campinas, v. 15, n.3, p. 291-300, 2004.

• BEAN, Sonia Palomino ; COUTINHO, Daniel ; TROFINO, Alexandre ; Cury, J. E. R. . Stability Analysis and Guaranteed Domain of Attraction for a Class of Hybrid Systems: an LMI Approach. International Journal of Robust and Nonlinear Control (Print) , v. 13, n.5, p. 465-481, 2003.

• QUEIROZ, M. H. ; Cury, J. E. R. . Controle Supervisório Modular de Sistemas de Manufatura. Controle & Automação (Impresso) , v. 13, n.2, p. 115-125, 2002.

• EYZELL, J. M. ; Cury, J. E. R. . Exploiting Symmetry in tyhe Synthesis of Supervisors for Discrte Event Systems. IEEE Transactions on Automatic Control (Print) , EUA, v. 46, n.9, p. 1500-1505, 2001.

• H, B. A. ; M, F. J. ; Cury, J. E. R. . A Automação no Processo Produtivo: Desafios e Perspectivas. NEXUS Ciência e Tecnologia , Florianópolis, v. 1, n.1, p. 28-31, 2001.

• GARCÍA, CECILIA E. ; MORALES, BEATRIZ ; POSTIGO, JOSÉ ; CARELLI, RICARDO ; CURY, JOSÉ . Supervisory Control for a Robot Teleoperation System: a Hybrid Control Approach. IFAC Proceedings Volumes , v. 33, p. 1209-1214, 2000.

• Cury, J. E. R. ; H, K. B. . Robustness Of Supervisors For Discrete Event Systems. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v. 44, n.2, p. 376-379, 1999.

• Cury, J. E. R. ; H, K. B. . Synthesizing Supervisory Controllers For Hybrid Systems.. Journal of the Society of Instrument and Control Engineers (SICE), Japão, v. 38, n.3, p. 161-168, 1999.

• Cury, J. E. R. ; T, K. B. H. N. . Synthesis Of Supervisory Controllers For Hybrid Systems Based On Approximating Automata. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v. 43, n.4, p. 564-568, 1998.

• B, C. E. ; G, S. J. M. ; Cury, J. E. R. . A Reduced Order Framework Applied To Linear Systems With Constrained Controls. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v. 41, n.02, p. 249-255, 1996.

• P, G. ; H, M. C. ; Cury, J. E. R. . Computation Of A Decentralized Disturbance Decoupling Control For A Distillation Column. International Journal of Systems Science , v. 14, n.01, p. 75-85, 1983.

• Cury, J. E. R. ; P, G. ; H, M. C. . Disturbance Decoupling Problem In Decentralized Linear Multivariable Systems. International Journal of Control (Print) , v. 35, n.06, p. 957-963, 1982.

• Cury, J. E. R. . Decentralized Disturbance Decoupling By Measured Output Feedback. Systems & Control Letters (Print) , v. 2, n.2, p. 110-117, 1982.

• MOOG, C. H. ; Cury, J. E. R. . Comments On Localization Of Disturbances And Output Decomposition In Decentralized Linear Multivariable Systems. INT. JOURNAL OF CONTROL, v. 34, n.06, p. 1221-1223, 1981.

• Cury, J. E. R. ; GOMIDE, F. A. C. ; MENDES, M. J. . A Methodology For Generation Of Optimal Schedules For An Underground Railway System. IEEE Transactions on Automatic Control (Print) , v. 25, n.02, p. 217-222, 1980.

• Cury, J. E. R. ; MENDES, R. S. . Sistemas Dinâmicos a Eventos Discretos. In: Luiz Aguirre. (Org.). Enciclopédia de Automática, Controle e Automação. 1ed.São Paulo: Blucher, 2007, v. 1, p. 288-312.

• EYZELL, José Miguel ; CUNHA, Antônio E. C. da ; Cury, J. E. R. ; KROGH, B. H. . Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.. In: M. D. Di Benedetto; A. Sangiovanni-Vincentelli. (Org.). Lecture Notes in Computer Science - Hybrid Systems: Computation and Control. Heidelberg: Springer-Verlag, 2001, v. 2034, p. 247-261.

• Cury, J. E. R. . Modular Supervisory Control of Large Scale Discrete Event Systems. In: R. Boel and G. Stremersch. (Org.). Discrete Event Systems - Analysis and Control. 1ed.Boston: Kluwer Academic Publishers, 2000, v. , p. 103-110.

• SEIBEL, C. W. ; FARINES, J. M. ; Cury, J. E. R. . Towards Using Automata For The Mission Planning Of Unmaned Aerial Vehicles. In: P. Antsaklis e outros. (Org.). Lecture Notes in Computer Science. 1ed.Estados Unidos: Springer Verlag, 1999, v. 1567, p. 324-340.

• NIINOMI, T. ; KROGH, B. H. ; Cury, J. E. R. . Refinements Of Approximating Automata For The Systhesis Of Supervisorycontrollers For Hybrid Systems. In: T. Henzinger e outros. (Org.). LECTURE NOTES IN COMPUTER SCIENCES 1066 - HYBRID SYSTEMS. 1ed.NEW YORK: SPRINGER-VERLAG, 1996, v. 1066, p. 475-484.

• ZILLER, R. M. ; Cury, J. E. R. . On The Supremal Lm-Closed And L-Controllable Sublanguages Of A Given Language. In: G. Cohen e outros. (Org.). LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 199. PARIS: SPRINGER-VERLAG, 1994, v. 199, p. 81-85.

• Cury, J. E. R. . Decentralized Control: Geometric Approach. In: M. Singh. (Org.). SYSTEMS AND CONTROL ENCYCLOPEDIA - THEORY, TECHNOLOGY, APPLICATIONS. OXFORD: PERGAMON PRESS, 1983, v. , p. 894-900.

• MOOG, C. H. ; Cury, J. E. R. . Les Sous-Espaces (A,B)-Invariants Et Le Rejet Des Perturbations Dans Les Systemes Decentralises. In: I. D. Landau. (Org.). OUTILS ET MODELES MATHEMATIQUES POUR L'AUTOMATIQUE, L'ANALYSE DES SYSTEMES ET LE TRAITEMENT DU SIGNAL. PARIS: EDITIONS DU CNRS, 1983, v. , p. 477-487.

• Cury, J. E. R. ; ROXO, P. ; MANQUINHO, V. ; CHAOUIYA, C. ; MONTEIRO, P. T. . Computation of immediate neighbours of monotone Boolean functions. In: 23rd International Conference on Computational Methods in Systems Biology (CMSB 2025), 2025, Lyon. Proceedings of the 23rd International Conference on Computational Methods in Systems Biology, 2025.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, JOSÉ E. R. . Controle hierárquico de circuitos de componentes de processos industriais modelados por abstrações sucessivas de sistemas a eventos discretos. In: XXV Congresso Brasileiro de Automática - CBA, 2024, Rio de Janeiro. Anais do XXV Congresso Brasileiro de Automática, 2024.

• ROSA, M. ; CURY, JOSÉ E. R. ; BALDISSERA, F. L. . A Formal Modular Synthesis Approach for the Coordination of Multi-Agent Systems. In: XVI IFAC Workshop on Discrete Event Systems, 2022, Praga. Proceedings of the Workshop on Discrete Event Systems, 2022.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, JOSÉ E.R. . Controle Supervisório Hierárquico de Processos Industriais Comandados por Circuito de Válvulas. In: XV Simpósio Brasileiro de Automação Inteligente, 2021, Porto Alegre. Anais do XV Simpósio Brasileiro de Automação Inteligente, 2021.

• ROSA, M. ; CURY, JOSÉ E. R. ; BALDISSERA, F. L. . Supervisory Control in Construction Robotics: in the Quest for Scalability and Permissiveness. In: XV IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the Workshop on Discrete Event Systems, 2020.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; CURY, JOSÉ E.R. . Synthesis of Supervisors for a PID-Controlled Industrial Process and Implementation on Foundation Fieldbus. In: XV Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the Workshop on Discrete Event Systems, 2020.

• SZPAK, R. ; QUEIROZ, M. H. ; CURY, JOSÉ E.R. . Synthesis and implementation of supervisory control for manufacturing systems under processing uncertainties and time constraints. In: XV IFAC Workshop on Discrete Event Systems, 2020, Rio de Janeiro. Proceedings of the Workshop on Discrete Event Systems, 2020.

• WATANABE, A. T. Y. ; LEAL, A. B. ; Cury, J. E. R. ; QUEIROZ, M. H. . Safe Controllability Using Online Prognosis. In: 20th World Congress of the International Federation of Automatic Control - IFAC 2017, 2017, Toulouse. Proceedings of the 20th World Congress of the International Federation of Automatic Control, 2017.

• WATANABE, A. T. Y. ; MOREIRA, B. G. ; LEAL, A. B. ; Cury, J. E. R. ; QUEIROZ, M. H. DE . Análise das Condições para Diagnosticabilidade e Prognosticabilidade de Falhas. In: XIII Simpósio Brasileiro de Automação Inteligente - SBAI 2017, 2017, Porto Alegre. Anais do XIII Simpósio Brasileiro de Automação Inteligente - SBAI 2017, 2017.

• BALDISSERA, F. L. ; CURY, JOSE E. R. . Computing Continuous Control Laws for Gene Regulatory Networks within a Discrete-Event Systems Approach. In: 13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. Proceedings of the 13th International Workshop on Discrete Event Systems, 2016. v. 1.

• Cury, J. E. R. ; MONTEIRO, P. T. ; CHAOUIYA, C. . On the number and structure of Boolean functions compatible with a regulatory network topology. In: 10th European Conference on Mathematical and Theoretical Biology - ECMTB 2016, 2016, Nottingham. Proceedings of the ECMTB 2016, 2016. v. 1. p. 1-6.

• CARPES, A. M. M. ; Cury, J. E. R. ; BALDISSERA, F. L. . Estudo Comparativo entre Redes de Regulação Gênica com Potencial para Operar como Osciladores Circadianos. In: XII Simpósio Brasileiro de Automação Inteligente SBAI, 2015, Natal. Anais do XII Simpósio Brasileiro de Automação Inteligente SBAI. v. 1. p. 1877-1882.

• CARVALHO FILHO, J. G. N. ; FARINES, Jean Marie ; Cury, J. E. R. . Building Maps with Multi-Robot Systems under Limited Communication. In: 17th International Conference on Advanced Robotics ICAR 2015, 2015, Istambul. Proceedings of 17th International Conference on Advanced Robotics, 2015. p. 1-7.

• SCHAFASCHEK, G. ; QUEIROZ, Max Hering de ; Cury, J. E. R. . Local Modular Supervisory Control Applied to the Scheduling of Cluster Tools. In: 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, Goteburg. Proceedings of the 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015. p. 1381-1387.

• SCOTTI, W. A. F. ; CONSTAIN, N. B. P. ; QUEIROZ, Max Hering de ; Cury, J. E. R. . Modular and Systematic Design of Supervisory Control System Integrating PLC, SCADA and Task Routing for a Modular Production System. In: 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015, Goteburg. Proceedings of the 2015 IEEE International Conference on Automation Science and Engineering (CASE), 2015. p. 807-813.

• BALDISSERA, F. L. ; Cury, J. E. R. . Dealing with Biological Constraints in the Synthesis of Controllers for Gene Regulatory Networks. In: 19th IFAC World Congress, 2014, Cape Town. Proceedings of the 19th IFAC World Congress, 2014. v. 1. p. 1-6.

• BRAVO, H. ; PENA, Patrícia Nascimento ; CUNHA, A. E. C. DA ; MALIK, R. ; Cury, J. E. R. . Generalised Search for the Observer Property in Discrete Event Systems. In: 12th IFAC International Workshop on Discrete Event Systems, 2014, Paris. Proceedings of the 12th IFAC International Workshop on Discrete Event Systems, 2014.

• SCHAFASCHEK, G. ; QUEIROZ, M. H. ; Cury, J. E. R. . Local Modular Supervisory Control of Timed Discrete-Event Systems. In: 12th IFAC International Workshop on Discrete Event Systems, 2014, Paris. Proceedings of the 12th IFAC International Workshop on Discrete Event Systems, 2014.

• BALDISSERA, F. L. ; Cury, J. E. R. . Optimality in the Control of Gene Regulatory Networks. In: 53rd IEEE Conference on Decision and Control, 2014, Los Angeles. Proceedings of the 53rd IEEE Conference on Decision and Control, 2014.

• CONSTAIN, N. B. P. ; QUEIROZ, M. H. ; Cury, J. E. R. . Integration of supervisory control with SCADA system for a flexible manufacturing cell. In: 12th IEEE International Conference on Industrial Informatics, 2014, Porto Alegre. Prceedings of the 12th IEEE International Conference on Industrial Informatics, 2014.

• MARTINS, H. ; Cury, J. E. R. ; QUEIROZ, M. H. . Exploração do uso de redes de Petri para estudo do desenvolvimento da vulva do verme C. elegans. In: XX Congresso Brasileiro de Automática, 2014, Belo Horizonte. Anais do XX Congresso Brasileiro de Automática, 2014.

• AGUIAR, R. S. S. ; CUNHA, Antônio E. C. da ; Cury, J. E. R. ; QUEIROZ, Max Hering de . Heuristic Search of Supervisors by Approximated Distinguishers. In: 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013, York. Proceedings of the 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013.

• Teixeira, M. ; MALIK, R. ; Cury, J. E. R. ; QUEIROZ, Max Hering de . Variable Abstraction and Approximations in Supervisory Control Synthesis. In: 2013 American Control Conference, 2013, Washington. Proceedings of the 2013 American Control Conference, 2013.

• Teixeira, M. ; Cury, J. E. R. ; QUEIROZ, Max Hering de . Local Modular Control with Distinguishers applied to a Manufacturing System. In: IFAC Conference on Manufacturing Modelling, Management, and Control, 2013, São Petersburgo. Proceedings of the IFAC Conference on Manufacturing Modelling, Management, and Control, 2013.

• CARVALHO FILHO, J. G. N. ; FARINES, Jean Marie ; Cury, J. E. R. . Modeling and synthesis of controllers for multi-robot systems using game structures. In: XVI International Conference on Advanced Robotics, ICAR 2013, 2013, Montevideo. Procedings of the XVI International Conference on Advanced Robotics, 2013.

• MAIA, C. A. ; HARDOUIN, L. ; Cury, J. E. R. . Some Results on the Feedback Control of Max-Plus Linear Systems under State Constraints. In: 52nd IEEE Conference on Decision and Control, 2013, Florença. Proceedings of the 52nd IEEE Conference on Decision and Control, 2013.

• CURY, JOSÉ EDUARDO RIBEIRO ; BALDISSERA, F. L. . Some Perspectives and Challenges in the (Discrete) Control of Cellular Systems. In: 11th International Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the 11th WODES, 2012. v. 1. p. 1-3.

• CURY, JOSÉ EDUARDO RIBEIRO ; LOISEAU, J. J. ; MARTINEZ, C. ; QUEIROZ, M. H. . Using Max-Plus to Solve the Job-Shop Problem with Time Lags. In: 11th International Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the 11th WODES, 2012. v. 1. p. 67-72.

• BACOS, R. ; CURY, JOSÉ EDUARDO RIBEIRO ; KARA, R. ; LOISEAU, J. J. . Supervisory Control of Petri Nets using Polyhedral Regions. In: 11th International Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the 11th WODES, 2012. v. 1. p. 193-200.

• BRAVO, H. ; CUNHA, A. E. C. DA ; PENA, Patrícia Nascimento ; MALIK, R. ; CURY, JOSÉ EDUARDO RIBEIRO . Generalised Verification of the Observer Property in Discrete Event Systems. In: 11th International Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the 11th WODES, 2012. v. 1. p. 337-342.

• BALDISSERA, F. L. ; CURY, JOSÉ EDUARDO RIBEIRO . Application of Supervisory Control Theory to Guide Cellular Dynamics. In: 11th International Workshop on Discrete Event Systems, 2012, Guadalajara. Proceedings of the 11th WODES, 2012. v. 1. p. 384-389.

• FARINES, J. M. ; CURY, JOSÉ EDUARDO RIBEIRO ; CARVALHO FILHO, J. G. N. . Modelagem de Sistemas Multi-Robôs para Síntese de Controladores Utilizando Estrutura de Jogo. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. v. 1. p. 1826-1833.

• BRAVO, H. ; CUNHA, A. E. C. DA ; PENA, Patrícia Nascimento ; MALIK, R. ; CURY, JOSÉ EDUARDO RIBEIRO . Verificação Generalizada da Propriedade de Observador em Sistemas a Eventos Discretos. In: XIX Congresso Brasileiro de Automática, 2012, Campina Grande. Anais do XIX Congresso Brasileiro de Automática, 2012. v. 1. p. 2509-2514.

• PINHA, D. ; QUEIROZ, M. H. ; Cury, J. E. R. . Optimal scheduling of a repair shipyard based on Supervisory Control Theory. In: IEEE Conference on Automation Science and Engineering (CASE), 2011, Trieste. Proceedings of the IEEE Conference on Automation Science and Engineering (CASE), 2011. p. 39-44.

• Teixeira, M. ; QUEIROZ, M. H. ; Cury, J. E. R. . Local modular Supervisory Control of DES with distinguishers. In: IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), 2011, Toulouse. Proceddings of the IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), 2011. p. 1-8.

• Pavei, J. ; FARINES, Jean Marie ; Cury, J. E. R. . Coordenação de Sistemas Multi-Robôs utilizando Autômato-Jogo Temporizado. In: Simpósio Brasileiro de Automação Inteligente (SBAI 2011), 2011, São João del Rei. Anais do Simpósio Brasileiro de Automação Inteligente (SBAI 2011), 2011.

• SILVA, Y. ; QUEIROZ, M. H. ; Cury, J. E. R. . Síntese e implementação de controle supervisório modular local para um sistema de AGV. In: XVII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVII Congresso Brasileiro de Automática. São Paulo: SBA, 2010.

• PINHA, D. ; QUEIROZ, M. H. ; Cury, J. E. R. . Production scheduling with use of the Supervisory Control Theory. In: XVII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVII Congresso Brasileiro de Automática. São Paulo: SBA, 2010.

• SCHIMDT, K. ; QUEIROZ, M. H. ; Cury, J. E. R. . Hierarchical Multitasking Control of Discrete Event Systems: Computation of Projections and Maximal Permissiveness. In: 10th Workshop on Discrete Event Systems - WODES 2010, 2010, Berlin. Proceddings of the 10th Workshop on Discrete Event Systems, 2010.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; MALIK, R. ; LAFORTUNE, Stéphane . Efficient Computation of Observer Projections using OP-Verifiers. In: 10th Workshop on Discrete Event Systems - WODES 2010, 2010, Berlin. Proceddings of the 10th Workshop on Discrete Event Systems, 2010.

• BACOS, R. ; Cury, J. E. R. ; LOISEAU, J. J. . Control of a Class of Constrained Implicit Systems. In: 4th IFAC Symposium on System, Structure and Control - SSSC 2010, 2010, Ancona. Proceedings of the 4th IFAC Symposium on System, Structure and Control, 2010.

• PINHA, D. ; QUEIROZ, M. H. ; Cury, J. E. R. . Escalonamento da produção com uso da Teoria de Controle Supervisório. In: XVIII Congresso Brasileiro de Automática - CBA 2010, 2010, Bonito. Anais do XVIII Congresso Brasileiro de Automática - CBA 2010, 2010. p. 4662-4668.

• BOUZON, Gustavo ; QUEIROZ, M. H. ; Cury, J. E. R. . Exploiting Distinguishing Sensors in Supervisory Control of DES. In: 7th IEEE International Conference on Control & Automation (ICCA?09), 2009, Christchurch. Proceedings of the ICCA?09, 2009.

• ARNAUD, Y. ; Cury, J. E. R. ; LOISEAU, J. J. ; MARTINEZ, C. . Pilotage sûr et optimal d'une flotte de véhicules autoguidés. In: JDMACS, 2009, Angers. Anais do JDMACS, 2009.

• ARNAUD, Y. ; BOIMOND, J. L. ; Cury, J. E. R. ; LOISEAU, J. J. ; MARTINEZ, C. . Using UPPAAL for the secure and optimal control of AGV fleets. In: 7th Worskop on Advanced Control and Diagnosis, ACD '09, 2009, Zielona Gora. Proceedings of the 7th Worskop on Advanced Control and Diagnosis, 2009.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Polynomial-Time Verification of the Observer Property in Abstractions. In: American Control Conference, 2008, Seattle. Proceedings of the American Control Conference, 2008.

• HILL R. ; Cury, J. E. R. ; QUEIROZ, M. H. ; DAWN, T. . Modular Requirements for Hierarchical Interface-Based Supervisory Control with Multiple Levels. In: American Control Conference, 2008, Seattle. Proceedings of the American Control Conference, 2008.

• GRIGOROV, L. ; Cury, J. E. R. ; RUDIE, K. . Design of Discrete-Event Systems Using Templates. In: American Control Conference, 2008, Seattle. Proceedings of the American Control Conference, 2008.

• BOUZON, Gustavo ; QUEIROZ, M. H. ; Cury, J. E. R. . Supervisory Control of DES with Distinguishing Sensors. In: 9th Workshop on Discrete Event Systems, WODES 2008, 2008, Gotemburgo. Proceedings of the 9th Workshop on Discrete Event Systems, 2008. v. 1. p. 22-27.

• PENA, Patrícia Nascimento ; CUNHA, A. E. C. DA ; Cury, J. E. R. ; LAFORTUNE, Stéphane . New Results on the Nonconflict Test of Modular Supervisors. In: 9th Workshop on Discrete Event Systems, WODES 2008, 2008, Gotemburgo. Proceedings of the 9th Workshop on Discrete Event Systems, 2008. v. 1. p. 468-473.

• GRIGOROV, L. ; Cury, J. E. R. ; RUDIE, K. ; KLINGE, S. . Template Design and Automatic Generation of Controllers for Industrial Robots. In: 23rd Annual ACM Symposium on Applied Computing, 2008, Fortaleza. Proceedings of the 23rd Annual ACM Symposium on Applied Computing, 2008. v. 1. p. 1612-1613.

• ARNAUD, Y. ; Cury, J. E. R. ; LOISEAU, J. J. ; MARTINEZ, C. . Commande supervisée de systèmes à évènements discrets. In: Séminaire Franco-Brésilien, 2008, Cachan. Anais do Séminaire Franco-Brésilien, 2008.

• BACOS, R. ; Cury, J. E. R. ; LOISEAU, J. J. . Supervision de systèmes de production par les réseaux de Petri ? Application au pilotage d?AGV. In: Séminaire Franco-Brésilien, 2008, Cachan. Anais do Séminaire Franco-Brésilien, 2008.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Uma Ferramenta para o Teste de Não-Conflito de Supervisores Modulares. In: XVI Congresso Brasileiro de Automática, 2008, Juiz de Fora. Proceedings do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2008.

• BOUZON, Gustavo ; QUEIROZ, Max Hering de ; Cury, J. E. R. . Controle Supervisório de Sistemas a Eventos Discretos com Sensores Distinguidores. In: XVI Congresso Brasileiro de Automática, 2008, Juiz de Fora. Proceedings do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2008.

• GARCIA, Tatiana Renata ; Cury, J. E. R. ; KRAUS Jr, Werner, ; DEMONGODIN, I. . Traffic Light Coordination of Urban Corridors Using Max-Plus Algebra. In: International Modeling and Simulation Multiconference 2007, IMSM07, 2007, Buenos Aires. Proceedings of the IMSM07, 2007. v. 1. p. 255-260.

• OLIVEIRA, Cláudio ; Cury, J. E. R. ; KAESTNER, Celso . Synthesis of supervisors for parameterized and infinity non-regular discrete event systems. In: 1st Workshop On Dependable Control of Discrete Systems (DCDS2007), 2007, Cachan. Proceedings of the 1st Workshop On Dependable Control of Discrete Systems? (DCDS2007). Cachan: ifac, 2007. v. 1. p. 77-82.

• CUNHA, A. E. C. DA ; Cury, J. E. R. . Synthesis of control structures for hierarchical control with flexible marking. In: 1st Workshop On Dependable Control of Discrete Systems (DCDS2007), 2007, Cachan. Proceedings of the 1st Workshop On Dependable Control of Discrete Systems? (DCDS2007). Cachan: ifac, 2007. v. 1. p. 89-94.

• SCHMIDT, K. ; QUEIROZ, M. H. ; Cury, J. E. R. . Hierarchical and Decentralized Multitasking Control of Discrete Event Systems. In: 46th Conference on Decision and Control, 2007, New Orleans. Proceedings of the 46th Conference on Decision and Control, 2007.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Testing Modularity of Local Supervisors: An Approach Based on Abstractions. In: 8th Workshop on Discrete Event Systems (WODES 2006), 2006, Ann Arbor. Proceedings of the 8th Workshop on Discrete Event Systems, 2006. v. 1. p. 107-112.

• REISER, Christiane ; CUNHA, Antônio E. C. da ; Cury, J. E. R. . The Environment Grail for Supervisory Control of Discrete Event Systems. In: 8th Workshop on Discrete Event Systems (WODES 2006), 2006, Ann Arbor. Proceedings of the 8th Workshop on Discrete Event Systems, 2006. v. 1. p. 390-391.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . New Results on Testing Modularity of Local Supervisors using Abstractions. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006, Praga. Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006.

• VALLIM, Marcos Banheti ; FARINES, Jean Marie ; Cury, J. E. R. . Uma Estrutura Curricular para um Curso de Engenharia de Controle e Automação. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2006. v. 1. p. 625-630.

• PENA, Patrícia Nascimento ; Cury, J. E. R. ; LAFORTUNE, Stéphane . Detecção de Conflito na Síntese Modular de Supervisores: Uma Abordagem baseada em Abstrações. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2006. v. 1. p. 977-982.

• GARCIA, Tatiana Renata ; Cury, J. E. R. ; W, K. J. . Modelagem e Controle de Vias Arteriais Urbanas através da Álgebra Max-Plus. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2006. v. 1. p. 983-988.

• QUEIROZ, A. D. V. DE ; Cury, J. E. R. ; QUEIROZ, Max Hering de . Um Modelo para Implementação de Controle Supervisório em Controladores Lógicos Programáveis. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2006. v. 1. p. 1974-1979.

• SOUTO, R. B. ; BELAN, H. C. ; R FILHO, J. R. B. ; NEGRI, Victor J. de ; Cury, J. E. R. . Projeto de Controle de uma Unidade de Potência Hidráulica com Incorporação da Comunicação com o Operador. In: XVI Congresso Brasileiro de Automática, 2006, Salvador. Anais do XVI Congresso Brasileiro de Automática. Campinas: SBA, 2006. v. 1. p. 2251-2256.

• QUEIROZ, A. D. V. DE ; Cury, J. E. R. ; QUEIROZ, M. H. . A Model for PLC Implementation of Supervisory Control of Discrete Event Systems. In: 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006, Praga. Proceddings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006. v. 1. p. 225-232.

• VALLIM, M. B. ; FARINES, J. M. ; Cury, J. E. R. . A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. In: 45th IEEE Conference on Decision & Control, 2006, San Diego. Proceedings of the 45th IEEE Conference on Decision & Control, 2006. v. 1. p. 3890-3895.

• QUEIROZ, M. H. DE ; Cury, J. E. R. . Modular Multitasking Supervisory Control of Composite Discrete Event Systems. In: 16th IFAC World Congress, 2005, Praga. Proceedings of the 16th IFAC World Congress, 2005. v. 1. p. 1-6.

• OLIVEIRA, Cláudio de ; Cury, J. E. R. ; KAESTNER, Celso . Discrete Event Systems with Guards. In: 11th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'2004, 2004, Salvador. Proceedings do 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004. v. 1. p. 90-95.

• QUEIROZ, Max Hering de ; Cury, J. E. R. . Multi-Tasking Supervisory Control of Discrete-Event Systems. In: WODES'04, IFAC Workshop on Discrete Event Systems, 2004, Reims. Proceedings do WODES'04, IFAC Workshop on Discrete Event Systems, 2004. v. 1. p. 1-6.

• LEAL, André Bittencourt ; Cury, J. E. R. . Modular Supervision of Hybrid Systems: a DES Approach. In: WODES'04, IFAC Workshop on Discrete Event Systems, 2004, Reims. Proeedings do WODES'04, IFAC Workshop on Discrete Event Systems, 2004. v. 1. p. 7-12.

• Cury, J. E. R. ; GARCIA, Tatiana Renata . Uma Abordagem de Sistemas Híbridos para Modelagem e Verificação de Sistemas de Tráfego Urbano. In: XIII Pan-American Conference of Traffic and Transportation Engineering, 2004, Albany. Proceedings do XIII Pan-American Conference of Traffic and Transportation Engineering, 2004. v. 1. p. 1-12.

• Cury, J. E. R. ; GARCIA, Tatiana Renata . Modelagem e Verificação de Sistemas de Tráfego Urbano através de Autômatos Híbridos. In: Congresso Brasileiro de Automatica CBA2004, 2004, Gramado. Anais do Congresso Brasileiro de Automatica CBA2004, 2004. v. 1. p. 704-709.

• PORTELA, Eduardo Alves ; Cury, J. E. R. ; NEGRI, Victor J. de . Projeto de uma Base de Especificações Operacionais para Sistemas Automatizados de Manufatura. In: Congresso Brasileiro de Automática CBA2004, 2004, Gramado. Anais do Congresso Brasileiro de Automática CBA2004, 2004. v. 1. p. 747-752.

• BOUZON, Gustavo ; OLIVEIRA, Marcelo de Lellis de ; VALLIM, Marcos Banheti ; LACOMBE, João P ; FREITAS, Gustavo M ; Cury, J. E. R. ; FARINES, Jean Marie . CEBE: uma plataforma para experimentação real aplicada ao ensino de sistemas a eventos discretos. In: Congresso Brasileiro de Automática, 2004, Gramado. Anais do Congresso Brasileiro de Automática CAB2004, 2004. v. 1. p. 724-729.

• VIEIRA, Agnelo D ; Cury, J. E. R. ; QUEIROZ, Max Hering de . Distribuição de Estrutura de Contole Supervisório de Sistemas a Eventos Discretos. In: Congresso Brasileiro de Automática CBA2004, 2004, Gramado. Anais do Congresso Brasileiro de Automática CBA2004, 2004. v. 1. p. 516-521.

• VIEIRA, Agnelo D ; Cury, J. E. R. . Distributed Supervisory Control of Discrete Event Sysytems based on Local Modular Control. In: VI Induscon, 2004, Joinville. Anais do VI Induscon, 2004. v. 1. p. 1-6.

• LEAL, André Bittencourt ; Cury, J. E. R. . On the Existence of Optimal Solutions for the Modular Supervisory On the Existence of Optimal Solutions for the Modular Supervisory Control of Hybrid Systems. In: IEEE Conference on Decision and Control CDC2004, 2004, Atlantis. Proceedings do 43rd IEEE Conference on Decision and Control, 2004. v. 1. p. 1-6.

• LEAL, André Bittencourt ; Cury, J. E. R. . Modular Supervisory Control of Event-Driven Hybrid Systems. In: IFAC Symposium on System, Structure and Control, 2004, Oaxaca. Proceedings do IFAC Symposium on System, Structure and Control, 2004. v. 1. p. 1-6.

• OLIVEIRA, Cláudio ; Cury, J. E. R. ; KAESTNER, Celso . Um Modelo Parametrizado para Sistemas a Eventos Discretos com Comportamentos Não Regulares (1a parte). In: VI Simpósio Brasileiro de Automação Inteligente-SBAI, 2003, Baurú. Anais do VI Simpósio Brasileiro de Automação Inteligente-SBAI. São Paulo: SBA, 2003. v. 1. p. 25-29.

• OLIVEIRA, Cláudio ; Cury, J. E. R. ; KAESTNER, Celso . Um Modelo Parametrizado para Sistemas a Eventos Dicscretos com Comportamentos Não Regulares (2a parte). In: VI Simpósio Brasileiro de Automação Inteligente-SBAI, 2003, Baurú. Anais do VI Simpósio Brasileiro de Automação Inteligente-SBAI. São Paulo: SBA, 2003. v. 1. p. 30-35.

• PORTELA, Eduardo A ; Cury, J. E. R. ; NEGRI, Victor J. de . Modelagem das Especificações Operacionais de Sistemas de Manipulação e montagem Automatizados. In: VI Simpósio Brasileiro de Automação Inteligente-SBAI, 2003, Baurú. Anais do VI Simpósio Brasileiro de Automação Inteligente-SBAI. São Paulo: SBA, 2003. v. 1. p. 144-149.

• TORRICO, C. R. C. ; Cury, J. E. R. . Hierarchical Supervisory Control Of Discrete Event Systems Based On State Aggregation. In: 15 th IFAC World Congress on Automatica Control, 2002, Barcelona. Proceedings do 15 th IFAC World Congress on Automatica Control, 2002. v. 15. p. 1-6.

• CUNHA, Antônio E. C. da ; Cury, J. E. R. . Hierarchically Consistent Controlled Discrete Event Systems. In: 15 th IFAC World Congress on Automatica Control, 2002, Barcelona. Proceedings do 15 th IFAC World Congress on Automatica Contro, 2002. v. 15. p. 1-6.

• QUEIROZ, M. H. ; Cury, J. E. R. . Synthesis and Implementation of Local Modular Supervisory Control for a Manufacturing Cell. In: 6th International Workshop on Discrete Event Systems (WODES), 2002, Saragoza. 6th International Workshop on Discrete Event Systems (WODES). California: IEEE, 2002. v. 1. p. 377-382.

• CUNHA, Antônio E. C. da ; Cury, J. E. R. ; KROGH, B. H. . An Assume-Guarantee Reasoning for Hierarchical Coordination of Discrete Event Systems. In: 6th International Workshop on Discrete Event Systems (WODES),, 2002, Barcelona. 6th International Workshop on Discrete Event Systems (WODES). California: IEEE, 2002. v. 1. p. 75-80.

• TORRICO, César Rafael Claure ; Cury, J. E. R. . Controle Supervisório Hierárquico Modular por Agregação de Estados. In: XIV Congresso Brasileiro de Automática, (CBA2002), 2002, Natal. Anais do XIV Congresso Brasileiro de Automática, (CBA2002), 2002. v. 1. p. 1-6.

• GARCIA, Tatiana ; Cury, J. E. R. . Controle Supervisório de Sistemas Condição/Evento. In: XIV Congresso Brasileiro de Automática, (CBA2002), 2002, Natal. Anais do XIV Congresso Brasileiro de Automática, (CBA2002), 2002. v. 1. p. 1-6.

• LEAL, André Bittencourt ; Cury, J. E. R. . Controle Modular de Sistemas Condição/EventoXIV. In: XIV Congresso Brasileiro de Automática, (CBA2002), 2002, Natal. Anais do XIV Congresso Brasileiro de Automática, (CBA2002), 2002. v. 1. p. 1-6.

• CASTRO, Sonia Elena Palomino ; COUTINHO, Daniel ; TROFINO, Alexandre ; Cury, J. E. R. . Regional Stability of a Class of Nonlinear Hybrid Systems: an LMI Approach. In: IEEE Conference on Decision and Control, 2002, Las Vegas. Anais do IEEE Conference on Decision and Control, 2002. v. 1. p. 2786-2791.

• PORTELA, Eduardo Alves ; Cury, J. E. R. ; NEGRI, V. J. . Mechatronic Design and Supervisory Control Theory for Fluid Power Applications. In: 5th International Conference on Fluid Power Transmission and Control, 2001, Hangzhou. 5th International Conference on Fluid Power Transmission and Control, 2001. v. 5. p. 333-343.

• Cury, J. E. R. ; TORRICO, César Rafael Claure ; CUNHA, Antônio E. C. da . A New Approach for Supervisory Control of Discrete Event Systems. In: European Control Conference, 2001, Porto. Proceedings do ECC01, 2001. v. 1. p. 1595-1599.

• EYZELL, J. M. ; CUNHA, Antônio E. C. da ; Cury, J. E. R. ; H, K. B. . Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. In: Hybrid Systems: Computation and Control, HSCC2001, 2001, Roma. Hybrid Systems: Computation and Control, HSCC2001, 2001. p. 247-260.

• TORRICO, César Rafael Claure ; Cury, J. E. R. . Controle Supervisório Hierárquico de Sistemas a Eventos Discretos: Uma Abordagem baseada na Agregação de Estados. In: V Simpósio Brasileiro de Automação Inteligente, SBAI, 2001, Canela - RS. Anais do V Simpósio Brasileiro de Automação Inteligente, SBAI, 2001. v. 5. p. 1038.

• QUEIROZ, M. H. ; Cury, J. E. R. . Síntese Modular do Controle Supervisório em Diagrama Escada para uma Célula de Manufatura. In: V Simpósio Brasileiro de Automação Inteligente, SBAI, 2001, Canela - RS. Proceedings do V Simpósio Brasileiro de Automação Inteligente, SBAI, 2001. v. 5. p. 1072.

• PORTELA, Eduardo Alves ; Cury, J. E. R. ; NEGRI, V. J. . Integrated Design Methodology for Pneumatic Systems Automation. In: Workshop on Power Transmission and Motion Control, 2001, Bath - UK. P)roceedings do Workshop on Power Transmission and Motion Control, 2001.

• PORTELA, Eduardo Alves ; Cury, J. E. R. ; NEGRI, V. J. . A computational model for supporting conceptual design of automatic systems. In: 13th International Conference on Engineering Design, 2001, Glasgow. Design Research - Theories, Methodologies, and Product Modelling, 2001. v. 13. p. 517-524.

• QUEIROZ, M. H. ; Cury, J. E. R. . Modular Control of Composed Systems. In: American Cotrol Conference, 2000, Chicago. 2000 American Control Conference, 2000.

• VALLIM, Marcos ; M, F. J. ; Cury, J. E. R. . Developing Abstract Concepts and Professional Skills By Hand-on Approach in an Engineering Context. In: ICECE 2000, 2000, São PAulo. Proceedings of the ICECE, 2000.

• VALLIM, Marcos ; M, F. J. ; Cury, J. E. R. . Em Direção à Melhoria do Ensino na Área Tecnológica: A Experiência de uma Disciplinade Introdução à Engenharia de Controle e Automação. In: Congresso Brasileiro de AUtomática, 2000, Florianópolis. Proceedings do CBA2000, 2000.

• CUNHA, Antônio E. C. da ; Cury, J. E. R. . Uma Metodologia de Redução de Modelos de Sistemas a Eventos Discretos para a Síntese de Supervisores. In: Congresso Brasileiro de Automática, 2000, Florianópolis. Proceedings do CBA2000, 2000.

• M, B. R. ; W, K. J. ; Cury, J. E. R. . Análise de um Controlador Atuado por Brecha Máxima. In: XI Congresso Pan Americano de Engenharia de Trânsito e Transportes, 2000, Gramado. Engenharia de Tráfego e Transportes 2000: Avanços para uma Era de Mudanças, 2000. p. 181-193.

• TORRICO, César Rafael Claure ; Cury, J. E. R. . Implementation of Supervisory Controllers for Manufacturing Processes. In: CARS e FOF 99, 1999, Águas de Lindóia, SP. Proceedings do 15th ISPE/IEE International Conference on CAD/CAM, Robotics, and Factories of the Future, 1999. p. MT57-MT512.

• Cury, J. E. R. ; KROGH, B. H. . Supervisor Synthesis For Discrete Event Systems With Finite And Infinite Specifications. In: IFAC Conference on Systems Structure and Control, 1998. Proceedings. Nantes.

• EYZELL, J. M. ; Cury, J. E. R. . Exploiting Symmetry In The Synthesis Of Supervisors For Discrete Event Systems. In: American Control Conference, 1998, Philadelphia. Proceedings. Philadelphia-EUA, 1998.

• EYZELL, J. M. ; Cury, J. E. R. . Symmetry in the Supervisory Control Problem. In: Workshop on Discrete Event Systems - WODES, 1998, Cagliari. Proceedings. Cagliari Italia, 1998. v. 1. p. 225-230.

• Cury, J. E. R. ; H, K. B. . Síntese de Controle Supervisório Para Sistemas A Eventos Discretos Com Especificações de Comportamento Finito e Infinito: Uma Abordagem Unificadora. In: XII Congresso Brasileiro de Automática, 1998, Uberlândia. Anais. Uberlândia.

• M, B. R. ; W, K. J. ; Cury, J. E. R. . Um Estudo de Estratégias de Controle Atuado Para Interseções Isoladas. In: XII ANPET Congresso de Pesquisa e Ensino em Transportes, 1998. Anais. Fortaleza. p. 197-200.

• Cury, J. E. R. ; M, F. J. . Actividades de Investigación Sobre Sistemas Híbridos En La Universidad Federal de Santa Catarina. In: IX Congresso Latino Americano de Pesquisa Operacional, 1998, Buenos Ayres. Anais. Buenos Ayres.

• F, M. C. ; Cury, J. E. R. ; L, B. M. C. . Using Simulation To The Analysis Of A Real Industrial System. In: IFAC/IFIP CONFERENCE ON MANAGEMENT AND CONTROL OF PRODUCTION AND LOGISTICS (MCPL'97), 1997, Campinas. Proceedings. CAMPINAS, SP, 1997.

• D, M. E. ; Cury, J. E. R. . Uma Arquitetura Para Implementacao de Controle Supervisório de Sistemas A Eventos Discretos. In: 3O SIMPÓSIO BRASILEIRO DE AUTOMAÇÃO INTELIGENTE, 1997, Vitória. Anais. VITORIA.

• B, S. C. ; Cury, J. E. R. ; F, M. C. . Escalonamento de Ordens Em Sistemas de Transporte Por Agv. Estudo de Caso. In: 3O SIMP SIO BRASILEIRO DE AUTOMACAO INTELIGENTE, 1997. Anais. VITORIA, ES, 1997.

• ATTIE, S. S. ; Cury, J. E. R. ; NEGRI, V. J. . Design Methodology To Fluid Power Systems Automation. In: 13th ISPE/IEE International conference on CAD/CAM Robotics and Factories of the Future, 1997, Colômbia. Proceedings. Colombia, 1997.

• Cury, J. E. R. ; H, K. B. . Design Of Robust Supervisors For Discrete Event Systems With Infinite Behaviors. In: 35RD IEEE CONFERENCE ON DECISION AND CONTROL, 1996, Kobe. Proceedings. KOBE, JAPAO, 1996.

• T, N. ; Cury, J. E. R. ; H, K. B. ; R, C. J. E. . Computing Exact Automaton Representations For A Class Of Hybrid Systems. In: 35RD IEEE CONFERENCE ON DECISION AND CONTROL, 1996, Kobe. Proceedings. KOBE, JAPAO, 1996.

• Cury, J. E. R. ; H, K. B. ; T, N. . A Methodology For The Design Of Supervisory Controllers For A Class Of Hybrid Systems. In: XI CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1996. Anais. SAO PAULO SP, BRASIL, 1996.

• T, N. ; H, K. B. ; Cury, J. E. R. . Synthesis Of Supervisory Controllers For Hybrid Systems Based On Approximating Automata. In: 34RD CONFERENCE ON DECISION AND CONTROL (CDC), 1995, New Orleans. Proceedings. NEW ORLEANS, EUA, 1995.

• H, K. B. ; Cury, J. E. R. ; T, N. . Control Of Hybrid Systems Using Finite State Approximations. In: DIMACS WORKSHOP ON VERIFICATION AND CONTROL OF HYBRID SYSTEMS, 1995. Proceedings. NEW BRUNSWICK, EUA.

• H, K. B. ; Cury, J. E. R. ; T, N. . Synthesis Of Supervisory Controllers For Hybrid Systems Using Approximating Automata. In: 3RD SIAM CONFERENCE ON CONTROL AND ITS APPLICATIONS, 1995. Apresentação. EUA.

• B, C. E. ; G, S. J. M. ; Cury, J. E. R. . A Reduced Order Framework Applied To Linear Systems With Constrained Controls. In: 33RD IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 1994, Flörida. Proceedings. FLORIDA, EUA, 1994.

• M, Z. R. ; Cury, J. E. R. . On The Supremal L-Controllable Sublanguage Of A Non Prefix-Closed Language. In: VI CONGRESSO LATINO AMERICANO DE CONTROLE AUTOMATICO - X CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1994, Rio de Janeiro. Proceedings. RIO DE JANEIRO RJ, BRASIL.

• G, S. J. M. ; B, C. E. ; Cury, J. E. R. . Sobre Posicionamento Parcial de Autoestrutura. In: VI CONGRESSO LATINO AMERICANO DE CONTROLE AUTOMATICO - X CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1994, Rio de Janeiro. Proceedings. RIO DE JANEIRO RJ, BRASIL, 1994.

• M, Z. R. ; Cury, J. E. R. . On The Supremal Lm-Closed And L-Controllable Sublanguages Of A Given Language. In: XI INT. CONF. ON ANALYSIS AND OPTIMIZATION OF SYSTEMS - DISCRETE EVENT SYSTEMS, 1994, Sophia Antipolis. Proceedings. SOPHIA ANTIPOLIS, FRANCA, 1994.

• A, S. F. ; J, C. ; Cury, J. E. R. . An Integrated Environment Of Tools For The Design Of Manufacturing Systems. In: II IFAC/IFIP/IFORS WORKSHOP ON INTELLIGENT MANUFACTURING SYSTEMS (IMS'94), 1994, Viena. Proceedings. VIENA, AUSTRIA.

• M, F. J. ; Cury, J. E. R. ; J, C. . Um Ambiente Integrado de Ferramentas Para A Concepcao de Sistemas A Eventos Discretos. In: WORKSHOP NACIONAL PROJETOS COOPERATIVOS EM INFORMATICA, 1993, Itaipava. Anais. ITAIPAVA RJ, BRASIL, 1993.

• Cury, J. E. R. ; C, C. . Modeling And Analysis Of Transfer Lines Using Timed-Event-Graphs. In: IFAC WORLD CONGRESS, 1993, Sydney. Proceedings. SYDNEY, AUSTRALIA, 1993.

• Cury, J. E. R. ; J, C. ; M, F. J. . An Fms Coordination System: An Approach Based On High-Level Petri Net. In: IMACS/SICE INTERNATIONAL SYMPOSIUM ON ROBOTICS, MECHATRONICS AND MANUFACTURING SYSTEMS, 1992, Kobe. Proceedings. KOBE, JAPAO, 1992.

• M, F. J. ; J, C. ; Cury, J. E. R. . Specification And Implementation Of An Fms Coordinating System Based On High-Level Petri Net. In: IFAC WORKSHOP N INTELLIGENT MANUFACTURING SYSTEMS (IMS'92), 1992, Dearborn. pROCEEDINGS. DEARBORN, EUA, 1992.

• A, Z. C. ; Cury, J. E. R. . Uma Estrategia Para Escalonamento de Tarefas Em Tempo Real Para Sistemas Flexiveis de Manufatura. In: IX CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1992, Vitória. Anais. VITORIA ES, BRASIL, 1992.

• J, C. ; Cury, J. E. R. ; M, F. J. . Um Sistema de Coordenacao Para Ambientes Fabris Baseado No Modelo Rede de Petri. In: IX CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1992, Vitória. Anais. VITORIA ES, BRASIL, 1992.

• W, K. J. ; M, F. J. ; H, B. A. ; N, R. J. E. ; Cury, J. E. R. . An Experiment On The Use Of A Virtual Laboratory In Teaching Control Theory. In: IFAC CONF. ON ADVANCES IN CONTROL EDUCATION, 1991, Boston. Proceedings. BOSTON, EUA, 1991.

• W, K. J. ; Cury, J. E. R. ; N, R. J. E. ; H, B. A. ; M, F. J. . Uma Experiencia No Uso de Um Laboratorio Virtual Para Ensino de Teoria de Controle. In: 1 SIMPOSIO BRASILEIRO DE INFORMATICA NA EDUCACAO, 1990, Rio de Janeiro. Anais. RIO DE JANEIRO RJ, BRASIL, 1990.

• Cury, J. E. R. . Lancamento e Escalonamento de Tarefas Em Sistemas de Manufatura Com Alimentacao Periodica. In: VIII CONGRESSO BRASILEIRO DE AUTOMATICA (CBA), 1990, Belém. Anais. BELEM PA, BRASIL, 1990.

• E, G. H. ; M, F. J. ; Cury, J. E. R. ; C, K. . Simulation And Implementation Tools For Manufacturing Systems Modelled By Petri Nets With Objects. In: CIM90 (CIM:INTEGRATION ASPECTS), 1990, Bordeaux. Proceedings. BORDEAUX, FRANCA, 1990.

• Cury, J. E. R. ; C, G. F. A. ; J, M. M. . Modelling, Optimization And Control Of Subway Systems. In: 5 IFAC/IFIP/IFORS INT. CONF. ON CONTROL IN TRANSPORTATION SYSTEMS, 1986, Austria. Proceedings. AUSTRIA, 1986.

• Cury, J. E. R. ; C, L. P. ; L, M. M. ; S, F. P. . Sistemas Integrados de Apoio A Producao e Gerenciamento - Seu Acesso A Pequena e Media Empresa. In: 2 CONAI, 1985, São Paulo. Anais. SAO PAULO SP, BRASIL, 1985.

• Cury, J. E. R. ; C, L. P. ; L, M. M. ; S, F. P. ; H, R. . Um Sistema de Apoio Ao Pcp Para Computadores de Pequeno Porte. In: 2 CONAI, 1985, São Paulo. Anais. SAO PAULO SP, BRASIL, 1985.

• Cury, J. E. R. ; P, L. V. M. . Conjuntos K-(C,A,Bi) e Construcao de Compensadores Para Sistemas Decentralizados. In: 1 CONGRESSO LATINO AMERICANO DE AUTOMACAO E 5 CONGRESSO BRASILEIRO DE AUTOMATICA, 1984, Campina Grande. Proceedings. CAMPINA GRANDE PB, BRASIL, 1984.

• H, R. ; Cury, J. E. R. ; J, P. R. ; B, H. R. B. . Simulador Para Sistemas de Manufatura. In: XVII CONGRESSO BRASILEIRO DE INFORMATICA, 1984, Rio de Janeiro. aNAIS. RIO DE JANNEIRO RJ, BRASIL, 1984.

• Cury, J. E. R. ; C, G. F. A. ; F, M. M. ; H, R. ; J, S. . Controle Integrado de Sistemas. In: XVII CONGRESSO NACIONAL DE INFORMATICA, 1984, Rio de Janeiro. Anais. RIO DE JANEIRO RJ, BRASIL.

• Cury, J. E. R. ; H, M. C. . Les Sous-Espaces (A,B)-Invariants Structurels Et Le Rejet Des Perturbations Dans Les Systemes Decentralises. In: COLLOQUE NATIONAL DU CNRS, 1982, Belle-Ile. Proceedings. BELLE-ILE, FRANCA, 1982.

• Cury, J. E. R. ; C, G. F. A. ; J, M. M. . Modeling, Decentralized Optimization And Control Of Subway Systems. In: 3 International Symposium in Large Engineering Systems, 1980, New Foundland. Proceedings. New Foundland, Canadá, 1980.

• C, A. W. ; Cury, J. E. R. ; GOMIDE, F. A. C. ; G, L. L. ; J, M. M. . Controle Distribuido e Decentralizado de Processos Industriais Por Computadores. Parte 6: Aspectos Metodologicos de Controle Distribuido. In: SUCESU, 1979, São Paulo, 1979.

• Cury, J. E. R. ; C, G. F. A. ; J, M. M. . A Methodology For Generation Of Optimal Schedules For An Underground Railway Systems. In: 18 IEEE Conference on Decision and Control (CDC), 1979, Flórida. Proceedings. Flórida, 1979.

• C, A. W. ; Cury, J. E. R. ; G, L. L. ; J, M. M. . Controle Distribuido e Descentralizado de Processos Industriais. In: 12o Congresso da SUCESU, 1979, São Paulo. Anais. São Paulo, 1979.

• Cury, J. E. R. ; C, G. F. A. . Modelamento de Um Sistema Metroviário. In: Congresso da SBPC, 1979, São Paulo. Resumo. São Paulo, 1979.

• OLIVEIRA, R. G. ; QUEIROZ, M. H. ; Cury, J. E. R. . Hierarchical Supervisory Control of Discrete Event Systems Based On Reliable Events. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS , 2025.

• Cury, J. E. R. ; BALDISSERA, F. L. . Plenária do WODES 2012 'Some Perspectives and Challenges in the (Discrete) Control of Cellular Systems'. 2012. (Apresentação de Trabalho/Conferência ou palestra).

• LESAGE, J. ; Cury, J. E. R. . Special issue on ?New approaches for DES modeling, analysis and synthesis?. 2016. (Editoração/Periódico).

Projetos de pesquisa

• 2014 - Atual

  BioControl: Rede para estudos de biologia de sistemas e métodos de controle, Descrição: Colaboração entre os programas de pós-graduação em Biotecnologia e Biociências/UFSC, a pós-graduação em Automação e Sistemas (PGEAS)/UFSC e a pós-graduação em Biologia Celular/UFMG, aprovado na chamada Pública CAPES 51/2013? Edital biologia computacional. O objetivo é o de desenvolver projetos de pesquisa e formar recursos humanos na área temática de Modelagem e simulação de sistemas e redes biológicas. A modelagem matemática e a compreensão das nossas células de maneira ampla é necessária para entender suas respostas frente a infecções e agressões químicas e em última análise desenvolver metodologias para o controle desse processos. Para realizar este projeto montamos um time multidisciplinar das áreas de ciências biológicas e exatas que além dos programas citados acima (todos nível 5 na CAPES) contará com instituições colaboradoras nacionais e internacionais, como Embrapa Informática Agropecuária, Universtity of Cambridge, Imperial College London, Instituto Gulbenkian e Notre Dame University, entre outros, juntando experts nos assuntos que serão abordados e que com certeza contribuirão para o desenvolvimento da área de biologia computacional e de sistemas no Brasil.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Eduardo Ribeiro Cury - Integrante / Daniel Mansur - Coordenador.

• 2011 - Atual

  Modelagem e Controle de Sistemas a Eventos Discretos e Sistemas Híbridos. Metodologia e Aplicações, Descrição: Este projeto corresponde às atividades de pesquisa relativas à Bolsa de Produtividade em Pesquisa do pesquisador José Eduardo Ribeiro Cury, para o período de março de 2011 a fevereiro de 2015. Ele visa dar continuidade à pesquisa realizada pelo pesquisador na área de teoria de controle de Sistemas a Eventos Discretos (SED) e Sistemas Híbridos (SH). Considera-se nesta pesquisa os seguintes temas: i) desenvolvimento de algoritmos eficientes para a obtenção de projeções com a propriedade de "observador", propriedade esta fundamental nas arquiteturas de controle hierárquico e modular; ii) desenvolvimento de metodologia que permita explorar a informação de sensores no sentido de reduzir a complexidade do problema de síntese de controladores para SED, em particular estendendo este estudo ao caso de estruturas de controle modular; iii) desenvolvimento da aplicação da TCS no controle de sistemas de de produção e transporte, em particular no problema de controle de Veículos Auto-guiados (AGV); e iv) estudo de modelos e técnicas de SED para análise da dinâmica de sistemas biológicos, mais especialmente na modelagem e análise das cadeias de reações intracelulares.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Eduardo Ribeiro Cury - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.

• 2009 - 2012

  PROCAD - Rede de Cooperação Acadêmica em Sistemas a Eventos Discretos, Sistemas Híbridos e Controle Robusto, Descrição: Trata-se de uma rede de cooperação nas áreas de sistemas a eventos discretos, sistemas híbridos e controle robusto, fortalecendo as relações existentes entre quatro programas de pós-graduação, através do desenvolvimento conjunto de pesquisas, seminários e orientações de dissertações e teses, com vistas à consolidação do Programa de PG em Engenharia Elétrica do IME e do Programa de PG em Engenharia de Produção e Sistemas da PUCPR. Além disso, o projeto promove a integração dessas três áreas correlatas de modo a estimular a abordagem de novos tópicos de pesquisa no Programa de PG em Engenharia de Automação e Sistemas da UFSC e no Programa de PG em Engenharia Elétrica da UFMG.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Eduardo Ribeiro Cury - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

• 2009 - 2012

  CAPES-COFECUB - Controle de Sistemas a Eventos Discretos. Metodologia e Aplicação aos Sistemas de Produção e Redes de Transporte, Descrição: Trata-se de Projeto CAPES-COFECUB. O projeto em questão visa a concepção de sistemas de controle para instalações complexas, modeladas por sistemas dinâmicos a eventos discretos (SED), em especial as redes de transporte e sistemas de produção.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Jose Eduardo Ribeiro Cury - Coordenador., Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro.

Prêmios