Les systèmes à événements discrets sont des systèmes dynamiques particuliers. Ils changent d’état de fa¸con discrète et le terme événement est utilisé afin de représenter l’occurrence de changements discontinus. Ces systèmes sont principalement construits par l’homme et on les retrouve surtout dans les secteurs manufacturier, de la circu- lation automobile, des bases de données et des protocoles de communication. Cette thèse s’intéresse au contrôle des systèmes paramétrés à événements discrets où les spécifications sont exprimées à l’aide de prédicats et satisfont une condition de similarité. Des conditions sont données afin de déduire des propriétés, en observation partielle ou totale, pour un système composé de n processus similaires à partir d’un système com- posé de n0 processus, avec n ≥ n0. De plus, il est montré comment inférer des politiques de contrôle en présence de relations d’interconnexion entre les processus. Cette étude est principalement motivée par la faiblesse des méthodes actuelles de synthèse pour le traitement des problèmes industriels de taille réelle. / Discrete event systems are a special type of dynamic systems. The state of these systems changes only at discrete instants of time and the term event is used to represent the occurrence of discontinuous changes. These systems are mostly man-made and arise in the domains of manufacturing systems, traffic systems, database management systems and communication protocols. This thesis investigates the control of parameterized discrete event systems when specifications are given in terms of predicates and satisfy a similarity assumption. For systems consisting of similar processes under total or partial observation, conditions are given to deduce properties of a system of n processes from properties of a system of n0 processes, with n ≥ n0. Furthermore, it is shown how to infer a control policy for the former from the latter’s, while taking into account interconnections between processes. This study is motivated by a weakness in current synthesis methods that do not scale well to huge systems.

No description available.

No description available.

La démocratisation des véhicules hybrides branchables ainsi que des véhicules purement électriques implique un surplus de demande sur les réseaux de distribution. Le Vehicle-to-Grid (V2G) ou le Vehicle-to-Building (V2B) visent à répondre à cette demande accrue en utilisant les véhicules non plus comme de simples charges pour le réseau électrique mais comme des acteurs effectuant des échanges bidirectionnels. Les travaux présentés dans ce mémoire montrent, avec des données réelles du campus de l’Université Laval, une modélisation de flottes de véhicules et l’application d’un modèle d’optimisation linéaire que le V2B peut permettre de réaliser des gains financiers partagés entre les acteurs tout en rechargeant efficacement les véhicules participants. / The democratization of plug-in hybrid electric vehicles along with purely electric vehicles causes an increased electric demand on the power grid. Vehicle-to-Grid (V2G) or Vehicle-to-Building (V2B) aim to bring an appropriate response to this increased demand, by not simply considering vehicles as loads for the grid but as actors making bidirectionnal exchanges. The works presented in this master’s thesis show, with real data on the Université Laval campus, a modelling of vehicle fleets and the application of a linear optimization model, that V2B can provide financial gain shared between the actors of the system, while charging the vehicles efficiently.

La modélisation de dialogue humain-machine est un domaine de recherche qui englobe plusieurs disciplines telles que la philosophie, les sciences cognitives et sociales, et l’informatique. Elle a pour but de reproduire la capacité humaine afin d’apprendre des stratégies optimales de dialogue. De plus, elle vise à concevoir et à évaluer des systèmes de gestion de dialogue ou d’étudier plus en détails la nature des conversations. Par ailleurs, peu de modèles de simulation de dialogues existants ont été jugé bons. Ce mémoire présente un modèle de Markov caché qui prédit l’action de l’utilisateur dans les systèmes de dialogue étant donné l’action du système précédente. L’apprentissage du modèle a été réalisé selon une approche d’apprentissage non supervisé en utilisant différentes méthodes de la validation croisée. Quant à l’évaluation du modèle, elle a été faite en utilisant différentes métriques. Les résultats de l’évaluation ont été en dessous des attentes mais tout de même satisfaisants par rapport aux travaux antérieurs. Par conséquent, des avenues de recherches futures seront proposées pour surpasser cette problématique. Mots-clés : traitement de la langue naturelle, dialogue oral homme-machine, modèle de Markov caché, apprentissage non supervisé, validation croisée. / Modeling human-machine dialogue is a research area that encompasses several disciplines such as philosophy, computer science, as well as cognitive and social sciences. It aims to replicate the human ability to learn optimal strategies of dialogue. Furthermore, it aims to design and evaluate management systems for dialogue, and to study the nature of the conversations in more detail. Moreover, few simulation models of existing dialogues were considered good. This thesis presents a hidden Markov model that predicts the action of the user in dialogue systems on the basis of the previous system action. The learning model has been realized through an approach to unsupervised learning using different methods of cross validation. As for model evaluation, it has been done using different metrics. The evaluation results were below expectation. Nonetheless, they are satisfactory compared to previous work. Ultimately, avenues for future research are proposed to overcome this problem. Keywords: natural language processing, spoken dialogue human-machine, Hidden Markov Model (HMM), unsupervised learning, cross validation.

