abstract
- Copyright © 2018 by SCITEPRESS ¿ Science and Technology Publications, Lda. All rights reservedThis 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.