José E. R. Cury

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 7

Top Topics

Monotone Boolean Functions

Supervisory Control

Top Venues

Discret. Event Dyn. Syst.

IEEE Trans. Autom. Control.

Publications

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