( en | de | ru )

 

Disambiguation of "de Queiroz, Max Hering"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms.

, , , and . FMICS-AVoCS, volume 10471 of Lecture Notes in Computer Science, page 51-65. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Max Hering

Max Sebastián Hering Torres

Geraldo Nunes Queiroz

Rafael Araújo Queiroz

Austregesilo Correia Queiroz

 

Other publications of authors with the same name

Hierarchical multitasking control of discrete event systems: Computation of projections and maximal permissiveness., , and . WODES, page 98-103. International Federation of Automatic Control, (2010)Comparative of heuristics on search of supervisors by approximated distinguishers., , , and . ETFA, page 1-8. IEEE, (2014)Modular and systematic design of supervisory control system integrating PLC, SCADA and task routing for a modular production system., , , and . CASE, page 807-812. IEEE, (2015)Using max-plus to solve the job shop problem with time lags., , , and . WODES, page 67-72. International Federation of Automatic Control, (2012)Local Modular Control with Distinguishers Applied to a Manufacturing System., , and . MIM, page 263-268. International Federation of Automatic Control, (2013)Integration of supervisory control with SCADA system for a flexible manufacturing cell., , and . INDIN, page 261-266. IEEE, (2014)A model-driven engineering approach to formal verification of PLC programs., , , , , and . ETFA, page 1-8. IEEE, (2011)Local modular supervisory control applied to the scheduling of cluster tools., , and . CASE, page 1381-1388. IEEE, (2015)Multi-level hierarchical interface-based supervisory control., , , , and . Autom., 46 (7): 1152-1164 (2010)Local Modular Supervisory Control of Timed Discrete-Event Systems., , and . IEEE Trans. Automat. Contr., 62 (2): 934-940 (2017)