Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

En propulsion électrique, le freinage régénératif consiste à récupérer l’énergie cinétique du véhicule en freinant la roue propulsée avec la motorisation électrique. Afin d'optimiser la quantité d'énergie récupérée à partir du freinage électrique, la plupart des études antérieures proposent des stratégies qui consistent à définir le couple de freinage en fonction de la vitesse du véhicule. Dans cette étude nous proposons une stratégie originale qui consiste à commander le glissement de la roue freinée en fonction de la vitesse du véhicule. Les deux principales hypothèses qui ont motivé ce travail sont que cette stratégie de récupération, réglée à l’optimum, est moins sensible aux incertitudes et qu’elle permet d’éviter une perte d’adhérence de la roue, étant donné que le glissement est contrôlé. L’objectif ultime est de démontrer expérimentalement qu’il est possible de mettre en œuvre une telle approche sur un véhicule électrique afin d'assurer une récupération optimale de l'énergie tout en assurant la stabilité du véhicule. Le premier volet de cette étude est d’étudier l’avantage de la stratégie de commande du glissement quand elle est globalement optimisée au sens de maximiser la récupération d’énergie en considérant le rendement énergétique de la chaine électrique et des pertes mécaniques. Pour cela, un simulateur basé sur Matlab/Simulink a été développé et validé par des mesures expérimentales. La nouvelle stratégie en glissement est alors comparée en simulation à d’autres stratégies, et sa sensibilité est évaluée par rapport à des incertitudes paramétriques sur l’inclinaison de la route, la masse et les conditions routières. Les simulations numériques, validées par des essais expérimentaux, montrent qu’un freinage régénératif qui commande le glissement est la stratégie la moins sensible aux variations paramétriques. Le deuxième volet de cette étude porte sur la synthèse et la mise en œuvre d’un contrôleur temps-réel, embarqué sur un véhicule électrique à trois roues, afin de procéder à des tests routiers de la stratégie en glissement. Considérant qu'il n'est pas possible de mesurer directement le glissement, il doit être estimé en temps réel à partir des mesures des encodeurs des roues. Pour ce faire, un modèle d’état non-linéaire du comportement du système de propulsion électrique, incluant la dynamique du glissement, a été expérimentalement identifié. Ce modèle original, combiné à un modèle classique de dynamique longitudinale du véhicule, est utilisé pour la synthèse et la comparaison de deux observateurs de Kalman étendu. Finalement, un estimateur d’adhérence, basé sur un algorithme d’identification de type RLS-[lambda], est mis en place pour corriger en-ligne un facteur lié à l’adhérence. Il devient ainsi possible d’estimer avec précision le glissement de la roue motrice, même en présence de variations paramétriques importantes. Un contrôleur non-linéaire temps réel a été développé et implanté dans le but de suivre une consigne de glissement optimal. Considérant la présence d’un retard pur important dans la chaine de contrôle, le contrôleur se décompose en une partie boucle ouverte afin d’atteindre rapidement la consigne de couple et une rétroaction non-linéaire afin de corriger finement la valeur finale. La synthèse des compensateurs (boucle ouverte et rétroaction) se base sur une linéarisation par morceaux du système à contrôler: les paramètres du modèle d’état sont fixés pour une commande de couple de freinage donnée. La structure de contrôle implantée a été réduite afin de minimiser la puissance de calcul requise. La combinaison de l’observateur de glissement avec le contrôleur de glissement a permis de valider expérimentalement la stratégie de freinage par glissement sur un véhicule électrique. Les conditions de la route (niveau d’adhérence) ont été modifiées pour valider la robustesse du contrôleur sur une surface glissante.

