PLC-based implementation of supervisory control for flexible manufacturing systems using theory of regions

Autor: Sadok Rezig, Chekib Ghorbel, Z. Achour, Nidhal Rezg
Přispěvatelé: Laboratoire de Génie Informatique, de Production et de Maintenance (LGIPM), Université de Lorraine (UL), Ecole Polytechnique de Tunisie
Jazyk: angličtina
Rok vydání: 2019
Předmět:
Zdroj: International Journal of Automation and Control
International Journal of Automation and Control, Inderscience Enterprises, 2019, 13 (5), pp.619-640. ⟨10.1504/IJAAC.2019.101911⟩
ISSN: 1740-7516
DOI: 10.1504/IJAAC.2019.101911⟩
Popis: The supervisory control is a common theory for the synthesis of Petri net (PN) supervisors for discrete event systems given a PN model and a control specification for the maximum permissive behaviour. The theory of regions as one of control synthesis method generates a PN controller to satisfy the control specification. Though the theory of regions has for over a decade received a considerable attention in academy, still very few applications exist. The real cause of this seems to be a contradiction between the abstract controller and its physical implementation. This is evident in particular when the implementation is supposed to be based on a programmable logic controller (PLC), as is the case for flexible manufacturing systems. Indeed, since the synchronous PLC is based on signals, the PN supervisor remains asynchronous; this explains its implementation difficulty. In this work, a control synthesis method using the theory of regions is implemented with a Java application on PLCs of a flexible manufacturing system (FMS) installed in our research laboratory in the University of Lorraine in Metz, France.
Databáze: OpenAIRE