This paper presents an approach of a safe control synthesis of Timed Discrete Event Systems, based on timed properties. This synthesis aims to realize a fault-tolerant control during the detection of sensor faults. To establish this synthesis, the proposed approach relies on the modularity of the manufacturing systems to avoid the combinatorial explosion recurrent to several approaches. An example of a manufacturing system illustrates our remarks.
In this paper, we propose a Time-based estimator method to reconfigure manufacturing systems in case of sensor faults detection. The main idea is to replace the information lost by a timed one. In non-faulty behavior, each sensor is defined through two events: activation and deactivation. Our contribution is to define an estimator model of each event based on different clocks to maintain the same desired behavior of the system in a faulty mode (reconfigured).
In this paper, we propose a framework to implement a fault-tolerant and a reconfigurable distributed control approach in programmable logic controller (PLC) for manufacturing systems (MS). The reconfiguration methodology adopted in this paper is based on supervisory control theory (SCT), and it is triggered following sensor fault detection. The lost information about these sensors is replaced by timed information allowing the MS to continue its operations. The switch from a normal behavior to a degraded behavior when a sensor fault appears is ensured by reconfiguration rules. The main objective of our framework is to implement the obtained control into a PLC. To meet this objective, the distributed controllers of the two operating modes as well as the reconfiguration rules are interpreted into different Grafcet models. The implementation of these different models is verified by a checker-model technique before being tested on a digital twin and validated on a real MS.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.