Authors:
Carlos Renato Vázquez
1
;
José Antonio Gómez-Castellanos
2
and
Antonio Ramírez-Treviño
3
Affiliations:
1
Tecnologico de Monterrey, Escuela de Ingenieria y Ciencias, Av. Ramón Corona 2514, 45019, Zapopan and Mexico
;
2
UTZMG, Carr. Santa Cruz-San Isidro km. 45, 45640, Tlajomulco de Zuñiga and Mexico
;
3
CINVESTAV Unidad Guadalajara, Av. del Bosque 1145, 45019, Zapopan and Mexico
Keyword(s):
Discrete Event Systems, Petri Nets, Automation.
Related
Ontology
Subjects/Areas/Topics:
Control and Supervision Systems
;
Informatics in Control, Automation and Robotics
;
Modeling, Analysis and Control of Discrete-event Systems
;
Robotics and Automation
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
This work introduces and solves a tracking control problem for electro-pneumatic systems (ENS) modeled by interpreted Petri nets (IPN). The aim of this work is to maintain the simplicity of the specifications given by practitioners in the field of ENS’s and formalize the synthesis of a controller to ensure properties such as controllability, liveness and boundedness. In order to achieve this goal, this work presents the IPN models for ENS elements. The synchronous product of these modules yields in the plan model. Afterwards the synthesis of the controller is presented as an algorithm that provides both an IPN model of the closed-loop system and an IPN model of the controller, which can be translated to a Ladder Diagram for its implementation on a PLC device. The method is applied to a small ENS to show its efficacy.