Refinements of Approximating Automata for Synthesis of Supervisory Controllers for Hybrid Systems. - Toshihiko Niinomi; Bruce H. Krogh; José E. R. Cury (Hybrid Systems, 1995)

A reduced-order framework applied to linear systems with constrained controls. - Eugênio B. Castelan; João Manoel Gomes da Silva Jr.; José E. R. Cury (IEEE Trans. Autom. Control., 1996)

Towards Using Hybrid Automata for the Mission Planning of Unmanned Aerial Vehicles. - Conrado W. Seibel; Jean-Marie Farines; José E. R. Cury (Hybrid Systems, 1997)

Synthesis of supervisory controllers for hybrid systems based on approximating automata. - José E. R. Cury; Bruce H. Krogh; Toshihiko Niinomi (IEEE Trans. Autom. Control., 1998)

Robustness of supervisors for discrete-event systems. - José Eduardo Ribeiro Cury; Bruce H. Krogh (IEEE Trans. Autom. Control., 1999)

Modular control of composed systems. - Max Hering de Queiroz; José E. R. Cury (ACC, 2000)

A New approach for supervisory control of discrete event systems. - José E. R. Cury; César R. C. Torrico; A. E. C. da Cunha (ECC, 2001)

Supervision of Event-Driven Hybrid Systems: Modeling and Synthesis. - José M. E. González; Antonio Eduardo Carrilho da Cunha; José E. R. Cury; Bruce H. Krogh (HSCC, 2001)

Exploiting symmetry in the synthesis of supervisors for discrete event systems. - José M. Eyzell; José E. R. Cury (IEEE Trans. Autom. Control., 2001)

Regional stability of a class of nonlinear hybrid systems: an LMI approach. - S. Palomina Bean; Daniel F. Coutinho; Alexandre Trofino; José E. R. Cury (CDC, 2002)

On the existence of optimal solutions for the modular supervisory control of hybrid systems. - André B. Leal; José E. R. Cury (CDC, 2004)

Discussion on: "Supervisory Control of Product and Hierarchical Discrete Event Systems". - José E. R. Cury; Max H. Queiroz (Eur. J. Control, 2004)

Supervisory Control of Discrete Event Systems with Flexible Marking. - José E. R. Cury; César R. C. Torrico; Antonio Eduardo Carrilho da Cunha (Eur. J. Control, 2004)

A hybrid decision support system - the joint use of simulation, coloured petri nets and expert system. - Fabiano A. Hennemann; Ricardo J. Rabelo; José E. R. Cury; José Vicente Canto dos Santos; Arthur Tórgo Gómez (ICINCO, 2005)

Multitasking Supervisory Control of Discrete-Event Systems. - Max H. Queiroz; José E. R. Cury; Walter Murray Wonham (Discret. Event Dyn. Syst., 2005)

A Curriculum Framework for Undergraduate Degree in Control and Automation Engineering. - Marcos B. R. Vallim; Jean-Marie Farines; José E. R. Cury (CDC, 2006)

New Results on Testing Modularity of Local Supervisors using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ETFA, 2006)

A Model for PLC Implementation of Supervisory Control of Discrete Event Systems. - Agnelo Denis Vieira; José Eduardo Ribeiro Cury; Max Hering de Queiroz (ETFA, 2006)

Practicing engineering in a freshman introductory course. - Marcos B. R. Vallim; Jean-Marie Farines; José E. R. Cury (IEEE Trans. Educ., 2006)

Hierarchical and decentralized multitasking control of discrete event systems. - Klaus Schmidt 002; Max Hering de Queiroz; José Eduardo Ribeiro Cury (CDC, 2007)

Hierarchical Supervisory Control Based on Discrete Event Systems With Flexible Marking. - Antonio Eduardo Carrilho da Cunha; José Eduardo Ribeiro Cury (IEEE Trans. Autom. Control., 2007)

Design of Discrete-Event Systems Using Templates. - Lenko Grigorov; José Eduardo Ribeiro Cury; Karen Rudie (ACC, 2008)

