Search

Gestion opérationnelle optimale d'un système hybride de production d'électricité déconnecté du réseau central

National audience; This thesis deals with the stabilization of switched affine systems with a periodicsampled-data switching control. The particularities of this class of nonlinear systemsare first related to the fact that the control action is performed at the computationtimes by selecting the switching mode to be activated and, second, to the problem ofproviding an accurate characterization of the set where the solutions to the system convergeto, i.e. the attractors. The contributions reported in this thesis have as commonthread to reduce the conservatism made in the characterization of attractors, leadingto guarantee the stabilization of the system at a limit cycle.After a brief introduction presenting the context and some main results, the firstcontributive chapter introduced a new method based on a new class of control Lyapunovfunctions that provides a more accurate characterization of the invariant set for a closedloopsystem. The contribution presented as a non convex optimization problem andreferring to a Lyapunov-Metzler condition appears to be a preliminary result and themilestone of the forthcoming chapters.The second part deals with the stabilization of switched affine systems to limit cycles.After presenting some preliminaries on hybrid limit cycles and derived notions such ascycles in Chapter 3, stabilizing switching control laws are developed in Chapter 4. Acontrol Lyapunov approach and a min-switching strategy are used to guarantee thatthe solutions to a nominal closed-loop system converge to a limit cycle. The conditionsof the theorem are expressed in terms of simple linear matrix inequalities (LMI), whoseunderlying necessary conditions relax the usual one in this literature. This method isthen extended to the case of uncertain systems in Chapter 5, for which the notion of limitcycle needs to be adapted. Finally, the hybrid dynamical system framework is exploredin Chapter 6 and the attractors are no longer characterized by possibly disjoint regionsbut as continuous-time closed and isolated trajectory. All along the dissertation, thetheoretical results are evaluated on academic examples and demonstrate the potentialof the method over the recent literature on this subject.; Cette thèse porte sur la stabilisation des systèmes `a commutation dont la commande,le signal de commutation, est echantillonnee de manière periodique. Les difficultésliées `a cette classe de systèmes non linéaires sont d’abord dues au fait que l’action decontrôle est effectuée aux instants de calcul en sélectionnant le mode de commutation `aactiver et, ensuite, au problème de fournir une caractérisation précise de l’ensemble verslequel convergent les solutions du système a réduction du conservatisme fait pendant ladéfinition d’attracteurs, ce qui a mené `a garantir la stabilisation du système `a un cyclelimite.Après une introduction générale o`u sont présentes le contexte et les principauxrésultats de la littérature, le premier chapitre contributif introduit une nouvelle méthodebasée sur une nouvelle classe de fonctions de Lyapunov contrôlées qui fournit une caractérisation plus précise des ensembles invariants pour les systèmes en boucle fermée.La contribution presentee comme un problème d’optimisation non convexe et faisantreference `a une condition de Lyapunov-Metzler apparaît comme un résultat préliminaireet une ´etape cl´e pour les chapitres `a suivre.La deuxième partie traite de la stabilisation des systèmes affines commutes versdes cycles limites. Après avoir présente quelques préliminaires sur les cycles limites hybrideset les notions derivees telles que les cycles au Chapitre 3, les lois de commutationstabilisantes sont introduites dans le Chapitre 4. Une approche par fonctions de Lyapunovcontrôlées et une stratégie de min-switching sont utilisées pour garantir que lessolutions du système nominal en boucle fermée convergent vers un cycle limite. Les conditionsdu théorème sont exprimées en termes d’Inegalites Matricielles Linéaires (dontl’abréviation anglaise est LMI) simples, dont les conditions nécessaires sous-jacentesrelâchent les conditions habituelles dans cette littérature. Cette méthode est étendueau cas des systèmes incertains dans le Chapitre 5, pour lesquels la notion de cycles limitesdoit être adaptée. Enfin, le cas des systèmes dynamiques hybrides est explore auChapitre 6 et les attracteurs ne sont plus caractérises par des régions éventuellement disjointesmais par des trajectoires fermées et isolées en temps continu. Tout au long de lathèse, les résultats théoriques sont évaluées sur des exemples académiques et démontrentle potentiel de la méthode par rapport `a la littérature récente sur le sujet.

The increasing number of offshore facilities triggers the need for reliable autonomous robots to perform inspection and maintenance missions, while minimising operational expenses. In order to decrease the likelihood of undesired events during a mission, mathematical tools can be used to prove a priori its feasibility. In the following, new methods based on a set-membership approach are developed and presented in this regard.First, we propose a new method to analyse stability of a discrete, continuous and hybrid uncertain system. Alternatively, we present an approach based on reachability analysis for which we developed a novel constraint programming tool to implement differential constraints. Both approaches allow predicting the behaviour of a robot before its actual deployment.These tools are illustrated with realistic examples falling in the field of localisation & control, and in particular applied to underwater docking. Furthermore, the Computer-Assisted Proofs in Dynamics (CAPD) library is introduced in a robotics context via practical examples.; La multiplication des installations offshore suscite un besoin de robots autonomes fiables, capable d’effectuer des missions d’inspection et de maintenance tout en minimisant les coûts opérationnels. Pour réduire le risque d’accident pendant une mission, des outils mathématiques peuvent être utilisés pour démontrer a priori son bon déroulement. Dans cette thèse, des nouvelles méthodes reposant sur une approche ensembliste sont présentées à cet effet.Premièrement, nous proposons une nouvelle méthode pour analyser la stabilité d’un système incertain discret, continue ou hybride. Ensuite, nous présentons une approche s’inspirant de l’analyse d’atteignabilité, pour laquelle nous avons développé un nouvel outil de programmation par contraintes permettant d’implémenter des contraintes différentielles. Ces deux approches permettent de prédire le comportement d’un robot avant même son déploiement.Ces outils sont illustrés par des exemples réalistes issus des domaines de la localisation et du contrôle, appliqués au problème d’amarrage sous-marin. De plus, nous présentons la librairie CAPD dans un contexte robotique grâce à des exemples pratiques.

The increasing number of offshore facilities triggers the need for reliable autonomous robots to perform inspection and maintenance missions, while minimising operational expenses. In order to decrease the likelihood of undesired events during a mission, mathematical tools can be used to prove a priori its feasibility. In the following, new methods based on a set-membership approach are developed and presented in this regard. First, we propose a new method to analyse stability of a discrete, continuous and hybrid uncertain system. Alternatively, we present an approach based on reachability analysis for which we developed a novel constraint programming tool to implement differential constraints. Both approaches allow predicting the behaviour of a robot before its actual deployment. These tools are illustrated with realistic examples falling in the field of localisation & control, and in particular applied to underwater docking. Furthermore, the Computer-Assisted Proofs in Dynamics (CAPD) library is introduced in a robotics context via practical examples.; La multiplication des installations offshore suscite un besoin de robots autonomes fiables, capable d’effectuer des missions d’inspection et de maintenance tout en minimisant les coûts opérationnels. Pour réduire le risque d’accident pendant une mission, des outils mathématiques peuvent être utilisés pour démontrer a priori son bon déroulement. Dans cette thèse, des nouvelles méthodes reposant sur une approche ensembliste sont présentées à cet effet. Premièrement, nous proposons une nouvelle méthode pour analyser la stabilité d’un système incertain discret, continue ou hybride. Ensuite, nous présentons une approche s’inspirant de l’analyse d’atteignabilité, pour laquelle nous avons développé un nouvel outil de programmation par contraintes permettant d’implémenter des contraintes différentielles. Ces deux approches permettent de prédire le comportement d’un robot avant même son déploiement. Ces outils sont illustrés par des exemples réalistes issus des domaines de la localisation et du contrôle, appliqués au problème d’amarrage sous-marin. De plus, nous présentons la librairie CAPD dans un contexte robotique grâce à des exemples pratiques.

The increasing number of offshore facilities triggers the need for reliable autonomous robots to perform inspection and maintenance missions, while minimising operational expenses. In order to decrease the likelihood of undesired events during a mission, mathematical tools can be used to prove a priori its feasibility. In the following, new methods based on a set-membership approach are developed and presented in this regard.First, we propose a new method to analyse stability of a discrete, continuous and hybrid uncertain system. Alternatively, we present an approach based on reachability analysis for which we developed a novel constraint programming tool to implement differential constraints. Both approaches allow predicting the behaviour of a robot before its actual deployment.These tools are illustrated with realistic examples falling in the field of localisation & control, and in particular applied to underwater docking. Furthermore, the Computer-Assisted Proofs in Dynamics (CAPD) library is introduced in a robotics context via practical examples.; La multiplication des installations offshore suscite un besoin de robots autonomes fiables, capable d’effectuer des missions d’inspection et de maintenance tout en minimisant les coûts opérationnels. Pour réduire le risque d’accident pendant une mission, des outils mathématiques peuvent être utilisés pour démontrer a priori son bon déroulement. Dans cette thèse, des nouvelles méthodes reposant sur une approche ensembliste sont présentées à cet effet.Premièrement, nous proposons une nouvelle méthode pour analyser la stabilité d’un système incertain discret, continue ou hybride. Ensuite, nous présentons une approche s’inspirant de l’analyse d’atteignabilité, pour laquelle nous avons développé un nouvel outil de programmation par contraintes permettant d’implémenter des contraintes différentielles. Ces deux approches permettent de prédire le comportement d’un robot avant même son déploiement.Ces outils sont illustrés par des exemples réalistes issus des domaines de la localisation et du contrôle, appliqués au problème d’amarrage sous-marin. De plus, nous présentons la librairie CAPD dans un contexte robotique grâce à des exemples pratiques.

Photocatalytic solar fuel production is an effective means of chemical storage for solar energy and it provides a potential fruitful option for achieving a zero-emissions energy system. The cornerstone of a practical solar fuel production process is to design and optimize stable, efficient, and scalable photocatalysts, including a semiconductor material that accommodates photon absorption, efficient charge carriers generation, transport, and then catalytic reactions. Molecular catalysis plays an essential role in both natural and artificial photosynthesis. In this doctoral work, I have (i) investigated a bimetallic complex for selective CO2 reduction, illustrating that molecular catalysis is one of the promising way to activate metal cooperativity with outstanding intrinsic activities; (ii) synthesized inorganic material (semiconductive carbon nitride and graphitic acid) able to be functionalized with a molecular molecule (cobalt quaterpyridine) through a covalent amide bond. Effective heterogenization of the two components was thoroughly accessed. These hybrid systems showed high catalytic performance towards CO2 photoreduction. They illustrate that the development of molecular catalysts is worth to be explored for the invention of scalable catalytic systems that are needed for large scale, practical solar fuel production. In the mechanism of material-supported molecule catalysts, challenges still remain regarding both to molecular stability, heterogenization techniques, and control of the electronic interaction between these components.; La production photocatalytique de carburants solaires est un moyen efficace de stockage chimique de l'énergie solaire et offre une option potentiellement fructueuse pour parvenir à un système énergétique à zéro émission de carbone. La pierre angulaire d'un processus pratique de production de carburant solaire est de concevoir et d'optimiser des photocatalyseurs stables, efficaces et déployables à grande échelle, et comprenant un matériau semi-conducteur permettant l'absorption de photons, la génération efficace de porteurs de charge, leur transport jusqu’à la réalisation de réactions catalytiques.La catalyse moléculaire joue un rôle essentiel dans la photosynthèse naturelle et artificielle. Dans ce travail de doctorat, j’ai étudié (i) un complexe bimétallique pour la réduction sélective du CO2, illustrant le fait que la catalyse moléculaire est l'un des moyens prometteurs pour mettre en œuvre la coopérativité des métaux avec des activités intrinsèques exceptionnelles ; (ii) des matériaux inorganiques (nitrure de carbone semi-conducteur et acide graphitique) pouvant être fonctionnalisés par une molécule (complexe quaterpyridine de cobalt) par le biais d’une liaison amide covalente. Une hétérogénéisation efficace des deux composants a été réalisée. Ces systèmes hybrides ont montré des performances catalytiques élevées vis-à-vis de la photoréduction au CO2. Ils illustrent que le développement de catalyseurs moléculaires vaut la peine d'être exploré afin de parvenir à des systèmes catalytiques évolutifs qui sont nécessaires pour la production pratique de carburant solaire à grande échelle. Dans le mécanisme de fonctionnement des catalyseurs moléculaires supportés par des matériaux, des défis subsistent en ce qui concerne à la fois la stabilité de l’unité moléculaire, les techniques d'hétérogénéisation et le contrôle de l'interaction électronique entre les composants.

Photocatalytic solar fuel production is an effective means of chemical storage for solar energy and it provides a potential fruitful option for achieving a zero-emissions energy system. The cornerstone of a practical solar fuel production process is to design and optimize stable, efficient, and scalable photocatalysts, including a semiconductor material that accommodates photon absorption, efficient charge carriers generation, transport, and then catalytic reactions. Molecular catalysis plays an essential role in both natural and artificial photosynthesis. In this doctoral work, I have (i) investigated a bimetallic complex for selective CO2 reduction, illustrating that molecular catalysis is one of the promising way to activate metal cooperativity with outstanding intrinsic activities; (ii) synthesized inorganic material (semiconductive carbon nitride and graphitic acid) able to be functionalized with a molecular molecule (cobalt quaterpyridine) through a covalent amide bond. Effective heterogenization of the two components was thoroughly accessed. These hybrid systems showed high catalytic performance towards CO2 photoreduction. They illustrate that the development of molecular catalysts is worth to be explored for the invention of scalable catalytic systems that are needed for large scale, practical solar fuel production. In the mechanism of material-supported molecule catalysts, challenges still remain regarding both to molecular stability, heterogenization techniques, and control of the electronic interaction between these components.; La production photocatalytique de carburants solaires est un moyen efficace de stockage chimique de l'énergie solaire et offre une option potentiellement fructueuse pour parvenir à un système énergétique à zéro émission de carbone. La pierre angulaire d'un processus pratique de production de carburant solaire est de concevoir et d'optimiser des photocatalyseurs stables, efficaces et déployables à grande échelle, et comprenant un matériau semi-conducteur permettant l'absorption de photons, la génération efficace de porteurs de charge, leur transport jusqu’à la réalisation de réactions catalytiques.La catalyse moléculaire joue un rôle essentiel dans la photosynthèse naturelle et artificielle. Dans ce travail de doctorat, j’ai étudié (i) un complexe bimétallique pour la réduction sélective du CO2, illustrant le fait que la catalyse moléculaire est l'un des moyens prometteurs pour mettre en œuvre la coopérativité des métaux avec des activités intrinsèques exceptionnelles ; (ii) des matériaux inorganiques (nitrure de carbone semi-conducteur et acide graphitique) pouvant être fonctionnalisés par une molécule (complexe quaterpyridine de cobalt) par le biais d’une liaison amide covalente. Une hétérogénéisation efficace des deux composants a été réalisée. Ces systèmes hybrides ont montré des performances catalytiques élevées vis-à-vis de la photoréduction au CO2. Ils illustrent que le développement de catalyseurs moléculaires vaut la peine d'être exploré afin de parvenir à des systèmes catalytiques évolutifs qui sont nécessaires pour la production pratique de carburant solaire à grande échelle. Dans le mécanisme de fonctionnement des catalyseurs moléculaires supportés par des matériaux, des défis subsistent en ce qui concerne à la fois la stabilité de l’unité moléculaire, les techniques d'hétérogénéisation et le contrôle de l'interaction électronique entre les composants.

Modeling of many phenomena in nature escape the rather common frameworks of continuous-time and discrete-time models. In fact, for many systems encountered in practice, these two paradigms need to be intrinsically related and connected, in order to reach a satisfactory level of description in modeling the considered physical/engineering process.These systems are often referred to as hybrid systems, and various possible formalisms have appeared in the literature over the past years.The aim of this thesis is to analyze the stability of particular classes of hybrid systems, by providing Lyapunov-based sufficient conditions for (asymptotic) stability. In particular, we will focus on non-differentiable locally Lipschitz candidate Lyapunov functions. The first chapters of this manuscript can be considered as a general introduction of this topic and the related concepts from non-smooth analysis.This will allow us to study a class of piecewise smooth maps as candidate Lyapunov functions, with particular attention to the continuity properties of the constrained differential inclusion comprising the studied hybrid systems. We propose ``relaxed'' Lyapunov conditions which require to be checked only on a dense set and discuss connections to other classes of locally Lipschitz or piecewise regular functions.Relaxing the continuity assumptions, we then investigate the notion of generalized derivatives when considering functions obtained as max-min combinations of smooth functions. This structure turns out to be particularly fruitful when considering the stability problem for differential inclusions arising from regularization of state-dependent switched systems.When the studied switched systems are composed of linear sub-dynamics, we refine our results, in order to propose algorithmically verifiable conditions.We further explore the utility of set-valued derivatives in establishing \emph{input-to-state} stability results, in the context of perturbed differential inclusions/switched systems, using locally Lipschitz candidate Lyapunov functions. These developments are then used in analyzing the stability problem for interconnections of differential inclusion, with an application in designing an observer-based controller for state-dependent switched systems., La Nature, dans ses multiples manifestations, nous fournit un grand nombre d’exemples pour lesquels il est nécessaire d’aller au-delà de la distinction classique entre modèles où le temps est décrit comme une entité continue et modèles où le temps est discret/discrétisé. En particulier, pour une multitude de systèmes en physique/ingénierie, ces deux aspects temporels sont fondamentalement liés, et nécessitent donc que ces deux paradigmes soient connectés et mis en relation, pour une meilleure précision et fidélité dans la représentation du phénomène. Cette famille de systèmes est souvent appelée ``systèmes hybrides’’, et différentes formalisations mathématiques ont été proposées.L’objectif de cette thèse est l’analyse et l’étude de la stabilité (asymptotique) pour certaines classes de systèmes hybrides, en proposant des conditions suffisantes à la Lyapunov. Plus spécifiquement, nous nous concentrerons sur des fonctions de Lyauponv non-lisses ; pour cette raison, les premiers chapitres de cette thèse peuvent être considérés comme une introduction générale de ce sujet, proposant les instruments nécessaires issus de l’analyse non-lisse.Tout d'abord, grâce à ces outils, nous pourrons étudier une classe de fonctions de Lyapunov construites par morceaux, avec une attention particulière aux propriétés de continuité des inclusions différentielles qui composent le système hybride considéré. Nous proposons des conditions qui doivent être vérifiées seulement sur un sous-ensemble dense, et donc allant au-delà de résultats existants.En négligeant les hypothèses de continuité, nous étudions ensuite comment les notions de dérivées généralisées se spécialisent en considérant des fonctions construites comme combinaisons de maximum/ minimum de fonctions lisses. Cette structure devient particulièrement fructueuse quand on regarde la classe des systèmes à commutation dépendant de l’état du système. Dans le cas où les sous-dynamiques sont linéaires, nous étudions comment les conditions proposées peuvent être vérifiées algorithmiquement.L’utilité des notions de dérivées généralisées est finalement explorée dans le contexte de la stabilité entrée-état (ISS) pour inclusions différentielles avec perturbations extérieures. Ces résultats nous permettent de proposer des critères de stabilité pour systèmes interconnectés, et notamment une application du design de contrôleurs pour systèmes à commutation dépendant de l’état.

There is an ever growing interest in ultra-accurate mass detection in the health, environment and agri-food fields. In this context, the last decade has seen the emergence of resonant sensors based on Anderson localization in an array of weakly coupled resonators. Known to be highly sensitive to mass perturbations, this phenomenon however requires identical and coupled resonators, which is a challenge due to microfabrication constraints. In order to overcome this limitation, we present in this thesis an alternative solution based on a hybrid system, where a hardware (field programmable gate array) plays the role of a resonator as well as the coupling in closed loop with a quartz cristal microbalance (QCM) having a Q-factor greater than 100000. The digital aspect of the system allows maximum sensitivity to be achieved with a fine tuning of the different parameters. In addition, this system can be adapted to the geometry of the physical resonator, indeed allowing the implementation of mode localization in shear waves resonant structures such as the QCM which is widely used in biosensing for its high Q-factor and large binding surface. This solution has been designed, implemented and tested with digital and mass perturbations, and the results are consistent with theoretical models. Finally, the experimental sensitivities achieved in this work are at least an order of magnitude higher than those found in the literature, which is promising for the design of a new generation of ultrasensitive sensors based on Anderson localization. However, these results have yet to be confronted with signal-to-noise ratio problems, as suggested by the theoretical studies carried out in the framework of this thesis., Il existe un intérêt croissant pour la détection de masse ultra-précise dans les domaines de la santé, de l'environnement et de l'agroalimentaire. Dans ce contexte, la dernière décennie a vu l'émergence de capteurs basés sur la localisation d'Anderson dans un réseau de résonateurs faiblement couplés. Connu pour être très sensible aux perturbations de masse, ce phénomène nécessite toutefois des résonateurs couplés, ce qui constitue un défi en raison des contraintes de microfabrication. Afin de surmonter cette limitation, nous présentons dans cette thèse une solution alternative basée sur un système hybride constitué d'un filtre numérique FPGA et d'un résonateur mécanique type QCM ayant un facteur de qualité Q supérieur à 100 000. L'aspect numérique du système permet d'atteindre une sensibilité maximale à partir d'un réglage fin des différents paramètres. En outre, ce système peut être adapté à la géométrie du résonateur physique, permettant en effet la mise en œuvre de la localisation des modes dans les structures résonantes des ondes de cisaillement telles que le QCM qui est largement utilisé en biodétection pour son facteur Q élevé et sa grande surface active. Cette solution a été conçue, mise en œuvre et testée avec des perturbations numériques et de masse, et les résultats sont conformes aux modèles théoriques. Enfin, les sensibilités normalisées expérimentales obtenues sont au moins d'un ordre de grandeur supérieur à ceux que l'on trouve dans la littérature, ce qui est prometteurs pour la conception d'une nouvelle génération de capteurs ultrasensibles basés sur la technologie de localisation d'Anderson. Cependant, ces résultats doivent encore être confrontés au rapport signal/bruit, comme le suggèrent les études théoriques réalisées dans le cadre de cette thèse.

The major objective of this thesis is to propose a methodology and a modeling tool to design high performance, affordable and flexible hybrid refrigeration and air conditioning systems. It focuses on hybrid systems based on coupling a desiccant cycle with a vapor compression cycle allowing an efficient humidity control in air conditioning applications and a frost free operation in refrigeration applications. The work was developed to investigate a novel design of a membrane based heat and mass exchanger using original membrane materials and new design related to liquid distribution. The design takes advantage of materials with low cost that are experimentally tested using a new methodology to infer their water vapor permeability that greatly affects the mass transfer. A prototype of the designed membrane exchanger is then built and a modeling approach of the heat and mass transfer phenomena is developed and is supported by experimental characterization. This model is then used to study the energy interest of the integration of these exchangers in air conditioning applications and to design a flexible architecture able to cope with the seasonal variation of the latent to sensible load ratio. The results show that the studied hybrid system present promising alternatives for conventional cycles where they can significantly improve the performance and decrease the consumption of electricity.; L'objectif principal de cette thèse est de proposer une méthodologie et un outil de modélisation pour concevoir des systèmes hybrides de réfrigération et de climatisation à haute performance, abordables et flexibles. Il se concentre sur des systèmes hybrides basés sur le couplage d'un cycle de dessiccation et un cycle de compression de vapeur permettant un contrôle efficace de l'humidité dans les applications de climatisation et un fonctionnement sans givre dans les applications de réfrigération. Le travail a été développé pour étudier une nouvelle conception d'un échangeur membranaire de chaleur et de masse à l'aide de membranes originales et d'une nouvelle conception liée à la distribution de liquide. La conception tire parti des matériaux à faible coût qui sont testés expérimentalement à l'aide d'une nouvelle méthodologie pour déduire leur perméabilité de la vapeur d'eau qui affecte significativement le transfert de masse. Un prototype de l'échangeur membranaire proposé est alors construit et une approche de modélisation des phénomènes de transfert de chaleur et de masse est développée et appuyée par des caractérisations expérimentales. Ce modèle est ensuite utilisé pour étudier l'intérêt énergétique de l'intégration de ces échangeurs dans les applications de climatisation et pour concevoir une architecture flexible capable de faire face à la variation saisonnière du rapport de charge latente à sensible. Les résultats montrent que le système hybride étudié présente des solutions alternatives prometteuses comparé aux cycles conventionnels, où ils peuvent améliorer de façon significative les performances et réduire la consommation d'électricité.

Nowadays, the most important challenge of West African countries is to reach a growth rate permitting them to face this dreadful calamity which is poverty. Since the end of 1970, the outlying countries have decided to put in place some adjusting plans which bring about reforms in the key fields of countries. The access of populations to the energies represent real symbol of development, electrical field is not on the leash. Since 1970’s years, Ivory Coast followed by Senegal, Mali, the Gambia and Burkina Faso have started some huge reforms: NIGER has opened its market to the independent producers, but also decided to make renewable energies a power of development of the country. In this way, a national strategy of boosting the renewable energies to fight against poverty has been set, identifying the real energetic objectives for each renewable field and especially the photovoltaic. Therefore, a lot of companies started the promotion and the vulgarization of renewable energies through NIGER. At the beginning, the first photovoltaic systems installed were specified for the eras uncovered by the electrical distributing network with self systems. However with the time, we noticed that with the technology progress appeared Hybrid systems that we are going to emphasize and those connected to distributing network. Hybrid systems are technologies that can receive a part of their energy from one or a lot of supplementary sources, which can be also independent of the distributing network. In real time, the photovoltaic generator is combined to a windmill, a fuel generator, to the distributing network or to the thrice with stocking accumulators energy. A kind of system is a good choice for applications which are in need of a high continual source of power. This system optimize the combined use of many renewable sources of energy and, or fossils and stocking way associated which prove to be a good investment for KOLLO’s Health Center.; Le plus grand challenge de l'Afrique de l'Ouest est d'atteindre un taux de croissance lui permettant de faire face à cet épouvantable fléau que représente la pauvreté. Depuis la fin des années 1970, les pays de la sous-région ont donc essayé de mettre en place des plans d'ajustement engendrant des réformes dans les secteurs clé des pays. L’accès à l'énergie des populations représentant un moteur fort de développement, le secteur de l'électricité n'y a pas échappé. Depuis les années 1990, la Côte d'Ivoire suivie par le Sénégal, le Mali, la Gambie et le Burkina Faso ont donc entamé de grandes réformes : le Niger a aussi ouvert son marché aux producteurs indépendants, mais aussi décidé de faire des énergies renouvelables, un générateur de développement du pays. Ainsi, une stratégie nationale de relance des énergies renouvelables pour la lutte contre la pauvreté a été établie, identifiant des objectifs énergétiques clairs pour chaque filière renouvelable et en particulier le photovoltaïque. C’est ainsi que plusieurs entreprises commencèrent à promouvoir et à vulgariser les énergies renouvelable de par le Niger. Au commencement, les premières installations photovoltaïques étaient plus destinées aux zones non couvertes par le Réseau de la NIGELEC avec des systèmes autonomes. Mais par la suite, nous constatèrent qu’avec le progrès de cette technologie apparurent les systèmes hybrides qui feront l’objet de notre étude et ceux raccordés au réseau national. Les systèmes hybrides sont des technologies recevant une partie de leur énergie d‘une ou plusieurs sources supplémentaires, qui peuvent être également indépendants des réseaux de distribution d‘électricité. En pratique, le générateur photovoltaïque est combiné à une éolienne, à un groupe électrogène à combustible, au réseau électrique national ou aux trois à la fois avec des accumulateurs de stockage de l‘énergie. Un tel système s‘avère un bon choix pour les applications qui nécessitent une alimentation continue d‘une puissance assez élevée. Ce système optimise l‘utilisation combinée de plusieurs sources d‘énergies renouvelables et, ou fossiles et des moyens de stockage associés qui s’avère ainsi, un bon investissement pour le CSPS de Kollo.

This thesis proposes the design of hybrid control laws for power electronics converters. These new type of control laws are based on some hybrid models which capture the macroscopic dynamical behaviors of such electronic devices, essentially its hybrid nature. In the context of the regulation of DC-DC or AC-DC converters, applying the hybrid dynamical theory, the proposed control laws are proved to ensure the stability of the closed loop as well as some LQ performances. For a half-bridge inverter (DC-AC converter), a hybrid control law is proposed in order that the output voltage tracks a desired sinusoidal reference. In the case of unknown load, an adaptive control law is coupled to the hybrid control allowing the estimation of the load and therefore leading to a more precise regulation or tracking. Notice that in order to achieve a perfect regulation or tracking, an infinite frequency is often mandatory for the proposed control laws, which is inappropriate in practice. To tackle this problem, a space- or time-regularization are added to the hybrid closed-loop ensuring a dwell time between two consecutive jumps and reducing thus drastically the switching frequency., Cette thèse propose la conception de lois de commandes hybrides pour les convertisseurs électroniques de puissance. Ce nouveau type de lois de commande est basé sur l'utilisation de modèles hybrides qui capturent les comportements dynamiques macroscopiques de ces dispositifs électroniques, essentiellement leur nature hybride. Dans le contexte de la régulation des convertisseurs DC-DC ou AC-DC, en appliquant la théorie des systèmes hybrides, il est ainsi prouvé que les lois de commandes proposées assurent la stabilité de la boucle fermée ainsi que certaines performances de type LQ. Pour un onduleur en demi-pont (convertisseur DC-AC), une loi de commande hybride est proposée afin que la tension de sortie suive une référence sinusoïdale souhaitée. Dans le cas d'une charge inconnue, une loi de commande adaptative est alors couplée à la commande hybride permettant l'estimation de la charge et donc une régulation ou un suivi de trajectoire plus précis. Notons que pour obtenir une régulation ou un suivi parfait, une fréquence infinie est souvent obligatoire pour les lois de contrôle proposées, ce qui est inappropriée en pratique. Pour résoudre ce problème, une régularisation de l'espace d'état ou du temps est ajoutée à la boucle fermée assurant un temps de maintien entre deux sauts consécutifs et réduisant ainsi considérablement la fréquence de commutation.

Embedded software has becomeessential in most industrial sectors. The latterusually involves various business knowledge.The whole system (the software and itsenvironment) is specified in a heterogeneousform, with discrete and continuous parts.Simulating these hybrid systems requiresprecise data and synchronization of continuouschanges and discrete transitions. However, inthe first design steps, missing informationforbids numerical simulation. We present in ourthesis a new qualitative language for qualitativesimulation of hybrid systems, which consists incomputing the relationships between the systemvariables. This language is implemented in theDiversity symbolic execution engine to build thetraces of the system. We apply this approach tothe analysis of SysML models, using an M2Mtransformation from SysML to a pivot language,an M2T transformation from this language toDiversity. We also analyze the brutal symbolictraces obtained by Diversity to build the realqualitative behaviors of the system., Le logiciel embarqué est devenuaujourd’hui incontournable dans la plupart dessecteurs industriels. Ce dernier fait appel engénéral à des connaissances métier différentes.L’ensemble du système (le logiciel et sonenvironnement) est ainsi spécifié d’une manièrehétérogène, avec des parties discrètes et d’autrescontinues. La simulation de ces systèmeshybrides nécessite des données précises et unesynchronisation des changements continus avecles transitions discrètes. Mais, dans les premièresphases de conception, l’absence des informationsempêche de simuler le système numériquement.Dans notre thèse, nous présentons un nouveaulangage qualitatif dédié à la simulationqualitative des systèmes hybrides. Ce nouveaulangage consiste à modéliser les relations entreles variables du système. Il est implémenté dansDiversity, un moteur d’exécution symbolique,pour construire les traces du système. Nousavons appliqué cette approche à l’analyse desmodèles SysML, en utilisant une transformationM2M à partir de SysML vers un langage pivot,une transformation M2T à partir de ce langagevers Diversity. Nous avons aussi analysé lestraces brutes de l’exécution symbolique deDiversity pour construire les comportementsqualitatifs du système.

Cyber-Physical Systems form a class of complex, large-scale systems of frequently safety-critical nature in various industrial applications. Formal verification approaches can provide performance and safety guarantees for these systems. They require three elements: a formal model, a formal verification method, and a set of formal specifications. However, industrial models are typically non-formal, they are analyzed in non-formal simulation environments, and their specifications are described in non-formal natural language. In this thesis, we aim to facilitate the integration of formal verification into the industrial model-based design process.Our first key contribution is a model transformation methodology. Starting with a standard simulation model, we transform it into an equivalent verification model, particularly a network of hybrid automata. The transformation process addresses differences in syntax, semantics, and other aspects of modeling. For this class of formal models, so-called reachability algorithms can be applied to verify safety properties. An obstacle is that scalable algorithms exist for piecewise affine (PWA) models, but not for nonlinear ones. To obtain PWA over-approximations of nonlinear dynamics, we propose a compositional syntactic hybridization technique. The result is a highly compact model that retains the modular structure of the original simulation model and largely avoids an explosion in the number of partitions.The second key contribution is an approach to encode rich formal specifications so that they can be interpreted by tools for reachability. Herein, we consider specifications expressed by pattern templates since they are close to natural language and can be easily understood by non-expert users. We provide (i) formal definitions for select patterns that respect the semantics of hybrid automata, and (ii) monitors which encode the properties as the reachability of an error state. By composing these monitors with the formal model under study, the properties can be checked by off-the-shelf fully automated verification tools.Furthermore, we provide a semi-automated toolchain and present results from case studies conducted in collaboration with industrial partners., Les systèmes cyber-physiques sont une classe de systèmes complexe, de grande échelle, souvent critiques de sûreté, qui apparaissent dans des applications industrielles variées. Des approches de vérification formelle sont capable de fournir des garanties pour la performance et la sûreté de ces systèmes. Elles nécessitent trois éléments : un modèle formel, une méthode de vérification, ainsi qu’un ensemble de spécifications formelles. En revanche, les modèles industriels sont typiquement informels, ils sont analysés dans des environnements de simulation informels et leurs spécifications sont décrits dans un langage naturel informel. Dans cette thèse, nous visons à faciliter l’intégration de la vérification formelle dans le processus industriel de la conception basé sur modèle.Notre première contribution clé est une méthodologie de transformation de modèle. A partir d’un modèle de simulation standard, nous le transformons en un modèle de vérification équivalent, plus précisément en un réseau d’automates hybrides. Le processus de transformation prend en compte des différences de syntaxes, sémantique et d’autres aspects de la modélisation. Pour cette classe de modèle formel, des algorithmes d’atteignabilité peuvent être appliqués pour vérifier des propriétés de sûreté. Un obstacle est que des algorithmes d’atteignabilité se mettent à l’échelle pour des modèles affines par morceaux, mais pas pour des modèles non linéaires. Pour obtenir des surapproximations affines par morceaux des dynamiques non linéaires, nous proposons une technique compositionnelle d’hybridisation syntaxique. Le résultat est un modèle très compact qui retient la structure modulaire du modèle d’origine de simulation, tout en évitant une explosion du nombre de partitions.La seconde contribution clé est une approche pour encoder des spécifications formelles riches de façon à ce qu’elles peuvent être interprétées par des outils d’atteignabilité. Nous prenons en compte des spécifications exprimées sous forme d’un gabarit de motif (pattern template), puisqu’elles sont proche au langage naturel et peuvent être compris facilement par des utilisateurs non experts. Nous fournissons (i) des définitions formelles pour des motifs choisis, qui respectent la sémantique des automates hybrides, et (ii) des observateurs qui encodes les propriétés en tant qu’atteignabilité d’un état d’erreur. En composant ces observateurs avec le modèle formel, les propriétés peuvent être vérifiées par des outils standards de vérification qui sont automatisés.Finalement, nous présentons une chaîne d’outils semi-automatisée ainsi que des études de cas menées en collaboration avec des partenaires industriels.

Diesel generators are the main source of electrical energy that supply most of the remote isolated areas in the world. Unfortunately, these motors still pose enormous technical, financial and environmental challenges. Therefore, the combination of these generators with renewable sources like wind energy in a wind-diesel hybrid system (WDS) could reduce these deficits by reducing the fossil fuel consumption and the operating time of diesel engines and by shortening the operation cost and environmental harm. The intermittency of wind energy and its dissipation during windy periods require an energy storage system. In this thesis, a new wind-diesel hybrid system with adiabatic air compression and storage at constant pressure (ACPWDCAS) was proposed. This concept combines compressed air and hydro pneumatic energy storage technologies with wind-diesel system. The objective of this system is to optimize the performance of diesel engines, and minimize fuel consumption without making major changes to the architecture of these engines in remote sites. A numerical simulation, a mathematical modeling and an analysis of the possible evolution of the system are studied.; Les générateurs diesels sont la principale source d'énergie électrique qui alimente la plupart des régions éloignées et isolées dans le monde. Malheureusement, ces moteurs posent encore d'énormes défis techniques, financiers et environnementaux. Toutefois, la combinaison de ces générateurs avec des sources renouvelables comme l'énergie éolienne dans un système éoliendiesel hybride (WDS) pourrait réduire ces déficits en réduisant la consommation de combustibles fossiles et la durée de fonctionnement des moteurs diesels et en réduisant le coût de l'exploitation et les émissions nocives. L’intermittence de l'énergie éolienne et sa dissipation pendant les périodes venteuses exigent un système de stockage d'énergie. Dans cette thèse, un nouveau système hybride éolien-diesel avec compression d'air adiabatique et stockage à pression constante (ACP-WDCAS) a été proposé. Ce système combine les technologies de stockage d'énergie hydropneumatiques et les systèmes de stockage de l'énergie sous forme d’air comprimé avec le système éolien-diesel. L'objectif de ce système est d'optimiser les performances des moteurs diesel et de réduire la consommation de carburant sans apporter de modifications majeures à l'architecture de ces moteurs dans les sites isolés. Une simulation numérique, une modélisation mathématique et une analyse des évolutions possibles du systèmeseront de ce fait étudiés.

The building sector is a major energy consumer, therefore, a framework of actions has been decided on by countries worldwide to limit its impact. For implementing such actions, the availability of models providing an accurate description of the thermal behavior of buildings is essential. For this purpose, this thesis proposes the application of a new data-driven technique for modeling the thermal behavior of buildings based on a hybrid system approach. Hybrid systems exhibit both continuous and discrete dynamics. This choice is motivated by the fact that a building is a complex system characterized by nonlinear phenomena and the occurrence of different events. We use a PieceWise AutoRegressive eXogeneous inputs (PWARX) model for the identification of hybrid systems. It is a collection of sub-models where each sub-model is an ARX equation representing a certain configuration in the building characterized by its own dynamics. This thesis starts with a state-of-the-art on building thermal modeling. Then, the choice of a hybrid system approach is motivated by a mathematical interpretation based on the equations derived from an RC thermal circuit of a building zone. This is followed by a brief background about hybrid system identification and a detailed description of the PWARX methodology. For the prediction phase, it is shown how to use the Support Vector Machine (SVM) technique to classify new data to the right sub-model. Then, it is shown how to integrate these models in a hybrid control loop to estimate the gain in the energy performance for a building after insulation work. The performance of the proposed technique is validated using data collected from various test cases.; Le secteur du bâtiment est un consommateur énergétique majeur, par conséquent, un cadre d’actions a été décidé au niveau international dans le but de limiter son impact. Afin de mettre en œuvre ces mesures, il est nécessaire d’avoir à disposition des modèles offrants une description fiable du comportement thermique des bâtiments. A cet effet, cette thèse propose l’application d’une nouvelle technique guidée par les données pour la modélisation thermique des bâtiments en se basant sur l’approche des systèmes hybrides, caractérisés par des dynamiques continues et événementielles. Ce choix est motivé par le fait qu’un bâtiment est un système complexe caractérisé par des phénomènes non-linéaires et l’apparition de différents événements. On utilise les modèles affines par morceaux ou PWARX pour l’identification de systèmes hybrides. C’est une collection de sous-modèles affines représentant chacun une configuration caractérisée par une dynamique particulière. Le manuscrit commence par un état de l’art sur les principales techniques de modélisation thermique des bâtiments. Ensuite, le choix d’une approche hybride est motivé par une interprétation mathématique basée sur les équations d’un circuit thermique. Ceci est suivi par une brève présentation des modèles hybrides et une description détaillée de la méthodologie utilisée. On montre ensuite comment utiliser la technique SVM pour classifier les nouvelles données. Enfin, l’intégration des modèles PWARX dans une boucle de contrôle hybride afin d’estimer le gain en performance énergétique d’un bâtiment après rénovation est présentée. La méthodologie est validée en utilisant des données issues de cas d’études variés.

Diesel generators are the main source of electrical energy that supply most of the remote isolated areas in the world. Unfortunately, these motors still pose enormous technical, financial and environmental challenges. Therefore, the combination of these generators with renewable sources like wind energy in a wind-diesel hybrid system (WDS) could reduce these deficits by reducing the fossil fuel consumption and the operating time of diesel engines and by shortening the operation cost and environmental harm. The intermittency of wind energy and its dissipation during windy periods require an energy storage system. In this thesis, a new wind-diesel hybrid system with adiabatic air compression and storage at constant pressure (ACPWDCAS) was proposed. This concept combines compressed air and hydro pneumatic energy storage technologies with wind-diesel system. The objective of this system is to optimize the performance of diesel engines, and minimize fuel consumption without making major changes to the architecture of these engines in remote sites. A numerical simulation, a mathematical modeling and an analysis of the possible evolution of the system are studied., Les générateurs diesels sont la principale source d'énergie électrique qui alimente la plupart des régions éloignées et isolées dans le monde. Malheureusement, ces moteurs posent encore d'énormes défis techniques, financiers et environnementaux. Toutefois, la combinaison de ces générateurs avec des sources renouvelables comme l'énergie éolienne dans un système éoliendiesel hybride (WDS) pourrait réduire ces déficits en réduisant la consommation de combustibles fossiles et la durée de fonctionnement des moteurs diesels et en réduisant le coût de l'exploitation et les émissions nocives. L’intermittence de l'énergie éolienne et sa dissipation pendant les périodes venteuses exigent un système de stockage d'énergie. Dans cette thèse, un nouveau système hybride éolien-diesel avec compression d'air adiabatique et stockage à pression constante (ACP-WDCAS) a été proposé. Ce système combine les technologies de stockage d'énergie hydropneumatiques et les systèmes de stockage de l'énergie sous forme d’air comprimé avec le système éolien-diesel. L'objectif de ce système est d'optimiser les performances des moteurs diesel et de réduire la consommation de carburant sans apporter de modifications majeures à l'architecture de ces moteurs dans les sites isolés. Une simulation numérique, une modélisation mathématique et une analyse des évolutions possibles du systèmeseront de ce fait étudiés.

This is a study conducted on cyber-physical systems on three main aspects: stability verification, scheduling, and parameter synthesis. Embedded control systems (ECS) acting under timing contracts are the considered class of cyber-physical systems in the thesis. ECS refers to integrations of a computing device with the physical system. As for timing contracts they are time constraints on the instants where some events happen such as sampling, actuation, and computation. These contracts are used to model issues that arise in modern embedded control systems: uncertain sampling to actuation delays, uncertain sampling periods, and interaction of several physical systems with shared computational resources (CPUs). Now given an ECS and a timing contract we reformulate the system into an impulsive one and verifies stability of the system, under all possible bounded uncertainties given by the contract, using safe convex approximation techniques and new generalized results for the problem on a class of systems modeled in the framework of difference inclusions. Second given a set of controllers implemented on a common computational platform (CPUs), each of which is subject to a timing contract, and best and worst case execution times on each CPU, we synthesize a dynamic scheduling policy, which guarantees that each timing contract is satisfied and that each of the shared CPUs are allocated to at most one embedded controller at any time. The approach is based on a timed game formulation that allows us to write the scheduling problem as a timed safety game. Then using the tool UPPAAL-TIGA, a solution to the safety game provides a suitable scheduling policy. In addition, we provide a novel necessary and sufficient condition for schedulability of the control tasks based on a simplified timed game automaton. Last, we solve a parameter synthesis problem which consists of synthesizing an under-approximation of the set of timing contracts that guarantee at the same time the schedulability and stability of the embedded controllers. The synthesis is based on a re-parameterization of the timing contract to make them monotonic, and then on a repeatedly sampling of the parameter space until reaching a predefined precision of approximation., Il s'agit d'une étude menée sur les systèmes cyber-physiques sur trois aspects principaux: la vérification de la stabilité, l'ordonnancement et la synthèse des paramètres. Les systèmes de contrôle embarqués (ECS) agissant dans le cadre de contrats temporels sont la classe considérée de systèmes cyber-physiques dans la thèse. ECS fait référence à des intégrations d'un dispositif informatique avec le système physique. En ce qui concerne les contrats temporels, ils sont des contraintes de temps sur les instants où se produisent certains événements tels que l'échantillonnage, l'actionnement et le calcul. Ces contrats sont utilisés pour modéliser les problèmes qui se posent dans les systèmes de contrôle modernes: incertitudes sur les retards d'actionnement, les périodes d'échantillonnage incertaines et l'interaction de plusieurs systèmes physiques avec des ressources informatiques partagées (CPUs). Maintenant, compte tenu d'un ECS et d'un contrat temporel, nous reformulons le système de manière impulsionnelle et vérifions la stabilité du système, sous toutes les incertitudes bornées et données par le contrat, en utilisant des techniques d'approximation convexe et de nouveaux résultats généralisés pour le problème sur une classe de systèmes modélisés dans le cadre des inclusions différentielles. Deuxièmement, compte tenu d'un ensemble de contrôleurs implémentés sur une plate-forme de calcul commune (CPUs), dont chacun est soumis à un contrat de synchronisation, et à son meilleur et son plus mauvais cas d'exécution dans chaque CPU, nous synthétisons une politique d’ordonnancement dynamique qui garantit que chaque contrat temporel est satisfait et que chacun des CPU partagés est attribué à au plus un contrôleur à tout moment. L'approche est basée sur une reformulation qui nous permet d'écrire le problème d’ordonnancement comme un jeu temporelle avec spécification de sureté. Ensuite, en utilisant l'outil UPPAAL-TIGA, une solution au jeu fournit une politique d’ordonnancement appropriée. En outre, nous fournissons une nouvelle condition nécessaire et suffisante pour l’ordonnancement des tâches de contrôle en fonction d’un jeu temporisé simplifiés. Enfin, nous résolvons un problème de synthèse de paramètres qui consiste à synthétiser une sous-approximation de l'ensemble des contrats de synchronisation qui garantissent en même temps l’ordonnancement et la stabilité des contrôleurs intégrés. La synthèse est basée sur un nouveau paramétrage du contrat temporel pour les rendre monotones, puis sur un échantillonnage à plusieurs reprises de l'espace des paramètres jusqu'à atteindre une précision d'approximation prédéfinie.

Cette Thèse d’Habilitation à Diriger des Recherches (HDR) est effectuée dans le cadre de l’Automatique en général. Elle comporte trois parties distinctes. La première partie concerne la commande des systèmes hybrides et systèmes à commutations (switched systems). La deuxième partie est consacrée à la commande supervisée (supervisory control) des systèmes à événements discrets (discrete-event systems). Enfin les perspectives de recherche sont données dans la troisième et dernière partie.La commande des systèmes hybrides et à commutations traite de la modélisation MLD (Mixed Logical Dynamical Systems) introduite par A. Bemporad et M. Morari (1999).Les systèmes à commutations étant décrits naturellement par un modèle PWA (piecewise affine, affine par morceaux), l’approche MLD est une modélisation alternative. Nous proposons des algorithmes de conversion de PWA vers MLD et vice-versa qui donnent des meilleurs résultats, notamment en temps de simulation.La stabilité d’un système non linéaire à commutations est étudiée en utilisant une approche polynomiale, qui permet de reformuler le système initial en un système continu polynomial, permettant ainsi de prouver sa stabilité Enfin la commande optimale est appliquée aux deux types de systèmes commutés : le cas linéaire et celui non linéaire sont traités par reformulation du système en système polynomial continu, permettant d’utiliser la théorie des moments, qui rend les problèmes de commande optimale plus faciles à résoudre.La deuxième partie concerne les systèmes à événements discrets. Elle a débuté avec la commande supervisée de la cellule flexible de l’EMN, composée d’un convoyeur central et de plusieurs stations robotisées (ISIC 2003, LSS 2004). Ensuite influencé par le thème de recherche des systèmes hybrides et systèmes à commutations (switched systems) venant de l’Automatique continue, nos travaux se sont orientés vers une tentative de définition formelle des SED à commutations (switched DES, MTNS 2006). Toujours dans cette voie, nous avons proposé une définition de systèmes “switched non blocking » (MSR 2013), pour arriver à des systèmes avec plusieurs langages pouvant commuter (switchable languages), suivant le modèle de (Kumar, Takai, Fabian et Ushio, 2005).La troisième et dernière partie est consacrée aux perspectives de recherche. La première perspective concerne la commande optimale de “smart grids”, en exploitant la topologie de commutations (switched topology) dans de tels systèmes. La deuxième perspective traite de la simulation et l’optimisation de systèmes logistiques (le système de tri de bagages Air France à l’Aéroport de Paris-CDG) à l’aide de réseaux de Petri.

Cette Thèse d’Habilitation à Diriger des Recherches (HDR) est effectuée dans le cadre de l’Automatique en général. Elle comporte trois parties distinctes. La première partie concerne la commande des systèmes hybrides et systèmes à commutations (switched systems). La deuxième partie est consacrée à la commande supervisée (supervisory control) des systèmes à événements discrets (discrete-event systems). Enfin les perspectives de recherche sont données dans la troisième et dernière partie.La commande des systèmes hybrides et à commutations traite de la modélisation MLD (Mixed Logical Dynamical Systems) introduite par A. Bemporad et M. Morari (1999).Les systèmes à commutations étant décrits naturellement par un modèle PWA (piecewise affine, affine par morceaux), l’approche MLD est une modélisation alternative. Nous proposons des algorithmes de conversion de PWA vers MLD et vice-versa qui donnent des meilleurs résultats, notamment en temps de simulation.La stabilité d’un système non linéaire à commutations est étudiée en utilisant une approche polynomiale, qui permet de reformuler le système initial en un système continu polynomial, permettant ainsi de prouver sa stabilité Enfin la commande optimale est appliquée aux deux types de systèmes commutés : le cas linéaire et celui non linéaire sont traités par reformulation du système en système polynomial continu, permettant d’utiliser la théorie des moments, qui rend les problèmes de commande optimale plus faciles à résoudre.La deuxième partie concerne les systèmes à événements discrets. Elle a débuté avec la commande supervisée de la cellule flexible de l’EMN, composée d’un convoyeur central et de plusieurs stations robotisées (ISIC 2003, LSS 2004). Ensuite influencé par le thème de recherche des systèmes hybrides et systèmes à commutations (switched systems) venant de l’Automatique continue, nos travaux se sont orientés vers une tentative de définition formelle des SED à commutations (switched DES, MTNS 2006). Toujours dans cette voie, nous avons proposé une définition de systèmes “switched non blocking » (MSR 2013), pour arriver à des systèmes avec plusieurs langages pouvant commuter (switchable languages), suivant le modèle de (Kumar, Takai, Fabian et Ushio, 2005).La troisième et dernière partie est consacrée aux perspectives de recherche. La première perspective concerne la commande optimale de “smart grids”, en exploitant la topologie de commutations (switched topology) dans de tels systèmes. La deuxième perspective traite de la simulation et l’optimisation de systèmes logistiques (le système de tri de bagages Air France à l’Aéroport de Paris-CDG) à l’aide de réseaux de Petri.

The techniques related to formation flying and proximity operations of autonomous satellites belong to the most significant and challenging operational space technologies of the last years. In particular, they require full mastery of the close-range rendezvous and observation phases by an active satellite with a passive satellite, station or debris. The development of efficient and safe associated GNC systems relies on the knowledge of a dynamic model that achieves a good trade-off between low complexity and sufficient inclusion of the main dynamic and kinematic characteristics of this type of systems.The first part of this thesis is devoted to the development of a unified modeling of the relative coupled dynamics between a cooperative chaser satellite and a non-cooperative target satellite. Indeed, when two satellites are close to each other, they can no longer be treated as point masses because their shape and size affect the relative motion between the decentralized points, leading to a translational-attitude motions coupling. This development is addressed in a progressive way: the relative nonlinear translational motion is described under Keplerian assumptions in the target's orbital reference frame, as well as the associated linearized model. Then, the nonlinear relative attitude model is presented by means of the Euler-Rodrigues parameters. Finally, the dual quaternion formalism is used to obtain the relative translational and attitude coupled model. The modeling phase concerning the linear relative translational motion has allowed us to highlight certain coordinates transformations leading to an interesting characterization of the chaser's periodic trajectories and thus, to propose a first type of control law for the close-phase rendezvous and observation phases.All along this work, we consider a chaser satellite equipped with chemical thrusters under the classical hypothesis of impulsive thrusts. This type of dynamic systems gathering continuous dynamics and impulsive control naturally belongs to a particular class of dynamical hybrid systems. Several hybrid control laws are then proposed in order to stabilize the chaser on a periodic reference trajectory close to the target. The stability and convergence properties of these different laws are analysed and several numerical simulations show the strengths and weaknesses of each controller in terms of performance indices such as convergence time, consumption and safety constraints. In a second step, additional operational constraints (line-of-sight constraints for example) are taken into account by imposing a rectilinear (glideslope) direction to the chaser. This trajectory requires the chaser satellite to follow a straight line in any direction of the local reference frame and connecting the current location of the chaser to its final destination. Under the impulsive propulsion assumptions, the results in the literature for this type of approach have been generalized to elliptic orbits by identifying a new formulation of the problem including useful degrees of freedom, which allow minimizing the fuel consumption while controlling the humps of the trajectory outside the glideslope line by enclosing it in a user-defined approach corridor. Guidance laws are therefore synthetized via the solution of an SDP optimisation problem in the general case and via a linear programming when considering standard cases like the V-bar or R-bar approaches.; Les techniques liées au vol en formation et aux opérations de proximité de satellites autonomes font partie des technologies opérationnelles spatiales les plus marquantes et les plus ambitieuses de ces dernières années. En particulier, cela nécessite la complète maitrise des phases de rendez-vous proche et de survol par un satellite actif avec un satellite, une station ou un débris passif. Le développement de systèmes GNC (Guidage Navigation Contrôle) associés performants et sûrs repose sur la connaissance d'un modèle dynamique réalisant un bon compromis entre faible complexité et prise en compte suffisante des principales caractéristiques dynamiques et cinématiques de ce type de systèmes. La première partie de cette thèse est consacrée au développement d'une modélisation unifiée de la dynamique relative couplée entre un satellite coopératif chasseur et un satellite cible non coopérative. En effet, lorsque deux satellites sont proches l'un de l'autre, ils ne peuvent plus être traités comme des masses ponctuelles, car leur forme et leur taille affectent le mouvement relatif entre les points de masse décentralisés, conduisant à un couplage des mouvements de translation et de rotation. Ce développement est abordé de manière progressive: le mouvement de translation relatif non linéaire est décrit sous hypothèses képlériennes dans le repère orbital de la cible ainsi que le modèle linéarisé associé. Ensuite, le modèle non linéaire d'attitude relative est présenté au moyen des paramètres d'Euler-Rodrigues. Enfin, le formalisme des quaternions duaux est utilisé afin d'obtenir le modèle relatif couplé en translation et en attitude. La phase de modélisation du mouvement relatif linéaire de translation a ainsi permis de mettre en évidence certaines transformations de coordonnées conduisant à une caractérisation intéressante des trajectoires périodiques du chasseur et ainsi de proposer un premier type de loi de contrôle de guidage pour la phase d'approche et de survol. Dans l'ensemble de notre travail, nous considérons un chasseur équipé de propulseurs chimiques et l'hypothèse classique des poussées impulsionnelles. Ce type de systèmes dynamiques conciliant dynamique continue et contrôle impulsionnel se définit naturellement comme une classe particulière de systèmes dynamiques hybrides. Plusieurs lois de contrôle hybrides sont alors proposées afin de stabiliser le chasseur sur une trajectoire de référence périodique proche de la cible. Les propriétés de stabilité et de convergence de ces différentes lois sont analysées et de nombreuses simulations numériques montrent les forces et les faiblesses de chaque contrôleur en termes d'indices de performance comme le temps de convergence, la consommation ainsi que des contraintes de sécurité. Dans un second temps, des contraintes opérationnelles supplémentaires (contraintes de visibilité par exemple) sont prises en considération en imposant une direction d'approche rectiligne (glideslope) au chasseur. Cette trajectoire impose au satellite chasseur de suivre une droite dans n'importe quelle direction du repère local reliant l'emplacement courant du chasseur à sa destination finale. Sous l'hypothèse de propulsion impulsionnelle, les résultats existant dans la littérature pour ce type d'approche ont été généralisés aux orbites elliptiques en identifiant une nouvelle formulation du problème comprenant des degrés de liberté utiles qui permettent de minimiser la consommation de carburant tout en contrôlant l'excursion de la trajectoire libre en dehors de la droite de glideslope en la confinant dans un couloir d'approche défini par l'utilisateur. La synthèse des lois de guidage ainsi obtenues repose sur la résolution de problèmes d'optimisation SDP dans le cas général ou linéaire pour les cas plus simples d'approche standards du type V-bar ou R-bar.

The techniques related to formation flying and proximity operations of autonomous satellites belong to the most significant and challenging operational space technologies of the last years. In particular, they require full mastery of the close-range rendezvous and observation phases by an active satellite with a passive satellite, station or debris. The development of efficient and safe associated GNC systems relies on the knowledge of a dynamic model that achieves a good trade-off between low complexity and sufficient inclusion of the main dynamic and kinematic characteristics of this type of systems.The first part of this thesis is devoted to the development of a unified modeling of the relative coupled dynamics between a cooperative chaser satellite and a non-cooperative target satellite. Indeed, when two satellites are close to each other, they can no longer be treated as point masses because their shape and size affect the relative motion between the decentralized points, leading to a translational-attitude motions coupling. This development is addressed in a progressive way: the relative nonlinear translational motion is described under Keplerian assumptions in the target's orbital reference frame, as well as the associated linearized model. Then, the nonlinear relative attitude model is presented by means of the Euler-Rodrigues parameters. Finally, the dual quaternion formalism is used to obtain the relative translational and attitude coupled model. The modeling phase concerning the linear relative translational motion has allowed us to highlight certain coordinates transformations leading to an interesting characterization of the chaser's periodic trajectories and thus, to propose a first type of control law for the close-phase rendezvous and observation phases.All along this work, we consider a chaser satellite equipped with chemical thrusters under the classical hypothesis of impulsive thrusts. This type of dynamic systems gathering continuous dynamics and impulsive control naturally belongs to a particular class of dynamical hybrid systems. Several hybrid control laws are then proposed in order to stabilize the chaser on a periodic reference trajectory close to the target. The stability and convergence properties of these different laws are analysed and several numerical simulations show the strengths and weaknesses of each controller in terms of performance indices such as convergence time, consumption and safety constraints. In a second step, additional operational constraints (line-of-sight constraints for example) are taken into account by imposing a rectilinear (glideslope) direction to the chaser. This trajectory requires the chaser satellite to follow a straight line in any direction of the local reference frame and connecting the current location of the chaser to its final destination. Under the impulsive propulsion assumptions, the results in the literature for this type of approach have been generalized to elliptic orbits by identifying a new formulation of the problem including useful degrees of freedom, which allow minimizing the fuel consumption while controlling the humps of the trajectory outside the glideslope line by enclosing it in a user-defined approach corridor. Guidance laws are therefore synthetized via the solution of an SDP optimisation problem in the general case and via a linear programming when considering standard cases like the V-bar or R-bar approaches.; Les techniques liées au vol en formation et aux opérations de proximité de satellites autonomes font partie des technologies opérationnelles spatiales les plus marquantes et les plus ambitieuses de ces dernières années. En particulier, cela nécessite la complète maitrise des phases de rendez-vous proche et de survol par un satellite actif avec un satellite, une station ou un débris passif. Le développement de systèmes GNC (Guidage Navigation Contrôle) associés performants et sûrs repose sur la connaissance d'un modèle dynamique réalisant un bon compromis entre faible complexité et prise en compte suffisante des principales caractéristiques dynamiques et cinématiques de ce type de systèmes. La première partie de cette thèse est consacrée au développement d'une modélisation unifiée de la dynamique relative couplée entre un satellite coopératif chasseur et un satellite cible non coopérative. En effet, lorsque deux satellites sont proches l'un de l'autre, ils ne peuvent plus être traités comme des masses ponctuelles, car leur forme et leur taille affectent le mouvement relatif entre les points de masse décentralisés, conduisant à un couplage des mouvements de translation et de rotation. Ce développement est abordé de manière progressive: le mouvement de translation relatif non linéaire est décrit sous hypothèses képlériennes dans le repère orbital de la cible ainsi que le modèle linéarisé associé. Ensuite, le modèle non linéaire d'attitude relative est présenté au moyen des paramètres d'Euler-Rodrigues. Enfin, le formalisme des quaternions duaux est utilisé afin d'obtenir le modèle relatif couplé en translation et en attitude. La phase de modélisation du mouvement relatif linéaire de translation a ainsi permis de mettre en évidence certaines transformations de coordonnées conduisant à une caractérisation intéressante des trajectoires périodiques du chasseur et ainsi de proposer un premier type de loi de contrôle de guidage pour la phase d'approche et de survol. Dans l'ensemble de notre travail, nous considérons un chasseur équipé de propulseurs chimiques et l'hypothèse classique des poussées impulsionnelles. Ce type de systèmes dynamiques conciliant dynamique continue et contrôle impulsionnel se définit naturellement comme une classe particulière de systèmes dynamiques hybrides. Plusieurs lois de contrôle hybrides sont alors proposées afin de stabiliser le chasseur sur une trajectoire de référence périodique proche de la cible. Les propriétés de stabilité et de convergence de ces différentes lois sont analysées et de nombreuses simulations numériques montrent les forces et les faiblesses de chaque contrôleur en termes d'indices de performance comme le temps de convergence, la consommation ainsi que des contraintes de sécurité. Dans un second temps, des contraintes opérationnelles supplémentaires (contraintes de visibilité par exemple) sont prises en considération en imposant une direction d'approche rectiligne (glideslope) au chasseur. Cette trajectoire impose au satellite chasseur de suivre une droite dans n'importe quelle direction du repère local reliant l'emplacement courant du chasseur à sa destination finale. Sous l'hypothèse de propulsion impulsionnelle, les résultats existant dans la littérature pour ce type d'approche ont été généralisés aux orbites elliptiques en identifiant une nouvelle formulation du problème comprenant des degrés de liberté utiles qui permettent de minimiser la consommation de carburant tout en contrôlant l'excursion de la trajectoire libre en dehors de la droite de glideslope en la confinant dans un couloir d'approche défini par l'utilisateur. La synthèse des lois de guidage ainsi obtenues repose sur la résolution de problèmes d'optimisation SDP dans le cas général ou linéaire pour les cas plus simples d'approche standards du type V-bar ou R-bar.

This thesis is devoted to the analysis of numerical methods in the field of optimal control, and it is composed of two parts. The first part is dedicated to new results on the subject of numerical methods for the optimal control of hybrid systems, controlled by measurable functions and discontinuous jumps in the state variable simultaneously. The second part focuses on a particular application of trajectory optimization problems for space launchers. Here we use some nonlinear optimization methods combined with non-parametric statistics techniques. This kind of problems belongs to the family of stochastic optimization problems and it features the minimization of a cost function in the presence of a constraint which needs to be satisfied within a desired probability threshold., Cette thèse est dediée à l'alanyse numérique de méthodes numériques dans le domaine du contrôle optimal, et est composée de deux parties. La première partie est consacrée à des nouveaux résultats concernant des méthodes numériques pour le contrôle optimal de systèmes hybrides, qui peuvent être contrôlés simultanément par des fonctions mesurables et des sauts discontinus dans la variable d'état. La deuxième partie est dédiée è l'étude d'une application spécifique surl'optimisation de trajectoires pour des lanceurs spatiaux avec contraintes en probabilité. Ici, on utilise des méthodes d'optimisation nonlineaires couplées avec des techniques de statistique non parametrique. Le problème traité dans cette partie appartient à la famille des problèmes d'optimisation stochastique et il comporte la minimisation d'une fonction de coût en présence d'une contrainte qui doit être satisfaite dans les limites d'un seuil de probabilité souhaité.

This thesis is about the stabilization of nonlinear systems with partial measurements and constrained input. The two first chapters deals with saturated inputs in the contex of infinite-dimensional systems for nonlinear abstract equations and for a particular partial differential equation, the Korteweg-de Vries equation. The third chapter provides an output feedback design for two Korteweg-de Vries equations using the backstepping method. The fourth chapter is about the output feedback design of nonlinear finite-dimensional systems for which there exists a hybrid controller. A high-gain observer strategy is used., Cette thèse a pour sujet la stabilisation de systèmes non-linéaires avec des mesures partielles et des entrées contraintes. Les deux premiers chapitres traitent du problème des entrées saturées dans le contexte des systèmes de dimension infinie pour des équations nonlinéaires abstraites et une équation aux dérivées partielles nonlinéaire particulière, l'équation de Korteweg-de Vries. Les outils mathématiques utilisés pour obtenir des résultats Le troisième chapitre propose une méthode de synthèse de retour de sortie pour deux équations de Korteweg-de Vries. Le quatrième chapitre concerne la synthèse d'un retour de sortie pour des systèmes non-linéaires de dimension finie pour lequel il existe un contrôle hybride. Une stratégie basée sur des observateurs grand gain est utilisée.

International audience; The modeling and simulation of cyber-physical systems (as smart-grids) is becoming an essential step of their construction process. One central challenge is to integrate in a consistent way each domain and point of view on the target system, each already having its own formalisms and modeling tools.This article presents the benefits of a DEVS wrapping based co-simulation platform (MECSYCO) in terms of integration of the heterogeneity of models and simulators: formalisms, time and data representations, software, etc. The platform provides modularity in the modeling ans simulaiton process: incrementalaty, simulators, exchanges, etc.We show how we have integrated tools like NS3 and OMNET++/INET (reference tools for IP network modeling), or simulation standard such as FMU in our platform and how they can be used in co-simulations.An hybrid co-simulation use case is presented to illustrate our proposal.; La modélisation et simulation des systèmes cyber-physiques, comme les réseaux électriques intelligents, devient une étape préalable incontournable à leur réalisation. Un défi central est alors d'intégrer de manière cohérente les différents domaines d'expertise et les différents points de vue sur le système cible, chacun disposant déjà de ses propres outils et formalismes.Cet article présente l'intérêt de la plateforme de co-simulation MECSYCO, basée sur le wrapping DEVS, en termes d'intégration de l'hétérogénéité des modèles et des simulateurs : formalismes, représentation du temps et des données, logiciels, etc. La plateforme permet également la modularité de la démarche de conception M\&S : incrémentalité, remplacement de simulateurs, etc. Nous montrons comment nous avons réalisé l'intégration d'outils de simulation existants de référence dans le domaine des réseaux IP (e.g. NS-3) ou des standards de la simulation (e.g. FMU) dans la plateforme et comment il est possible de les utiliser pour la co-simulation. Nous nous appuyons sur un cas d'usage de co-simulation hybride de bâtiments intelligents pour illustrer nos propositions.

We investigate the automatic differentiation of hybrid models, viz. models that may contain delays, logical tests and discontinuities or loops. We consider differentiation with respect to parameters, initial conditions or the time. We emphasize the case of a small number of derivations and iterated differentiations are mostly treated with a foccus on high order iterations of the same derivation. The models we consider may involve arithmetic operations, elementary functions, logical tests but also more elaborate components such as delays, integrators, equations and differential equations solvers. This survey has no pretention to exhaustivity but tries to fil a gap in the litterature where each kind of of component may be documented, but seldom their common use. The general approach is illustrated by computer algebra experiments, stressing the interest of performing differentiation, whenever possible, on high level objects, before any translation in Fortran or C code. We include ordinary differential systems with discontinuity, with a special interest for those comming from discontinuous Lagrangians. We conclude with an overview of the graphic methodology developped in the Diffedge software for Simulink hybrid models. Not all possibilities are covered, but the methodology can be adapted. The result of automatic differentiation is a new block diagram and so it can be easily translated to produce real time embedded programs. We welcome any comments or suggestions of references that we may have missed., Nous envisageons la différenciation automatique de modèles hybrides, c'est-à-dire de modèles qui peuvent contenir des retards, des tests logiques, des discontinuités et des boucles. Nous considérons la dérivation par rapport aux paramètres, au conditions initiales ou au temps. Nous nous concentrons sur le cas d'un faible nombre de dérivations et le cas de dérivées itérées est principalement traité dans la cas de dérivées itérées d'ordre élevée d'une unique dérivation. Les modèles que nous considérons peuvent contenir des opérations arithmétiques, des fonctions élémentaires, des tests logiques mais aussi des composantes élaborées telles que des retards, des intégrateurs, des solveurs d'équations différentielles. Ce survey n'a pas la prétention d'être exhaustif mais tente de combler un manque dans la littérature qui documente chaque cas de manière séparée mais rarement leur usage commun. L'approche générale est illustrée par des expériences en Maple, soulignant l'importance d'effectuer dans la mesure du possible la différenciation dans un environnement de haut niveau, plutôt que sur une traduction en Fortran ou en C. Nous incluons des systèmes d'EDO avec des discontinuités, avec une insistance particulière pour les lagrangiens discontinus. Nous concluons avec un panorama de la méthodologie graphique graphique développée par le logiciel Diffedge pour la différenciation de modèles hybrides en Matlab Simulink. Toutes les possibilités ne sont pas traitées, mais la méthode est adaptable. Le résultat de la différenciation automatique est un nouveau schéma block qui peut être aisément traduit pour produire du code embarqué fonctionnant en temps réel. Nous sommes ouvert à tout commentaire ou suggestion de nouvelles références.

In this thesis, the master-slave synchronization problem of continuous Piecewise Linear (PWL) systems is solved using the Lyapunov theory and the LMI tools. New synchronization conditions are established for the following three classes of PWL systems: the controlled systems, the chaotic systems and finally the uncertain chaotic systems with bounded uncertainties. The new synchronization conditions are formulated in the form of LMIs using the principle of the Lyapunov stability and using the S-procedure principle., Cette thèse apporte une contribution à la théorie de la synchronisation des systèmes PWL de type continu, classe particulière des systèmes hybrides. De nouvelles conditions de synchronisation maître-esclave sont établies pour les trois cas de systèmes suivants : les systèmes contrôlés, les systèmes chaotiques et enfin les systèmes chaotiques incertains avec incertitudes bornées en norme. Les nouvelles conditions de synchronisation établies sont formulées sous forme de LMIs en utilisant le principe de la stabilisation de l’erreur de synchronization au sens de Lyapunov et le principe de la S-procédure.

In this thesis, we analyze the dynamics of discrete event systems with synchronization and priorities, by the means of Petri nets and queueing networks.We apply this to the performance evaluation of an emergency call center.Our original motivation is practical. During the period of this work, a new emergency call center became operative in Paris area, handling emergency calls to police and firemen.The new organization includes a two-level call treatment. A first level of operators answers calls, identifies urgent calls and handles (numerous) non-urgent calls.Second level operators are specialists (policemen or firemen) and handle emergency demands.When a call is identified at level 1 as extremely urgent, the operator stays in line with the call until a level 2 operator answers. The call has priority for level 2 operators.A consequence of this procedure is that, when level 2 operators are busy, level 1 operators wait with extremely urgent calls, and the capacity of level 1 diminishes.We are interested in the performance evaluation of various systems corresponding to this general description, in stressed situations.We propose three different models addressing this kind of systems.The first two are timed Petri net models.We enrich the classical free choice Petri nets by allowing conflict situations in which the routing is solved by priorities.The main difficulty in this situation is that the operator of the dynamics becomes non monotone.In a first model, we consider discrete dynamics for this class of Petri nets, with constant holding times on places.We prove that the counter variables of an execution of the Petri net are solutions of a piecewise linear system with delays.As far as we know, this proof is new, even for the class of free choice nets, which is a subclass of ours.We investigate the stationary regimes of the dynamics, and characterize the affine ones as solutions of a piecewise linear system, which can be seen as a system over a tropical (min-plus) semifield of germs.Numerical experiments show that, however, convergence does not always holds towards these affine stationary regimes.The second model is a ``continuization'' of the previous one. For the same class of Petri nets, we propose dynamics expressed by differential equations, so that the tokens and time events become continue.For this differential system with discontinuous righthandside, we establish the existence and uniqueness of the solution.By using differential equations, we aim at obtaining a simpler model in which discrete time pathologies disappear. We show that the stationary regimes are the same as the stationary regimes of the discrete time dynamics.Numerical experiments tend to show that, in this setting, convergence effectively holds.We also model the emergency call center described above as a queueing system, taking into account the randomness of the different call center variables.For this system, we prove that, under an appropriate scaling, the dynamics converges to a fluid limit which corresponds to the differential equations of our Petri net model.This provides support for the second model.Stochastic calculus for Poisson processes, generalized Skorokhod formulations and coupling arguments are the main tools used to establish this convergence.Hence, our three models of an identical emergency call center yield the same schematic asymptotic behavior, expressed as a piecewise linear system of the parameters, and describing the different congestion phases of the system.In a second part of this thesis, simulations are carried out and analyzed, taking into account the many subtleties of our case study (for example, we construct probability distributions based on real data analysis).The simulations confirm the schematic behavior described by our mathematical models.We also address the complex interactions coming from the heterogeneous nature of level 2., Dans cette thèse, nous analysons la dynamique de systèmes à événements discrets avec synchronisation et priorités, au moyen de réseaux de Petri et de réseaux de files d'attente.Nous appliquons cela à l'évaluation de performance d'un centre d'appels d'urgence.Notre motivation de départ est pratique. Pendant la durée de ce travail, un nouveau centre d'appels d'urgence a été mis en place pour l'agglomération parisienne, traitant les appels pour la police et les pompiers.La nouvelle organisation traite les appels en deux niveaux.Un premier niveau d'opérateurs répond aux appels, identifie les appels urgents et traite les appels non urgents.Les opérateurs de second niveau sont spécialistes (policiers ou pompiers) et traitent les demandes d'intervention.Quand un appel est identifié au niveau 1 comme très urgent, l'opérateur reste en ligne avec l'appelant jusqu'à ce qu'un opérateur de niveau 2 réponde. De plus, l'appel est prioritaire.Une conséquence de cette procédure est que, lorsqu'aucun opérateur de niveau 2 n'est disponible, les opérateurs de niveau 1 attendent avec ces appels très urgents, et la capacité du niveau 1 diminue.Nous nous intéressons à l'évaluation de performance de divers systèmes correspondant à cette description générale, dans des situations de saturation.Nous proposons trois modèles différents pour traiter ce type de systèmes.Les deux premiers sont des modèles de réseaux de Petri temporisés.Nous enrichissons les classiques réseaux de Petri à choix libres en autorisant des situations de conflit où le routage est résolu par des priorités.La principale difficulté est alors que l'opérateur de la dynamique n'est plus monotone.Dans un premier modèle, nous proposons une dynamique discrète pour cette classe de réseaux de Petri, avec des temps de séjour constants sur les places.Nous prouvons que les variables compteurs d'une exécution du réseau sont les solutions d'un système affine par morceaux, avec retards.Nous étudions les régimes stationnaires de cette dynamique, et caractérisons les régimes affines comme solutoins d'un système affine par morceaux, qui peut être vu comme un système sur le semi-corps de germes tropical (min plus).Les applications numériques montrent cependant que la convergence ne se fait pas toujours vers ces régimes stationnaires affines.Le second modèle est une transformation continue du précédent. Pour la même classe de réseaux de Petri, nous proposons une dynamique sous forme d'équations différentielles discontinues.Nous établissons l'existence et l'unicité de la solution.L'objectif de cette modélisation est d'obtenir un système plus simple dans lequel les pathologies du temps discret disparaissent. Nous montrons que les régimes stationaires sont les mêmes que ceux de la dynamique discrète. Les simulations numériques semblent montrer que la convergence s'obtient effectivement dans ce cas.Nous modélisons aussi le centre d'appels d'urgence comme un réseau de files d'attente, prenant ainsi en compte le caractère aléatoire des différentes variables du centre d'appel.Pour ce système, nous prouvons que la dynamique, après une transformation d'échelle, converge vers une limite fluide, qui correspond au système d'équations différentielles précédent.Cela conforte notre seconde modélisation.Les principaux outils de la preuve de convergence sont le calcul stochastique pour les processus de Poisson, les formulations de Skorokhod généralisées, ou encore des arguments de couplage.Ainsi, nos trois modèles d'un même centre d'appels d'urgence définissent un même comportement asymptotique schématique, décrivant différentes phases de congestion du centre.Dans une seconde partie de cette thèse, nous analysons des simulations poussées, prenant en compte les nombreux détails de notre étude de cas. Les simulations confirment le comportement schématique prédit par nos modèles mathématiques. Nous discutons aussi des interactions complexes provenant de la nature hétérogène du niveau 2.

This study takes place in the field of system health management, which aims at developing maintenance aid tools, but also at improving the systems autonomous decision-making in case of failures. In this context, diagnostic techniques determine whether and why the system is down, while prognostic techniques determine when failures will occur and their consequences. If they seem to be correlated, they are usually studied separately because the time scales manipulated by the two processes are very different. This work aims at developing a tool that integrates both diagnosis and prognosis methods for the monitoring of hybrid systems, whose dynamics are both continuous and discrete. The proposed methodology, based on hybrid particle Petri nets, is applied to a planetary rover to demonstrate its usability in real cases through the management of knowledge-based and data-based uncertainty; Cette étude s’inscrit dans le domaine de la gestion de santé des systèmes, qui vise à développer des outils d’aide à la maintenance, mais également à améliorer les prises de décision en autonomie des systèmes en cas de pannes. Dans ce cadre, des techniques de diagnostic déterminent si et pourquoi le système est en panne, alors que des techniques de pronostic déterminent quand les pannes vont survenir et leurs conséquences. Si elles semblent être corrélées, elles sont généralement étudiées séparément, car les échelles de temps manipulées par les deux processus sont très différentes.Ces travaux ont pour objectif de développer un outil intégrant les méthodes de diagnostic et de pronostic pour la surveillance des système hybrides, dont les dynamiques sont à la fois continues et discrètes. La méthodologie proposée, basée sur les réseaux de Petri hybrides particulaires, est appliquée sur un rover planétaire pour démontrer son utilisabilité en cas réel à travers la gestion des incertitudes liées au système et aux données

This study takes place in the field of system health management, which aims at developing maintenance aid tools, but also at improving the systems autonomous decision-making in case of failures. In this context, diagnostic techniques determine whether and why the system is down, while prognostic techniques determine when failures will occur and their consequences. If they seem to be correlated, they are usually studied separately because the time scales manipulated by the two processes are very different. This work aims at developing a tool that integrates both diagnosis and prognosis methods for the monitoring of hybrid systems, whose dynamics are both continuous and discrete. The proposed methodology, based on hybrid particle Petri nets, is applied to a planetary rover to demonstrate its usability in real cases through the management of knowledge-based and data-based uncertainty; Cette étude s’inscrit dans le domaine de la gestion de santé des systèmes, qui vise à développer des outils d’aide à la maintenance, mais également à améliorer les prises de décision en autonomie des systèmes en cas de pannes. Dans ce cadre, des techniques de diagnostic déterminent si et pourquoi le système est en panne, alors que des techniques de pronostic déterminent quand les pannes vont survenir et leurs conséquences. Si elles semblent être corrélées, elles sont généralement étudiées séparément, car les échelles de temps manipulées par les deux processus sont très différentes.Ces travaux ont pour objectif de développer un outil intégrant les méthodes de diagnostic et de pronostic pour la surveillance des système hybrides, dont les dynamiques sont à la fois continues et discrètes. La méthodologie proposée, basée sur les réseaux de Petri hybrides particulaires, est appliquée sur un rover planétaire pour démontrer son utilisabilité en cas réel à travers la gestion des incertitudes liées au système et aux données

To maintain the voltage within specified limits, local control laws of distributed generators (DGs) reactive power (Q) with respect to their voltage (U) have been considered. This work studies the impact of Q(U) control laws on distribution feeders’voltage stability. An empirical study confirms the risk of voltage instability and highlights its dependence on control law parameters. To help distribution grid operators to choose these parameters, three methods assessing stability are formulated.First, a formal method based on discrete abstraction and bisimulation calculation is developed. The proposed approach yields precise results but with a high computational load. Then, to overcome this issue, an analytical criterion adapting Q(U) control laws response time with respect to grid parameters is formulated. Finally, a general criterion, valid in any cases, is established in order to be included in the grid codes. To conclude this work, extension to more complex cases is discussed., Pour maintenir la tension dans des bornes admissibles, des régulations locales de puissance réactive (Q) en fonction de la tension (U) sont envisagées sur les réseaux de distribution. Ces travaux étudient l’impact de ces régulations sur la stabilité des réseaux de distribution accueillant de la production. Une étude empirique confirme le risque d’instabilité de la tension et souligne le lien avec les paramètres de la régulation. Pour aider les gestionnaires à les choisir, trois méthodes d’étude de la stabilité sont proposées. Tout d’abord, une méthode formelle fondée sur les notions d’abstraction discrète et de bisimulation est développée. Elle offre une grande précision au prix d’un effort de calcul important. Pour contournercette difficulté, un critère analytique portant sur le temps de réponse des régulations Q(U) est formulé. Ensuite, un critère valable dans tous les cas est proposé pour les codes de réseaux. Enfin, l’extension desméthodes à des cas plus complexes est discutée.

In this thesis we have considered different aspects for the control of hyperbolic systems.First, we have studied switched hyperbolic systems. They contain an interaction between a continuous and a discrete dynamics. Thus, the continuous dynamics may evolve in different modes: these modes are imposed by the discrete dynamics. The change in the mode may be controlled (in case of a closed-loop system), or may be uncontrolled (in case of an open-loop system). We have focused our interest on the former case. We procedeed with a Lyapunov analysis, and construct three switching rules. We have shown how to modify them to get robustness and ISS properties. We have shown their effectiveness with numerical tests.Then, we have considered the trajectory generation problem for 2x2 linear hyperbolic systems. We have solved it with backstepping. Then, we have considered the tracking problem with a Proportionnal-Integral controller. We have shown that it stabilizes the error system around the reference trajectory with a new non-diagonal Lyapunov function. The integral action has been shown to be able to reject in-domain, as well as boundary disturbances.Finally, we have considered numerical aspects for the Lyapunov analysis. The conditions for the stability and design of controllers by quadratic Lyapunov functions involve an infinity of matrix inequalities. We have shown how to reduce this complexity by polytopic embeddings of the constraints.Many obtained results have been illustrated by academic examples and physically relevant dynamical systems (as Shallow-Water equations and Aw-Rascle-Zhang equations)., Dans cette thèse nous avons étudié différents aspects pour le contrôle de systèmes hyperboliques.Tout d'abord, nous nous sommes intéressés à des systèmes hyperboliques à commutations. Cela signifie qu'il existe une interaction entre une dynamique continue et une dynamique discrète. Autrement dit, il existe différents modes dans lesquels peut évoluer la dynamique continue: ces modes sont dictés par la dynamique discrète. Ce changement de mode peut être contrôlé (dans le cas d'une boucle fermée), ou non-contrôlé (dans le cas d'une boucle ouverte). Nous nous sommes intéressés au premier cas. Par une analyse Lyapunov nous avons construit trois règles de commutations capables de stabiliser le système. Nous avons montré comment modifier deux d'entre elles pour obtenir des propriétés de robustesse et de stabilité entrée-état. Ces règles de commutations ont été testées numériquement.Ensuite, nous avons considéré la génération de trajectoire pour des systèmes hyperboliques linéaires 2x2 par backstepping. L'étape suivante a été de considérer une action Proportionnelle-Intégrale pour stabiliser la solution du système autour de la trajectoire de référence. Pour cela nous avons construit une fonction Lyapunov non-diagonale. Nous avons montré que l'action intégrale est capable de rejeter des erreurs distribuées et frontières.Enfin, nous avons considéré des aspects numériques pour l'analyse Lyapunov. Les conditions pour la stabilité et la conception de contrôleurs obtenues par des fonctions de Lyapunov quadratiques font intervenir une infinité d'inégalités matricielles. Nous avons montré que cette complexité peut être réduite en considérant une sur-approximation polytopique de ces contraintes.Les résultats obtenus ont été illustrés par des exemples académiques et des systèmes dynamiques physiques (comme les équations de Saint-Venant et les équations de Aw-Rascle-Zhang).

The limited reserves of fossil fuel and the pollution gases produced pave the way to promising alternativeRenewable Energy Sources (RESs) such as Solar Energy Sources (SESs) and Wind Energy Sources (WESs).SESs and WESs are freely available and environmentally friendly. However, RESs are intermittent in nature.Therefore, the smoothing of power fluctuations by storing the energy during periods of oversupply and restore it tothe grid when demand becomes necessary. Accordingly, Energy Storage Systems (ESSs) can be appropriatelyused for this purpose.Using several energy sources for constructing HPSs alongside with ESS will require an energy managementstrategy to achieve minimum HPS cost and optimal balance between energy generation and energy consumption.This energy management method is a mechanism to achieve an ideal energy production and to conveniently satisfythe load demand at relatively high efficiency.In this thesis, a Hybrid Power System (HPS) including Renewable Energy Sources (RESs) such as main sourcescombined with Gas Micro-Turbine (GMT) and hydrogen storage system such as Back-up Sources (BKUSs) hasbeen presented. The aim of this hybridization is to build a reliable system, which is able to supply the load andhaving the ability to store the excess energy in hydrogen form and reuse it later when demanded. Consequently, thestored energy at the end of each cycle will be zero and a minimum generated power cost is achieved. In addition,partial shading problem of Photovoltaic (PV) panels is comprehensively studied and a new solution based on simpleswitches and Fuzzy Logic Control (FLC) integrated into dSPACE electronic card is created. Consequently, a realtime PV panels reconfiguration and disconnecting shaded ones is performed and minimum power losses isachieved. Then, the PV panels are connected to a Proton Exchange Membrane Electrolyser (PEM ELS). Theemitted temperature by the PV panels is transferred to the endothermic element PEM ELS. Consequently, anefficiency enhancement of the hybrid system PVPEM ELS is realized.; Les réserves limitées de combustibles fossiles et la pollution entrainée par les gaz produits ouvrent la voie à desressources énergétiques renouvelables (RER) alternatives et prometteuses telles que les ressources solaires (RS)et les ressources éoliennes (RE). Ces ressources sont librement disponibles et respectueuses de l'environnement.Cependant, les RER sont de nature intermittente. Par conséquent, il existe un besoin de lissage des fluctuations depuissance en stockant l'énergie pendant les périodes de surproduction pour la restituer au réseau lorsque lademande énergétique devient importante. Les systèmes de stockage de l'énergie (SSE) peuvent alors être utilisésde manière appropriée à cette fin.L'utilisation de plusieurs sources d'énergie et de stockeurs pour construire des systèmes de puissance hybrides(SPH) exige une stratégie de gestion de l'énergie pour atteindre le minimum de coût des SPH et un équilibre entrela production et la consommation de l'énergie. Cette méthode de gestion de l'énergie est un mécanisme pourobtenir une production d'énergie idéale et pour satisfaire convenablement la demande de charge à rendementrelativement élevé.Dans cette thèse, un SPH intégrant production électrique photovoltaïque, éolienne, une micro-turbine à gaz ainsiqu'un système de stockage de l'électricité par le vecteur hydrogène est considéré. Le but de cette hybridation estde construire un système fiable, qui est en mesure de fournir la charge et qui a la capacité de stocker l'énergieexcédentaire sous forme hydrogène et de la réutiliser plus tard. En outre, le problème d'ombrage partiel dePanneaux Photovoltaïques est étudié de manière approfondie. Une nouvelle solution basée sur des interrupteurssimples et un contrôle par logique floue intégré dans une carte électronique dSPACE a été proposée. Unereconfiguration des panneaux photovoltaïques en temps réel et de déconnexion de ceux ombragés est égalementeffectuée en cherchant à minimiser les pertes de puissance. Le couplage thermique entre ces panneauxphotovoltaïques et un électrolyseur à membrane polymère est également étudié, à l'échelle système. Enrécupérant une partie de l'énergie thermique reçue par les panneaux, une amélioration du rendement du systèmehybride PPVELS MEP est réalisée

The limited reserves of fossil fuel and the pollution gases produced pave the way to promising alternativeRenewable Energy Sources (RESs) such as Solar Energy Sources (SESs) and Wind Energy Sources (WESs).SESs and WESs are freely available and environmentally friendly. However, RESs are intermittent in nature.Therefore, the smoothing of power fluctuations by storing the energy during periods of oversupply and restore it tothe grid when demand becomes necessary. Accordingly, Energy Storage Systems (ESSs) can be appropriatelyused for this purpose.Using several energy sources for constructing HPSs alongside with ESS will require an energy managementstrategy to achieve minimum HPS cost and optimal balance between energy generation and energy consumption.This energy management method is a mechanism to achieve an ideal energy production and to conveniently satisfythe load demand at relatively high efficiency.In this thesis, a Hybrid Power System (HPS) including Renewable Energy Sources (RESs) such as main sourcescombined with Gas Micro-Turbine (GMT) and hydrogen storage system such as Back-up Sources (BKUSs) hasbeen presented. The aim of this hybridization is to build a reliable system, which is able to supply the load andhaving the ability to store the excess energy in hydrogen form and reuse it later when demanded. Consequently, thestored energy at the end of each cycle will be zero and a minimum generated power cost is achieved. In addition,partial shading problem of Photovoltaic (PV) panels is comprehensively studied and a new solution based on simpleswitches and Fuzzy Logic Control (FLC) integrated into dSPACE electronic card is created. Consequently, a realtime PV panels reconfiguration and disconnecting shaded ones is performed and minimum power losses isachieved. Then, the PV panels are connected to a Proton Exchange Membrane Electrolyser (PEM ELS). Theemitted temperature by the PV panels is transferred to the endothermic element PEM ELS. Consequently, anefficiency enhancement of the hybrid system PVPEM ELS is realized.; Les réserves limitées de combustibles fossiles et la pollution entrainée par les gaz produits ouvrent la voie à desressources énergétiques renouvelables (RER) alternatives et prometteuses telles que les ressources solaires (RS)et les ressources éoliennes (RE). Ces ressources sont librement disponibles et respectueuses de l'environnement.Cependant, les RER sont de nature intermittente. Par conséquent, il existe un besoin de lissage des fluctuations depuissance en stockant l'énergie pendant les périodes de surproduction pour la restituer au réseau lorsque lademande énergétique devient importante. Les systèmes de stockage de l'énergie (SSE) peuvent alors être utilisésde manière appropriée à cette fin.L'utilisation de plusieurs sources d'énergie et de stockeurs pour construire des systèmes de puissance hybrides(SPH) exige une stratégie de gestion de l'énergie pour atteindre le minimum de coût des SPH et un équilibre entrela production et la consommation de l'énergie. Cette méthode de gestion de l'énergie est un mécanisme pourobtenir une production d'énergie idéale et pour satisfaire convenablement la demande de charge à rendementrelativement élevé.Dans cette thèse, un SPH intégrant production électrique photovoltaïque, éolienne, une micro-turbine à gaz ainsiqu'un système de stockage de l'électricité par le vecteur hydrogène est considéré. Le but de cette hybridation estde construire un système fiable, qui est en mesure de fournir la charge et qui a la capacité de stocker l'énergieexcédentaire sous forme hydrogène et de la réutiliser plus tard. En outre, le problème d'ombrage partiel dePanneaux Photovoltaïques est étudié de manière approfondie. Une nouvelle solution basée sur des interrupteurssimples et un contrôle par logique floue intégré dans une carte électronique dSPACE a été proposée. Unereconfiguration des panneaux photovoltaïques en temps réel et de déconnexion de ceux ombragés est égalementeffectuée en cherchant à minimiser les pertes de puissance. Le couplage thermique entre ces panneauxphotovoltaïques et un électrolyseur à membrane polymère est également étudié, à l'échelle système. Enrécupérant une partie de l'énergie thermique reçue par les panneaux, une amélioration du rendement du systèmehybride PPVELS MEP est réalisée

Beyond the interest of robotics laboratories for the development of dedicated strategies for single vehicle navigation, several laboratories around the world are more and more involved in the general challenging field of cooperative multi-robot navigation. In this context, this work deals with the navigation in formation of a group of Unmanned Ground Vehicles (UGVs) dedicated to structured environments. The complexity of this Multi-Robot System (MRS) does not permit the direct use of neither classical perception nor control techniques. To overcome this problem, this work proposes to break up the overall control dedicated to the achievement of the complex task into a group of accurate and reliable elementary behaviors/controllers (e.g., obstacles avoidance, trajectory tracking, target reaching, navigation in formation, formation reconfiguration, etc.). These behaviors are linked to different information given by the sensors to the actions of vehicles. To guarantee the performances criteria (e.g., stability, convergence, state errors) aimed by the control architecture, the potentialities of hybrid controllers (which controlling continuous systems in the presence of discrete events) are considered. This control architecture is validated for a single vehicle to perform safe and flexible autonomous navigation using an appropriate strategy of navigation through suitable set of waypoints. This flexible navigation allows different vehicle maneuvers between waypoints (e.g., target reaching or obstacle avoidance) without using any trajectory planning nor replanning. The designed control law based on Lyapunov synthesis guarantees the convergence to assigned waypoint while performing safe trajectories. Furthermore, an algorithm to select suitable waypoints’ positions, named Optimal Multi-criteria Waypoint Selection (OMWS), in structured environments while taking into account the safe and reliable vehicle movements, and vehicle constraints and uncertainties is proposed. Subsequently, the control architecture is extended to Multi-Robot Formation (MRF) using a combination of Leader-Follower and behavior-based approaches. An important cooperative MRS issues in this thesis is the dynamic reconfiguration of the formation according to the context of navigation (e.g., to pass from a triangle configuration towards a line if the width of the navigation way is not sufficient). The proposed Strategy for Formation Reconfiguration (SFR) guarantees the stability and the safety of the MRS at the time of the transitions between configuration (e.g., line towards square, triangle towards line, etc.). Therefore, a safe, reactive and dynamic MRF is obtained. Moreover, the degrees of multi-robot safety, stability and reliability of the system are quantified via suitable metrics. Simulations and experiments using urban vehicles (VIPALABs) of the Institut Pascal laboratory allow to perform exhaustive experiments of the proposed control architecture for the navigation in formation of a group of UGVs., Plusieurs laboratoires de robotique à travers le monde travaillent sur le développement de stratégies innovantes pour la navigation autonome de véhicules élémentaires ou en convoi. Dans ce contexte, nos travaux de thèse s’inscrivent principalement dans le cadre de la navigation en formation d’un groupe de véhicules dans des environnements structurés. La complexité de ces systèmes multi-robots ne permet pas l’utilisation directe de techniques classiques de perception et/ou de contrôle/commande. Nos travaux ont consisté à décomposer le contrôle global, dédié à la réalisation de la tâche complexe, en un ensemble de comportements/contrôleurs élémentaires précis et fiables (e.g., évitement d’obstacles, suivi de trajectoire, attraction vers une cible, navigation en formation, etc.). Ces comportements lient les différentes informations fournies par les capteurs aux actions des véhicules. Pour garantir les critères de performances imposés à notre architecture de contrôle/commande (e.g., stabilité, robustesse et/ou borner les erreurs maximales), les potentialités des systèmes hybrides ont été considérées. Cette architecture de contrôle a été validée, dans un premier temps, sur des véhicules pris individuellement, en utilisant notamment une stratégie de navigation sûre et flexible utilisant des points de passage. Cette navigation permet au véhicule d’effectuer différentes manœuvres entre ces points de passage (pour éviter par exemple des obstacles dans l’environnement) et ce sans avoir à planifier/re-planifier des trajectoires globales dans l’environnement. Une loi de commande spécifique, permettant une attraction stable (au sens de Lyapunov) et précise vers des cibles statiques ou dynamiques a été par ailleurs développée. Cette loi de commande garantit la convergence du véhicule vers chaque point de passage tout en garantissant des trajectoires sûres. Par ailleurs, un algorithme nommé OMWS (pour Optimal Multi-criteria Waypoint Selection) a été proposé pour sélectionner les configurations optimales des points de passage dans l’environnement. Cet algorithme permet de garantir des mouvements sûrs et fiables du véhicules en tenant compte des contraintes et incertitudes liées à la navigation du véhicule. Par la suite, l’architecture de contrôle/commande proposée a été étendue aux systèmes multi-robots en utilisant la combinaison d’une approche leader-suiveur et comportementale. Un important aspect de la navigation multi-robots est la reconfiguration dynamique de la formation en fonction du contexte de la navigation (e.g., passer d’une configuration triangle vers ligne si la largeur de la voie de navigation ne suffisait pas). Ainsi, des stratégies de reconfiguration dynamique ont été proposées, permettant de garantir la sureté de la formation même au moment des transitions entre configurations. Il est à noter par ailleurs que des métriques spécifiques ont été proposées pour quantifier la fiabilité et la robustesse des stratégies multi-robots proposées. Plusieurs simulations et expérimentations avec des véhicules urbains (VIPALABs) nous ont permis de confirmer la viabilité et efficacité des architectures de contrôle/commande proposées pour la navigation en formation d’un groupe de VIPALABs.

Colloque avec actes et comité de lecture. internationale.; International audience; Le paradigme holonique a été largement étudié dans le cadre de la production manufacturière. Ces productions sont de type discrètes, car les opérations incluses dans les gammes ne mettent pas en jeu de variables à évolution continue. Une classe différente de systèmes est étudiée ici, les systèmes hybrides, qui englobe l’ensemble des systèmes ayant une évolution continue par morceaux, et dont les changements sont liés à l’évolution de variables discrètes. Dans ce cas, une reconfiguration du système est généralement nécessaire, et le paradigme holonique est une réponse pertinente au besoin de flexibilité en découlant. Ce papier propose l’adaptation d’une architecture de référence connue de la littérature discrète au cas des systèmes hybrides. Le modèle proposé est composé de l’union du modèle hybride et du modèle holonique, où le contrôleur proposé est représenté par l’holon Produit et l’holon Ordre, l'interface est représentée par la partie logique du holon Ressources et le système de production est représenté par la partie physique du holon ressource. La spécification d’holon produit utilisée est orientée services, et la spécification d’holon ressource est une abstraction de la partie physique de la ressource contenant tous les modèles de conversion d’état discret vers l’état continu et vice-versa. Un cas d’étude s’appuyant sur un système de commutations d’arrivées a été choisi.

This work deals with the study of electrode materials for supercapacitors. These storage devices have a significant power density of several kW/kg. Asymmetric systems have been developed in order to increase the energy density of these components while trying to maintain a high power density. They consist of a classic capacitive electrode made of activated carbon and a faradaic electrode. Two approaches have been broached regarding that non-blocking electrode: • Mainly, the use of lithium titanate Li4Ti5O12 which is a lithium insertion material usually used in Li-ion battery electrodes. It appeared that for hybrid systems including a negative electrode only made of Li4Ti5O12, the energy density is greatly reduced beyond 1 kW/kg. The use of composite negative electrodes made of activated carbon and Li4Ti5O12 is recommended so as to maintain good performances both in energy and power. Thus, for a power density of 2 kW/kg, the energy density of the developed hybrid system remains 1.5 superior to the one of an activated carbon / activated carbon symmetric system tested in the same conditions. • Secondly, the use of manganese dioxide MnO2, a pseudo-capacitive material involving redox reactions. The study has been focused on the synthesis of the metal oxide and then on the synthesis of a composite material by self-assembly. The aim is to aggregate small manganese dioxide particles around a carbon backbone. Such a microstructure offers a high specific surface area of active material directly in contact with a network having a good electronic conductivity. The obtained MnO2 + VGCF composite material has been tested as positive electrode in an asymmetric system, facing an activated carbon electrode. Thus, the stability window of the aqueous electrolyte has been multiplied by 1.5 compared to an activated carbon / activated carbon system. Finally, diamond has been considered as a supercapacitor electrode material in an explorative view since it offers a wide electrochemical stability window in water (around 3 V). The interest for tridimensional structures has been evidenced, e.g. a “needles” architecture allows to obtain a surfacic capacity ten times higher than the one obtained with a flat architecture., Ces travaux de thèse portent sur l'étude de matériaux d'électrodes de supercondensateurs. Ce sont des dispositifs de stockage qui possèdent une densité de puissance importante de l'ordre de plusieurs kW/kg. Des systèmes asymétriques ont été développés dans le but d'augmenter la densité d'énergie de ces dispositifs, tout en essayant de maintenir une densité de puissance élevée. Ils font intervenir une électrode capacitive classique de carbone activé et une électrode faradique. Concernant cette électrode non-bloquante, deux orientations ont été abordées : • Principalement, l'utilisation de titanate de lithium Li4Ti5O12 qui est un matériau d'insertion du lithium habituellement utilisé dans les électrodes de batteries Li-ion. Il est apparu que pour les systèmes hybrides comportant une électrode négative composée uniquement de Li4Ti5O12, la densité d'énergie chute fortement au-delà de 1 kW/kg. L'utilisation d'électrodes négatives composites carbone activé + Li4Ti5O12 est donc préconisée pour maintenir de bonnes performances à la fois en énergie et en puissance. Ainsi, pour une densité de puissance de 2 kW/kg, la densité d'énergie du système hybride développé est encore 1,5 fois supérieure à celle d'un système symétrique carbone activé / carbone activé testé dans les mêmes conditions. • En second plan, l'utilisation du dioxyde de manganèse MnO2, matériau pseudo-capacitif qui fait intervenir des réactions redox. L'étude a porté sur la synthèse de l'oxyde métallique puis sur celle d'un matériau composite réalisé par auto-assemblage. Le but est d'agréger de fines particules de dioxyde de manganèse autour d'un squelette carboné. Une telle microstructure présente l'avantage d'offrir une grande surface spécifique de matière active directement en contact avec un réseau possédant une bonne conductivité électronique. Le matériau composite MnO2 + VGCF obtenu a été testé en électrode positive dans un système asymétrique face à une électrode négative de carbone activé. Cela a permis de multiplier par 1,5 l'étendue de la fenêtre de stabilité de l'électrolyte aqueux par rapport à un système carbone activé / carbone activé. Enfin, dans une optique exploratoire, l'utilisation du diamant en tant que matériau d'électrode de supercondensateur a été étudiée puisqu'il présente dans l'eau une fenêtre de stabilité électrochimique importante d'environ 3 V. L'intérêt de synthétiser des structures tridimensionnelles a été mis en évidence, en particulier une architecture de diamant « en aiguilles » permet de multiplier par 10 la capacité surfacique par rapport à une architecture plane.

When we design hybrid systems which combine machine-learning algorithms with symbolic language resources elaborated by linguists, we divide tasks between linguists and algorithms, and we select models that facilitate this division of tasks.What are the challenges faced by linguists and by machine learning algorithms in this context? What are the assets that allow them to take on these challenges? Is the problem different for different types of resources? Which trends in linguistics equips linguists best for building resources?

Ce manuscrit présente des résultats de recherche concernant une certaine classe de systèmes hybrides. Les systèmes hybrides peuvent être utilises pour la modélisation de systèmes physiques complexes et hétérogènes dont l’évolution dans le temps présente des phénomènes discrets, tels que les commutations des convertisseurs ou les impacts des systèmes mécaniques. De la même manière, la théorie hybride peut être utilisée pour concevoir des contrôleurs hybrides, en général plus performants par rapport aux contrôleurs a temps continu. Dans ce cadre, les résultats de ce manuscrit peuvent être divises en trois parties. D'abord des résultats de stabilité par rapport à un indice de performance de type Hinfini sont présentes pour une classe plutôt large de systèmes hybrides Ensuite, nous introduisons de nouvelles architectures de contrôleurs hybrides pour les systèmes à temps continu caractérisées par le fait que leur état peut être réinitialisé en fonction de la trajectoire. Enfin, nous présentons une technique de synthèse convexe pour la conception d'un contrôleur hybride multi-objectif. La comparaison avec les résultats classique met en évidence les avantages en termes de performance par rapport aux contrôleurs a temps continu classiques, tout en préservant la propriété de robustesse et la simplicité de conception. Bien que la théorie hybride soit en plein développement, ces travaux généralisent certains résultats existants, en améliorant la simplicité d’implémentation des solutions grâce à l'utilisation de la programmation semi-definie. En plus les architectures de contrôleurs hybrides présentées ont l'avantage de simplifier la généralisation de quelques résultats classiques concernant la synthèse optimale par rapport à des indices de performance communs. This dissertation presents some results on hybrid systems. Hybrid systems can be used to model complex physical and heterogeneous systems whose time evolution experiences discrete phenomena, such as commutations in electronic converters or impacts in mechanical systems. In the meantime the hybrid theory can be used to design hybrid controllers which exhibit better performance than the classical continuous-time controllers. In this context, the results in this dissertation can be divided en three parts. First, some stability results with respect to the Hinfinity performance index are presented for a wide class of hybrid controllers. Second, we introduce new hybrid controller architectures for continuous-time systems, where the state ofthe hybrid controller can be reinitialized depending on the trajectory of the system. Finally, we present a convex synthesis of a multiobjective hybrid controller. The comparisons with the classical results show the improvements that can be achieved with hybrid controllers, maintaining the property of robustness and simplicity of design. Although the hybrid theory is in full development, this work generalizes some existing results by improving the simplicity of their usage by means of semidefinite programming tools. Moreover some hybrid architectures are able to generalize some classic results regarding the optimal synthesis with respect to popular performance indexes.

In automatic control, obtaining a model is always the cornerstone of the synthesis procedures such as controller design, fault detection or prediction... This thesis deals with the identification of a class of complex systems, hybrid dynamical systems. These systems involve the interaction of continuous and discrete behaviors. The goal is to build a model from experimental measurements of the system inputs and outputs. A new approach for the identification of linear hybrid systems based on the geometric properties of hybrid systems in the parameter space is proposed. A new algorithm is then proposed to recover the sparsest solutions of underdetermined systems of linear equations. This allows us to improve an identification approach based on the error sparsification. In addition, new approaches based on kernel models are proposed for the identification of nonlinear hybrid systems and piecewise smooth systems., En automatique, l'obtention d'un modèle du système est la pierre angulaire des procédures comme la synthèse d'une commande, la détection des défaillances, la prédiction... Cette thèse traite de l'identification d'une classe de systèmes complexes, les systèmes dynamiques hybrides. Ces systèmes impliquent l'interaction de comportements continus et discrets. Le but est de construire un modèle à partir de mesures expérimentales d'entrée et de sortie. Une nouvelle approche pour l'identification de systèmes hybrides linéaires basée sur les propriétés géométriques des systèmes hybrides dans l'espace des paramètres est proposée. Un nouvel algorithme est ensuite proposé pour le calcul de la solution la plus parcimonieuse (ou creuse) de systèmes d'équations linéaires sous-déterminés. Celui-ci permet d'améliorer une approche d'identification basée sur l'optimisation de la parcimonie du vecteur d'erreur. De plus, de nouvelles approches, basées sur des modèles à noyaux, sont proposées pour l'identification de systèmes hybrides non linéaires et de systèmes lisses par morceaux.

In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis power. We propose a method for the control synthesis of HDS modeled with RHA. This method consists on the application of a downstream/upstream offline control procedure that determines in a maximal permissive way the new automaton transition guards respecting the desired control specifications. All computations are based on the determination of the duration of stay, a value constrained by the reachable space of the corresponding location. Since the guard refers to both continuous state and discrete event, the control is made by the latter because it is the controllable element. Then we are interested in the construction of the timed controller authorizing the system controllable event occurrence in a clock interval defined in a maximal permissive way.; Notre travail de recherche concerne l’étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L’outil de modélisation choisi est l’automate hybride rectangulaire (AHR) pour sa puissance d’analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l’application d’une procédure amont/aval de commande hors-ligne qui détermine d’une façon maximale permissive les nouvelles gardes de transition de l’automate respectant des spécifications de commande imposées par l’utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l’espace atteignable du sommet correspondant. La garde portant à la fois sur l’état continu et sur l’événement discret, la commande se fait par ce dernier car il s’agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l’occurrence des événements contrôlables du système dans un intervalle d’horloge défini au sens de la maximale permissivité.

Lately, power supply systems, guaranteeing the global stability for large enough operation ranges with good dynamic performances (small settling time, bounded overshoot of the output voltage in the presence of load or supply voltage variations), are strongly needed. Therefore, this thesis deals with control problems of DC-DC power converters represented by hybrid models.Considering the variable structure of these switched systems, a hybrid model describes more precisely the converter’s dynamics in its operating domain. From this perspective, a PWA (piecewise affine) approximation is used in order to model the DC-DC converters. Based on the developed hybrid models, first we have designed a stable piecewise linear state-feedback controller using piecewise quadratic (PWQ) Lyapunov functions, and secondly, we have implemented an explicit predictive control law taking into account constraints on the control input. The hybrid modeling technique and the proposed control strategies were applied on two different topologies of converters: a buck converter, in order to have a thorough knowledge of the controllers’ tuning, and a flyback converter with an input filter. This last topology, allowed us to manage different control problems (non-minimum phase behavior) encountered in the majority of topologies of DC-DC power converters. The controllers’ performances were validated in simulation on both considered topologies and also experimentally on buck converter., Actuellement la nécessité des systèmes d’alimentation d’énergie, capables d’assurer un fonctionnement stable dans des domaines de fonctionnement assez larges avec des bonnes performances dynamiques (rapidité du système, variations limitées de la tension de sortie en réponse aux perturbations de charge ou de tension d’alimentation), devient de plus en plus importante. De ce fait, cette thèse est orientée sur la commande des convertisseurs de puissance DC-DC représentés par des modèles hybrides.En tenant compte de la structure variable de ces systèmes à commutation, un modèle hybride permet de décrire plus précisément le comportement dynamique d’un convertisseur dans son domaine de fonctionnement. Dans cette optique, l’approximation PWA est utilisée afin de modéliser les convertisseurs DC-DC. A partir des modèles hybrides développés, on s’est intéressé à la stabilisation des convertisseurs au moyen des correcteurs à gains commutés élaborés sur la base de fonctions de Lyapunov PWQ, et à l’implantation d’une commande prédictive explicite, en considérant des contraintes sur l’entrée de commande. La méthode de modélisation et les stratégies de commande proposées ont été appliquées sur deux topologies : un convertisseur buck, afin de mieux maîtriser le réglage des correcteurs et un convertisseur flyback avec filtre d’entrée. Cette dernière topologie nous a permis de répondre aux difficultés du point de vue de la commande (comportement à déphasage non-minimal) rencontrées dans la majorité des convertisseurs DC-DC. Les performances des commandes élaborées ont été validées en simulation sur les topologies considérées et expérimentalement sur une maquette du convertisseur buck.

Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a physical environment by means of sensors and actuators. Hybrid systems include some industrial plant control software and home automation systems. The validation of hybrid systems is a crucial problem since they may be used in safety critical applications (a safety critical system is a system whose failure may lead to unacceptable financial or human costs). This validation raises several problems; in particular a complete description of the system to be validated is not always available. Its complexity may also prevent establishing the correction of the system with certainty (if for exampl a full proof computation requires too much time or equipment). Therefore we are interested in validating hybrid systems specified by a set of safety properties. A safety property is a requirement that constrains only some aspect of the system behavior and can be fullfilled by several implementations. It may for example specify the expected reaction of the system under specific circumstances or constrain the set of values that a variable is allowed to take. The work presented in this document is a functional testing approach aimed at allowing the validation of hybrid systems for which a specification composed of hybrid safety properties is available. Validation consists in verifying that the system satisfies its specification and therefore the needs that motivated its design (assuming the specification actually matches these needs).; On nomme systèmes hybrides les systèmes qui intègrent des comportements continus et discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou leur interaction avec un environnement physique via l'utilisation de capteurs et d'actionneurs. Il peut s'agir par exemple d'équipements de contrôle de procédés industriels ou de services domotiques. La validation de ces systèmes est un problème crucial, car ils sont parfois utilisés au sein d'applications où la sûreté de fonctionnement est critique (un système critique est un système dont la défaillance peut entraîner des blessures ou la mort d'êtres humains). Cette validation soulève plusieurs problèmes ; en particulier, une description détaillée du système à valider n'est pas toujours disponible, ou celle-ci est trop complexe pour qu'il soit possible en pratique d'établir avec certitude sa correction (par exemple parce que cette vérification exhaustive nécéssite des ressources en temps ou en matériel trop importantes). Dans ces conditions, nous nous intéressons à la validation de systèmes hybrides spécifiés par un ensemble de propriétés de sûreté. Une propriété de sûreté est une exigence portant sur le comportement du système qui ne contraint pas entièrement ce comportement, mais en spécifie des aspects particuliers. Elle peut ainsi porter sur la réaction attendue du système en réponse à une suite d'événements donnée, ou imposer des limites à l'évolution des grandeurs environnementales qu'il contrôle. Le travail présenté dans ce document consiste en une approche de test fonctionnel, destinée à permettre la validation de systèmes hybrides pour lesquels on dispose d'une spécification composée de propriétés de sûreté. La validation consiste à vérifier que le système satisfait à sa spécification, et donc aux besoins qui motivent sa création (sous réserve que la spécification traduise correctement les besoins).

Hybrid systems posess a continuous and discrete behavior. This behavior is partially determined by temporal constraints, and/or interactions of the system with a physical environment by means of sensors and actuators. Hybrid systems include some industrial plant control software and home automation systems. The validation of hybrid systems is a crucial problem since they may be used in safety critical applications (a safety critical system is a system whose failure may lead to unacceptable financial or human costs). This validation raises several problems; in particular a complete description of the system to be validated is not always available. Its complexity may also prevent establishing the correction of the system with certainty (if for exampl a full proof computation requires too much time or equipment). Therefore we are interested in validating hybrid systems specified by a set of safety properties. A safety property is a requirement that constrains only some aspect of the system behavior and can be fullfilled by several implementations. It may for example specify the expected reaction of the system under specific circumstances or constrain the set of values that a variable is allowed to take. The work presented in this document is a functional testing approach aimed at allowing the validation of hybrid systems for which a specification composed of hybrid safety properties is available. Validation consists in verifying that the system satisfies its specification and therefore the needs that motivated its design (assuming the specification actually matches these needs).; On nomme systèmes hybrides les systèmes qui intègrent des comportements continus et discrets. Leur comportement est en partie déterminé par des contraintes temporelles et/ou leur interaction avec un environnement physique via l'utilisation de capteurs et d'actionneurs. Il peut s'agir par exemple d'équipements de contrôle de procédés industriels ou de services domotiques. La validation de ces systèmes est un problème crucial, car ils sont parfois utilisés au sein d'applications où la sûreté de fonctionnement est critique (un système critique est un système dont la défaillance peut entraîner des blessures ou la mort d'êtres humains). Cette validation soulève plusieurs problèmes ; en particulier, une description détaillée du système à valider n'est pas toujours disponible, ou celle-ci est trop complexe pour qu'il soit possible en pratique d'établir avec certitude sa correction (par exemple parce que cette vérification exhaustive nécéssite des ressources en temps ou en matériel trop importantes). Dans ces conditions, nous nous intéressons à la validation de systèmes hybrides spécifiés par un ensemble de propriétés de sûreté. Une propriété de sûreté est une exigence portant sur le comportement du système qui ne contraint pas entièrement ce comportement, mais en spécifie des aspects particuliers. Elle peut ainsi porter sur la réaction attendue du système en réponse à une suite d'événements donnée, ou imposer des limites à l'évolution des grandeurs environnementales qu'il contrôle. Le travail présenté dans ce document consiste en une approche de test fonctionnel, destinée à permettre la validation de systèmes hybrides pour lesquels on dispose d'une spécification composée de propriétés de sûreté. La validation consiste à vérifier que le système satisfait à sa spécification, et donc aux besoins qui motivent sa création (sous réserve que la spécification traduise correctement les besoins).

In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis power. We propose a method for the control synthesis of HDS modeled with RHA. This method consists on the application of a downstream/upstream offline control procedure that determines in a maximal permissive way the new automaton transition guards respecting the desired control specifications. All computations are based on the determination of the duration of stay, a value constrained by the reachable space of the corresponding location. Since the guard refers to both continuous state and discrete event, the control is made by the latter because it is the controllable element. Then we are interested in the construction of the timed controller authorizing the system controllable event occurrence in a clock interval defined in a maximal permissive way., Notre travail de recherche concerne l’étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L’outil de modélisation choisi est l’automate hybride rectangulaire (AHR) pour sa puissance d’analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l’application d’une procédure amont/aval de commande hors-ligne qui détermine d’une façon maximale permissive les nouvelles gardes de transition de l’automate respectant des spécifications de commande imposées par l’utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l’espace atteignable du sommet correspondant. La garde portant à la fois sur l’état continu et sur l’événement discret, la commande se fait par ce dernier car il s’agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l’occurrence des événements contrôlables du système dans un intervalle d’horloge défini au sens de la maximale permissivité.