Max Hering de Queiroz

28 papers C 9Journal 10Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
Hierarchical supervisory control of discrete event systems based on reliable events.
Discret. Event Dyn. Syst.
Rafael Garlet de Oliveira, Max Hering de Queiroz, José Eduardo Ribeiro Cury
2025 J jnl
Recovery of Discrete Event Systems After Active Cyberattacks.
IEEE Control. Syst. Lett.
Dayse M. Cavalcanti, Públio M. Lima, Max Hering de Queiroz, Felipe G. Cabral
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
2021 J jnl
Contributions of ENADE to the Assessment of Control and Automation Engineering in Brazil.
IEEE Trans. Educ.
Afonso Celso Del Nero Gomes, Fernando Silveira Madani, José Everardo Bessa Maia, Mauro Conti Pereira, Max Hering de Queiroz
2018 J jnl
Exploiting Distinguishers in Local Modular Control of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng.
Marcelo Teixeira, José Eduardo Ribeiro Cury, Max Hering de Queiroz
2017 J jnl
A Method for PLC Implementation of Supervisory Control of Discrete Event Systems.
IEEE Trans. Control. Syst. Technol.
Agnelo Denis Vieira, Eduardo Alves Portela Santos, Max Hering de Queiroz, André B. Leal, Amaro Duarte de Paula Neto, José Eduardo Ribeiro Cury
2017 — conf
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms.
FMICS-AVoCS
Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima
2017 J jnl
Local Modular Supervisory Control of Timed Discrete-Event Systems.
IEEE Trans. Autom. Control.
Germano Schafaschek, Max Hering de Queiroz, José Eduardo Ribeiro Cury
2016 — conf
Improving a design methodology of synthesizable VHDL with formal verification.
LASCAS
Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz, Jean-Marie Farines
2015 C conf
A resource oriented architecture for Web-integrated SCADA applications.
WFCS
Pablo Valerio Polonia, Luiz Fernando Bier Melgarejo, Max Hering de Queiroz
2015 — conf
Local modular supervisory control applied to the scheduling of cluster tools.
CASE
Germano Schafaschek, Max Hering de Queiroz, José Eduardo Ribeiro Cury
2015 — conf
Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system.
CASE
William A. F. Scotti, Nicole Beatriz Portilla, Max Hering de Queiroz, José Eduardo Ribeiro Cury
2015 J jnl
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction.
IEEE Trans. Autom. Control.
Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
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 C conf
Comparative of heuristics on search of supervisors by approximated distinguishers.
ETFA
Raquel S. S. Aguiar, Antonio Eduardo Carrilho da Cunha, José Eduardo Ribeiro Cury, Max Hering de Queiroz
2014 C conf
Integration of supervisory control with SCADA system for a flexible manufacturing cell.
INDIN
Nicole Beatriz Portilla, Max Hering de Queiroz, José Eduardo Ribeiro 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 C conf
Variable abstraction and approximations in supervisory control synthesis.
ACC
Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
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 C conf
A model-driven engineering approach to formal verification of PLC programs.
ETFA
Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut
2011 C conf
Local modular Supervisory Control of DES with distinguishers.
ETFA
Marcelo Teixeira, José Eduardo Ribeiro Cury, Max Hering de Queiroz
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
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
2010 J jnl
Multi-level hierarchical interface-based supervisory control.
Autom.
Richard C. Hill, José Eduardo Ribeiro Cury, Max Hering de Queiroz, Dawn M. Tilbury, 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
2007 — conf
Hierarchical and decentralized multitasking control of discrete event systems.
CDC
Klaus Schmidt, Max Hering de Queiroz, José Eduardo Ribeiro Cury
2006 C conf
A Model for PLC Implementation of Supervisory Control of Discrete Event Systems.
ETFA
Agnelo Denis Vieira, José Eduardo Ribeiro Cury, Max Hering de Queiroz
2000 C conf
Modular control of composed systems.
ACC
Max Hering de Queiroz, José E. R. Cury