Modular requirements for Hierarchical Interface-Based Supervisory Control with multiple levels. - Richard C. Hill; José E. R. Cury; Max Hering de Queiroz; Dawn M. Tilbury (ACC, 2008)

Polynomial-time verification of the observer property in abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (ACC, 2008)

Template design and automatic generation of controllers for industrial robots. - Lenko Grigorov; Karen Rudie; José E. R. Cury; Steffi Klinge (SAC, 2008)

Verification of Nonconflict of Supervisors Using Abstractions. - Patrícia N. Pena; José E. R. Cury; Stéphane Lafortune (IEEE Trans. Autom. Control., 2009)

Efficient computation of observer projections using OP-verifiers. - Patrícia N. Pena; José E. R. Cury; Robi Malik; Stéphane Lafortune (WODES, 2010)

Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness. - Klaus Werner Schmidt; Max Hering de Queiroz; José E. R. Cury (WODES, 2010)

Multi-level hierarchical interface-based supervisory control. - Richard C. Hill; José Eduardo Ribeiro Cury; Max Hering de Queiroz; Dawn M. Tilbury; Stéphane Lafortune (Autom., 2010)

Optimal scheduling of a repair shipyard based on Supervisory Control Theory. - Denis C. Pinha; Max Hering de Queiroz; José E. R. Cury (CASE, 2011)

Local modular Supervisory Control of DES with distinguishers. - Marcelo Teixeira; José Eduardo Ribeiro Cury; Max Hering de Queiroz (ETFA, 2011)

Conceptual Design of Discrete-Event Systems Using Templates. - Lenko Grigorov; Brian E. Butler; José E. R. Cury; Karen Rudie (Discret. Event Dyn. Syst., 2011)

Supervisory control of Petri nets using polyhedral regions. - Roberto Bacos; José E. R. Cury; Radouane Kara; Jean Jacques Loiseau (WODES, 2012)

Application of supervisory control theory to guide cellular dynamics. - Fabio L. Baldissera; José E. R. Cury (WODES, 2012)

Generalised verification of the observer property in discrete event systems. - Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Patrícia Nascimento Pena; Robi Malik; José E. R. Cury (WODES, 2012)

Some perspectives and challenges in the (discrete) control of cellular systems. - José E. R. Cury; Fabio L. Baldissera (WODES, 2012)

Using max-plus to solve the job shop problem with time lags. - José E. R. Cury; Jean Jacques Loiseau; Claude Martinez; Max Hering de Queiroz (WODES, 2012)

Efficient Abstractions for the Supervisory Control of Modular Discrete Event Systems. - Klaus Werner Schmidt; José Eduardo Ribeiro Cury (IEEE Trans. Autom. Control., 2012)

Variable abstraction and approximations in supervisory control synthesis. - Marcelo Teixeira; Robi Malik; José Eduardo Ribeiro Cury; Max Hering de Queiroz (ACC, 2013)

Some results on the feedback control of max-plus linear systems under state constrains. - Carlos Andrey Maia; Laurent Hardouin; José E. R. Cury (CDC, 2013)

Modeling and synthesis of controllers for Multi-Robot Systems using game structures. - José Gilmar Nunes de Carvalho Filho; Jean-Marie Alexandre Farines; José Eduardo Ribeiro Cury (ICAR, 2013)

Local Modular Control with Distinguishers Applied to a Manufacturing System. - Marcelo Teixeira; José E. R. Cury; Max Hering de Queiroz (MIM, 2013)

Systems Biology, Synthetic Biology and Control Theory: A promising golden braid. - José E. R. Cury; Fabio L. Baldissera (Annu. Rev. Control., 2013)

Optimality in the control of gene regulatory networks. - Fabio L. Baldissera; José Eduardo Ribeiro Cury (CDC, 2014)

Comparative of heuristics on search of supervisors by approximated distinguishers. - Raquel S. S. Aguiar; Antonio Eduardo Carrilho da Cunha; José Eduardo Ribeiro Cury; Max Hering de Queiroz (ETFA, 2014)

Integration of supervisory control with SCADA system for a flexible manufacturing cell. - Nicole Beatriz Portilla; Max Hering de Queiroz; José Eduardo Ribeiro Cury (INDIN, 2014)

