-
Angel A. Quispe
Centro de Energias Renováveis, Parque Tecnológico Itaipu, Foz do Iguaçu, PR
-
Sandro Battistella
Programa de Pós-graduação de Engenharia Elétrica e Computação, Universidade Estadual do Oeste de Paraná, Foz do Iguaçu, PR
-
Ricardo Ferracin
Centro de Energias Renováveis, Parque Tecnológico Itaipu, Foz do Iguaçu, PR
-
Romeu Reginatto
Programa de Pós-graduação de Engenharia Elétrica e Computação, Universidade Estadual do Oeste de Paraná, Foz do Iguaçu, PR
Keywords:
Hydrogen production plant, discrete event systems, automata, supervisory control, programmable logical controller
Abstract
Hydrogen production plants (HPP) are infrastructures that require automation technologies, for the continuous monitoring of the status and execution of the devices, in order to improve plant availability, process safety and constant product quality. This article proposes the formal modeling of discrete behavior and the design of closed- loop control structures of the PPH of the Itaipu Technological Park (PTI). The Supervisory Control Theory (TCS) is used to control individual PPH subsystems, while the overall functioning is implemented through the sequential control of its operation. For modeling the free behavior of the subsystems and the respective interlocking and safety specifications, regular language in the form of automata was used. The control structures, called supervisors, are obtained by the TCS synthesis process. The sequential production control of the H2 is based on experimental knowledge translated into a flowchart. Both control approaches are implemented in programmable logic controllers (PLC's), following a TCS implementation methodology, and tested on a laboratory bench, which represents, from the point of view of the PPH discrete dynamics, to all its equipment. The results obtained demonstrate the systematization, flexibility and efficiency to carry out the project of the control system of a PPH, in addition to allowing the structuring and verification in a laboratory bench.