No description available.

Les avantages de la modulation de phase vis-à-vis la modulation d’intensité pour les réseaux optiques sont claires et accepté par la communauté scientifique des télécommunications optiques. Surtout, la modulation de phase montre une meilleure sensibilité au bruit, ainsi qu’une plus grande tolérance aux effets non-linéaires que la modulation d’intensité. Nous présentons dans cette thése un étude qui vise à développer les avantages de la modulation de phase. Nous attaquons d’abord la complexité du récepteur en détection directe, en proposant une nouvelle configuration dont la complexité est comparable à celle du récepteur pour la modulation d’intensité traditionnel, mais avec des meilleures performances. Cette solution pourrait convenir pour les réseaux métropolitains (et même d’accès) à haut débit binaire. Nous passons ensuite à l’examen de la possibilité d’utiliser des amplificateur à semi-conducteur (SOA) au lieu des amplificateurs à fibre dopée à l’erbium pour fournir amplification optique aux signaux modulés en phase. Les non-linéarité des SOA sont étudiées, et un compensateur simple et très efficace est proposé. Les avantages des amplificateurs à semi-conducteur par rapport à ceux à fibre sont bien connus. Surtout, la méthode que nous proposons permettrait l’integrabilité des SOA avec d’autres composants de réseau (par exemple, le récepteur nommé cidessus), menant à des solutions technologiques de petite taille et efficaces d’un point de vue énergétique. Il y a deux types de systèmes pour signaux modulés en phase: basé sur la détection directe, ou sur les récepteurs cohérents. Dans le dernière partie de ce travail, nous nous concentrons sur cette dernière catégorie, et nous comparons deux solutions possibles pour la mise à niveau des réseaux terrestres actuel. Nous comparons deux configurations dont les performances sont très comparables en termes de sensibilité au bruit, mais nous montrons comment la meilleure tolérance aux effets non linéaires (en particuliers dans les systèmes à débit mixte) fait que une solution soit bien plus efficace que l’autre. / The advantages of phase modulation (PM) vis-à-vis intensity modulation for optical networks are accepted by the optical telecommunication community. PM exhibits a higher noise sensitivity than intensity modulation, and it is more tolerant to the effects of fiber nonlinearity. In this thesis we examine the challenges and the benefits of working with different aspects of phase modulation. Our first contribution tackles the complexity of the direct detection noncoherent receiver for differentially encoded quadrature phase shift keying. We examine a novel configuration whose complexity is comparable to that of traditional receivers for intensity modulation, yet outperforming it. We show that under severe nonlinear impairments, our proposed receiver works almost as well as the conventional receiver, with the advantage of being much less complex. We also show that the proposed receiver is tolerant to chromatic dispersion, and to detuning of the carrier frequency. This solution might be suitable for high-bit rates metro (and even access) networks. Our second contribution deals with the challenges of using semiconductor optical amplifiers (SOAs) instead of typical erbium doped fiber amplifiers (EDFAs) to provide amplification to phase modulated signals. SOAs nonlinearities are investigated, and we propose a simple and very effective feed-forward compensator. Above all, the method we propose would permit the integrability of SOAs with other network components (for example, the aforementioned receiver) achieving small size, power efficient sub-systems. Phase modulation paves the way to high spectral efficiency, especially when paired with digital coherent receivers. With the digital coherent receiver, the degree of freedom offered by polarization can be exploited to increase the channel bit rate without increasing its spectral occupancy. In the last part of this work we focus on polarization multiplexed signaling paired with coherent reception and digital signal processing. Our third contribution provides insight on the strategies for upgrading current terrestrial core networks to high bit rates. This is a particularly challenging scenario, as phase modulation has to coexist with previously installed intensity modulated channels. We compare two configurations which have received much attention in the literature. These solutions show comparable performance in terms of back-to-back noise sensitivity, and yet are not equivalent. We show how the superior tolerance to nonlinear fiber propagation (and particularly to cross phase modulation induced by the presence of intensity modulated channels) makes one of them much more effective than the other.

No description available.

