Gregory Faraut

Abstract: Basé sur la théorie du contrôle par supervision (TCS), nous proposons une démarche d'aide à l'étude de la dynamique des Systèmes à Événements Discrets (SED). Située en amont du cycle de conception des lois de commande des SED, notre proposition concerne la gestion des modes de fonctionnement. L'objectif est de permettre tout d'abord l'étude formelle de la dynamique du système contrôlé dans chaque mode puis celle de la succession de ces dynamiques. Dans cet article nous insisterons particulièrement sur la présentation des différentes étapes de construction et de génération automatique des modèles ainsi que sur les possibilités de validation de ceux-ci.

Abstract: A framework based on supervisory control theory (SCT) is proposed to assist the design of multi-modal control for discrete-event systems (DESs). Our purpose handled modes which are conceptualized by using multi-model approach. Each mode represents a running part of the system, depending on the requirements to enforce and resources to activate. The resulted framework aims to design each mode independently first, and resolves conflicting connections between them secondly. The proposal carries out a formal way to build the final ready-to-use control laws. A flexible manufacturing system illustrates this approach.

Abstract: System evolution, such as addition or replacement of a component, may necessitate complete re-design. Such re-design may be needed to respect new or updated requirements. The models then have to be modified. In this paper, we present a procedure for reconfiguration of a discrete event system (DES) controller. Based on supervisory control theory (SCT), the objective of this work is to show how the SCT is convenient in order to reconfigure the controller to take into account the new and updated requirements without re-verifying the requirements that do not change because they are still respected.

Abstract: Basé sur la théorie du contrôle par supervision (TCS), nous proposons une démarche d’aide à l’étude de la dynamique des Systèmes à Événements Discrets (SED). Située en amont du cycle de conception des lois de commande des SED, notre proposition concerne la gestion des modes de fonctionnement. L’objectif est de permettre tout d’abord l’étude formelle de la dynamique du système contrôlé dans chaque mode puis celle de la succession de ces dynamiques. Dans cet article nous insisterons particulièrement sur la présentation des différentes étapes de construction et de génération automatique des modèles ainsi que sur les possibilités de validation de ceux-ci.

Abstract: Le changement de mode est un des problèmes que nous pouvons avoir lors de la conception de systèmes à événements discrets (SED). En effet, même basé sur des spécifications triviales, il est difficile de prouver formellement que les modèles de chaque mode et leurs interactions soient sans fautes. Cet article montre que l’utilisation de la théorie de contrôle par supervision est un outil intéressant pour détecter les incompatibilités entre spécifications grâce à une séparation entre le modèle du procédé et le modèle des spécifications. Nous utiliserons un cas simple pour présenter une méthode introduisant de la flexibilité dans les spécifications propres à chaque mode. Cette méthode permet d’ajuster, ou de modifier les incompatibilités entre spécifications afin d’obtenir un changement de mode cohérent.

Abstract: An usual way in industry to design discrete events system (DES) consists of using a multi-modal approach to decompose the complexity of processes and specifications. The supervisory control theory (SCT) allows to prove that the process can be controllable to fulfill the requirements. Nevertheless, even based on a simple specification about commutations, it is very difficult to prove that the connections among modes are correct and reliable. This paper presents a framework allowing to design a system and detect specification incompatibilities by using the Supervisory Control Theory. The presented framework detects the specifications to change or to control them to promote correct mode switching.

Abstract: Mode management is one of the problems in discrete events systems control design. Even based on a simple specification, it is very difficult to prove that models of each mode and mutual interaction are correct. This paper demonstrates that supervisory control theory is an effective tool for detecting specification incompatibilities because it clearly separates process, models and specifications. We use simple cases to present a method that introduces flexibility into mode specification. This method can be used to adjust or to modify incompatibilities between specifications and thereby promotes correct mode switching.