Author : Pavel Spacek
Publisher :
Page : 0 pages
File Size : 35,83 MB
Release : 1998
Category :
ISBN :
Author : Pavel Spacek
Publisher :
Page : 125 pages
File Size : 36,73 MB
Release : 1998
Category :
ISBN :
Ce travail porte sur la modélisation, l'analyse et la commande des systèmes à événements discrets par l’algèbre des dioides. Une application aux lignes de galvanoplastie est ensuite développée. Les systèmes à événements discrets sont des systèmes non-linéaires et complexes. Il existe peu d'outils mathématiques de modélisation et d'analyse systématique. Parmi ces outils, l’algèbre des dioides, avec entre autres les algèbres (max,+) et (min,+), peuvent nous donner des résultats importants. Une description sous forme d'une équation d’état et une autre sous forme d'une équation récurrente sont développées. A partir de ces descriptions, les propriétés structurelles et comportementales d’observabilité et de commandabilité, l'ordre minimal d'une équation récurrente et le réglage sous l'aspect d'une structure en boucle fermée sont étudiés. Nous développons ensuite une application choisie parmi les nombreux systèmes de production : ce sont les lignes de galvanoplastie. Le traitement de surface est souvent une étape obligatoire et critique dans la fabrication de produits manufacturiers. Dans ce domaine, nous voyons apparaître des problèmes d'ordonnancement de taches liés au contrôle d'un système de manutention dans une ligne de galvanoplastie. Nous avons analysé une ligne mono-produit. Des résultats encourageants sont obtenus. Ces résultats sont appliqués à un exemple industriel. Certains résultats et perspectives sont aussi donnés pour le cas multi-produits.
Author : Laurent Libeaut
Publisher :
Page : 160 pages
File Size : 17,24 MB
Release : 1996
Category :
ISBN :
LE TRAVAIL PRESENTE DANS CETTE THESE PORTE SUR LA MODELISATION ET LA COMMANDE DES SYSTEMES DYNAMIQUES A EVENEMENTS DISCRETS SOUMIS A DES CONTRAINTES DE NATURE TEMPORELLE. LES RESEAUX DE PETRI TEMPORISES CONSTITUENT UN OUTIL PARTICULIEREMENT ADAPTE A LA REPRESENTATION DE CES SYSTEMES. DANS UNE PREMIERE PARTIE, NOUS ETABLISSONS UN MODELE ALGEBRIQUE DE COMPORTEMENT DE CES RESEAUX, QUI SE PRESENTE SOUS LA FORME D'UN SYSTEME D'EQUATIONS (NON LINEAIRES) EN MIN ET PLUS QUE SATISFAIT LE VECTEUR DES COMPTEURS ATTACHES AUX TRANSITIONS DU GRAPHE. DEUX TYPES DE GRAPHES SE DISTINGUENT. LES GRAPHES SANS SYNCHRONISME, EN PARTICULAR LES GRAPHES D'ETATS TEMPORISES, CONDUISENT A DES SYSTEMES LINEAIRES IMPLICITES DANS L'ALGEBRE USUELLE. LES GRAPHES D'EVENEMENTS CORRESPONDENT A DES SYSTEMES LINEAIRES SUR LE DIOIDE (MIN,PLUS). POUR CETTE DERNIERE CLASSE, UNE ATTENTION PARTICULIERE EST PORTEE SUR LES CONDITIONS INITIALES. DANS UNE SECONDE PARTIE, NOUS JETONS LES BASES D'UNE THEORIE DE LA COMMANDE DES GRAPHES D'EVENEMENTS TEMPORISES. APRES AVOIR TRAITE LE PROBLEME DE LA POURSUITE DE TRAJECTOIRE, NOUS ABORDONS LE PROBLEME DE POURSUITE DE MODELE, QUESTION FONDAMENTALE DE L'AUTOMATIQUE. DANS UN CONTEXTE DE PRODUCTION, CES NOTIONS REVIENNENT A FAIRE DE LA COMMANDE EN JUSTE A TEMPS ; ON SATISFAIT LES OBJECTIFS TOUT EN MINIMISANT LES STOCKS. LA RESOLUTION DE CE PROBLEME FAIT APPEL A LA NOTION DE RELATION ENTREE-SORTIE, ETABLIE EN TERME DE SERIES FORMELLES A COEFFICIENTS DANS (MIN,PLUS), ET AU CONCEPT DE RESIDUATION. A L'AIDE D'EXEMPLES COMPLETS, NOUS MONTRONS LE CARACTERE EFFECTIF DES SOLUTIONS PROPOSEES
Author : JAN.. KOMENDA
Publisher :
Page : 126 pages
File Size : 46,83 MB
Release : 1999
Category :
ISBN :
LES TRAVAUX PRESENTES DANS CE MEMOIRE VISENT A ETENDRE CERTAINS RESULTATS SUR LA MODELISATION ET L'ANALYSE DES GET DANS L'ALGEBRE DES DIOIDES A UNE CLASSE DES RDP HYBRIDES : LES GRAPHES D'EVENEMENTS HYBRIDES. NOUS DEVELOPPONS UN MODELE D'ETAT HYBRIDE DES RDPH. CELUI-CI PORTE SUR L'UTILISATION CONJOINTE DE L'ALGEBRE (MIN, +) POUR LA PARTIE DISCRETE ET L'ALGEBRE CLASSIQUE POUR LA PARTIE CONTINUE. LE POINT CRUCIAL DE CE MODELE D'ETAT EST LA DESCRIPTION DE L'INTERFACE ENTRE LA PARTIE DISCRETE ET LA PARTIE CONTINUE. POUR L'ANALYSE ET LA COMMANDE NOUS UTILISONS LA METHODE DES APPROXIMATIONS DISCRETES QUI CONSISTE A ASSOCIER A UN GRAPHE D'EVENEMENTS HYBRIDE (GEH) UN GRAPHE D'EVENEMENTS GENERALISE TEMPORISE (GEGT). CETTE METHODE CONDUIT A L'ETUDE DES DEUX PARTIES DANS L'ALGEBRE DES DIOIDES. DANS L'APPROCHE D'ETAT DEUX TYPES DE NON LINEARITES INTERVIENNENT. POUR PALLIER A CETTE DIFFICULTE, NOUS AVONS ADOPTE DEUX APPROCHES. LA PREMIERE UTILISE UNE TRANSFORMATION DIAGONALE DANS L'ALGEBRE (MIN, +) ET FAIT DISPARAITRE LA NON LINEARITE DE TYPE POLYNOMIALE. LA DEUXIEME UTILISE UNE TRANSFORMATION AU NIVEAU GEGT, APPELEE EXPANSION DE MUNIER. ELLE S'APPLIQUE POUR TOUT GEH ET PERMET D'OBTENIR UN GET EQUIVALENT (AVEC UNE DESCRIPTION LINEAIRE DANS L'ALGEBRE (MIN, +)). LA DESCRIPTION OPERATORIELLE NOUS PROCURE UNE RELATION ENTREE-SORTIE POUR LES APPROXIMATIONS DISCRETES ET LE PASSAGE A LA LIMITE NOUS DONNE UNE RELATION ENTREE-SORTIE POUR LE GRAPHE D'EVENEMENTS HYBRIDE. LE CAS, OU CETTE RELATION EST LINEAIRE (ADMET UNE MATRICE DE TRANSFERT), EST IDENTIFIE. DANS CE CAS NOUS DONNONS UNE FORMULE DE TYPE RESIDUATION POUR LA COMMANDE OPTIMALE VIS A VIS DU CRITERE JUSTE A TEMPS.
Author : Bernard Pradin
Publisher : Presses Univ. du Mirail
Page : 376 pages
File Size : 48,62 MB
Release : 2010
Category : Control theory
ISBN : 9782810700561
Author : Mehdi Lhommeau
Publisher :
Page : 157 pages
File Size : 27,91 MB
Release : 2003
Category :
ISBN :
Les systèmes dynamiques à événements discrets mettant en jeu des phénomènes de synchronisation peuvent être modélisés par des équations linéaires dans les algèbres de type (max,+). Cette propriété a motivé l'élaboration de ce que l'on appelle communément la théorie des systèmes linéaires dans les dioïdes. Cette théorie présente de nombreuses analogies avec la théorie conventionnelle des systèmes linéaires continus et permet notamment d'aborder des problèmes de commandes. La première contribution concerne l'analyse de la robustesse de lois de commandes pour des systèmes (max,+)-linéaires. L'objectif est de caractériser l'ensemble des systèmes préservant les performances recherchées lors de la synthèse. Autrement dit, nous cherchons à caractériser les marges de variations ou dérives du système admissibles vis à vis des critères de performances imposés. Ensuite, le problème de commande robuste est considéré. Cette fois nous supposons connue, sous forme d'intervalles, ('amplitude de variation des paramètres du système à commander et nous cherchons l'en-semble des correcteurs permettant d'atteindre un objectif donné. Au préalable est introduit un dioïde d'intervalles, qui permet de modéliser les systèmes incertains sous forme de matrices d'intervalles in-cluant l'ensemble des comportements possibles du système. La synthèse de contrôleurs présentée dans le cas déterministe s'étend alors naturellement au contexte incertain. La dernière partie de ce mémoire traite du problème de commande en présence de perturbations. En se conformant à la littérature sur les systèmes continus conventionnels, nous montrons que ce problème présente de fortes analogies avec le problème classique du rejet de perturbations. Il est notamment montré qu'il est possible de synthétiser des contrôleurs optimaux préservant l'état du système dans le noyau de la matrice de sortie.
Author : Iteb Ouerghi
Publisher :
Page : 129 pages
File Size : 38,96 MB
Release : 2006
Category :
ISBN :
Les systèmes à événements discrets sont essentiellement caractérisés par des changements d'état (marche-arrêt d'une machine, départ-arrivée d'un train). L'introduction de paramètres temporels permet d'évaluer leur performances (taux de production d'une cellule d'usinage, temps de parcours pour un système de transport). Ces systèmes dynamiques peuvent également faire l'objet de contraintes de temps de séjour (temps maximal de cuisson d'une pièce dans un four, attente maximum d'une correspondance entre trains,...). Ce type de contraintes n'affecte pas uniquement les performances du système mais aussi sa validité fonctionnelle (pièce brulée, ...). Il apparaît alors primordial de disposer de méthodes d'analyse et de synthèse de commande de ces systèmes afin d'en garantir le bon fonctionnement en dépit de ces contraintes. Nous nous intéressons plus précisément aux modèles de type réseau de Petri P-temporel. L'étude de systèmes du type graphes d'événements P-temporels et leur supervision par un système de commande, conduisent à des modèles (max,+) -linéaires soumis à des contraintes, et rendent nécessaire le développement de nouveaux outils algébriques combinant la théorie des dioïdes et la résiduation. L'objectif de cette thèse est de contribuer à la modélisation, la vérification et la commande des graphes d'événements temporels, et d'élaborer une théorie analogue à celle concernant les graphes d'événements déterministes décrits dans l'algèbre (max,+).
Author : Pierre Moller
Publisher :
Page : 0 pages
File Size : 32,72 MB
Release : 1988
Category :
ISBN :
Author : Carlos Andrey Maia
Publisher :
Page : 106 pages
File Size : 38,70 MB
Release : 2003
Category :
ISBN :
Timed Event Graphs are a subclass of Petri nets suitable to describe Discrete Event Systems subject to synchronization phenomena. Although these systems have nonlinear time bahavior in conventional algebra they are described by linear equations in dioid algebra. This thesis deals with identification and control problems of such systems. The chapter 3 proposes a parametric estimation method for (max,+)-linear SISO models. The estimation algorithm is developed by assuming the knowledge of the structure of a model represented by an input-output transfer function. The chapter 4 deals with the model-reference control stated in a Just-in-Time context. This approach proposes a control structure based on a precompensator and a feedback controllers which allows to obtain the desired performances for the controlled system. It is shown That this approach always leads to an optimal bahavior of the closed-loop system and that the existence of the optimal controller is independent of the model reference choice (unlike previous approaches found in the literature). These results are used to solve the stabilization problem of timed event graphs.
Author : Mourad Ahmane
Publisher :
Page : 221 pages
File Size : 20,25 MB
Release : 2006
Category :
ISBN :
Ce travail porte sur la commande de systèmes à événements discrets via des techniques de comparaison stochastique. Les systèmes à événements discrets sont des systèmes dynamiques qui évoluent de façon discontinue. On s’intéresse en particulier à ceux de ces systèmes qui peuvent être représentés par des itérés de fonctions linéaires aléatoires (chaînes de Markov), ou par des itérés de fonctions linéaires dans l'algèbre des dioïdes (systèmes max-plus linéaires). D'abord, nous nous sommes intéressés à l'évaluation de mesures quantitatives du comportement en régime transitoire de chaînes de Markov. Pour les processus issus du monde réel, on se heurte au problème de l’explosion combinatoire du temps de calculs et de la taille de l'espace d’états. Pour y remédier, des techniques d'agrégation bornantes basées sur la comparaison de chaînes de Markov de dimensions différentes, dont le but principal est le calcul de bornes, sont proposées. Ces méthodes de comparaison sont inspirées par la théorie des ordres stochastiques et sont formulées sous la forme de plusieurs critères, à savoir un critère géométrique basé sur l’inclusion de polyèdres, un critère d’invariance positive d’ensembles, et un critère algébrique basé sur le Lemme de Haar donné en 1918. Des concepts similaires peuvent être énoncés pour des systèmes max-plus linéaires. Comme pour les chaînes de Markov, des techniques de comparaison de systèmes max-plus linéaires sont proposées, dont les deux objectifs principaux sont la simplification de modèles et le contrôle via l’invariance positive d’ensembles. Enfin, nous explorons la propriété d’invariance positive d’ensemble max-plus linéaires et en particulier des ensembles max-plus ellipsoïdaux. Ces ensembles ne sont autres que des ensembles polyédriques dans l’algèbre linéaire habituelle. Les caractérisations d’invariance positive de telles classes de systèmes max-plus linéaires sont formulées sous la forme d’inclusion de polyèdres dans l’algèbre linéaire. On en déduit des conditions d’existence et de calcul de lois de commande par retour d’état linéaire statique, basé sur la gamma-algorithme, pour des systèmes dynamiques.