Les travaux de cette thèse s'inscrivent dans le cadre de la géométrie discrète, une discipline ayant pour objectif de définir un cadre théorique pour transposer dans Z^n les bases de la géométrie euclidienne -- les notions discrètes définies étant le plus proche possible des notions continues que nous connaissons (telles que distance, droite, convexité, ...). De nombreuses études ont déjà été menées au sein de cette discipline, pour en définir l'espace de travail ainsi que les objets fondamentaux manipulés et en saisir leurs propriétés. Des algorithmes de reconnaissance pour ces primitives discrètes ont été développés et utilisés dans des problèmes comme la reconnaissance de formes, l'extraction de caractéristiques géométriques et bien d'autres encore. Néanmoins, la majorité des études ont été effectuées en se reposant sur la régularité des structures fondamentales de l'espace discret, souvent issues de définitions arithmétiques, et ces critères de régularité sont généralement essentiels aux différents algorithmes développés. Or, en pratique, les objets manipulés sont très souvent bruités par les méthodes d'acquisition (scanners, IRM, ...) qui suppriment ce caractère régulier des objets. Dans cette thèse, nous nous intéressons aux objets discrets 3D et proposons une nouvelle primitive discrète, le morceau flou de plan discret, destinée à apporter plus de flexibilité dans les traitements, afin de proposer des algorithmes capables de fournir des résultats satisfaisants aussi bien sur des objets réguliers que non réguliers. Avec l'emploi de cette nouvelle primitive discrète, nous définissons différents estimateurs de caractéristiques géométriques au bord d'objets discrets et montrons comment les utiliser dans des problèmes de segmentation et de polyédrisation d'objets discrets possiblement bruités. / The context of this thesis is the digital geometry. An aim of this field is to develop a theoretical framework to implement in Z^n the basis of the Euclidean geometry. The discrete concepts are thus defined as close as possible to their continuous counterparts (such as distance, straight line, convexity, ...). Many studies have already been led within this research area to define the workspace, the fundamental objects and figure their properties out. Recognition algorithms have been designed for these discrete primitives and used in problems such as pattern recognition, geometric features estimation and many more. However, most of these studies rely on the regularity of fundamental structures of the digital space, that usually comes from their arithmetical definitions. But in practice, objects may be corrupted by the acquisition devices (like scanners or MRI) which eliminate this regularity. This thesis is focused on 3D digital objects. We introduce a new discrete primitive: the blurred piece of a discrete plane. Its aim is to bring some flexibility in treatments in order to design algorithms that yield statisfying results on both noisy and non-noisy digital objects. Relying on this new primtive, we define different geometric feature estimators on the border of such objects and show how to use them to guide the segmentation and polyhedrization processes of this border.

La thèse porte sur la synthèse d'observateurs pour les systèmes dynamiques hybrides. Nous considérons particulièrement les systèmes décrits par un ensemble fini de sous-systèmes linéaires à temps discret et une loi de commutation. Le sous-système actif et les commutations d'un sous-système à un autre peuvent être définis par une commande externe contrôlable (systèmes à commutation), ou par des transitions autonomes (systèmes affines par morceaux). Sous l'hypothèse de la connaissance du mode actif à chaque instant, nous montrons que l'association de l'observateur commuté avec une contrainte de placement de pôles permet de proposer un schéma d'observation à entrée inconnue pour résoudre le problème de la synchronisation des systèmes à commutation chaotiques avec un message incorporé. Dans le cas de des systèmes affines par morceaux, nous proposons une méthode pour détecter le mode actif. L'association de cette méthode avec l'observateur commuté permet l'estimation conjointe de l'état continu et état discret. Enfin, nous considérons le cas de commutations régies par un RdP. Nous proposons un schéma d'observation utilisant un observateur de RdP et un observateur / AThe thesis is concerned with the observers synthesis for the hybrid dynamic systems. We particularly consider the systems described by a finite set of discrete-time linear subsystems and a commutation law. The active subsystem and the commutations between the subsystems can be defined by a controllable external command (switched systems), or by the autonomous transitions (piecewise affine linear systems). Under the assumption of the knowledge of the active mode, we show that the association of the switched observer with a pole placement constraint allows to propose observation scheme to solve the synchronization problem of the switched chaotic systems with an embedded message. In the case of piecewise affine systems, we propose a method to detect the active mode. The association of this method with the switched observer allows the joint estimate of the continuous state and discrete state. Finally, we consider the case of commutations governed by a PN. We propose an observation scheme using a PN observer and a switched observer.

