José E. R. Cury

48 papers B 1C 5Misc 1Journal 19Unranked 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Formal Modular Synthesis Approach for the Coordination of 3-D Robotic Construction with Multi-robots.
CoRR
Marcelo Rosa, José E. R. Cury, Fabio L. Baldissera
2025 — conf
Computation of Immediate Neighbours of Monotone Boolean Functions.
CMSB
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2025 B conf
Discovering Automata Models Tailored for the Control of Discrete Event Systems.
ICPM
Rosaine F. Semler, Jhonnatan R. Semler, Marco A. Wehrmeister, Luiz Fernando Puttow Southier, César A. Uribe, José E. R. Cury, Marcelo Teixeira
2024 J jnl
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case.
Discret. Event Dyn. Syst.
Marcelo Rosa, José E. R. Cury, Fabio L. Baldissera
2024 J jnl
Immediate Neighbours of Monotone Boolean Functions.
CoRR
José E. R. Cury, Patrícia Tenera Roxo, Vasco Manquinho, Claudine Chaouiya, Pedro T. Monteiro
2022 J jnl
Combining Online Diagnosis and Prognosis for Safe Controllability.
IEEE Trans. Autom. Control.
Ana T. Y. Watanabe, André B. Leal, José E. R. Cury, Max Hering de Queiroz
2020 J jnl
State-based supervisory control with restrictions on the supervisor realization.
Discret. Event Dyn. Syst.
Pedro A. C. F. Leite, Fabio L. Baldissera, José E. R. Cury
2019 J jnl
Partial Order on the set of Boolean Regulatory Functions.
CoRR
José E. R. Cury, Pedro T. Monteiro, Claudine Chaouiya
2016 — conf
Computing continuous control laws for gene regulatory networks within a discrete-event systems approach.
WODES
Fabio L. Baldissera, José E. R. Cury
2016 J jnl
Special issue on "New approaches for DES modeling, analysis and synthesis".
Discret. Event Dyn. Syst.
Jean-Jacques Lesage, José E. R. Cury
2015 J jnl
Supervisory control of discrete event systems with distinguishers.
Autom.
José E. R. Cury, Max Hering de Queiroz, Gustavo Bouzon, Marcelo Teixeira
2014 — ed.
12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014.
WODES
Jean-Jacques Lesage, Jean-Marc Faure, José E. R. Cury, Bengt Lennartson
2014 — conf
Generalised Search for the Observer Property in Discrete Event Systems.
WODES
Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury
2014 — conf
Local Modular Supervisory Control of Timed Discrete-Event Systems.
WODES
Germano Schafaschek, Max H. Queiroz, José E. R. Cury
2014 J jnl
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Autom. Control.
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
2013 — conf
Local Modular Control with Distinguishers Applied to a Manufacturing System.
MIM
Marcelo Teixeira, José E. R. Cury, Max Hering de Queiroz
2013 — conf
Some results on the feedback control of max-plus linear systems under state constrains.
CDC
Carlos Andrey Maia, Laurent Hardouin, José E. R. Cury
2013 J jnl
Systems Biology, Synthetic Biology and Control Theory: A promising golden braid.
Annu. Rev. Control.
José E. R. Cury, Fabio L. Baldissera
2012 — conf
Application of supervisory control theory to guide cellular dynamics.
WODES
Fabio L. Baldissera, José E. R. Cury
2012 — conf
Generalised verification of the observer property in discrete event systems.
WODES
Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury
2012 — conf
Some perspectives and challenges in the (discrete) control of cellular systems.
WODES
José E. R. Cury, Fabio L. Baldissera
2012 — conf
Supervisory control of Petri nets using polyhedral regions.
WODES
Roberto Bacos, José E. R. Cury, Radouane Kara, Jean Jacques Loiseau
2012 — conf
Using max-plus to solve the job shop problem with time lags.
WODES
José E. R. Cury, Jean Jacques Loiseau, Claude Martinez, Max Hering de Queiroz
2011 J jnl
Conceptual Design of Discrete-Event Systems Using Templates.
Discret. Event Dyn. Syst.
Lenko Grigorov, Brian E. Butler, José E. R. Cury, Karen Rudie
2011 — conf
Optimal scheduling of a repair shipyard based on Supervisory Control Theory.
CASE
Denis C. Pinha, Max Hering de Queiroz, José E. R. Cury
2010 — conf
Efficient computation of observer projections using OP-verifiers.
WODES
Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
2010 — conf
Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness.
WODES
Klaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury
2009 J jnl
Verification of Nonconflict of Supervisors Using Abstractions.
IEEE Trans. Autom. Control.
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2008 C conf
Modular requirements for Hierarchical Interface-Based Supervisory Control with multiple levels.
ACC
Richard C. Hill, José E. R. Cury, Max Hering de Queiroz, Dawn M. Tilbury
2008 C conf
Polynomial-time verification of the observer property in abstractions.
ACC
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2008 Misc conf
Template design and automatic generation of controllers for industrial robots.
SAC
Lenko Grigorov, Karen Rudie, José E. R. Cury, Steffi Klinge
2006 — conf
A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering.
CDC
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury
2006 C conf
New Results on Testing Modularity of Local Supervisors using Abstractions.
ETFA
Patrícia N. Pena, José E. R. Cury, Stéphane Lafortune
2006 J jnl
Practicing engineering in a freshman introductory course.
IEEE Trans. Educ.
Marcos B. R. Vallim, Jean-Marie Farines, José E. R. Cury
2005 C conf
A hybrid decision support system - the joint use of simulation, coloured petri nets and expert system.
ICINCO
Fabiano A. Hennemann, Ricardo J. Rabelo, José E. R. Cury, José Vicente Canto dos Santos, Arthur Tórgo Gómez
2005 J jnl
Multitasking Supervisory Control of Discrete-Event Systems.
Discret. Event Dyn. Syst.
Max H. Queiroz, José E. R. Cury, Walter Murray Wonham
2004 J jnl
Discussion on: "Supervisory Control of Product and Hierarchical Discrete Event Systems".
Eur. J. Control
José E. R. Cury, Max H. Queiroz
2004 — conf
On the existence of optimal solutions for the modular supervisory control of hybrid systems.
CDC
André B. Leal, José E. R. Cury
2004 J jnl
Supervisory Control of Discrete Event Systems with Flexible Marking.
Eur. J. Control
José E. R. Cury, César R. C. Torrico, Antonio Eduardo Carrilho da Cunha
2002 — conf
Regional stability of a class of nonlinear hybrid systems: an LMI approach.
CDC
S. Palomina Bean, Daniel F. Coutinho, Alexandre Trofino, José E. R. Cury
2001 — conf
A New approach for supervisory control of discrete event systems.
ECC
José E. R. Cury, César R. C. Torrico, A. E. C. da Cunha
2001 J jnl
Exploiting symmetry in the synthesis of supervisors for discrete event systems.
IEEE Trans. Autom. Control.
José M. Eyzell, José E. R. Cury
2001 — conf
Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.
HSCC
José M. E. González, Antonio Eduardo Carrilho da Cunha, José E. R. Cury, Bruce H. Krogh
2000 C conf
Modular control of composed systems.
ACC
Max Hering de Queiroz, José E. R. Cury
1998 J jnl
Synthesis of supervisory controllers for hybrid systems based on approximating automata.
IEEE Trans. Autom. Control.
José E. R. Cury, Bruce H. Krogh, Toshihiko Niinomi
1997 — conf
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.
Hybrid Systems
Conrado W. Seibel, Jean-Marie Farines, José E. R. Cury
1996 J jnl
A reduced-order framework applied to linear systems with constrained controls.
IEEE Trans. Autom. Control.
Eugênio B. Castelan, João Manoel Gomes da Silva Jr., José E. R. Cury
1995 — conf
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.
Hybrid Systems
Toshihiko Niinomi, Bruce H. Krogh, José E. R. Cury