Contribution a la commande des systemes a evenements discrets par reseaux de Petri PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Contribution a la commande des systemes a evenements discrets par reseaux de Petri PDF full book. Access full book title Contribution a la commande des systemes a evenements discrets par reseaux de Petri by Alain Godon. Download full books in PDF and EPUB format.
Author: Alain Godon
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Alain Godon
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: AKLI.. AMRAH
Publisher:
ISBN:
Category :
Languages : fr
Pages : 149
Get Book Here
Book Description
L'UTILISATION DU MODELE RESEAU DE PETRI CONTINU A VITESSES MAXIMALES CONTROLABLES (RDPCVC), NOUS A CONDUIT A PRESENTER UN CERTAIN NOMBRE DE METHODOLOGIES POUR L'ANALYSE ET LA COMMANDE DES SYSTEMES DE PRODUCTION. LA THEORIE DES SYSTEMES CONTINUS, PERMET D'ETUDIER DEUX PROPRIETES RELATIVES A L'ANALYSE DES SYSTEMES A EVENEMENTS DISCRETS EN GENERAL ET LES SYSTEMES DE PRODUCTION EN PARTICULIER : LA STABILITE ET L'ACCESSIBILITE. L'ETUDE DE LA STABILITE UTILISE UNE APPROCHE BASEE SUR LE PRINCIPE DE COMPARAISON. LA PROPRIETE D'ACCESSIBILITE CONCERNE LE DOMAINE DES MARQUAGES ACCESSIBLES REPRESENTANT LE DOMAINE DE VARIATION DES NIVEAUX MOYENS DES STOCKS DES LIGNES DE FABRICATION. L'ENSEMBLE DES ALGORITHMES ETABLIS PERMET UNE DETERMINATION SYSTEMATIQUE DES DOMAINES DE MARQUAGES ACCESSIBLES STATIONNAIRES. SUITE A LA RESOLUTION DU PROBLEME DE L'ACCESSIBILITE, NOUS AVONS ENONCE DES PROPRIETES DONNANT DES CONDITIONS NECESSAIRES ET / OU SUFFISANTES SUR LE CHOIX DES NIVEAUX MOYENS DESIRES DES STOCKS. LES NIVEAUX MOYENS DES STOCKS CONSTITUENT UN ETAT EVOLUTIF DU SYSTEME DONT ON A ETUDIE LA COMMANDE EN BOUCLE OUVERTE. LE CALCUL DE LA COMMANDE EST BASE SUR DES METHODES D'OPTIMISATION SOUS CONTRAINTES. LES RESULTATS DE CETTE ETUDE NOUS ONT SERVI A RESOUDRE UN PROBLEME PRATIQUE, CELUI DE LA COMMANDE DU FLUX DE SORTIE DE CES LIGNES. POUR ETENDRE L'ETUDE DE LA COMMANDE DU FLUX DE SORTIE A UNE CLASSE PLUS LARGE DE SYSTEMES DE PRODUCTION NOUS AVONS ELABORE UNE SECONDE APPROCHE INSPIREE DES TRAVAUX DE SHARIFNIA ET EGILMEZ. EN TENANT COMPTE DES CONTRAINTES DE CAPACITE DANS LA PROCEDURE DE SYNTHESE DE LA COMMANDE ET EN NE REPRESENTANT PAR UN MODELE RDPCVC QUE LA PARTIE OPERATIVE DU SYSTEME, LE MODELE ANALYTIQUE RDPCVC D'UNE CLASSE DE SYSTEMES DE PRODUCTION EST LINEAIRE ET STATIONNAIRE. L'UTILISATION DU PRINCIPE DE L'INVARIANCE POSITIVE DES DOMAINES ENGENDRES PAR LES CONTRAINTES, NOUS A PERMIS DE DEDUIRE DES CONDITIONS SUFFISANTES GARANTISSANT L'EXISTENCE D'UN RETOUR D'ETAT LINEAIRE POUR CES SYSTEMES.
Author: Philippe Declerck
Publisher: John Wiley & Sons
ISBN: 1118578627
Category : Mathematics
Languages : en
Pages : 91
Get Book Here
Book Description
This book concerns the use of dioid algebra as (max, +) algebra to treat the synchronization of tasks expressed by the maximum of the ends of the tasks conditioning the beginning of another task – a criterion of linear programming. A classical example is the departure time of a train which should wait for the arrival of other trains in order to allow for the changeover of passengers. The content focuses on the modeling of a class of dynamic systems usually called “discrete event systems” where the timing of the events is crucial. Events are viewed as sudden changes in a process which is, essentially, a man-made system, such as automated manufacturing lines or transportation systems. Its main advantage is its formalism which allows us to clearly describe complex notions and the possibilities to transpose theoretical results between dioids and practical applications.
Author: Wael Khansa
Publisher:
ISBN:
Category :
Languages : fr
Pages : 190
Get Book Here
Book Description
Nous montrons dans ce mémoire que parmi les extensions existantes des réseaux de Petri, aucune ne possède la puissance de spécification suffisante pour modéliser et analyser des systèmes à événements discrets à contraintes de temps de séjour minimum et maximum nécessitant des synchronisations sous obligation (cas par exemple des industries de traitement chimique). Nous sommes ainsi amenés à proposer un nouveau modèle temporel permettant de représenter et d'analyser de tels systèmes, dans lequel, des intervalles de temps sont associés aux places, que nous appelons: réseau de Petri p-temporel (p-RdP). La définition d'un nouvel outil nécessite l'établissement de méthodes permettant d'analyser ses propriétés. Nous définissons tout d'abord les propriétés fortes qu'il convient d'extraire (vivacité, finitude des marquages, vivacité de marques,...). Puis, le pouvoir de spécification de cet outil sera comparé à celui d'autres modèles de réseaux de Petri. Nous fournissons des méthodes d'analyse énumérative permettant d'étudier le comportement et de vérifier les propriétés des systèmes modélisés. Ensuite, une approche d'analyse structurelle est établie afin d'étudier les fonctionnements stationnaires et par conséquent les performances des systèmes modélisés. Par ailleurs, les systèmes peuvent être soumis à des perturbations. Il est alors intéressant de trouver des contrôles robustes qui peuvent absorber des telles perturbations. La connaissance des marges sur les instants de tir des transitions peut être un moyen de caractériser la robustesse. L'étude de ces marges est faite d'abord pour les réseaux temporisés puis pour le modèle p-temporel.
Author: Pascal Richard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 173
Get Book Here
Book Description
Un réseau de Petri est un modèle mathématique utilisé pour modéliser et analyser les systèmes à événements discrets. Nous présentons dans ce mémoire leur utilisation pour des problèmes de recherche opérationnelle. L'état de l'art montre l'intérêt de cet outil pour aborder cette problématique. L'étroit lien entre la programmation mathématique et les réseaux de Petri est ensuite mis en évidence. Précisément, nous montrons que le problème de programmation mathématique se réduit polynomialement à un problème d'ordonnancement dans les réseaux de Petri. Ce résultat repose sur une nouvelle condition nécessaire et suffisante d'accessibilité pour l'équation des marquages. Nous présentons enfin une application industrielle de ces résultats dans le cadre d'un logiciel d'aide à la décision pour la planification de production dans l'industrie du verre.
Author: Lionel Amodeo
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Alain Goliot
Publisher:
ISBN:
Category :
Languages : fr
Pages : 460
Get Book Here
Book Description
Partant du graphe de commande d'une installation industrielle, on propose de retrouver les réseaux de petri dont l'évolution des marquages fournit précisément ce même graphe
Author: Luis M. Camarinha-Matos
Publisher: Springer
ISBN: 0387353909
Category : Computers
Languages : en
Pages : 631
Get Book Here
Book Description
Towards Intelligent Manufacturing Systems This book contains the selected articles from the third International Conference on lriformation Technology for Balanced Automation Systems in Manufacturing. A rapid evolution in a number of areas leading to Intelligent Manufacturing Systems has been observ@d in recent years. Significant efforts are being spent on this research area, namely in terms of international cooperative projects, like the IMS initiative, the USA NIIIP (National Industrial Information Infrastructure Protocols) project, or the European ESPRIT programme, and a growing number of conferences and workshops. The importance of the Information and Communication Technologies in the manufacturing area is weIl established today. The proper combination of these areas with the socio-organizational issues, supported by intelligent tools, is however, more difficult to achieve, and fully justifies the need for the BASYS conference and the publication of the series of books on Balanced Automation SyStems. The first book of this series focused on the topic of "Architectures and Design Methods", was published in 1995. Mahy of the fundamental aspects of manufacturing, and some preliminary results were presented in this book. Among others, the topics included: Modeling and design of FMS, Enterprise modeling and organization, Decision support systems in manufacturing, Anthropocentric systems, CAE/CAD/CAM integration, Scheduling systems, Extended enterprises, Multi agent system architecture, Balanced flexibility, Intelligent supervision systems, Shop-floor control, and Computer aided process planning.
Author: Maurice Comlan
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Les réseaux de Petri et leurs extensions constituent un formalisme très connu pour la modélisation de la spécification des systèmes à évènements discrets temps réel. Pour ces systèmes, les exigences de vérification et de validation sont indispensables pour garantir leur bon fonctionnement car la moindre erreur peut entrainer des conséquences catastrophiques. Pour analyser le comportement du système, il est courant de construire le graphe d'états (ou espace d'états) qui énumère de façon exhaustive les différents états accessibles.Ce graphe permet de vérifier des propriétés génériques comme le caractère borné, l'accessibilité, la terminaison, la vivacité, l'absence de blocage, etc. Mais la construction de cet espace d'états est confrontée au problème d'explosion combinatoire du nombre d'états lié à la complexité et à la concurrence du système.L'une des alternatives pour contenir cette combinatoire est de conserver uniquement les ordres partiels entre les évènements. Le dépliage est une technique d'ordre partiel adaptée à la vérification, au diagnostic et à la planification. Cette thèse contribue à l'étude du dépliage des réseaux de Petri et, plus particulièrement,apporte une contribution au dépliage des réseaux de Petri avec des arcs de reset. De plus, le dépliage explicite les exécutions possibles du système qui sont, par définition, des processus. Il s'agit plus précisément des processus de branchement qui diffèrent des processus classiques. Ainsi, nous proposons une algèbre adaptée aux processus de branchement issus du dépliage des réseaux de Petri.
Author: Pascal Yim
Publisher:
ISBN:
Category :
Languages : en
Pages :
Get Book Here
Book Description
