Paulo E . Miyagi - Profile on Academia.edu (original) (raw)
Uploads
Papers by Paulo E . Miyagi
Laboratório didático de controladores programáveis/ Didatic laboratory for programable controllers
I4.0 Components Based on Software and Documents, and a Method Proposed for Updating Erp Modules for the Context of Industry 4.0
Proceedings of the 26th International Congress of Mechanical Engineering, 2021
Ferramenta de programacao e controle de sistemas a eventos discretos
[Resumos], 1996
Métodos para formação de famílias de peças que utilizam lógica Fuzzy
Anais, 1994
Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos
A framework for synthesis of safety-related control design to avoid critical faults and pathogenic accidents in the process industries
Safety Science, Jul 1, 2021
Abstract This work proposes a framework for synthesis of safety-related control design in the pro... more Abstract This work proposes a framework for synthesis of safety-related control design in the process industries based on two aspects: (i) critical faults prevention and mitigation and, (ii) pathogenic accidents. The approaches found in the literature are based on the development of control solutions that use the results of hazard identification and risk analysis that were carried out to specify safety requirements to avoid or mitigate critical faults. However, the possibility of occurrence of the undesirable unobserved and/or hidden hazardous events associated with possible pathogenic accidents is not addressed. The objective of this work is to integrate the issue of analysis of pathogenic accidents into the context of synthesis of safety-related control design. Thus, a framework is proposed to: (1) address the issue of pathogenic accidents, which according to the analysis of accident investigation reports, its represent critical and / or undesirable unobserved and/or hidden events during the process of events evolution. This step is based on the analysis of the databases with missing data or incompleted obtained through accident records; (2) proposes an improvement in the hazard identification process, as it considers a systematic integration between the knowledge from experts (eg, automated HAZOP) and accident models that describe the critical and / or unwanted process of events evolution ensuring the principles of defense-in-depth and safe diagnosability; (3) address the use of safety barrier diagrams formalism to design a controlled degeneration process that will be treated locally, by each defense mechanism (eg, prevention / mitigation safety barrier), reducing the damage of the whole process; and (4) address the modeling, analysis and validation of defense algorithms with a focus on the prevention and mitigation of critical faults given a particular critical scenario using a hierarchical control structure based-approach via Petri nets formalism. Finally, the proposed framework is aligned with the requirements of the IEC 61511(2016) and IEC 61508(2010) Standards; and the models generated in Petri nets that have been validated, can be transcribed in an isomorphic way in control programs recommended by the IEC 61131-3 standard. The framework proposed was applied into an application example of an accident that occurred at isomerization unit of the British Petroleum (BP) refinery in Texas - USA.
Control system design, programming and implementation for discrete event production systems by using mark flow graph
IFAC-PapersOnLine, 2016
The determination of an approximation curve from a given sequence of points is an important task ... more The determination of an approximation curve from a given sequence of points is an important task in CAD. This work proposes an algorithm to determine a piecewise Bézier curve that approximates a sequence of points. It is used a multiobjective simulated annealing aiming at minimizing the discrepancy between the given sequence of points and the curve, the curve length and the absolute difference of the curve length and length of the given sequence of points. The discrepancy between the given sequence of points and the curve is determined by the sum of the distance between each point from the sequence and the approximation curve, and the distance from a point to the curve is determined by an enhanced method in which the curve is discretized.
Sharing the digital product memory on the supply chain in the context of Industry 4.0
Análise da viabilidade do uso de PLC com controle de eixo de posição em máquinas de manufatura aditiva
Proceedings of the XI Congresso Nacional de Engenharia Mecânica - CONEM 2022, 2022
Ambiente virtual 3D para automaçãpo da manufatura
Anais, 2013
Sistemas integrados de manufatura
Anais, 1990
Metodologia para analise quantitativa de sistemas de manufatura
Resumos, 1995
Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps
Anais, 2013
Proposal of PFS-R as a modeling tool for complex resource sharing discrete production systems
International Conference on Systems, 1999
Contribuição para a representação de features paramétricas aplicada a sistemas CAD/CAE/CAM
Modelagem de sistemas de automação balanceada: aplicação em sistemas hospitalares
Avaliação da capacidade através dos resultados. [Entrevista a Gen Ogura]
Editor grafico para o mfg / pfs
Sistema de controle de trajetoria de um veiculo autonomo
Laboratório didático de controladores programáveis/ Didatic laboratory for programable controllers
I4.0 Components Based on Software and Documents, and a Method Proposed for Updating Erp Modules for the Context of Industry 4.0
Proceedings of the 26th International Congress of Mechanical Engineering, 2021
Ferramenta de programacao e controle de sistemas a eventos discretos
[Resumos], 1996
Métodos para formação de famílias de peças que utilizam lógica Fuzzy
Anais, 1994
Redes de Petri e orientação a objetos para o desenvolvimento de sistemas hídricos
A framework for synthesis of safety-related control design to avoid critical faults and pathogenic accidents in the process industries
Safety Science, Jul 1, 2021
Abstract This work proposes a framework for synthesis of safety-related control design in the pro... more Abstract This work proposes a framework for synthesis of safety-related control design in the process industries based on two aspects: (i) critical faults prevention and mitigation and, (ii) pathogenic accidents. The approaches found in the literature are based on the development of control solutions that use the results of hazard identification and risk analysis that were carried out to specify safety requirements to avoid or mitigate critical faults. However, the possibility of occurrence of the undesirable unobserved and/or hidden hazardous events associated with possible pathogenic accidents is not addressed. The objective of this work is to integrate the issue of analysis of pathogenic accidents into the context of synthesis of safety-related control design. Thus, a framework is proposed to: (1) address the issue of pathogenic accidents, which according to the analysis of accident investigation reports, its represent critical and / or undesirable unobserved and/or hidden events during the process of events evolution. This step is based on the analysis of the databases with missing data or incompleted obtained through accident records; (2) proposes an improvement in the hazard identification process, as it considers a systematic integration between the knowledge from experts (eg, automated HAZOP) and accident models that describe the critical and / or unwanted process of events evolution ensuring the principles of defense-in-depth and safe diagnosability; (3) address the use of safety barrier diagrams formalism to design a controlled degeneration process that will be treated locally, by each defense mechanism (eg, prevention / mitigation safety barrier), reducing the damage of the whole process; and (4) address the modeling, analysis and validation of defense algorithms with a focus on the prevention and mitigation of critical faults given a particular critical scenario using a hierarchical control structure based-approach via Petri nets formalism. Finally, the proposed framework is aligned with the requirements of the IEC 61511(2016) and IEC 61508(2010) Standards; and the models generated in Petri nets that have been validated, can be transcribed in an isomorphic way in control programs recommended by the IEC 61131-3 standard. The framework proposed was applied into an application example of an accident that occurred at isomerization unit of the British Petroleum (BP) refinery in Texas - USA.
Control system design, programming and implementation for discrete event production systems by using mark flow graph
IFAC-PapersOnLine, 2016
The determination of an approximation curve from a given sequence of points is an important task ... more The determination of an approximation curve from a given sequence of points is an important task in CAD. This work proposes an algorithm to determine a piecewise Bézier curve that approximates a sequence of points. It is used a multiobjective simulated annealing aiming at minimizing the discrepancy between the given sequence of points and the curve, the curve length and the absolute difference of the curve length and length of the given sequence of points. The discrepancy between the given sequence of points and the curve is determined by the sum of the distance between each point from the sequence and the approximation curve, and the distance from a point to the curve is determined by an enhanced method in which the curve is discretized.
Sharing the digital product memory on the supply chain in the context of Industry 4.0
Análise da viabilidade do uso de PLC com controle de eixo de posição em máquinas de manufatura aditiva
Proceedings of the XI Congresso Nacional de Engenharia Mecânica - CONEM 2022, 2022
Ambiente virtual 3D para automaçãpo da manufatura
Anais, 2013
Sistemas integrados de manufatura
Anais, 1990
Metodologia para analise quantitativa de sistemas de manufatura
Resumos, 1995
Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps
Anais, 2013
Proposal of PFS-R as a modeling tool for complex resource sharing discrete production systems
International Conference on Systems, 1999
Contribuição para a representação de features paramétricas aplicada a sistemas CAD/CAE/CAM
Modelagem de sistemas de automação balanceada: aplicação em sistemas hospitalares
Avaliação da capacidade através dos resultados. [Entrevista a Gen Ogura]
Editor grafico para o mfg / pfs
Sistema de controle de trajetoria de um veiculo autonomo