La thèse retrace les principes généraux des formulations explicites pour la commande prédictive et souligne la structure linéaire par morceaux de la dynamique. Les contributions principales de ce travail de thèse résident dans la construction des ensembles invariants pour les systèmes affines par morceaux (PWA). Les résultats se concentrent sur le traitement des systèmes PWA définis sur une partition polyédrale de l'espace d'état même si les principes sont applicables dans un cadre plus général. Trois constructions remarquables peuvent être mises en évidence : – la construction expansive, – la construction contractive, – la construction basée sur les graphes des transitions. Au niveau méthodologique toutes ces constructions étant basées sur la dynamique directe ou en temps inverse des ensembles de l'espace d'état, elles impliquent un traitement géométrique au moins dans la partie de comparaison avec le domaine faisable qui peut s'avérer gourmand en temps de calcul. Une solution innovante a été proposée en exploitant l'analyse par intervalles. Il est intéressant d'observer que la construction des ensembles invariants ouvre la voie au post-traitement des lois de commandes prédictives en vue de la maximisation de leur domaine de fonctionnement avec garantie de sureté. Des comparaisons sont faites entre les différentes structures MPC avec d'une part les formulations qui bénéficient du renforcement de l'invariance dès la phase de synthèse et d'autre part les formulations explicites qui bénéficient de la post analyse pour la caractérisation des domaines viables. En outre, le présent travail fait état des extensions MPC à base de ces méthodes géométriques pour le suivi de trajectoire, pour la prise en compte des incertitudes paramétriques ou d'un retard variable à l'entrée du système. Une grande partie de ces développements théoriques sont illustrés par des exemples au fur et à mesure de leur introduction. Le mémoire contient aussi l'étude d'un problème de suivi de trajectoire et de faisabilité/viabilité d'un certain profil, avec application pour la production d'électricité en conjonction avec la caractérisation d'une vallée hydraulique.

Dans de nombreuses applications modernes, l'interaction de plus en plus importante entre les systèmes numériques (ordinateurs, logiciels, composants logiques, etc.) et les processus physiques (relations entre signaux continus) a conduit, en Automatique, à l'émergence et à la formalisation des systèmes dits hybrides. Formellement, les systèmes hybrides peuvent être définis comme des systèmes mixtes où interagissent des phénomènes de nature à la fois continue et événementielle. L'analyse et la conduite de tels systèmes comme de tout autre type de système dynamique nécessitent bien souvent que l'on dispose d'un modèle mathématique de ces systèmes. Ainsi, nous nous intéressons dans ce travail, à l'identification de systèmes hybrides linéaires à partir de mesures entrée-sortie. Après avoir fait le point sur les méthodes disponibles dans la littérature récente en relation avec ce sujet, nous mettons en évidence la nécessité de développer des méthodes d'identification de systèmes hybrides multivariables dans le contexte très délicat où ni le nombre de sous-modèles constitutifs du système hybride, ni les ordres de ces sous-modèles, ni leurs paramètres ne sont connus a priori. Nous considérons d'abord des modèles d'état à commutations. Pour estimer ces modèles par les méthodes des sous-espaces, il est indispensable de contrôler dans l'espace d'état, les bases de représentation des matrices de paramètres associées aux différents sous-modèles à estimer. Cela nous a conduit au développement de nouvelles techniques d'identification structurée de modèles linéaires d'état qui possèdent cette propriété. Nous généralisons ensuite les techniques ainsi développées à l'identification de systèmes multivariables commutants, représentés par des modèles d'état. Cependant, dans le cas général, l'identification de modèles d'état hybrides est limitée par de sévères problèmes de complexité numérique. De ce fait, nous étudions le cas particulier où les instants de commutation sont séparés par un certain temps de séjour minimum dans les différents modes du système. Afin de nous affranchir de cette contrainte, nous investiguons l'identification de modèles MIMO commutants de type Auto-Regressif à entrée eXogène (ARX). Nous généralisons alors la méthode algébro-géométrique (GPCA) à l'identification de systèmes multivariables, discutons quelques problèmes de complexité numérique et suggérons des alternatives. La dernière partie du travail est consacrée à la validation de nos méthodes sur des exemples de simulation ainsi que sur un procédé de montage automatique de composants électroniques sur circuit imprimé.

