Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Ch2 modeles pour les sed avec supervision 2

Systèmes Dynamiques à Evénements Discrets SYSTÈMES DYNAMIQUES A ÉVÉNEMENTS DISCRETS DU MODÈLE À LA COMMANDE Jean-Louis FERRIER Jean-Louis BOIMOND ISTIA - Université d'Angers Laboratoire d'Ingénierie des Systèmes Automatisés LISA Avenue Notre-Dame du Lac F- ANGERS e-mail ferrier istia univ-angers fr web http www istia univ -angers fr LISA Les Systèmes Dynamiques à Evénements Discrets sont une classe de systèmes dynamiques pour la plupart man- made et complexes Par opposition aux systèmes dynamiques continus ils satisfont généralement les deux propriétés suivantes a l'espace d'état est décrit par un ensemble discret b les transitions d'état apparaissent seulement en des instants discrets du temps ces transitions d'état sont associées à des événements De nouveaux outils et de nouvelles méthodologies doivent être développés a ?n de modéliser concevoir analyser les performances et commander de tels systèmes INTRODUCTION SYSTEMES A EVENEMENTS DISCRETS Un exemple de SED Systèmes continus systèmes à événements discrets DIFFERENTS MODELES POUR LES SED Réseaux de Petri Algèbre des dio? des Langages et Automates Langages Automates COMMANDE DES SED Réseaux de Petri de commande Suivi de trajectoires séquences de dates de tirs Commande sous contraintes un exemple COMMANDE PAR SUPERVISION CONCLUSION Modèles et Systèmes Jean-Louis Ferrier Jean-Louis Boimond juin CSystèmes Dynamiques à Evénements Discrets INTRODUCTION Les systèmes automatisés de production à l'initiative de l'Homme sont caractérisés par une forte complexité et exibilité selon un certain point de vue ils peuvent être spéci ?és par des modèles à événements discrets Les systèmes de tra ?c aérien ferroviaire les systèmes de communication le génie logiciel sont d'autres exemples de systèmes dynamiques dont l'activité est due aux occurrences asynchrones d'événements discrets dont certaines sont provoquées appui sur une touche du clavier et d'autres pas panne spontanée d'un équipement Ho Cassandras Dans la section le concept de Systèmes Dynamiques à Evénements Discrets SDED qui sera par la suite abrégé en Systèmes à Evénements Discrets SED sera illustré Un parallèle avec les systèmes dynamiques classiques à variables continues sera tenté et les di ?érences entre ces systèmes seront mises en exergue Si le cadre de modélisation des systèmes linéaires est bien établi il n'en est pas de même pour les SED Quelques exemples simples illustreront en section les potentialités de modélisation et d ? analyse par les réseaux de Petri par l'algèbre max par les automates et les langages Les notions de signal de commande et de loi de commande dans le cadre des SED seront abordées en section En section la commande par supervision qui repose sur la théorie des langages et des automates sera esquissée Dans la conclusion il sera tenté de dégager quelques éléments de ré exion sur cette classe de systèmes arti ?ciels dont le développement depuis quelques décades a été concomitant de celui de l'informatique SYSTEMES A EVENEMENTS DISCRETS Un exemple de SED Une souris se déplace de manière spontanée elle agit sans intervention extérieure à l'intérieur d'un labyrinthe P S S P Les salles Si communiquent par des portes unidirectionnelles P et P et bidirectionnelle P On note par pi l'événement