Mémoires de Master
Permanent URI for this community
Browse
Browsing Mémoires de Master by Subject "+)"
Now showing 1 - 4 of 4
Results Per Page
Sort Options
Item Commande en juste à temps de système de production dans le semi-anneau Max- plus(Université Mouloud Mammeri, 2013) Azeb Aziz; Ameur Hakim; Nait Abdesselam AldjiaLes systèmes à événements discrets mettant en jeu des phénomènes de synchronisation peuvent être modélisés par des équations linéaires dans l’algèbre 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. Dans ce mémoire, nous abordons des problèmes sur la commande de ces systèmes. Premièrement la commande en boucle ouverte sous le critère du juste à temps dont objectifs est la poursuite d’une trajectoire connue apriori ou la poursuite d’un modelé de référence. Puis notre intérêt se penche vers la commande en boucle fermée dont le but est à nouveau la poursuite d’un modèle de référence.Item Estimation d’état par étoile de Kleene dans l’algèbre max-plus application à un atelier d’assemblage(Université Mouloud Mammeri, 2014) Malki Karima; Miloudi Nassiba; Nait Abdesselam AldjiaLes systèmes à événements discrets mettent en jeu des phénomènes de synchronisation, nous avons étudié une de ces systèmes qui s’appelle Graphes d’événements temporisés. Ces systèmes peuvent être modélisés par des équations linéaires dans l’algèbre de type (max,+). Cette propriété a motivé l’élaboration de ce qu’on appelle communément la théorie des systèmes linéaire dans les dioïdes. Dans ce mémoire, nous avons abordé dans un premier temps le problème de l’estimation des variables d’états, cette approche se base sur le calcul d’une borne supérieure de l’état en utilisant l’étoile de Kleene, afin de résoudre le problème d’estimation par l’étoile de Kleene, il est important de reformuler le modèle d’état sous forme d’un problème du type point fixe. La résolution nous a conduit à introduire un estimateur optimal en un temps fini et sur un horizon fini permettant d’estimer le plus grand état sous la condition de l’observabilité structurelle. Ensuite, pour mettre en oeuvre cette synthèse, nous avons appliqué l’approche sur un atelier d’assemblage.Item Synthèse d'un observateur d'ordre réduit dans L'algèbre des dioides(Université Mouloud Mammeri, 2018) Messar Noura; Nait Abdesselam AldjiaCette thèse s'inscrit dans le cadre de la synthèse d'observateur d'ordre réduit dans l'algèbre des dioïdes. Elle concerne en particulière une sous-classe des systèmes à événements discrets modélisables par les graphes d'événements temporisés (GET), la dynamique de ces graphes peut être représentée par des équations récurrentes linéaires sur des structures algébriques particulières telles que l'algèbre (max, +) ou l'algèbre (min, +). Ce mémoire porte une attention particulière aux observateurs d'ordres réduits qui de part leur dimension, nécessitent moins de calculs pour leur dimensionnement. Le problème posé c'est qu'en partant d'un système représentable par un GET ses états sont pas entièrement accessible à la mesure pour des raisons techniques ou économiques, pour pallier à ce problème nous avons proposé un observateur d'ordre réduit qui nous permet d'éliminer la partie mesurée du vecteur d'état et d'estimée seulement les états non mesurées à partir des informations obtenue par la sortie, la dernière partie de cette thèse est consacrée à la possibilité de réduire les états a estimé dans un atelier flexible de type ''flowshops'', en vue d'atteindre les résultats souhaitée.Item Synthèse D’Un Contrôleur Avec Observateur Dans L’Algèbre Des Dioïdes: Application À Un Système De Production.(Université Mouloud Mammeri, 2017) Habi Djamal; Lallouche Mouloud; Nait Abdesselam AldjiaLes systèmes dynamiques à événements discrets mettant en jeu des phénomènes de synchronisations et de délais, sont représentés par des Graphes d’événements temporisés (GET), qui constituent une sous classe de réseaux de Petri (RDP), dont chaque place n’admet qu’une transition en amont et une transition en aval. Leurs comportement peut être décrit par des équations linéaires dans les algèbres de type (??????, +) ???? (??????, +). Cette propriété a motivé l’élaboration de ce que l’on appelle la théorie des systèmes linéaire 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 synthèse d’observateur et de commande. L’objectif de ce mémoire est la synthèse d’observateur de Graphe d’événement temporisé représenté dans le dioïde ?? ???? ????+ [??, ??], ainsi que la commande par retour d’état avec observateur. Afin de reconstruire l’état d’un Graphes d’événement temporisés nous avons adoptés la même démarche que celle suggérée lors de la synthèse d’observateur pour les systèmes classiques. Néanmoins, dans le dioïde ?????? ????+ [??, ??], le problème est résolu en utilisant la théorie de la résiduation, deux cas ont été considéré, le premier sans perturbation, et deuxième en présence de perturbation. Les résultats de simulations sur Scilab, ont montré l’efficacité de l’approche utilisée. Ensuite, un correcteur de type retour d’état avec observateur est calculé dans l’objectif de la poursuite de modèle. Partant d’un modèle nominal d’un GET et d’une spécification entrée-sortie donné (modèle de référence), un observateur peut être utilisé pour estimer l’état nécessaire à la mise en place d’un correcteur de type retour d’état. Notons que les correcteurs de type retour de sortie et de type retour d’état sont liés, un contrôle de type retour de sortie avec observateur, dans le but de s’approcher au mieux du comportement d’un modèle de référence, a été aussi évoqué. On a constaté que le contrôle par retour d’état avec observateur est plus performant que le contrôle par retour de sortie, c'est-à-dire qu’il engendre une commande plus grande et un système corrigé plus proche du modèle de référence. Cela peut se remarquer dans le cas où la dynamique du système est modifiée. Dans notre étude nous avons considéré le modèle de référence et le modèle nominal sont les mêmes, c'est-à-dire que notre objectif est de laisser le comportement entrée/sortie du système inchangé.