Abstract
Base sur la theorie du controle par supervision (TCS), nous proposons une demarche d'aide a l'etude de la dynamique des Systemes a Evenements Discrets (SED). Situee 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'etude formelle de la dynamique du systeme controle dans chaque mode puis celle de la succession de ces dynamiques. Dans cet article nous insisterons particulierement sur la presentation des differentes etapes de construction et de generation automatique des modeles ainsi que sur les possibilites 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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
