Etude du comportement global d'un SED en vue de la validation de sa commande spécifiée par Grafcet

International audienc

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)

Two Cases of Study for Control Reconfiguration of Discrete Event Systems (DES)

International audienceIn this paper, we propose two cases of study for control reconfiguration of Discrete Event Systems. The main contributions are based on a safe centralized and distributed control synthesis founded on timed properties. In fact, if a sensor fault is detected, the controller of the normal behavior is reconfigured to a timed controller where the timed information replaces the information lost on the faulty sensor. Finally, we apply our contribution to a manufacturing system to illustrate our results and compare between the two frameworks

Contribution aux approches formelles de synthèse de commande spécifiée par GRAFCET

La complexité croissante des Systèmes Automatisés de Production, accroît les exigences des utilisateurs en terme de sûreté de fonctionnement et d'aide à la conception de programmes. Pour aider le concepteur à réaliser ces deux points, deux approches sont possibles : la première par validation et la seconde par synthèse. Nous nous sommes intéressés dans ce mémoire à l'approche par synthèse qui consiste à construire une commande où les propriétés attendues pour le système sont prises en compte dès le début de la conception. Le travail de cette thèse constitue une démarche formelle permettant la synthèse de l'implantation la plus permissive de la commande à partir d'une spécification Grafcet, d'un système à commander et d'un ensemble de contraintes à respecter. Pour établir cette synthèse, en plus de la spécification de la commande par Grafcet, il faut modéliser le système physique, ensuite, exprimer les contraintes de sûreté et de vivacité. Cependant, la modélisation du système physique et des contraintes s'avère être une tâche complexe. Pour pallier ces problèmes, notre démarche s'appuie sur des modèles structurés et évolués en utilisant, pour la partie opérative, des modèles booléens à base de règles et pour les contraintes, des équations logiques dans l'algèbre de Boole classique. Une aide dans l'élaboration de la commande et dans le raffinement des modèles de départ est proposée au concepteur lui permettant de visualiser et d'analyser les séquences bloquantes ainsi que les corrections proposées.The Automated Production Systems complexity, increases the requirements for users in term of operational safety as well as the program design reliability. To help the user to carry out these two points, two approaches are possible: the validation approach and the synthesis approach. We are interested in this thesis, with the synthesis approach which consists in building a controller where the properties awaited for the system are taken into account from the beginning of the design. The work of this thesis concerns a formal approach allowing the synthesis of the most permissive implementation of an optimal control for a given Grafcet. It allows also a system to be controlled and a number of constraints to be respected. To establish this synthesis, in addition to the specification of the Grafcet controller, it is necessary to model the physical system, then, to express the constraints of liveness and safety. However, modelling the physical system and the constraints is a complex task. To mitigate these problems, this approach is based on structured and advanced models while using the Boolean models containing rules for the plant and the logical equations in the traditional Boolean algebra for the constraints. A help in the development of the controller and the refinement of the starting models is proposed to the user enabling him to visualise and analyse the blocking sequences as well as the suggested corrections.REIMS-BU Sciences (514542101) / SudocCACHAN-ENS (940162301) / SudocSudocFranceF

Modular Design and Adaptive Control of Urban Signalized Intersections Systems Using Synchronized Timed Petri Nets

Traffic flow at urban intersections varies randomly during the day. It depends on several dynamic factors and requires efficient regulation and flexible control strategies in particular for traffic light regulation. The proposed strategy allows managing the green light time autonomously. The dynamic behavior of traffic signals at intersections can be seen as a discrete event system. Through this paper, a modular Timed Synchronized Petri Net (TSPN) model is developed and a real-time adaptive control strategy of urban signalized intersections is proposed. The control is shared between two communicant actors. The master-slaves approach is adopted in this control strategy. The master (controller) decides the next phase to be served with green light and its duration. While, the slaves (TSPN modules) control the traffic signals displays, phases transitions, and model traffic flow fluctuations. Thanks to the used modularity approach, the developed models reduce the system complexity in terms of combinatorial explosion, and they could be adapted easily for any real intersection. Using the developed models, some interesting properties of the system are checked, and some simulations are performed and analyzed in order to validate the proposed control approach

Design and implementation of decentralized controller for Discrete Manufacturing Systems

International audienc

Optimal Controller for Manufacturing Systems by Decentralized Approach

International audienc

Synthesis of optimal controller of discrete manufacturing systems by liveness extraction

International audienc

Centralised controller for manufacturing systems through liveness extraction approach

International audienc

Synthèse d'une commande supervisée à base de contraintes booléennes

Une étape essentielle pour formaliser une méthode de synthèse de commande est la modélisation de la partie opérative (PO) et des contraintes. Cependant, cette étape reste une tâche très complexe. Pour pallier cette difficulté et dans le but d'aider le concepteur, nous proposons dans cet article une méthodologie de modélisation de la partie opérative sous forme de règles et une modélisation conviviale des contraintes par équations logiques dans l'algèbre de Boole classique. Pour la partie opérative, le résultat conduit à des modèles automates à états booléens et à des implications logiques pour les contraintes. Nous proposons ensuite un algorithme de synthèse en accord avec cette nouvelle modélisation. Un exemple de tri illustre ce papier