Max Hering de Queiroz

According to our database, Max Hering de Queiroz authored at least 28 papers between 2000 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

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

2021

Contributions of ENADE to the Assessment of Control and Automation Engineering in Brazil.

Afonso Celso Del Nero Gomes, Fernando Silveira Madani, José Everardo Bessa Maia, Mauro Conti Pereira, Max Hering de Queiroz

IEEE Trans. Educ., 2021

2018

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

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

Local Modular Supervisory Control of Timed Discrete-Event Systems.

Germano Schafaschek, Max Hering de Queiroz, José Eduardo Ribeiro Cury

IEEE Trans. Autom. Control., 2017

Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms.

Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

2016

Improving a design methodology of synthesizable VHDL with formal verification.

Luis Gustavo Perpetuo Costa Marques, Max Hering de Queiroz, Jean-Marie Farines

Proceedings of the IEEE 7th Latin American Symposium on Circuits & Systems, 2016

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

Supervisory control of discrete event systems with distinguishers.

José E. R. Cury, Max Hering de Queiroz, Gustavo Bouzon, Marcelo Teixeira

Autom., 2015

A resource oriented architecture for Web-integrated SCADA applications.

Pablo Valerio Polonia, Luiz Fernando Bier Melgarejo, Max Hering de Queiroz

Proceedings of the IEEE World Conference on Factory Communication Systems, 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

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Local modular supervisory control applied to the scheduling of cluster tools.

Germano Schafaschek, Max Hering de Queiroz, José Eduardo Ribeiro Cury

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Integration of supervisory control with SCADA system for a flexible manufacturing cell.

Nicole Beatriz Portilla, Max Hering de Queiroz, José Eduardo Ribeiro Cury

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 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

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Local Modular Control with Distinguishers Applied to a Manufacturing System.

Marcelo Teixeira, José E. R. Cury, Max Hering de Queiroz

Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Variable abstraction and approximations in supervisory control synthesis.

Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz

Proceedings of the American Control Conference, 2013

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

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

2011

Local modular Supervisory Control of DES with distinguishers.

Marcelo Teixeira, José Eduardo Ribeiro Cury, Max Hering de Queiroz

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

A model-driven engineering approach to formal verification of PLC programs.

Jean-Marie Farines, Max Hering de Queiroz, Vinicius G. da Rocha, Ana Maria M. Carpes, François Vernadat, Xavier Crégut

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

Optimal scheduling of a repair shipyard based on Supervisory Control Theory.

Denis C. Pinha, Max Hering de Queiroz, José E. R. Cury

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

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

Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness.

Klaus Werner Schmidt, Max Hering de Queiroz, José E. R. Cury

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

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

Proceedings of the American Control Conference, 2008

2007

Hierarchical and decentralized multitasking control of discrete event systems.

Klaus Schmidt, Max Hering de Queiroz, José Eduardo Ribeiro Cury

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

2006

A Model for PLC Implementation of Supervisory Control of Discrete Event Systems.

Agnelo Denis Vieira, José Eduardo Ribeiro Cury, Max Hering de Queiroz

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

2005

Multitasking Supervisory Control of Discrete-Event Systems.

Max H. Queiroz, José E. R. Cury, Walter Murray Wonham

Discret. Event Dyn. Syst., 2005

2004

Discussion on: "Supervisory Control of Product and Hierarchical Discrete Event Systems".

José E. R. Cury, Max H. Queiroz

Eur. J. Control, 2004

2000

Modular control of composed systems.

Max Hering de Queiroz, José E. R. Cury

Proceedings of the American Control Conference, 2000