José Eduardo Ribeiro Cury

Orcid: 0000-0001-7740-8539

According to our database1, José Eduardo Ribeiro Cury authored at least 64 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A modular synthesis approach for the coordination of multi-agent systems: the multiple team case.
Discret. Event Dyn. Syst., 2024

Immediate Neighbours of Monotone Boolean Functions.
CoRR, 2024

2022
Combining Online Diagnosis and Prognosis for Safe Controllability.
IEEE Trans. Autom. Control., 2022

2020
State-based supervisory control with restrictions on the supervisor realization.
Discret. Event Dyn. Syst., 2020

2019
Partial Order on the set of Boolean Regulatory Functions.
CoRR, 2019

2018
Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2018

2017
A Method for PLC Implementation of Supervisory Control of Discrete Event Systems.
IEEE Trans. Control. Syst. Technol., 2017

Local Modular Supervisory Control of Timed Discrete-Event Systems.
IEEE Trans. Autom. Control., 2017

2016
A Supervisory Control Theory Approach to Control Gene Regulatory Networks.
IEEE Trans. Autom. Control., 2016

Special issue on "New approaches for DES modeling, analysis and synthesis".
Discret. Event Dyn. Syst., 2016

Computing continuous control laws for gene regulatory networks within a discrete-event systems approach.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction.
IEEE Trans. Autom. Control., 2015

Supervisory control of discrete event systems with distinguishers.
Autom., 2015

Building maps with Multi-Robot Systems under limited communication.
Proceedings of the International Conference on Advanced Robotics, 2015

Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Local modular supervisory control applied to the scheduling of cluster tools.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Verification of the Observer Property in Discrete Event Systems.
IEEE Trans. Autom. Control., 2014

Generalised Search for the Observer Property in Discrete Event Systems.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Integration of supervisory control with SCADA system for a flexible manufacturing cell.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Comparative of heuristics on search of supervisors by approximated distinguishers.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Optimality in the control of gene regulatory networks.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Systems Biology, Synthetic Biology and Control Theory: A promising golden braid.
Annu. Rev. Control., 2013

Local Modular Control with Distinguishers Applied to a Manufacturing System.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Modeling and synthesis of controllers for Multi-Robot Systems using game structures.
Proceedings of the 16th International Conference on Advanced Robotics, 2013

Some results on the feedback control of max-plus linear systems under state constrains.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Variable abstraction and approximations in supervisory control synthesis.
Proceedings of the American Control Conference, 2013

2012
Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems.
IEEE Trans. Autom. Control., 2012

Using max-plus to solve the job shop problem with time lags.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Some perspectives and challenges in the (discrete) control of cellular systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Generalised verification of the observer property in discrete event systems.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Application of supervisory control theory to guide cellular dynamics.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Supervisory control of Petri nets using polyhedral regions.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2011
Conceptual Design of Discrete-Event Systems Using Templates.
Discret. Event Dyn. Syst., 2011

Local modular Supervisory Control of DES with distinguishers.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Optimal scheduling of a repair shipyard based on Supervisory Control Theory.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Multi-level hierarchical interface-based supervisory control.
Autom., 2010

Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Efficient computation of observer projections using OP-verifiers.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009
Verification of Nonconflict of Supervisors Using Abstractions.
IEEE Trans. Autom. Control., 2009

2008
Template design and automatic generation of controllers for industrial robots.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Polynomial-time verification of the observer property in abstractions.
Proceedings of the American Control Conference, 2008

Modular requirements for Hierarchical Interface-Based Supervisory Control with multiple levels.
Proceedings of the American Control Conference, 2008

Design of Discrete-Event Systems Using Templates.
Proceedings of the American Control Conference, 2008

2007
Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking.
IEEE Trans. Autom. Control., 2007

Hierarchical and decentralized multitasking control of discrete event systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006
Practicing engineering in a freshman introductory course.
IEEE Trans. Educ., 2006

A Model for PLC Implementation of Supervisory Control of Discrete Event Systems.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

New Results on Testing Modularity of Local Supervisors using Abstractions.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
Multitasking Supervisory Control of Discrete-Event Systems.
Discret. Event Dyn. Syst., 2005

A hybrid decision support system - the joint use of simulation, coloured petri nets and expert system.
Proceedings of the ICINCO 2005, 2005

2004
Supervisory Control of Discrete Event Systems with Flexible Marking.
Eur. J. Control, 2004

Discussion on: "Supervisory Control of Product and Hierarchical Discrete Event Systems".
Eur. J. Control, 2004

On the existence of optimal solutions for the modular supervisory control of hybrid systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

2002
Regional stability of a class of nonlinear hybrid systems: an LMI approach.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001
Exploiting symmetry in the synthesis of supervisors for discrete event systems.
IEEE Trans. Autom. Control., 2001

Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis.
Proceedings of the Hybrid Systems: Computation and Control, 4th International Workshop, 2001

A New approach for supervisory control of discrete event systems.
Proceedings of the 6th European Control Conference, 2001

2000
Modular control of composed systems.
Proceedings of the American Control Conference, 2000

1999
Robustness of supervisors for discrete-event systems.
IEEE Trans. Autom. Control., 1999

1998
Synthesis of supervisory controllers for hybrid systems based on approximating automata.
IEEE Trans. Autom. Control., 1998

1997
Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles.
Proceedings of the Hybrid Systems V, 1997

1996
A reduced-order framework applied to linear systems with constrained controls.
IEEE Trans. Autom. Control., 1996

1995
Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995


  Loading...