Time-Based Estimator for Control Reconfiguration of Discrete Event Systems (DES)

International audienceIn 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)

CONTRIBUTION A LA COMMANDE DES SYSTEMES A EVENEMENTS DISCRETS TEMPORISES (SEDTS)

International audienceRESUME: Ce papier présente une approche de synthèse de commande sûre de fonctionnement des Systèmes à Evéne-ments Discrets Temporisés (SEDTs), à base de propriétés temporelles. Pour établir cette synthèse, la démarche propo-sée s'appuie sur la modularité des systèmes manufacturiers retrouvée dans les travaux (Qamsane et al., 2014a,b). Un exemple de système automatisé de production vient illustrer nos propos. MOTS-CLES: Systèmes à événements discrets temporisés, théorie de la supervision, commande distribuée, systèmes manufacturiers, modélisation

A control synthesis approach for time discrete event systems

Dans cet article, nous présentons une méthode de synthèse de commande pour les systèmes à événements discrets dont le comportement dépend des valeurs explicites de temps. Notre but est de fixer les dates d'occurrence des événements contrôlables de sorte que le fonctionnement du système respecte des spécifications données. Le système à commander est modélisé par un réseau de Petri temporisé. Dans des travaux précédents nous avons proposé une méthode systématique pour construire l'automate temporisé qui modélise le comportement exact d'un réseau de Petri temporisé. En outre, les comportements interdits du système sont modélisés par des sommets interdits de l'automate. Cet article présente une méthode de synthèse de commande, qui consiste à calculer de nouvelles conditions de gardes pour les transitions temporisés de l'automate d telle sorte que les sommets interdits ne soient jamais accessibles.International audienceIn this paper, we introduce a control synthesis method for discrete event systems whose behavior is dependent on explicit values of time. Our goal is to control the occurrence dates of the controllable events so that the functioning of the system respects given specifications. The system to be controlled is modeled by a time Petri net. In a previous work we proposed a systematic method to build the timed automaton which models the exact behavior of a time Petri net. Furthermore, the forbidden behaviors of the system are modeled by forbidden timed automaton locations. This paper focuses on the control synthesis method, which consists in computing new firing conditions for the timed automaton transitions so that the forbidden locations are no longer reachable