Affiliation:
1. Research Center for Science and Information Technology and Communication, EEA Department, University of Reims Champagne Ardennes, 51100 Reims, France
Abstract
Manufacturing systems (MS) have become increasingly complex due to constraints induced by a changing environment, such as flexibility, availability, competition, and key performance indicators. This change has led to a need for flexible systems capable of adapting to production changes while meeting productivity and quality criteria and reducing the risk of failures. This paper provides a methodology for designing reconfigurable and fault-tolerant control for implementation in a Programmable Logic Controller (PLC). The main contribution of this methodology is based on a safe control synthesis founded on timed properties. If a sensor fault is detected, the controller switches from normal behavior to a degraded one, where timed information replaces the information lost from the faulty sensor. Switching between normal and degraded behaviors is ensured through reconfiguration rules. The primary objective of this method is to implement the obtained control into a PLC. In order to achieve this goal, a method is proposed to translate the controllers of the two behaving modes and the reconfiguration rules into different Grafcets. This approach relies on the modular architecture of manufacturing systems to avoid the combinatorial explosion that occurs in several approaches.
Subject
Process Chemistry and Technology,Chemical Engineering (miscellaneous),Bioengineering
Reference54 articles.
1. Cassandras, C.G., and Lafortune, S. (2008). Introduction to Discrete Event Systems, Springer. [2nd ed.]. Available online: https://www.springer.com/us/book/9780387333328.
2. Synthesis and implementation of logic controllers—A review;Zaytoon;Annu. Rev. Control,2017
3. A discussion of fault-tolerant supervisory control in terms of formal languages;Moor;Annu. Rev. Control,2016
4. Deschamps, E., Henry, S., and Zamaï, E. The control of discrete event systems. Stud. Inform. Control, Available online: https://web.ece.ucsb.edu/~hespanha/ece229/references/RamadgeWonhamPIEEEJan89.pdf.
5. Automatic design of control laws based on Petri nets formalism for complex Discete Event Systems;Ramadge;Proc. IEEE,1989