A Fault-Tolerant and a Reconfigurable Control Framework: Application to a Real Manufacturing System

Tahiri, Imane; Carré-Ménétrier, Véronique; Tajer, Ali

doi:10.3390/pr10071266

Cited by 5 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Real MS Simulation on a « Degital Twin » In this paper, we are interested only in the descending branch of the V cycle (blue part), which presents the control synthesis and reconfiguration strategy. The verification steps are developed in [6].…”

Section: Control Synthesis and Reconfiguration Strategymentioning

confidence: 99%

A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis

2023

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: Control Synthesis and Reconfiguration Strategymentioning

confidence: 99%

A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis

2023

Self Cite

View full text Add to dashboard Cite

show abstract

“…Their approach models variables of environments structurally by elements of the Petri nets, rather than by employing SIPN or CIPN. More recently, GRAFCET has been utilized in model checking distributed reconfiguration scenarios in [29]. In their approach, the GRAFCET instances are first transformed into a programming language in order to be verified, such that model checking is not employed on specification level.…”

Section: Related Workmentioning

confidence: 99%

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

et al. 2022

View full text Add to dashboard Cite

The graphical modeling language GRAFCET is used as a formal specification language in industrial control design. To use these formal specifications for model-driven development of control code it is beneficial to ensure their syntactical and semantic correctness. Therefore in this paper, a detailed metamodel for GRAFCET is presented, which takes so-called terms into account, i.e. logical and arithmetic expressions in conditions and assignments. The meta-model and additionally proposed invariants allow to create syntactically correct GRAFCET instances. Based on this, a translation of GRAFCET to Guarded Action Language (GAL) is presented. The resulting transition system in GAL forms the basis for a semantic analysis of the GRAFCET instances by means of model checking in future research. Finally, the models are then employed for automatic code generation in Structured Text. INDEX TERMS industry automation, formal model, formal verification, model checking, model-driven engineering, GRAFCET

show abstract

“…Given the diverse nature of process flows and application conditions, it is imperative to engage in engineering debugging and address practical issues discovered in such applications. This need is particularly pressing when it comes to the advancement of intelligent automatic control systems and software algorithms for fields such as metal mining, beneficiation, and metallurgy [28][29][30][31]. These systems and algorithms find broad application in numerous projects related to process control system engineering.…”

Section: Introductionmentioning

confidence: 99%

Design and Research of a Field Bus Control System Laboratory for Metal Mining, Beneficiation and Metallurgy

Wang,

Lei,

et al. 2023

Processes

View full text Add to dashboard Cite

Fieldbus control systems play a pivotal role in industries such as mining, beneficiation, and metallurgy, facilitating precise process control. However, diverse process conditions and applications often lead to challenges during system implementation. The prevalence of process control projects underscores the need for dedicated control system laboratories to address these problems. Our research delves into the complexities of process control systems, focusing on mainstream brands such as Siemens, Rockwell, and Emerson, involving analysis of network architectures, software, and hardware configurations. Through rigorous testing of real equipment systems, we uncover prevalent issues in practical control system applications. These findings guide the resolution of technical challenges faced in project control, concurrently enhancing the design and debugging prowess of engineering professionals. We also anticipate the trajectory of intelligent manufacturing, embracing collaborative manufacturing aspects in networked environments. This research establishs a robust foundation for the forthcoming generation of control network technologies specific to metal mining, beneficiation, and metallurgy.

show abstract

A Fault-Tolerant and a Reconfigurable Control Framework: Application to a Real Manufacturing System

Cited by 5 publications

References 17 publications

A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis

A Fault-Tolerant and Reconfigurable Control Framework: Modeling, Design, and Synthesis

Transformation of GRAFCET Into GAL for Verification Purposes Based on a Detailed Meta-Model

Design and Research of a Field Bus Control System Laboratory for Metal Mining, Beneficiation and Metallurgy

Contact Info

Product

Resources

About