Generalised Search for the Observer Property in Discrete Event Systems. - Hugo J. Bravo; Patrícia Nascimento Pena; Antonio Eduardo Carrilho da Cunha; Robi Malik; José E. R. Cury (WODES, 2014)

Verification of the Observer Property in Discrete Event Systems. - Patrícia N. Pena; Hugo J. Bravo; Antonio Eduardo Carrilho da Cunha; Robi Malik; Stéphane Lafortune; José E. R. Cury (IEEE Trans. Autom. Control., 2014)

Local modular supervisory control applied to the scheduling of cluster tools. - Germano Schafaschek; Max Hering de Queiroz; José Eduardo Ribeiro Cury (CASE, 2015)

Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system. - William A. F. Scotti; Nicole Beatriz Portilla; Max Hering de Queiroz; José Eduardo Ribeiro Cury (CASE, 2015)

Building maps with Multi-Robot Systems under limited communication. - José Gilmar Nunes de Carvalho Filho; Jean-Marie Farines; José Eduardo Ribeiro Cury (ICAR, 2015)

Supervisory control of discrete event systems with distinguishers. - José E. R. Cury; Max Hering de Queiroz; Gustavo Bouzon; Marcelo Teixeira (Autom., 2015)

Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction. - Marcelo Teixeira; Robi Malik; José Eduardo Ribeiro Cury; Max Hering de Queiroz (IEEE Trans. Autom. Control., 2015)

Computing continuous control laws for gene regulatory networks within a discrete-event systems approach. - Fabio L. Baldissera; José E. R. Cury (WODES, 2016)

Special issue on "New approaches for DES modeling, analysis and synthesis". - Jean-Jacques Lesage; José E. R. Cury (Discret. Event Dyn. Syst., 2016)

A Supervisory Control Theory Approach to Control Gene Regulatory Networks. - Fabio L. Baldissera; José Eduardo Ribeiro Cury; Jörg Raisch (IEEE Trans. Autom. Control., 2016)

Local Modular Supervisory Control of Timed Discrete-Event Systems. - Germano Schafaschek; Max Hering de Queiroz; José Eduardo Ribeiro Cury (IEEE Trans. Autom. Control., 2017)

A Method for PLC Implementation of Supervisory Control of Discrete Event Systems. - Agnelo Denis Vieira; Eduardo Alves Portela Santos; Max Hering de Queiroz; André B. Leal; Amaro Duarte de Paula Neto; José Eduardo Ribeiro Cury (IEEE Trans. Control. Syst. Technol., 2017)

Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems. - Marcelo Teixeira; José Eduardo Ribeiro Cury; Max Hering de Queiroz (IEEE Trans Autom. Sci. Eng., 2018)

Partial Order on the set of Boolean Regulatory Functions. - José E. R. Cury; Pedro T. Monteiro 001; Claudine Chaouiya (CoRR, 2019)

State-based supervisory control with restrictions on the supervisor realization. - Pedro A. C. F. Leite; Fabio L. Baldissera; José E. R. Cury (Discret. Event Dyn. Syst., 2020)

Combining Online Diagnosis and Prognosis for Safe Controllability. - Ana T. Y. Watanabe; André B. Leal; José E. R. Cury; Max Hering de Queiroz (IEEE Trans. Autom. Control., 2022)

Immediate Neighbours of Monotone Boolean Functions. - José E. R. Cury; Patrícia Tenera Roxo; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro 001 (CoRR, 2024)

A modular synthesis approach for the coordination of multi-agent systems: the multiple team case. - Marcelo Rosa; José E. R. Cury; Fabio L. Baldissera (Discret. Event Dyn. Syst., 2024)

Computation of Immediate Neighbours of Monotone Boolean Functions. - José E. R. Cury; Patrícia Tenera Roxo; Vasco Manquinho; Claudine Chaouiya; Pedro T. Monteiro 001 (CMSB, 2025)

Hierarchical supervisory control of discrete event systems based on reliable events. - Rafael Garlet de Oliveira; Max Hering de Queiroz; José Eduardo Ribeiro Cury (Discret. Event Dyn. Syst., 2025)