Abstract
In this work, an output tracking control problem is introduced for electro-pneumatic systems (ENS) modeled by interpreted Petri nets (IPN). In this framework, IPN models for the most common components in ENS are present. Later, it is explained how to compute a plant model and an specification model as IPN’s. The specification can allow to concurrently activate several actuators. Afterwards, an algorithm is introduced to compute the controller and the closed-loop system as IPN’s. It is demonstrated that the proposed controller solves the tracking control problem, ensuring boundedness and deadlock-freeness of the closed-loop system. The resulting controller can be translated to a Ladder Diagram for its implementation with a provided algorithm. The introduced algorithms are illustrated through a case study. The aim of this work is to provide a control framework that is simple and convenient for practitioners in the field of ENS’s, but at the same time is based on a formal model for analysis purposes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Basile F, Cordone R, Piroddi L (2013) Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models. Automatica 49(11):3432–3439
Campos-Rodríguez R, Ramírez-Trevino A, López-Mellado E (2004) Regulation control of partially observed discrete event systems. In: IEEE international conference on systems, man and cybernetics, The Hague, Netherlands
Chao DY (2009) Direct minimal empty siphon computation using MIP. Int J Adv Manuf Technol 45(3–4):397–405
Chen YF, Li ZW, Khalgui M, Mosbahi O (2011) Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems. IEEE Trans Autom Sci Eng 8(2):374–393
David R, Alla H: Discrete, Continuous, and Hybrid Petri nets. Springer (2010)
Ezpeleta J (1995) A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans Robot Autom 11(2):173–184
Giua, A., DiCesare F., Silva, M.: Generalized mutual exclusion constraints on nets with uncontrollable transitions. In: IEEE international conference on systems, man and cybernetics, Chicago, USA (1992)
Holloway LE, Krongh BH, Giua A (1997) A survey of Petri net methods for controlled Discrete Event Systems. Discrete Event Dyn Syst 9(2):151–190
Iordache, M., Antsaklis, P.: A survey on the supervision of Petri nets. In: International conference on petri nets. Miami, USA (2005)
Li Z, Liu D (2007) A correct minimal siphons extraction algorithm from a maximal unmarked siphon of a Petri net. Int J Prod Res 45(9):2163–2167
Li Z, Wu N, Zhou M (2012) Deadlock control of automated manufacturing systems based on Petri nets - a literature review. IEEE Trans Syst Man Cybern Part C 42(4):437–462
Li Z, Zhou M (2008) On siphon computation for deadlock control in a class of Petri nets. IEEE Trans Syst Man Cybern Part A Syst Hum 38(3):667–679
Ramadge RJ, Wonham WM (1987) Supervisory control of a class of discrete event processes. SIAM J Control Optim 25(1):206–230
Ramírez-Trevino A, Rivera-Rangel I, López-Mellado E (2003) Observability of discrete event systems modeled by interpreted petri nets. IEEE Trans Robot Autom 19(4):557–565
Ramírez-Prado, G., Santoyo, A., Ramírez-Trevino, A., Begovich, O.: Regulation problem in discrete event systems using interpreted petri nets. In: IEEE international conference on systems, man and cybernetics, Nashville, USA (2000)
Sánchez-Blanco, F., Ramírez-Trevino, A., Santoyo, A.: Regulation control in interpreted petri nets using trace equivalence. In: IEEE international conference on systems, man and cybernetics, The Hague, Netherlands (2004)
Santoyo, A., Jiménez-Ochoa, I., Ramírez-Trevino, A.: A complete cycle for controller design in Discrete Event Systems. In: IEEE international conference on systems, man and cybernetics, Tucson, USA (2001)
Vázquez, C.R., Gómez-Castellanos, J.A., Ramírez-Trevino, A.: Tracking Control of electro-pneumatic systems based on petri nets. In: 15th international conference on informatics in control, automation and robotics, Porto, Portugal (2018)
Wang S, Wang C, Zhou M, Li Z (2012) A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets. IEEE Trans Syst Man Cybern Part A Syst Hum 42(1):226–237
Acknowledgements
The research leading to these results has received funding from the Conacyt Program for Education, project number 288470.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Vázquez, C.R., Gómez-Castellanos, J.A., Ramírez-Treviño, A. (2020). Petri Nets Tracking Control for Electro-pneumatic Systems Automation. In: Gusikhin, O., Madani, K. (eds) Informatics in Control, Automation and Robotics. ICINCO 2018. Lecture Notes in Electrical Engineering, vol 613. Springer, Cham. https://doi.org/10.1007/978-3-030-31993-9_25
Download citation
DOI: https://doi.org/10.1007/978-3-030-31993-9_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31992-2
Online ISBN: 978-3-030-31993-9
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)