Démarche d'aide à la conception par approche multimode des SED
Résumé
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. Based on the Supervisory Control Theory, this paper introduces a framework to help study the dynamics of Discrete Event Systems (DES). Upstream of the design process of control law in DES, the proposal focuses on the management modes of operation. The goal is to first allowing a formal study of the controlled system's dynamics in each mode and secondly studying the mode switching. This article is focused on the presentation of the different stages of design, the automatic generation of models and the possibilities of validating them.