Tableau d'honneur de la FÉSP

Cette thèse traite de la trajectographie exo-atmosphérique d'un lanceur. Cette probl ématique repose sur la résolution d'un problème d'optimisation contraint : le problème aux deux bouts. Ce dernier consiste à trouver les actions à prendre afin d'atteindre la position et la vitesse désirées en consommant le moins d'énergie possible. Ces actions doivent respecter les contraintes imposées par la dynamique et la structure du véhicule. En plus, dans le cas d'un lanceur, le contrôle s'effectue uniquement en modifiant l'orientation de la poussée. Pour résoudre ce problème, le projet de doctorat est divisé en trois parties distinctes : la modélisation de la dynamique, l'obtention d'une trajectoire de référence et la fonction de guidage. La première partie, la modélisation, consiste à obtenir un modèle précis et réaliste de la dynamique de translation d'un lanceur. Elle passe donc par l'application de la seconde loi de Newton sur le centre de masse du lanceur. Dans cette thèse, ceci est effectué en utilisant trois représentations différentes, dont une nouvelle utilisant un quaternion qui permet de combler le vide entre les deux représentations existantes. À la suite de l'obtention d'un modèle du véhicule à guider, il devient possible de définir une trajectoire de référence régie par cette dynamique. Pour y parvenir, ce projet propose une optimisation directe où l'orientation de la poussée est discrétisée et correspond aux inconnues du problème d'optimisation. Le critère de ce problème d'optimisation inclut des termes utilisant des connaissances a priori de la trajectoire pour améliorer les propriétés de convergence. Le problème d'optimisation inclut également des contraintes, relaxées par des variables d'écart, sur l'orbite d'injection. La trajectoire résultante est utilisée comme consigne dans une fonction de guidage par suivi de trajectoire. Le suivi de trajectoire est une façon contournée de traiter le problème aux deux bouts et d'accélérer la résolution du problème de guidage afinn de s'insérer dans les capacités de calcul embarqué. Les algorithmes développés dans cette thèse sont basés sur la commande prédictive où les sorties du modèle prédictif sont les paramètres orbitaux instantanés de la trajectoire. Le premier algorithme utilise un modèle non-linéaire de prédiction alors que les deux autres sont basés sur une représentation linéaire variante dans le temps et sur une représentation linéaire fractionnelle. Ces trois algorithmes sont comparés à une solution classique en guidage de lanceur qui résout directement le problème aux deux bouts. Bien que les algorithmes développés produisent une orbite plus près de celle désirée et y parviennent en consommant moins de carburant, le temps de calcul nécessaire à leur résolution et leur piètre robustesse font en sorte qu'ils ne constitue pas une alternative intéressante à la solution de référence. / This thesis deals with the exo-atmospheric trajectory of a space launcher. The solution is obtained by solving a constrained optimization problem : the two-point boundary value problem. The solution is the required actions to reach the desired position and velocity while consuming the least energy as possible. These actions must comply with the constraints imposed by the dynamics and the structure of the vehicle. Also, for a space launcher, the control is limited to the thrust orientation. To solve this problem, this project is divided into three distinct parts : modeling the dynamics, obtaining a reference trajectory and the guidance function. The first part, the modeling, is the definition of an accurate and realistic model of the space launcher translational dynamics. Therefore, it requires the application of Newton's second law on the launcher center of mass. In this thesis, this is carried out using three different representations. The representation using a full quaternion is new to this field of application and fills the hole between the two others. With the model of the vehicle to be guided, it becomes possible to define a reference trajectory governed by this model. To do it, this project proposes a direct optimization where the thrust orientation is discretized and becomes the unknown of the optimization problem. The criterion of this optimization problem includes terms for a priori knowledge of the trajectory improving the convergence properties of the optimization. The optimization problem also includes constraints, relaxed by slack variables, on the injection orbit. The resulting trajectory is used as reference in a trajectory tracking guidance function. The trajectory tracking is a way to circumvent the resolution of the two-point boundary value problem, which accelerates the resolution to fit in on-board computing capabilities. The algorithms developed in this thesis are based on predictive control in which the outputs of predictive model are the instantaneous orbital parameters of the trajectory. A first algorithm uses a non-linear model for prediction while two others are rather based on a linear time-varying representation and a linear fractional representation. These three algorithms are compared to a conventional space launcher guidance solution, which directly solves the two-point boundary value problem. Even if the developped algorithms give a more accurate orbit and a less consuming trajectory, their computationnal time and poor robustness properties do not make them a viable alternative to the comparison solution.