Cette thèse est consacrée à l'étude de quelques problèmes de contrôlabilité exacte, de contrôle optimal et de stabilisation dans un domaine tridimensionnel de faible épaisseur à frontière ondulée. On étudie aussi le comportement asymptotique correspondant à chaque problème lorsque l'épaisseur tend vers zéro. Dans une première partie, on montre à l'aide de multiplicateurs adaptés au domaine, la contrôlabilité exacte pour l'équation des ondes en agissant avec un contrôle de Dirichlet sur une partie de la frontière latérale et un contrôle de Neumann sur la frontière supérieure et inférieure. On considère ensuite, dans la deuxième partie, un problème de contrôle optimal pour une équation d'état donnée par un opérateur elliptique de second ordre et une fonction coût à minimiser. A l'aide de fonctions test convenables, on montre que le contôle optimal converge vers un contrôle optimal du problème limite lorsque l'épaisseur tend vers zéro. Enfin, la troisième et dérnière partie, on considère l'équation des ondes soumise à un terme d'amortissement interne et un terme d'amortissement frontière qui font décroître l'energie. A l'aide de multiplicateurs adaptés, on affaiblit les conditions sur la localisation de la dissipation et on montre que l'energie décroît exponentiellement. Pour chacun de ces problèmes, on donne une description bidimensionnelle du problème limite correspondant. On voit comment l'opérateur limite bidimensionnel dépend des ondulations et comment les contrôles frontières deviennent internes.

La simulation de fluide fait l???objet de recherches actives en infographie. Largement utilis??e dans le domaine des jeux vid??os ou de l???animation, elle permet de simuler le comportement des liquides, des gaz et autres ph??nom??nes pouvant ??tre apparent??s ?? un fluide. Pour cela, la simulation de fluide dispose d???outils de calcul num??riques adapt??s, permettant de produire des animations visuellement r??alistes pour un temps de calcul raisonnable. Ce m??moire d??crit les deux principales approches utilis??es en simulation de fluide : l???approche eul??rienne et l???approche lagrangienne, ainsi que certains outils num??riques associ??s, que sont les diff??rences finies et les fonctions de lissage. Chaque approche et chaque outil num??rique poss??de ses avantages et ses inconv??nients. Les noyaux constants par morceaux constituent un nouvel outil de calcul num??rique et ouvrent de nouvelles possibilit??s ?? la simulation de fluide. Ils seront ??tudi??s en d??tails puis int??gr??s dans une simulation de fluide eul??rienne. L???atout notable qu???apportent les noyaux constants par morceaux est la possibilit?? d???augmenter la pr??cision des calculs l?? o?? cela est jug?? n??cessaire dans la simulation. En augmentant la pr??cision des calculs aux endroits cl??s, o?? sont susceptibles d???apparaitre des effets visuellement attrayants comme les tourbillons ou les remous, nous am??liorons la qualit?? des animations.

Les processus markoviens déterministes par morceaux (PMDM) ont été introduits dans la littérature par M.H.A. Davis en tant que classe générale de modèles stochastiques non-diffusifs. Les PMDM sont des processus hybrides caractérisés par des trajectoires déterministes entrecoupées de sauts aléatoires. Dans cette thèse, nous développons des méthodes numériques adaptées aux PMDM en nous basant sur la quantification d'une chaîne de Markov sous-jacente au PMDM. Nous abordons successivement trois problèmes : l'approximation d'espérances de fonctionnelles d'un PMDM, l'approximation des moments et de la distribution d'un temps de sortie et le problème de l'arrêt optimal partiellement observé. Dans cette dernière partie, nous abordons également la question du filtrage d'un PMDM et établissons l'équation de programmation dynamique du problème d'arrêt optimal. Nous prouvons la convergence de toutes nos méthodes (avec le plus souvent des bornes de la vitesse de convergence) et les illustrons par des exemples numériques.

No description available.