“…Several approaches discussed the control reconfiguration issue for a centralized [24], hierarchical [25], decentralized [26], or distributed control [27], [28]. Although these approaches may have solved the reconfiguration problem, they nevertheless rely on material redundancy to fill the failure of a system component.…”
Section: Figure 4: Control Reconfiguration Loop With Two Controllersmentioning
confidence: 99%
“…In our short-term works, a library of time-based estimators of different type of cylinders with their associated sensors will be proposed. Furthermore, an approach of control reconfiguration of DES based on SCT will be proposed too, the method is based on a distributed control exploiting the fact that MS are informally distributed [28].…”
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).
“…Several approaches discussed the control reconfiguration issue for a centralized [24], hierarchical [25], decentralized [26], or distributed control [27], [28]. Although these approaches may have solved the reconfiguration problem, they nevertheless rely on material redundancy to fill the failure of a system component.…”
Section: Figure 4: Control Reconfiguration Loop With Two Controllersmentioning
confidence: 99%
“…In our short-term works, a library of time-based estimators of different type of cylinders with their associated sensors will be proposed. Furthermore, an approach of control reconfiguration of DES based on SCT will be proposed too, the method is based on a distributed control exploiting the fact that MS are informally distributed [28].…”
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).
“…Based on works evoked in [5] and [16], we propose an extended approach to synthesis timed local controllers TLC, with a method allowing their obtaining using Supremica software by the following steps:…”
Section: A Synthesis Of Timed Local Supervisory Controlmentioning
confidence: 99%
“…Although this approach is very formal, it shows a major disadvantage of its use on complex systems: the combinatorial explosion. In [3], [4], [5], [6] and [7], some approaches for control synthesis of DES have been proposed to overcome this problem. Although these approaches may have reduced the combinatorial explosion problem, they nevertheless remain dependent on Boolean information.…”
Section: Introductionmentioning
confidence: 99%
“…However, taking into account the passage of time makes the modeling step as well as the synthesis of the control by supervision more complex. To overcome these difficulties, we propose an extension of control synthesis approach proposed in [5] by exploiting its distributed design and introducing the time factor in the first stages of modeling.…”
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.
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.