To see the other types of publications on this topic, follow the link: Systeme hybride.
Dissertations / Theses on the topic 'Systeme hybride'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Systeme hybride.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Hodrus, Thomas Erhard. "Prozessführungsstrategien für hybride Systeme." Karlsruhe : Univ.-Verl. Karlsruhe, 2008. http://d-nb.info/988468980/34.
Full text
2
Diaz, Frédéric. "Systeme d'imagerie hybride par codage de pupille." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00624387.
Full textAbstract:
De nouveaux concepts d'imagerie permettent aux systèmes optiques d'être plus compacts et plus performants. Parmi ces nouvelles techniques, les systèmes d'imagerie hybrides par codage de pupille allient un système optique comprenant un masque de phase et un traitement numérique. La fonction de phase implantée sur le masque rend l'image insensible à un défaut du système optique, qui peut être une aberration ou de la défocalisation. Cet avantage est obtenu au prix d'une déformation connue de l'image qui est ensuite corrigée par un traitement numérique.L'étude des propriétés de ces systèmes a été effectuée en cherchant à augmenter la profondeur de champ d'un système d'imagerie. Un gain sur ce paramètre permet déjà d'envisager le relâchement de contraintes de conception optique telles que la courbure de champ, la défocalisation thermique, le chromatisme... Dans ces techniques d'imagerie, la prise en compte du bruit du capteur constitue l'un des paramètres critiques pour le choix et l'utilisation de méthodes de traitement d'image.Les travaux menés durant cette thèse ont permis de proposer une approche originale de conception conjointe de la fonction de phase du masque et de l'algorithme de restauration d'image. Celle-ci est basée sur un critère de rapport signal à bruit de l'image finale. Contrairement aux approches connues, ce critère montre qu'il n'est pas nécessaire d'obtenir une stricte invariance de la fonction de transfert du système optique. Les paramètres des fonctions de phase optimisés grâce à ce critère sont sensiblement différents de ceux usuellement proposés et conduisent à une amélioration significative de la qualité de l'image.Cette approche de conception optique a été validée expérimentalement sur une caméra thermique non refroidie. Un masque de phase binaire qui a été mis en œuvre en association avec un traitement numérique temps réel implémenté sur une carte GPU a permis d'augmenter la profondeur de champ de cette caméra d'un facteur 3. Compte-tenu du niveau de bruit important introduit par l'utilisation d'un capteur bolométrique, la bonne qualité des images obtenues après traitement démontre l'intérêt de l'approche de conception conjointe appliquée à l'imagerie hybride par codage de pupille.
3
Hodrus, Thomas Erhard [Verfasser]. "Prozessführungsstrategien für hybride Systeme / von Thomas Erhard Hodrus." Karlsruhe : Univ.-Verl. Karlsruhe, 2008. http://d-nb.info/988468980/34.
Full text
4
Devillers, Laurence. "Reconnaissance de parole continue avec un systeme hybride neuronal et markovien." Paris 11, 1992. http://www.theses.fr/1992PA112426.
Full textAbstract:
L'objet de cette etude est d'evaluer le potentiel des reseaux de neurones (nns) pour la reconnaissance de la parole. La question posee est de savoir si ces methodes sont une alternative aux methodes classiques de reconnaissance de la parole telles que les modeles markoviens ou plus vraisemblablement un complement. L'aspect discriminant des criteres d'apprentissage des reseaux de neurones est un des cotes les plus attractifs de ces modeles, qualite qui fait en general defaut aux modeles markoviens caches (hmms). Les reseaux de neurones ont cependant deux inconvenients majeurs qui sont le temps prohibitif d'apprentissage et le manque de mecanisme d'integration temporelle. La conception de systemes hybrides constitues d'architectures neuronales modulaires en cooperation avec des modeles markoviens apportent des solutions a ces problemes. Ces systemes hybrides permettent de combiner les qualites de discrimination des nns et de modelisation temporelle des hmms. Les resultats de reconnaissance obtenus sur une base de donnees significative (darpa rm) ont permis de montrer la complementarite des approches puisqu'on ameliore notablement (20%) les performances des hmms utilises seuls dont les scores initiaux d'erreurs etaient de l'ordre de 3. 5%
5
Chombart, Anne. "Commande supervisée de systèmes hybrides." Grenoble INPG, 1997. http://www.theses.fr/1997INPG0170.
Full textAbstract:
Le travail que nous presentons dans cette these a pour but de construire un superviseur discret pour un systeme a dynamique continue dans l'optique de la contraindre a respecter des specifications de fonctionnement. Remarquant que la nature discrete du superviseur d'une part et la nature continue du systeme a controler d'autre part posent la question de la compatibilite des informations mutuellement echangees entre ces deux elements, nous avons choisi de traiter le probleme comme celui de la modelisation et de l'analyse d'un systeme dynamique hybride. D'une facon generale, un systeme dynamique hybride est un systeme qui comporte plusieurs dynamiques de natures differentes. Le terme dynamique signifie qu'il y a une evolution dans le temps du systeme. Le terme hybride specifie que ces evolutions sont du type continu et evenementiel. Apres l'etude des methodes de modelisation des systemes dynamiques hybrides, proposees dans la litterature, utilisant les automates a etats finis pour representer les systemes a evenements discrets, nous nous sommes apercus, que quelle que soit la methodologie adoptee, evenementielle, continue ou combinee, le probleme de modelisation se ramene a la determination de regions de l'espace d'etat continu delimitees par des frontieres susceptibles de caracteriser le comportement dynamique du procede, afin que les evenements qui y sont associes portent l'information necessaire a l'analyse de l'automate correspondant. Nous avons remarque que ce qui differencie les approches presentees est la maniere de determiner les transitions entre les etats du graphe correspondant a ce que nous appelons le squelette de la structure commune. Le modele d'automate representant la partie continue du systeme etudie est construit sur la base d'une partition de l'espace d'etat continu obtenue par la construction de fonctions de lyapunov et de domaines de stabilite associes, permettant ainsi de proposer une structure equivalente a celle du squelette de la structure mise en evidence. Ce squelette correspond a l'armature de la structure du controleur hybride ou superviseur discret que nous cherchons a construire.
6
Becker, Basil, and Holger Giese. "Cyber-physical systems with dynamic structure : towards modeling and verification of inductive invariants." Universität Potsdam, 2012. http://opus.kobv.de/ubp/volltexte/2012/6243/.
Full textAbstract:
Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part.
In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.Cyber-physical Systeme erzielen ihr ausgefeiltes Systemverhalten durch die enge Verschränkung von physikalischer Kopplung, wie sie in Systemen der klassichen Igenieurs-Disziplinen vorkommt, und der Kopplung durch Informationstechnologie. Eine besondere Herausforderung stellen in diesem Zusammenhang Systeme dar, die durch die spontane Vernetzung einzelner Cyber-Physical-Systeme entsprechend der lokalen, topologischen Gegebenheiten, verfügbarer Netzwerkfähigkeiten und der Anforderungen und Beschränkungen der Teilsysteme, die durch den informationsverabeitenden Teil vorgegeben sind, entstehen. In diesem Bericht stellen wir einen Formalismus vor, der die Modellierung der eingangs skizzierten Systeme erlaubt. Ein auf UML aufbauender Graph-Transformations-Ansatz wird genutzt, um die spontane Bildung eng kooperierender Teilsysteme beliebiger Größe zu spezifizieren. Differentialgleichungen beschreiben das kombinierte Verhalten auf physikalischer Ebene. In Kombination ergeben diese beiden Formalismen hybride Graph-Transformations-Systeme, in denen die Graph-Transformationen diskrete Schritte und die Differentialgleichungen das kontinuierliche, physikalische Verhalten des Systems beschreiben. Zusätzlich, präsentieren wir die Erweiterung einer automatischen Analysetechnik zur Verifikation induktiver Invarianten, die bereits für zeitbehaftete Systeme bekannt ist, auf den ausdrucksstärkeren Fall der hybriden Modelle.
7
Kossel, Roland [Verfasser], and Jürgen [Akademischer Betreuer] Köhler. "Hybride Simulation thermischer Systeme am Beispiel eines Reisebusses / Roland Kossel ; Betreuer: Jürgen Köhler." Braunschweig : Technische Universität Braunschweig, 2011. http://d-nb.info/1175824658/34.
Full text
8
Tovar, Günter. "Biomimetische Grenzflächen mittels hierarchisch strukturierter Systeme zur molekularen Erkennung." [S.l. : s.n.], 2004. http://www.bsz-bw.de/cgi-bin/xvms.cgi?SWB12046149.
Full text
9
Trousseau, Céline. "Adaptation de la stratégie de fonctionnement des systèmes hybrides au dimensionnement évolutif en situation de production décentralisée d'électricité." Paris, ENMP, 2004. http://www.theses.fr/2004ENMP1234.
Full textAbstract:
La problématique de la conception des systèmes autonomes de production d’électricité par énergies renouvelables se décompose en deux volets, le dimensionnement des différents composants, auquel s’ajoute le choix de la gestion d’énergie dans les systèmes hybrides, qui comportent une source d’énergie contrôlable. La littérature étudie abondamment ces deux volets de faÇon séparée, en revanche le choix de la stratégie de gestion d’énergie la plus performante en fonction du dimensionnement reste une question inexplorée. C’est précisément l’objet de cette thèse. L’application à la production décentralisée interconnectée est de savoir si on doit reconsidérer la stratégie de contrôle du système à la suite d’un changement de puissance des composants de celui-ci. La modélisation détaillée a également permis de contribuer au débat concernant le choix entre connexion par courant continu ou par courant alternatif, toutes choses égales par ailleurs, par des comparaisons de performances des systèmesThe issue of design of stand-alone systems for the generation of electricity with renewable energies is composed of two parts, the sizing of the different components, and the choice of the energy management in hybrid systems, which include a controllable energy source. If the two questions have been thus treated separately for many systems of varied sizes, on the other hand the choice of the strategy of management of the most efficient energy management according to the sizing remains an unaddressed topic. This is exactly the topic of this thesis. Applied to the interconnected decentralised production, the goal is to know if the system control strategy should be reconsidered following a power change of the components. Detailed modelling also made it possible to contribute to the discussion regarding the choice between connection by dc current or ac current, by comparisons of performances of the systems
10
Vera, Estrada Martin Carlos. "Modélisation et commande des systèmes dynamiques hybrides." Grenoble INPG, 2000. http://www.theses.fr/2000INPG0055.
Full textAbstract:
Un systeme dynamique hybride (sdh) est un systeme dynamique qui comporte plusieurs dynamiques de natures differentes. L'objectif de ce memoire est l'etude de la problematique de representation des sdh. Voici les aspects importants consideres dans cette etude : la compatibilite des informations echangees, la standardisation et la representation des parties continue et discrete du systeme, la compatibilite dans la notion de temps pour les differentes dynamiques du systeme, etc ce memoire a ete developpe sur trois aspects : _ modelisation : nous proposons le modele d'un sdh a temps hybride, compose : d'une partie continue (modelisee par un sdc etendu) et d'une partie discrete (modelisee par un sed a temps evenementiel), selon la structure mathematique d'un systeme dynamique. _ controle : nous proposons un controleur hybride compose : d'une partie continue, d'une partie discrete et d'une partie de supervision. Des conditions mathematiques sont donnees pour garantir les actions de controle. _ supervision predictive : nous proposons un schema d'un superviseur predictif pour un sdh. Nous donnons une expression pour determiner l'horizon de prediction en respectant la notion de temps hybride.
11
Delemar, Olivier. "Reconnaissance de la parole par une méthode hybride : texte imprimé : Réseaux markoviens et base de règles." Grenoble INPG, 1996. http://www.theses.fr/1996INPG0052.
Full textAbstract:
Parmi les differents traitements operant en reconnaissance automatique de la parole, le decodage acoustico-phonetique occupe une place privilegiee tant la robustesse dont il doit faire preuve conditionne le bon fonctionnement de l'ensemble du processus. Si les methodes stochastiques de decodage et en particulier les chaines de markov cachees se sont revelees etre les plus efficaces, de nombreux travaux ont ete menes visant a ameliorer leurs performances. Dans ce sens, les recherches se sont tournees vers des methodes hybrides de decodage, souvent avec succes. Qu'ils utilisent des reseaux neuro-mimetiques, des regles deterministes ou des modeles markoviens, le principe directeur de ces systemes hybrides est de tirer parti des avantages de chacune des methodes mises en uvre. Nous presentons dans cette these une tentative de faire cooperer des hmms et un systeme expert base sur des regles deterministes dans un processus de decodage phonetique purement ascendant, ce qui signifie que l'hybridation intervient au cur meme de l'algorithme de decodage par les chaines de markov. La mise en uvre d'une telle methode necessitant une relation stable et non equivoque entre les etats des modeles markoviens et les evenements acoustiques constituant la parole, nous avons mis au point des techniques originales de controle de la topologie des modeles et de la duree des etats. Les etudes que nous avons menees par la suite sur les modeles hybrides ont montre l'interet des regles deterministes contraignant le processus stochastique lorsque celles-ci sont suffisamment robustes pour fournir des informations pertinentes. Si le gain en terme de performance reste limite en regard du cout de traitement, notre methode d'hybridation peut etre avantageusement employee pour integrer aux chaines de markov toute donnee d'ordre deterministe
12
Jacot, Laurent. "Contribution à l'étude des systèmes à évènements discrets et des systèmes hybrides : théorie et mise en oeuvre des machines de Pétri." Grenoble INPG, 1994. http://www.theses.fr/1994INPG0134.
Full textAbstract:
La these est organisee en trois parties: la partie i traite de la modelisation des systemes a evenements discrets et des systemes hybrides. Apres avoir presente une revue critique de la litterature relative a la modelisation des systemes a evenements discrets et des systemes hybrides, nous proposons une approche systemique de la modelisation des systemes a evenements discrets, approche que nous generalisons pour les systemes hybrides. La partie ii propose une reformulation de la theorie des reseaux de petri. L'idee de base est de considerer comme action atomique, non plus le tir d'une et une seule transition, mais le tir d'un multi-ensemble positif de transitions. L'ensemble des notions fondamentales generalisees et introduites constitue la base de la theorie d'un nouveau formalisme permettant de prendre en compte de maniere unifiee les principales regles de tir proposees pour les reseaux de petri: les machines de petri. Nous generalisons les principes methodes d'analyse des reseaux de petri et montrons, parmi d'autres resultats, que certaines classes de machines de petri admettent une caracterisation vectorielle des situations de conflit effectif. La partie iii propose trois formalismes machines de petri non autonomes. Dans le cadre methodologique propose dans la partie i, nous montrons le benefice qu'apportent ces formalismes pour la commande et la simulation des systemes a evenements discrets et des systemes hybrides. Au fil de la these, notre contribution est illustree par plusieurs exemples de systemes de production et d'applications temps reel
13
Iqbal, Naeem. "Invariance sous contraintes et commande sous-optimale de grands procedes implicites par l'approche systeme dynamique hybride." Rennes 1, 1997. http://www.theses.fr/1997REN10176.
Full textAbstract:
Dans cette these, on considere la commande de grands procedes decrit sous une forme implicite par une loi de commande lineaire par morceau. Les lois de commande sont choisies par un systeme dynamique logique dont l'etat evolue en fonction de l'evolution des trajectoires de l'etat du systeme continu par rapport a des zones predefinies. On propose un systeme dynamique hybride compose d'un grand procede implicite continu et d'un systeme dynamique logique avec interaction entre le systeme continu et le systeme logique. Pour concevoir un tel systeme, on s'interesse, dans un premier temps, a l'etude de la commande de systemes implicites de la forme : ex = ax + bu. On caracterise un retour d'etat optimal sous contraintes structurelles pour eviter les modes impulsionnels, ce qui permet de definir un critere d'optimalite fini. Ensuite, on ajoute dans le critere une fonction caracterisant l'amplitude de la discontinuite pour une condition initiale quelconque. Une minimisation du critere caracterise une loi de commande sous-optimale avec des discontinuites reduites. Dans un deuxieme temps, on etudie l'invariance des systemes implicites par rapport a des contraintes sur l'etat en utilisant une fonction a norme infinie. On propose une methode de caracterisation d'un retour d'etat pour que le systeme en boucle fermee soit invariant par rapport a des contraintes inegalite sur l'etat. L'objectif de l'etude de l'invariance realisee ci-dessus est d'etendre le region d'invariance d'un grand procede implicite avec des contraintes inegalite sur l'etat. On suppose l'invariance des sous-systemes, et on fait une projection, dans l'espace des fonctions de lyapunov des sous-systemes, des contraintes locales sur l'etat selon les interactions des sous-systemes. Ceci nous permet de definir un espace d'invariance beaucoup plus grand que dans les approches existantes. Finalement, on concoit pour un grand procede un systeme dynamique logique qui commute les gains pour beneficier de la commande sous-optimale et de la commande invariante des sous-systemes implicites. On montre l'invariance et la convergence avec une cardinalite finie de commutation de gains de ce systeme dynamique hybride.
14
Correa, e. Silva Fernandes Kelly Christine. "Systèmes multi-agents hybrides : une approche pour la conception de systèmes complexes." Université Joseph Fourier (Grenoble ; 1971-2015), 2001. http://www.theses.fr/2001GRE10121.
Full textAbstract:
Cette these presente une approche multi-agent qui vise a ameliorer le processus de conception de systemes complexes qui imposent la fusion des resolutions par les buts et par les donnees. Ces systemes necessitent la cooperation de taches et de connaissances heterogenes travaillant a differents niveaux d'abstraction. La representation de tels systemes complexes est realisee a partir d'un systeme hybride qui reunit des parties cognitives et des parties reactives. Chaque partie du systeme hybride est modelisee comme etant un systeme multi-agent, ou le niveau de la granularite varie de systeme a systeme. Ensuite, ces systemes multi-agent heterogenes sont reunis dans un seul systeme multi-agent appele multi mas system (mmass). La problematique qui emerge est donc de faire interagir les parties heterogenes du systeme hybride, c'est a dire les differents systemes multi-agent existants dans le mmass. La solution proposee pour le mmass est de construire un troisieme sma qui se chargera de l'interoperabilite en assurant l'organisation des agents reactifs et l'efficacite du flux de controle. Le modele utilise pour accomplir cette tache est appele morisma (modele recursif d'interaction entre systemes multi-agent). Il utilise des agents hybrides pour representer les organisations des agents de la societe reactive qui sont places sur differents niveaux d'abstraction. Nous avons implemente le modele morisma avec ses fonctions et mecanismes dynamiques en utilisant la programmation oriente-object java 1. 2. Trois types d'applications ont ete envisages : un simple exemple type jouet, une ebauche du systeme de simulation d'incendies de forets, et enfin, le modele mmass a ete utilise, dans le systeme de generalisation de cartes du projet agent (automated generalisation new technology - projet esprit ltr 24939), en respectant les contraintes du domaine cartographique.
15
Bornot, Sébastien. "De la composition des systèmes temporisés." Grenoble 1, 1998. http://www.theses.fr/1998GRE10243.
Full textAbstract:
La composition des systemes temporises est source de nombreux problemes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systemes temporises qui preserve la reactivite temporelle, a savoir que si le systeme ne peut reagir, alors le temps peut avancer. Nous effectuons d'abord une etude preliminaire sur la specification des evolutions temporelles dans les systemes, debouchant sur la definition de mecanismes de description adequats. Ceci nous permet de definir une classe de modeles temporises temporellement reactifs, par construction. Nous definissons sur cette classe des operateurs de choix et de composition parallele qui preservent cette propriete. En outre, les operateurs sont definis de sorte a preserver l'activite dans le sens ou si a partir d'un etat une action est possible dans un composant, alors une action est possible dans la composition. L'operateur de composition parallele respecte egalement la propriete de progres maximal grace a l'utilisation d'operateurs de choix avec priorites qui favorise les synchronisations. Un cadre general est donne pour exprimer differents modes de synchronisation, parmi lesquels on retiendra and (synchronisation classique), max (synchronisation avec attente) et min (interruption). Pour terminer, nous developpons une approche algebrique pour une sous-classe des modeles consideres.
16
Hawryszkiw, Jean. "Traitement d'images hybride pour l'analyse qualitique et metrologique de structures." Université Louis Pasteur (Strasbourg) (1971-2008), 1986. http://www.theses.fr/1986STR13320.
Full textAbstract:
Methodologie d'exploitation de l'information fournie par les techniques photoniques globales telles que l'interferometrie holographique, le moire ou la thermographie ir. Cette methodologie a ete validee par l'etude et la mise au point d'un systeme hybride photonique-informatique d'interpretation d'interferogrammes holographiques
17
Crozatier, Michèle. "Structure et organisation des elements i impliques dans le systeme i-r de dysgenesie hybride chez drosophila melanogaster." Clermont-Ferrand 2, 1987. http://www.theses.fr/1987CLF21043.
Full text
18
Lavige, Jean-Marc. "Systeme i-r de dysgenesie hybride chez drosophila melanogaster : etude du developpement abortif des embryons de meres sf." Clermont-Ferrand 2, 1987. http://www.theses.fr/1987CLF21080.
Full text
19
Karami, Nabil. "Control of a hybrid system based PEMFC and photovoltaic panels." Thesis, Aix-Marseille, 2013. http://www.theses.fr/2013AIXM4356/document.
Full textAbstract:
Nos sociétés sont de plus en plus préoccupées par l’impact très nocif des ressources énergétiques polluantes, essentiellement, le pétrole, le charbon et le gaz. Ainsi, l’intérêt dans l’utilisation des énergies renouvelables et propres est en constant augmentation et la conception de nouveaux systèmes énergétiques est devenue un challenge scientifique et technologique. Pour concevoir de nouvelles solutions énergétiques compétitives et efficaces, les fabricants de composants (panneaux solaires, pile à combustible, convertisseurs, etc.) et les secteurs industriels concernés sont confrontés à des problématiques d’optimisation, de contrôle et de durabilité. Par ailleurs, les sources d’énergie renouvelable sont dépendantes de plusieurs facteurs incontrôlables (lieu géographique, météorologie, etc.). Pour parer à ces facteurs, et donc au caractère aléatoire de disponibilité énergétique, l’hybridation des sources et la gestion énergétique peut s’avérer être une approche pertinente pour la conception de solutions énergétiques efficaces. Cette thèse est une contribution au problème de l’hybridation et de la gestion d’énergie. Plus précisément, nous considérons un système hybride composé de panneaux solaires photovoltaïques et d’une pile à combustible. Ce système est supposé être doté de convertisseurs et d’un système de stockage (batterie et super-condensateurs)Our societies are increasingly concerned about the very harmful impact of clean energy resources, mainly oil, coal and gas. Thus, interest in the use of renewable and clean energy is constantly increasing and the development of new energy systems has become a scientific and technological challenge. To develop new competitive and efficient energy solutions, manufacturers of components (solar panels, fuel cells, inverters, etc.) and industrial sectors are facing problems of optimization, control and durability. In addition, renewable energy sources depend on several uncontrollable factors (geographical location, weather, etc.). To address these factors, and thus the randomness of energy availability, sources hybridization and energy management can prove to be an appropriate approach for the design of efficient energy solutions. This thesis is a contribution to the problem of hybridization and energy management. More precisely, we consider a hybrid system composed of photovoltaic solar panels and a fuel cell. This system is supposed to be equipped with converters and storage system (battery and supercapacitors). The goal is to develop control strategies to extract the maximum power available from the considered sources and to optimize the overall energy system to meet the load requirements. To do this, our approach is based on the tracking of the maximum power point and the use of compensators
20
Thévenon, Luc. "Représentation des systèmes hybrides complexes par flux de données : développement d'un outil de modélisation et de simulation des procédés Batch." Grenoble INPG, 2000. http://www.theses.fr/2000INPG0108.
Full textAbstract:
Cette these presente une nouvelle approche pour la representation des systemes dynamiques hybrides complexes, i. E. Des systemes a dynamique continue et discrete composes de nombreuses entites en interaction, ainsi qu'un outil pour la manipulation des modeles et leur simulation. Cette approche est basee sur un formalisme a flux de donnees pour la representation modulaire de ces systemes. L'idee principale est de definir un formalisme de description modulaire et declaratif, plutot qu'un langage de simulation imperatif base sur des instructions informatiques. Ce formalisme est base sur l'interaction de blocs de modele definis par un ensemble de relations et de signaux a-causaux qui permettent de decrire une dynamique hybride. La complexite du systeme est ainsi divisee en plusieurs entites plus petites et plus simples qui peuvent etre construites, modifiees ou reutilisees independamment. Notre principale contribution a ete de formaliser un moyen efficace de representer ces blocs de modele et leurs interactions. Nous avons principalement utilise cette approche pour la simulation du comportement du systeme en boucle fermee, i. E. Du procede avec son systeme de commande, de facon a repondre a de nouveaux besoins comme par exemple la validation du logiciel de commande. Nous avons ensuite mis en uvre une procedure de compilation du modele sous une forme adaptee a la simulation numerique, en analysant symboliquement la structure causale du modele, et en generant des modeles locaux pour chaque configuration du systeme physique. Enfin, des methodes numeriques de simulation des systemes dynamiques hybrides ont egalement ete mises en uvre. Afin d'illustrer ses capacites de modelisation et de simulation, l'outil a ete valide sur differents
21
Fournier, Catherine. "Etude fonctionnelle du domaine sh3 des spectrines erythroides et non erythroides ; recherche de ligands par le systeme du double-hybride." Paris 7, 1998. http://www.theses.fr/1998PA077057.
Full textAbstract:
Les spectrines/fodrines sont l'un des composants majeurs des squelettes membranaires. Elles sont constituees de deux longues chaines et qui s'associent en tetrameres ()#2 pour former l'unite fonctionnelle de la molecule. Chacune des chaines est composee par la repetition de segments homologues, presentant une structure trihelicoidale, a l'exception du segment 10 qui correspond a un motif sh3 (src homology 3). Les sh3 sont des petits domaines proteiques impliques dans les interactions proteine/proteine. La fonction du domaine sh3 des spectrines et fodrines n'est pas encore caracterisee. La spectrine joue un role important dans les proprietes mecaniques du globule rouge, comme le montre l'etude des anemies hemolytiques associees a une mutation de cette proteine. Nous avons identifie une nouvelle mutation de la chaine spectrine associee, a l'etat homozygote, a un cas de poikilocytose severe. Cette mutation entraine la deletion d'une helice situee immediatement en amont du motif sh3, et pourrait perturber une fonction importante de ce domaine. Afin de caracteriser l'interaction des domaines sh3 spectrine et fodrine avec leurs ligands, nous avons crible une banque de peptides aleatoires exprimes a la surface d'un phage. Nous avons pu definir un nouveau motif consensus d'interaction, h/r x w h/r h/r, different du motif pxxp jusqu'alors defini pour la plupart des domaines sh3. Par ailleurs, le criblage a l'aide du systeme double-hybride, d'une banque d'expression lymphocytaire par le sh3 fodrine, a mis en evidence une interaction entre ce domaine et trois classes de proteines. La premiere classe (e3b1) correspond a des ligands riches en prolines. La deuxieme classe (p70-ku, la sous-unite p27 du proteasome et la hsp86) comprend des proteines tres riches en residus k et e. Dans la troisieme categorie, l'isoforme a de la tyrosine-phosphatase de faible poids moleculaire (lmptp-a) semble particulierement interessante. Cette enzyme cytosolique, initialement isolee a partir de globules rouges, peut egalement interagir avec le sh3 spectrine. Dans le globule rouge, la bande 3 constitue la principale proteine phosphorylee sur residus tyrosine. L'interaction du sh3 spectrine avec la phosphatase lmptp-a pourrait permettre l'adressage de l'enzyme vers son substrat membranaire, la bande 3.
22
Markert, Erik. "High-Level-Entwurf von Mikrosystemen." Doctoral thesis, Universitätsverlag der Technischen Universität Chemnitz, 2009. https://monarch.qucosa.de/id/qucosa%3A18216.
Full textAbstract:
Die Dissertationsschrift stellt eine Toolkette zum abstrakten Entwurf von Mikrosystemen vor. Mikrosysteme können aus Elementen verschiedener physikalischer Domänen bestehen und zusätzlich digitale Hardware sowie Software enthalten. Die Erfassung und Formalisierung dieser heterogenen Systeme stellt den ersten Schritt im Entwurfsprozess dar, die damit verbundene neue Methodik des Designs von Mikrosystemen bildet den Kern der vorliegenden Arbeit.
Zur Erfassung der analogen Spezifikationsteile enthält die Arbeit die Schilderung und Implementierung neuer Datenstrukturen, die ausgehend von einer ausführlichen Anforderungsanalyse geschaffen wurden. Das abstrakte Systemverhalten wird mit Hilfe hybrider Automaten modelliert, die sowohl mit speziellen hybriden Werkzeugen als auch mit SystemC-AMS simulierbar sind. Darüber hinaus beschäftigt sich die Arbeit mit der Erfassung von Signalverläufen und Schaltplaninformationen. Die formalisierten Anforderungen ermöglichen erste Prüfungen der Spezifikation auf Konsistenz.
Zur Unterstützung niedriger Abstraktionsebenen wie der Differentialgleichungsebene steht ein Wandler von SystemC-AMS nach VHDL-AMS bereit. In die Systembeschreibung mit SystemC-AMS ist die Definition und Verknüpfung von Kostenparametern integrierbar. Das daraus entstehende globale Gütemaß hilft dem Entwerferteam, die optimale Systemrealisierung zu finden.The PhD thesis proposes a toolflow for the design of microsystems on higher abstraction levels. Microsystems may consist of components using effects in different physical domains plus additional digital hardware and software. The collection and formalization of these heterogeneous systems is a first step in the design process, the associated design method ist the key point of this work. The system behavior is modeled using hybrid automata, which are checkable using hybrid modelcheckers and simulable using SystemC-AMS. Furthermore the work deals with signal forms and circuit parameters. To support modeling on lower abstraction levels like differential algebraic equations a syntax conversion from SystemC-AMS to VHDL-AMS was included. The integration of cost factors into SystemC-AMS allows design space exploration during system simulation.
23
Vaury, Chantal. "Le systeme i-r de dysgenesie hybride chez drosophila melanogaster : etude des elements i detectifs heterochromatiques et de leur region d'insertion." Clermont-Ferrand 2, 1989. http://www.theses.fr/1989CLF2E417.
Full textAbstract:
Mise en evidence d'elements i defectifs dans des souches inductrices et reactives de drosophila melanogaster. Carte genetique, homologie avec le facteur i actif, localisation au niveau de l'heterochromatine et implications evolutives
24
LAMOTHE, BETTY. "Le recepteur de l'insuline : etudes employant l'invalidation de gene chez la souris et le systeme du double-hybride chez la levure." Paris 6, 1999. http://www.theses.fr/1999PA066276.
Full textAbstract:
Nous avons invalide le gene du recepteur de l'insuline (ri) chez la souris par recombinaison homologue et analyse les alterations phenotypiques qui en resultent. Les souriceaux ri (-/-) sont d'apparence normale a la naissance montrant que ri n'est pas indispensable durant la vie foetal. Toutefois, la defaillance de la signalisation par ri conduit rapidement a une hyperglycemie extreme, une hyperinsulinemie et une hyperlipidemie conduisant a un diabete avec acidocetose et steatose hepatique et a la mort des animaux dans la semaine qui suit leur naissance. Le recepteur des igfs (insulin-like growth factors) de type i (rigf-i) ne represente donc qu'un recepteur alternatif partiel pour l'action metabolique de l'insuline, apres la naissance. Nous avons derive une lignee fibroblastique a partir des souriceaux depourvus de ri et montre que rigf-i active par son ligand homologue igf-i ou par l'insuline peut conduire a la stimulation de l'entree du glucose, a l'incorporation du glucose dans le glycogene et a l'incorporation de la thymidine dans l'adn ainsi qu'a l'activation de la pi 3-kinase et de la map kinase. Rigf-i possede donc clairement un potentiel metabolique et pourrait realiser certaines actions de l'insuline. Toutefois, les courbes dose-reponses pour l'effet mitogenique avec l'igf-i ou l'insuline indiquent que les differents couples ligand/recepteur ne seraient pas equivalents. Nous avons par ailleurs etudie l'interaction directe de la sous-unite regulatrice p85 de la pi 3-kinase avec la chaine de ri et de rigf-i dans le systeme du double hybride chez la levure. Ce travail a permis de mettre en evidence des differences qualitatives et quantitatives dans l'interaction de p85 avec ri et rigf-i. L'interaction differentielle de proteines effectrices avec ces deux recepteurs pourrait contribuer a la specialite de signalisation. Nous n'avons pas pu mettre en evidence d'interaction directe des domaines sh2 de deux autres proteines effectrices, syp et gap, avec ri ou rigf-i dans ce systeme.
25
Yu, Lei. "Reconstruction du signal ou de l'état basé sur un espace de mesure de dimension réduite." Thesis, Cergy-Pontoise, 2011. http://www.theses.fr/2011CERG0546/document.
Full textAbstract:
Le 21_eme siècle est le siècle de l'explosion informatique, des milliards de Données sont produites, collectées et stockées dans notre vie quotidienne. Les façons de collecter les ensembles de données sont multiples mais toujours en essayant d'optimiser le critère qui consiste _a avoir le maximum d'information dans le minimum de données numérique. Il est préférable de collecter directement l'information, car les informations étant contraintes sont dans un espace plus faible que celui où évolues les données (signaux ou états). Cette méthode est donc appelée \la collecte de l'information", et conceptuellement peut ^être résumée dans les trois étapes suivantes : (1) la modélisation, ceci consiste _a condenser l'information pertinente pour les signaux _a un sous-espace plus petit; (2) l'acquisition, ceci consiste _a collecter et préserver l'information dans un espace inferieur _a la dimension des données et (3) la restauration, ceci consiste _a reconstituer l'information dans son espace d'origine. En suivant cette pensée, les principales contributions de cette thèse, concernant les observateurs et le \Compressive Sensing" (CS) basé sur des modèles bay_esiens peuvent ^être unies dans le cadre de la collecte de l'information : les principaux problèmes concernés par ces deux applications peuvent ^être de façon analogue, scindés en les trois étapes sus- mentionnées. Dans la première partie de la th_ese, le problème réside dans le domaine des systèmes dynamiques où l'objectif est de retrouver l'état du système _a partir de la mesure de la sortie. Il nous faut donc déterminer si les états du système sont récupérables _a partir des mesures de la sortie et de la connaissance partielle ou totale du modèle dynamique, c'est le problème de l'observabilité. Ensuite de transposer notre problème dans une représentation plus appropriée, c'est l'écriture sous forme normale et en récupérer l'information, c'est la phase de synthèse d'observateur. Plus précisément dans cette partie, nous avons considéré une classe de systèmes à commutation haute fréquence allant jusqu'au phénomène de Zénon. Pour ces deux types de commutation les transitions de l'état discret sont considérées trop élevées pour ^être mesurées. Toutefois, la valeur moyenne obtenue par filtrage des transitions peut ^être acquise ce qui donne une connaissance partielle des états discrets. Ici, avec ces seuls informations partielles, nous avons discuté de l'observabilité et ceci par les approches géométrie différentielle et algébrique. Aussi, des observateurs ont été proposes par la suite. Dans la deuxième partie de cette thèse, nous avons abordé de la même manière le thème du CS qui est une alternative efficace à l'acquisition abondante de données faiblement informatives pour ensuite les compresser. Le CS se propose de collecter l'information directement de façon compressée, ici les points clés sont la modélisation du signal en fonction des connaissances a priori dont on dispose, ainsi que la construction d'une matrice de mesure satisfaisant la \restricted isometry property" et finalement la restauration des signaux originaux clairsemés en utilisant des algorithmes d'éparpillement régularisé et d'inversion linéaire. Plus précisément, dans cette seconde partie, en considérant les propriétés du CS liées _a la modélisation, la capture et la restauration, il est proposé : (1) d'exploiter les séquences chaotiques pour construire la matrice de mesure qui est appelée la matrice chaotique de mesure, (2) considérer des types de modèle de signal clairsemé et reconstruire le modèle du signal à partir de ces structures sous-jacentes des modèles clairsemés, et (3) proposer trois algorithmes non paramétriques pour la méthode bayesienne hiérarchique. Dans cette dernière partie, des résultats expérimentaux prouvent d'une part que la matrice chaotique de mesure a des propriétés semblables aux matrices aléatoires sous-gaussienne et d'autre part que des informations supplémentaires sur les structures sous-jacentes clairsemés améliorent grandement les performances de reconstruction du signal et sa robustesse vis-a-vis du bruitThis is the era of information-explosion, billions of data are produced, collected and then stored in our daily life. The manners of collecting the data sets are various but always following the criteria { the less data while the more information. Thus the most favorite way is to directly measure the information, which, commonly, resides in a lower dimensional space than its carrier, namely, the data (signals or states). This method is thus called information measuring, and conceptually can be concluded in a framework with the following three steps: (1) modeling, to condense the information relevant to signals to a small subspace; (2) measuring, to preserve the information in lower dimensional measurement space; and (3) restoring, to reconstruct signals from the lower dimensional measurements. From this vein, the main contributions of this thesis, saying observer and model based Bayesian compressive sensing can be well uni_ed in the framework of information measuring: the main concerned problems of both applications can be decomposed into the above three aspects. In the _rst part, the problem is resided in the domain of control systems where the objective of observer design is located in the observability to determine whether the system states are recoverable and observation of the system states from the lower dimensional measurements (commonly but not restrictively). Speci_cally, we considered a class of switched systems with high switching frequency, or even with Zeno phenomenon, where the transitions of the discrete state are too high to be captured. However, the averaged value obtained through filtering the transitions can be easily sensed as the partial knowledge. Consequently, only with this partial knowledge, we discussed the observability respectively from differential geometric approach and algebraic approach and the corresponding observers are designed as well. At the second part, we switched to the topic of compressive sensing which is objected to sampling the sparse signals directly in a compressed manner, where the central fundamentals are resided in signal modeling according to available priors, constructing sensing matrix satisfying the so-called restricted isometry property and restoring the original sparse signals using sparse regularized linear inversion algorithms. Respectively, considering the properties of CS related to modeling, measuring and restoring, we propose to (1) exploit the chaotic sequences to construct the sensing matrix (or measuring operator) which is called chaotic sensing matrix, (2) further consider the sparsity model and then rebuild the signal model to consider structures underlying the sparsity patterns, and (3) propose three non-parametric algorithms through the hierarchical Bayesian method. And the experimental results prove that the chaotic sensing matrix is with the similar property to sub-Gaussian random matrix and the additional consideration on structures underlying sparsity patterns largely improves the performances of reconstruction and robustness
26
Markert, Erik. "High-Level-Entwurf von Mikrosystemen." Doctoral thesis, Chemnitz Univ.-Verl, 2010. http://d-nb.info/1001982053/04.
Full text
27
CHABOISSIER, MARIE-CHRISTINE. "Etude de la transcription et de la regultion du facteur i implique dans le systeme ir de dysgenesie hybride chez drosophila melanogaster." Paris 11, 1993. http://www.theses.fr/1993PA112146.
Full textAbstract:
Le facteur i de drosophila melanogaster est un element transposable qui appartient a la famille des lines de mammiferes. Ces elements transposent par un intermediaire arn. Le facteur i controle le systeme i-r de dysgenesie hybride, du a l'existence de deux types de souches: les souches inductrices qui possedent des facteurs i actifs et les souches reactives qui en sont depourvues. Le facteur i transpose a haute frequence dans la lignee germinale des femelles sf, issues des croisements entre femelles reactives et males inducteurs. Un arn correspondant a la totalite du facteur i est exprime uniquement dans les conditions de transposition et a des taux correles a la frequence de transposition. Il a toutes les caracteristiques d'un intermediaire de transposition et semble etre egalement utilise pour la synthese des polypeptides necessaires a la transposition. L'activite du facteur i est regulee au niveau transcriptionnel, ainsi qu'au cours du developpement. Le facteur i possede deux orfs et l'orf1 pourrait etre un represseur intervenant dans la transposition du facteur i. Cependant, la surexpression de cette orf n'affecte pas les differentes composantes du systeme i-r de dysgenesie hybride. Afin d'etudier le mecanisme et la regulation de la transposition du facteur i, les premieres etapes de la mise au point d'un element i marque ont ete realisees
28
Schultz, Thorsten. "Energy level alignment mechanisms at inorganic-organic semiconductor interfaces investigated with photoelectron spectroscopy." Doctoral thesis, Humboldt-Universität zu Berlin, 2019. http://dx.doi.org/10.18452/19653.
Full textAbstract:
Hybride anorganische/organische Systeme (HIOS) sind von großem Interesse für Grundlagenforschung und neue (opto)-elektronische Bauteile. Um effiziente Bauteile zu entwickeln, ist ein Verständnis der Energielevelanordnung (ELA) an der Grenzfläche von entscheidender Bedeutung. Es wird demonstriert, wie Oberflächen mit heterogener Austrittsarbeit die Resultate von ultravioletter Photoelektronenspektroskopie (UPS) beeinflussen. Durch den Vergleich experimenteller Daten mit Berechnungen zeigt sich, dass das lokale elektrostatische Potential oberhalb der Oberfläche zur Ausbildung einer zusätzlichen Energiebarriere für Elektronen über Bereichen mit niedriger Austrittsarbeit führt, was die gemessene Sekundärelektronenkante zu höheren kinetischen Energien verschiebt. Der Einfluss von Streifengröße und experimentellen Parametern wird theoretisch und experimentell gezeigt. Im zweiten Teil dieser Arbeit wird gezeigt, wie man dünne organische Donator/Akzeptor Zwischenschichten nutzen kann, um die ELA zwischen typischen anorganischen und organischen Halbleitern zu kontrollieren. Die Austrittsarbeit von anorganischen Substraten lässt sich so zwischen 2.2-6.0 eV variieren. Der Einfluss von Zuständen in der Bandlücke des anorganischen Halbleiters auf die Bandverbiegung wird im Detail untersucht und es wird ein Model vorgeschlagen, welches das Pinning des Fermi-Niveaus an diesen Zuständen beschreibt. Es wird experimentell gezeigt, dass die Dotierung des anorganischen Halbleiters kaum Einfluss auf die ELA hat. Weiterhin wird die ELA zwischen dem Übergangsmetall-Dichalcogenid WSe2 und dem organischen Akzeptor C60F48 untersucht. Mit Hilfe von STM und STS Messungen wurde gezeigt, dass C60F48 geschlossene Domänen auf WSe2 bei Bedeckung mit Submonolagen bildet und dass sich die Energielevel von WSe2 drastisch ändern. Durch Auswerten der Potentialänderung als Funktion des Abstandes von einer C60F48 Kante im STS konnte die Thomas-Fermi-Abschirmlänge von WSe2 auf etwa 2 nm bestimmt werden.Hybrid inorganic/organic systems (HIOS) have attracted a lot of interest for fundamental studies and novel (opto)-electronic devices during the past decade. For developing efficient devices, an understanding and control of the energy level alignment (ELA) at the hybrid interface is of paramount importance. Firstly, it is demonstrated how surfaces with non-uniform local work function influence the measurement results obtained by ultraviolet photoelectron spectroscopy (UPS). By comparing the measured results with calculations, it is found that the electrostatic potential above the surface leads to an additional energy barrier for electrons above low work function areas, shifting the secondary electron cut-off (SECO) to higher kinetic energies in UPS (averaging effect). The influence of pattern size and measurement conditions on the SECO is shown theoretically and experimentally. In the second part it is shown how thin organic donor/acceptor interlayers can be employed to manipulate the ELA between prototypical inorganic and organic semiconductors. The work function of the inorganic substrate can be tuned between 2.2-6.0 eV. The influence of gap states within the inorganic band gap on the band bending change is investigated in detail and a model is proposed, which describes the pinning of the inorganic energy levels as a function of surface state density. It is further shown experimentally that the bulk doping concentration of the inorganic semiconductor has only little effect on the energetic alignment. Finally, the ELA of the transition metal dichalcogenide monolayer WSe2 with the organic acceptor molecule C60F48 is investigated. Using STM and STS measurements, it is revealed that the C60F48 forms domains on WSe2 in the sub-monolayer regime. By evaluating the potential change as a function of distance from a C60F48 edge in STS, it is possible to derive a value for the Thomas-Fermi screening length of WSe2 of about 2 nm.
29
Daus, Andreas Wolfgang [Verfasser], Paul G. [Akademischer Betreuer] Layer, Bodo [Akademischer Betreuer] Laube, and Christiane [Akademischer Betreuer] Thielemann. "Zellbasierte Biosensoren -- Hybride Systeme aus dreidimensionalen in vitro Netzwerken und Mikroelektroden Arrays / Andreas Wolfgang Daus. Betreuer: Paul G. Layer ; Bodo Laube ; Christiane Thielemann." Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2013. http://d-nb.info/1106454634/34.
Full text
30
POIREY, REMY. "Utilisation de la genetique reverse et du systeme double-hybride pour l'analyse fonctionnelle de nouveaux cadres de lecture chez la levure saccharomyces cerevisiae." Université Louis Pasteur (Strasbourg) (1971-2008), 2000. http://www.theses.fr/2000STR13126.
Full textAbstract:
La cellule est une machinerie complexe et la connaissance de la totalite de l'information genetique qu'elle contient constitue la premiere etape vers la comprehension globale de son fonctionnement. Nous avons sequence 72971 pb du chromosome xv de la levure saccharomyces cerevisiae dans le cadre du programme europeen de sequencage systematique du genome. Nous avons ainsi identifie 47 genes potentiels dont 21 etaient inconnus mais partagent des similarites avec des genes connus et 6 n'ont de similarite avec aucun gene deja repertorie. Ce programme a revele que la fonction de 31% des 6142 orfs de s. Cerevisiae etait totalement inconnue. Nous avons entame l'analyse fonctionnelle de six nouveaux genes en combinant l'analyse informatique, les methodes de la genetique, et les techniques du double-hybride et de fluorescence. Des mutants de deletion pour les orfs ygl047w et ygl061c nous ont montre qu'elles correspondaient a des genes letaux. Ygl047w est un gene conserve dans differents organismes au cours de l'evolution, il code probablement pour une fonction de base de la cellule. Nous n'avons pas observe de phenotype associe a la deletion des orfs ygl053w, ygl051w et ygl050w. De plus nous avons apporte plusieurs arguments en faveur d'une location des proteines ygl053w et ygl051w, membres de la famille dup 2 4 0, au niveau de la membrane plasmique. Notre mutant de deletion pour l'orf ygl064c est deficient dans la respiration et a perdu son adn mitochondrial. Chez le sauvage la proteine ygl064c est localisee dans la mitochondrie. Ygl064c presente une forte homologie de sequence avec les arn helicases de la famille dead. Ygl064c serait donc une arn helicase mitochondriale necessaire au maintien de l'adn mitochondrial.
31
Ashglaf, Mohmed Omran. "Development of Hybridization concept for horizontal axis wind / tidal systems using functional similarities and advanced real-time emulation methods." Thesis, Normandie, 2019. http://www.theses.fr/2019NORMLH07/document.
Full textAbstract:
La capacité des systèmes conventionnels de production d'énergie éolienne et marémotrice à fournir au réseau une énergie fiable et stable à tout moment est un nouveau défi en raison des fluctuations météorologiques, qui ont un impact significatif et direct sur la production d'énergie. C'est pourquoi l'hybridation des systèmes de production d'énergie éolienne et hydrolienne ont été étudiées pour améliorer l'intégration des énergies éolienne et marémotrice sur le réseau électrique.Cette étude nous a amené à développer des contributions liées à deux axes principaux :Le premier axe est focalisé sur un nouveau concept d'hybridation de deux sources énergétiques différentes en termes de propriétés physiques, l’éolien et l’hydrolienne à axe horizontal, basé sur un couplage électromécanique de ces deux systèmes. Les deux ressources sont l’énergie éolienne et l’énergie des courants marins. Le concept est développé en utilisant les similitudes fonctionnelles des turbines et les similarités en conversion d’énergie de leurs chaînes énergétiques. Pour appliquer ce concept en premier lieu, les paramètres de la génératrice asynchrone à double alimentation installée dans l’émulateur du GREAH sont identifiés. Ensuite, la chaîne de conversion de puissance est modélisée mathématiquement et simulée dans un environnement MATLAB / SIMULINK. Nous avons développé deux stratégies de commande.Une stratégie à vitesse fixe appelé "Contrôle direct de la vitesse", et une stratégie à vitesse variable basée sur la recherche de puissance maximale, dénommée "Contrôle indirecte de vitesse". Enfin, ce concept a été implémenté pratiquement sur l’émulateur en temps réel du laboratoire. Les résultats obtenus ont été analysés et discutés suite à ces travaux.Le deuxième axe est consacré à un concept que l’on appelle «temps accélérée» de simulation ou « temps virtuel ». Par la suite, ce concept a été mis en œuvre sur l’émulateur multi physique disponible au laboratoire GREAH. Ce concept (temps accélérée) est basé sur la réduction des échantillons de profil de vent afin de diminuer le temps de simulation et faciliter la commande en temps réel.Les résultats principaux sont obtenus d’abord dans MATLAB / SIMULINK, puis ont été vérifiés sur l’émulateur en temps réel. L’objectif principal de cette thèse est d’étudier le concept d’hybridation éolienne offshore / éolienne basée sur la flexibilité d’un émulateur multifonctions permettant diverses architectures d’émulation : éoliennes, éoliennes, et systèmes hybrides éoliennes - éoliennes. Nous analysons son impact sur la puissance de sortie du système. Les résultats obtenus sont corrélés aux profils de vitesse du vent et des marées, dans lesquels les propriétés statistiques ayant un impact sur les chaînes énergétiques mondiales pourraient être complémentaires et en particulier en fonction des sites donnés.Contributions principales et perspectives- Développement du concept de couplage électromécanique. Lorsque deux sources d’énergie renouvelables sont « intégrées », on stabilise la fluctuation rapide de la puissance générée, mais sous certaines conditions telles que la présence d’unités de stockage ou d’un système d’embrayage automatique.- Le concept temps accéléréeCette méthode est utilisée pour réduire la taille des données enregistrées du vent ou des courant marins, afin d’accélérer le temps de simulation des unités de production d'énergie avec des résultats raisonnables qui se rapprochent pertinemment des situations réelles.- Etudier et développer le concept de régime d’arbre électrique :Si le couplage électromécanique est difficile à réaliser du point de vue mécanique et que les découplages à arbre unique sont trop fréquents et que les contraintes mécaniques sont élevées, on peut étudier le régime de l'arbre électrique avec deux machines à induction DFIG. Le système peut fonctionner en mode synchrone avec des structures et configurations spécifiquesThe ability of conventional wind and tidal generation systems to provide the grid with reliable and stable power at all times is a new challenge due to weather fluctuations, which have a significant and direct impact on energy production. This is why the hybridization of wind and tidal power generation systems has been studied to improve the integration of wind and tidal power into the electricity grid.This study led us to develop contributions related to two main axes:The first axis is focused on a new concept of hybridization of two different energy sources in terms of physical properties, wind and horizontal axis turbines, based on an electromechanical coupling of these two systems. The two resources are wind energy and marine energy. The concept is developed using the functional similarities of turbines and similarities in energy conversion of their energy chains. To apply this concept first, the parameters of the double fed asynchronous generator installed in the GREAH emulator are identified. Then, the power conversion chain is modeled mathematically and simulated in a MATLAB / SIMULINK environment. We have developed two control strategies.A fixed speed strategy called "Direct Speed Control", and a variable speed strategy based on the search for maximum power, called "Indirect Speed Control". Finally, this concept has been implemented practically on the real-time emulator of the laboratory. The results obtained were analyzed and discussed following this work.The second axis is devoted to a concept called "accelerated time" simulation or "virtual time". Subsequently, this concept was implemented on the multi-physics emulator available at the GREAH laboratory. This concept (accelerated time) is based on reducing wind profile samples in order to decrease simulation time and facilitate real-time control.The main results are obtained first in MATLAB / SIMULINK, then verified on the emulator in real time.The main objective of this thesis is to study the concept of offshore wind / tidal turbine hybridization based on the flexibility of a multi-function emulator that allows various emulation architectures: wind turbines, tidal turbines, and hybrid wind - tidal turbines systems. We analyze its impact on the output power of the system; the obtained results are correlated with wind and tidal speed profiles, in which statistical properties impacting global power chains could be complementary and in particular in function of the given sites. Main contributions and perspectives- Development of the concept of electromechanical coupling.When two renewable energy sources are "integrated", the rapid fluctuation of the power generated is stabilized, but under certain conditions such as the presence of storage units or an automatic clutch system.- The accelerated time conceptThis method is used to reduce the size of the recorded wind or sea current data, to speed up the simulation time of the power generation units with reasonable results that are close to actual situations.- Study and develop the concept of electric shaft regime: If the electromechanical coupling is difficult to achieve from the mechanical point of view and the single shaft decouples are too frequent so high mechanical stress, one can study the electric shaft regime with two DFIG induction machines.There is a regime in which the ratios between the speeds of the different machines are rigorously constant. The system can operate in synchronous mode with specific structures and configurations
32
Bornot, Sébastien. "De la composition de systèmes temporisés." Phd thesis, Université Joseph Fourier (Grenoble), 1998. http://tel.archives-ouvertes.fr/tel-00004871.
Full textAbstract:
La composition des systèmes temporisés est source de nombreux problèmes, notamment de blocage. Nous proposons un cadre de description compositionnelle des systèmes temporisés qui préserve la réactivité temprorelle, à savoir que si le système ne peut réagir, alors le temps peut avancer. Nous effectuons d'abord une étude préliminaire sur la spécification des évolutions temporelles dans les systèmes, débouchant sur la définition de mécanismes de description adéquats. Ceci nous permet de définir une classe de modèles temporisés temporellement réactifs, par construction. Nous définissons sur cette classe des opérateurs de choix et de composition parallèle qui préservent cette propriété. En outre, les opérateurs sont définis de sorte à préserver l'activité dans le sens où si à partir d'un état une action est possible dans un composant, alors une action est possible dans la composition. L'opérateur de composition parallèle respecte également la propriété de progrès maximal grâce à l'utilisation d'opérateurs de choix avec priorités qui favorise les synchronisations. Un cadre général est donné pour exprimer différents modes de synchronisation, parmi lesquels on retiendra AND (synchronisation classique), MAX (synchronisation avec attente) et MIN (interruption). Pour terminer, nous développons une approche algébrique pour une sous-classe des modèles considérés.
33
Zerelli, Manel. "Systèmes mécatroniques à paramètres variables : analyse du comportement et approche du tolérancement." Thesis, Châtenay-Malabry, Ecole centrale de Paris, 2014. http://www.theses.fr/2014ECAP0032/document.
Full textAbstract:
Dans cette thèse nous avons proposé une méthode d’étude des variations paramétriques pour les systèmes mécatroniques continus et hybrides puis une approche du tolérancement mécatronique. Nous avons d’abord étudié les différentes approches existantes pour la prise en compte de la variation de paramètres. Pour les systèmes continus à paramètres variables nous avons choisi la méthode des inclusions différentielles. Nous avons repris l’algorithme de Raczynski et nous avons développé un algorithme d’optimisation qui se base sur la méthode du steepest descent, avec une extension permettant d’obtenir l’optimum global. Pour les systèmes hybrides, contenant des évolutions continues et des sauts discrets, et qui présentent des variations paramétriques, nous avons choisi le formalisme de l’inclusion différentielle impulsionnelle comme outil de modélisation. Nous avons repris ce formalisme et identifié ses éléments sur un système mécatronique. Nous avons développé des algorithmes de résolution des inclusions différentielles impulsionnelles pour un puis pour plusieurs paramètres variables. Pour visualiser les résultats, les algorithmes développés ont été implémentés sous Mathématica. Nous avons fini cette partie par une comparaison entre notre approche et d’autres comme celles autour des automates hybrides à invariant polyèdre, les inclusions différentielles polygonales et l’algorithme pratique de résolution des inclusions différentielles. Nous avons montré alors certains avantages de notre approche. En dernière partie, nous avons repris les différents outils utilisés et résultats obtenus pour définir et affiner notre approche du tolérancement. Nous avons défini la zone du fonctionnement désiré, les différents cas de figures qu’elle peut présenter et son intersection avec le domaine atteignable. Nous avons présenté un outil métrique basé sur la distance topologique de Hausdorff pour le calcul des distances entre ces différents ensembles. Munis de ces éléments, nous avons proposé une démarche itérative pour le tolérancement dans l’espace d’étatIn this thesis we proposed a method for the study of parametric variation for continuous and hybrid systems and an approach for mechatronics tolerancing. We first studied the different existing approaches to take into account the variation of parameters. For continuous systems with variable parameters we chose the method of differential inclusions. We took the Raczynski algorithm and we have developed an optimization algorithm which is based on the steepest descent method with an extension to obtain global optimum. For hybrid systems, containing continuous evolutions and discrete jumps, and have parametric variations, we have chosen the formalism of impulse differential inclusion as a modeling tool. We took this formalism and identified its components on a mechatronic system. We have developed algorithms for solving impulse differential inclusions for several variable parameters. To view the results, the developed algorithms were implemented in Mathematica. We ended this part by a comparison between our approach and others like those around hybrid automata invariant polyhedron, polygonal differential inclusions and practical algorithm for solving differential inclusion. We showed then some advantages of our approach. In the last part, we organized the different tools used and results obtained to define and refine our approach to tolerancing. We defined the area of the desired operation, the various scenarios that may present, and its intersection with reachable area. We presented a metric tool based on topological Hausdorff distance for the calculation of distances between the different sets. With these elements, we proposed an iterative approach to tolerancing in the state space
34
Mutz, Niklas. "Energy and Charge Transfer at Hybrid Interfaces Probed by Optical Spectroscopy." Doctoral thesis, Humboldt-Universität zu Berlin, 2021. http://dx.doi.org/10.18452/22797.
Full textAbstract:
Hybride anorganisch/organischen Systeme können die individuellen Vorteile, etwa eine hohe elektronische Mobilität in anorganischen und starke Licht-Materie-Wechselwirkung in organischen Halbleitern, kombinieren. Ein sinnvoller Nutzen dieser Heterostrukturen benötigt ein umfassendes Verständnis der Grenzfläche. Zwei Grenzflächenprozesse werden in dieser Arbeit behandelt.
Förster-Resonanzenergietransfer (FRET) wird zwischen einem InGaN/GaN Quantengraben und dem Polymer Cn-ether PPV untersucht. Trotz des hohen internen elektrischen Feldes im Quantengraben, ist effizienter Energietransfer möglich, solange andere nicht-strahlende Zerfallsprozesse unterdrückt werden. Dies wird mittels temperaturabhängiger PL und PLE Spektroskopie gezeigt. PLE demonstriert eine eindeutige Erhöhung der Emission des Akzeptors. Bei höheren Temperaturen dominieren nicht-strahlende Zerfallskanäle.
Ladungstransfer wird zwischen MoS2 und dem Molekül H2Pc untersucht. Die Kombination mit organischen Molekülen kann die Funktionalität von MoS2 erweitern. Photoelektronenspektroskopie (PES) zeigt einen Typ-II Heteroübergang an der MoS2/H2Pc Grenzfläche. Angeregte Elektronen gehen von den H2Pc Molekülen in die MoS2 Monolage über, wie mittels einer Verkürzung der PL Lebenszeit von H2Pc gezeigt wird. Photostrommessungen demonstrieren zudem, dass die transferierten Elektronen zu einer erhöhten Photoleitfähigkeit beitragen.
Zusätzlich werden auch einzelne 2D Übergangsmetall Dichalkogenide (TMDCs) untersucht. Um TMDCs von hoher Qualität herzustellen, wurde intern eine Wachstumsmethode entwickelt. Mittels PL Spektroskopie werden die so hergestellten Schichten charakterisiert. Die Vielseitigkeit der Methode wird anhand des Wachstums von Mischkristallen und Heterostrukturen gezeigt. Der Einfluss der dielektrischen Funktion des Substrates wird erforscht. Durch die Kombination von PES und Reflexionsmessungen kann eine gleichzeitige Abnahme sowohl der Bandlücke als auch der Exzitonen Bindungsenergie gezeigt werden.Hybrid inorganic/organic systems can combine the advantages of both materials such as high carrier mobilities in inorganic semiconductors and large light-matter interaction in organic ones. In order to benefit from these heterostructures, a thorough understanding of the interface is needed. Two processes occurring at the interface are looked at in this thesis. Förster resonance energy transfer (FRET) is studied between a single InGaN/GaN quantum well and the polymer Cn-ether PPV. Despite the large internal electric fields in the quantum well, efficient FRET is possible as long as other non-radiative decay channels are suppressed. This is shown by temperature dependent PL and PLE spectroscopy. PLE spectra clearly demonstrate an enhanced light emission from the acceptor. At elevated temperatures, non-radiative decay pathways become dominant. Excited-state charge transfer is studied on MoS2 in combination with the molecule H2Pc. The combination with molecules can extend the functionality of MoS2. Photoelectron spectroscopy (PES) reveals a type II energy level alignment at the MoS2/H2Pc interface. Excited electrons are transferred from H2Pc to MoS2, deduced from a shortening of the H2Pc PL decay time. Photocurrent spectra further show that the transferred electrons contribute to an enhanced photoconductivity. Additionally, bare 2D transition-metal dichalcogenides (TMDCs) are studied. In order to fabricate high-quality TMDC monolayers, a growth method was developed in-house. The grown monolayers are characterised by optical spectroscopy. The versatility of the method is demonstrated by the growth of alloys and heterostructures. The influence of the substrate dielectric function is investigated by comparing band-gaps measured by PES with the exciton transition energies obtained by reflectance measurements. An almost equal reduction in both energies with the substrate dielectric constant is seen.
35
Saenger, Pierre. "Optimisation et gestion d'énergie d'un système hybride électrique embarqué." Thesis, Bourgogne Franche-Comté, 2017. http://www.theses.fr/2017UBFCD061/document.
Full textAbstract:
Les aéronefs « plus électriques » permettent de réduire la masse à embarquer, les émissions de gaz à effet de serre et la consommation de carburant. Leur développement nécessite d'adapter leur architecture électrique et leur capacité de production et de stockage d'énergie.Les systèmes de production et de stockage doivent être bien dimensionnés pour correspondre aux besoins énergétiques du véhicule. Une hybridation électrique entre un pack constitué de batteries lithium-ion et un pack de supercondensateurs peuvent répondre, respectivement, aux demandes en énergie et en puissance de la charge.Différentes architectures électriques permettant cette hybridation sont prises en compte. Ce travail de recherche traite du dimensionnement optimal de ces systèmes de stockage à bord d’un hélicoptère.Dans cette application particulière, la masse globale de l'ensemble du système de stockage doit être minimisé. Un outil de dimensionnement optimal est développé pour atteindre cet objectif en agissant sur la fréquence de coupure d’un filtre passe-bas. A partir du profil de mission le plus contraignant en énergie et en puissance demandées, cette approche fréquentielle permet la répartition de la demande de puissance entre nos deux systèmes de stockage et, donc, leur caractérisation.Les résultats d'optimisation obtenus par architecture électrique avec la méthode du recuit simulée, sont présentés et évalués dans toute la gamme de températures. Egalement, une adaptation de la stratégie de gestion de l'énergie est présentée pour tenir compte de l'influence de la température sur les performances de la batterieThe "more electric" aircrafts reduce the embedded weight, greenhouse gas emissions and fuel consumption. Their development requires to adapt their electrical architecture and their energy production and storage capacity.Production and storage systems must be well dimensioned to match thevehicle energy requirements. An electric hybridization integrating alithium-ion battery pack and a supercapacitor pack can respectively respond to the energy and power demands of the load.Different electrical hybridization architectures will be studied. This research project deals with the optimal designs of these storage systems on board a helicopter.In this particular application, the overall mass of the entire storagetank system must be minimized. An optimal sizing tool is developed toachieve this objective by acting on the cut-off frequency of alow-pass filter. This frequency approach, based on the most demanding mission profile in terms of energy and power, allows the allocation of power demand between our two storage systems and, therefore, their characterization.Optimization results obtained by electrical architecture using thesimulated annealing method are presented and evaluated over the entiretemperature range. An adaptation of the energy managementstrategy is also presented to evaluate the influence of temperature on battery performance
36
Etienne, Lucien. "Eléments d'observation et d'estimation pour les systèmes contrôlés en réseaux." Thesis, Cergy-Pontoise, 2016. http://www.theses.fr/2016CERG0853/document.
Full textAbstract:
Les systèmes de contrôle en réseau sont un champ actif de recherche, où les différentes composantes du réseau sont spatialement distribué et tentent d'atteindre un objectif global. Ils apparaissent naturellement lors l'interaction d'un système piloté par ordinateur avec le monde physique.Avec les systèmes de contrôle en réseau une classe connexe des systèmes est décrit par les systèmes Cyber-physique, où les capacités de calcul embarqué peuvent interagir avec le monde physique.Dans ce travail, nous allons considérer la tâche classique d'observation et d'estimation et étudier les cas où les contraintes induite par le réseau nécessite une adaptation des mécanismes classique d'observation et d'estimation.Dans les système de contrôle en raison de limitation des capteurs (pour des raisons pratiques telles que la réduction des coûts) certains états ou paramètre du système ne sont pas connus. Dans ce contexte, la notion classique d'observabilitéexprime la capacité de déduire de la mesure les valeurs d'intérêt.Premièrement nous considérons le problème de la réduction de l'échantillonnage par l'utilisation de échantillonnage événementiel et ce pour plusieurs classes de systèmes. Ensuite, une procédure d'estimation et de contrôle sera proposé pour résoudre le problème du consensus dans un système multi-agent.Considérant enfin une dynamique de véhicule plus complexe, nous nous concentrons sur l'estimation du coefficient de frottement de la route pour résoudre un problème de suiviNetwork control systems is an active field of study where interacting component spatially distributed try to achieve a global goal. They naturally emerge from the interaction of computer driven mechanism and the physical world.Along with network control system a related class of systems is described by the so called: Cyber-physical systems, where integrated physical computational capabilities can interact.In this work we will consider the classical task of observation and estimation and investigate cases where network induced constraint calls for adapted observation and estimation scheme.In control system due to limitation in sensors ( for practical reason such as cost reduction) all the value of interest (whether the some unmeasured state or unknown parameter)are unknown. The classical notion of observabilityaccount for the ability to deduce from measurement those value of interest.First sampling reduction by use of event trigger will be studied for several class of systems. Then an estimation and control scheme will be establish to solve the problem of consensus in a multi agents system.Finally considering a more complex vehicle dynamic we focus on the estimation of tire road friction coefficient to solve a tracking problem
37
Bompas, Cécile-Aline. "Contribution à la validation expérimentale du couplage entre un accélérateur et un massif sous-critique : expériences MUSE III et MUSE IV." Université Joseph Fourier (Grenoble), 2000. http://www.theses.fr/2000GRE10225.
Full textAbstract:
Dans le cadre des recherches sur les systemes hybrides, et en particulier sur les phenomenes physiques impliques dans le couplage d'un massif sous-critique et d'une source externe, il est indispensable de qualifier un certain nombre de parametres neutroniques. Ces parametres caracterisent, d'une part, la source externe alimentant le cur en neutrons (importance, amplification), et, d'autre part, le massif sous-critique (distribution spatiale du flux neutronique, puissance degagee dans le cur, niveau de reactivite, influence d'un spectre degrade par la presence de materiaux diffuseurs tel que le plomb). Le programme muse repose sur l'etude parametrique de configurations de differentes compositions, a differents niveaux sous-critiques alimentees par differents types de source externe. La premiere partie de ce travail de these s'attache a la premiere analyse des resultats statiques obtenus au cours de la phase 3 de ce programme experimental (experience muse-iii) ainsi qu'a la preparation de la phase 4, l'experience muse-iv. Cette etude a notamment conclu a la superiorite d'une zone de transition plomb par rapport a une zone sodium en terme de potentiel neutronique (mise en evidence de la reaction (n, 2n)) et d'importance de la source. La seconde partie de ce travail de these porte sur l'interpretation des resultats dynamiques obtenus durant la campagne de mesures muse-iii et la realisation de calculs previsionnels sur les configurations muse-iv. Cette etude a permis de mettre en evidence le role preponderant des materiaux hydrogenes contenus dans la source externe en ce qui concerne les resultats dynamiques muse-iii. De plus, elle a permis de determiner l'applicabilite de la technique de mesure de la reactivite dite par source de neutrons pulsee et d'optimiser la position des moniteurs pour la future experience muse-iv.
38
Ibrahim, Faisal. "Vers un outil de simulation de la commande d'un processus dynamique hybride." Vandoeuvre-les-Nancy, INPL, 1993. http://www.theses.fr/1993INPL121N.
Full textAbstract:
Cette thèse présente une étude de faisabilité de la validation, par simulation de l'ensemble (processus, commande), du cahier des charges du système de commande d'un processus dynamique hybride, après sa formalisation. Elle détaille le problème de la précision de détection des événements, propose une solution et donne les résultats obtenus
39
Djaballah, Adel. "Calcul par analyse intervalle de certificats de barrière pour les systèmes dynamiques hybrides." Thesis, Université Paris-Saclay (ComUE), 2017. http://www.theses.fr/2017SACLS195/document.
Full textAbstract:
Cette thèse développe des outils permettant de prouver qu’un système dynamique est sûr. En supposant qu’une partie de l’espace d’état est dangereuse, un système dynamique est dit sûr lorsque son état n’atteint jamais cette partie dangereuse au cours du temps, quel que soit l’état initial appartenant à un ensemble d’états initiaux admissibles et quel que soit le niveau de perturbation restant dans un domaine admissible. Les outils proposés cherchent à établir des preuves de sûreté pour des systèmes décrits par des modèles dynamiques non-linéaires et des modèles dynamiques hybrides. Prouver qu’un système dynamique est sûr en calculant explicitement l’ensemble des trajectoires possibles du système lorsque le modèle dynamique est non-linéaire et perturbé reste une tâche très difficile. C’est pourquoi cette thèse aborde ce problème à l’aide de fonctions barrières paramétrées. Une barrière, lorsqu’elle existe, permet de partitionner l’espace d’état et d’isoler l’ensemble des trajectoires possibles de l’état du système de la partie dangereuse de l’espace d’état. La fonction paramétrique décrivant la barrière doit satisfaire un certain nombre de contraintes impliquant la dynamique du modèle, l’ensemble des états initiaux possibles, et l’ensemble dangereux. Ces contraintes ne sont pas convexes en général, ce qui complique la recherche de fonctions barrières satisfaisantes. Précédemment, seules des fonctions barrières polynomiales ont été considérées pour des modèles dynamiques polynomiaux. Cette thèse considère des systèmes dynamiques relativement généraux avec des barrières paramétriques quelconques. Les solutions présentées exploitent des outils de satisfaction de contraintes sur des domaines continus et des outils issus de l’analyse par intervalles. Dans un premier temps, cette thèse considère des systèmes dynamiques non-linéaires à temps continu. Le problème de conception d’une barrière paramétrique est formulé comme un problème de satisfaction des contraintes sur des domaines réels avec des variables quantifiées de manière existentielle et universelle. L’algorithme CSC-FPS a été adapté afin de résoudre le problème de synthèse de barrière. Cet algorithme combine une exploration de l’espace des paramètres de la barrière et une phase de vérification des propriétés de la barrière. A l’aide de contracteurs, il est possible de significativement accélérer la recherche de solutions. Dans un second temps, ces résultats sont étendus au cas de systèmes décrits par des modèles dynamiques hybrides. La propriété de sûreté doit être prouvée lors de l’évolution à temps continu du système dynamique, mais aussi pendant les transitions du système. Ceci nécessite l’introduction de contraintes supplémentaires qui lient les fonctions barrières associées à chaque mode à temps continu entre elles. Réaliser la synthèse de toutes les fonctions barrières pour les différents modes simultanément n’est envisageable que pour des systèmes de très petite dimension avec peu de modes. Une approche séquentielle a été proposée. Les contraintes liées aux transitions sont introduites progressivement entre les modes pour lesquels une barrière a déjà été obtenue. Lorsque certaines contraintes de transition ne sont pas satisfaites, une méthode de backtracking doit être mise en œuvre afin de synthétiser des barrières offrant une meilleure prise en compte des contraintes de transition non satisfaites. Ces approches ont été évaluées et comparées avec des techniques de l’état de l’art sur des systèmes décrits par des modèles à temps continu et des modèles hybridesThis thesis addresses the problem of proving the safety of systems described by non-linear dynamical models and hybrid dynamical models. A system is said to be safe if all trajectories of its state do not reach an unsafe region. Proving the safety of systems by explicitly computing all its trajectories when its dynamic is non-linear or when its behavior is described by an hybrid model with non-linear dynamics remains a challenging task. This thesis considers the barrier function approach to prove the safety of a system. A barrier function, when it exists, partitions the state space and isolates the trajectories of the system starting from any possible initial values of the state and the unsafe part of the state space. The set of constraints, which have to be satisfied by a barrier function are usually non-convex, rendering the search of satisfying barrier functions hard. Previously, only polynomial barrier functions were taken in consideration and for systems with polynomial dynamics. This thesis considers relatively general dynamical systems with generic non-linear barrier functions. The solutions presented are based on template barrier functions, constraint satisfaction problems, and interval analysis. The first part of the thesis focuses on non-linear dynamical systems. The barrier function design problem is formulated as a constraint satisfaction problem that can be solved using tools from interval analysis. This formulation allows one to prove the safety of a non-linear dynamical system by finding the parameters of a template barrier function such that all constraints are satisfied using the FPS-CSC algorithm, which has been adapted and supplemented with contractors to improve its efficiency. The second part of the thesis is dedicated to the design of barrier functions for systems described by hybrid dynamical models. Safety properties have to be proven during the continuous-time evolution of the system, but also during transitions. This leads to additional constraints that have to be satisfied by candidate barrier functions. Solving all the constraints simultaneously to find all the barrier functions is usually computationally intractable. In the proposed approach, the algorithm explores all the locations sequentially. Transition constraints are introduced progressively between the already explored locations. Backtracking to previous location is considered when transition constraints are not satisfied. The efficiency of the proposed approaches has been compared with state-of-the-art solutions
40
Glotin, Hervé. "Elaboration et comparaison de systèmes adaptatifs multi-flux de reconnaissance robuste de la parole : incorporation des indices de voisement et de localisation." Grenoble INPG, 2001. http://www.theses.fr/2001INPG0043.
Full textAbstract:
Les performances des systemes classiques de reconnaissance automatique de la parole (rap) sont mauvaises en milieu bruite. Pour les ameliorer, la rap multi-flux utilise la redondance spectrale du signal de parole. Nous developpons cette technique et montrons comment la renforcer par analyse de scene auditive computationnelle modelisant la capacite de l'homme a structurer l'environnement sonore. Nous calculons la probabilite a posteriori de chaque phoneme par la somme des probabilites a posteriori de chaque flux possibles, ponderees par leur fiabilite (modele full combination fc). La fiabilite des paves temps frequence de 100 ms est associee au maximum, dans le domaine du fondamental, de l'autocorrelogramme normalise du signal demodule, ou a la position du maximum sur l'intercorrelogramme d'un signal stereophonique de sources fixes. Nous comparons aux techniques classiques (soustraction spectrale, separation aveugle) les gains relatifs (gr) de reconnaissance de mot alors acquis par les modeles fc ou de rehaussement ou de fusion audiovisuelle. Les tests sur des bases de parole continue multilocuteur montrent dans le cas de chiffres telephones (numbers 93 / 95) jusqu'a 47% gr sur du bruit colore non-stationnaire. Dans le cas de deux sources simultanees fixes (base stereophonique stnumbers95), le gr de double reconnaissance est de 32%. Sur la base viavoice grand vocabulaire (15000 mots) augmentee de la modalite visuelle, le gr par fusion audiovisuelle est de 57% compare a l'audio seul sur un bruit de parole et nous montrons comment l'ameliorer en gerant la fusion avec notre indice de voisement. Les matrices de confusion des experts a rapports signal sur bruit donnes predisent les biais des posteriors. Cette information est fusionnee dans un nouveau modele pour renforcer le gr. Enfin nous proposons un reconnaisseur proactif permettant d'apporter une information de haut niveau complementaire aux indices primitifs.
41
MOY, CHRISTOPHE. "Conception d'un systeme de transmission numerique a etalement de spectre hybride ds/fh de type rake adapte au canal de diffusion tropospherique - mesures de propagation sur une liaison experimentale a 4,5 ghz." Rennes, INSA, 1999. http://www.theses.fr/1999ISAR0006.
Full textAbstract:
Cette these presente les performances de systemes de transmission a diversite de trajets multiples de type rake, adaptes au canal de diffusion tropospherique. Afin de s'approcher des conditions realistes de propagation, ces simulations s'appuient sur les resultats de campagnes de mesures effectuees sur une liaison experimentale. Le cadre de l'etude est celui des liaisons tropospheriques a courtes distances (< 250 km), faibles debits (< 512 kbits/s) et faible encombrement, a 4. 5 ghz. Le premier chapitre rappelle les phenomenes et les caracteristiques de la propagation par diffusion tropospherique. La particularite de ce mode de propagation reside notamment dans la presence d'un continuum de trajets multiples, et les fortes fluctuations de la bande de coherence. Une liaison experimentale a ete realisee entre brest et monterfil. Le chapitre deux presente les releves de la puissance recue et du module de la reponse impulsionnelle qui ont ete effectues. Les mesures ont mis en evidence la faible vitesse de variation temporelle du canal et son caractere selectif en frequence. Le troisieme chapitre s'interesse aux systemes de transmission robustes vis-a-vis des trajets multiples. Une etude originale de differentes architectures de recepteurs a diversite de trajets de type rake est realisee. Les performances de tels systemes sont developpees, et montrent leur efficacite en presence de trajets multiples. Le dernier chapitre presente la structure et les performances de plusieurs systemes a etalement de spectre hybride ds/fh adaptes au canal de diffusion tropospherique. La combinaison a gain maximal des trajets est effectuee par un filtre rake. Plusieurs strategies d'etalement sont etudiees par simulation, visant a trouver un compromis entre etalement par sequence directe et codage de canal. Enfin, quelques investigations concernant la realisation et la complexite de ces systemes ont ete menees, en vue de l'evaluation du meilleur compromis entre les performances et la complexite.
42
Layet, Corine. "Approche des bases structurales de l'antigenicite des antigenes hla de classe i." Aix-Marseille 2, 1986. http://www.theses.fr/1986AIX22046.
Full text
43
Sanchez, Perez Célia. "Dispositifs optiques intègrés hybrides, verre / polymère électro-optique : applicationà un polariseur et à un modulateur de phase." Grenoble INPG, 2000. http://www.theses.fr/2000INPG0159.
Full textAbstract:
La generalisation actuelle des echanges d'information a conduit a une croissance des besoins en bande passante des systemes de telecommunication. Le traitement tout optique de l'information est devenu necessaire generant un besoin accru des dispositifs optiques pour stocker, controler et traiter d'importantes quantites d'informations. Dans le domaine de telecommunications, l'effet electro-optique des differents materiaux est souvent utilise pour la realisation des composants. Les materiaux organiques offrent de nouvelles perspectives pour le developpement de dispositifs electro-optiques performantes grace a son bon coefficient electro-optique et sa forte bande passante. De plus, la facilite des techniques de mise en uvre facilite leur integration avec d'autres materiaux pour former des composants hybrides multifonctions. Le travail presente a comme objectif la realisation et caracterisation de dispositifs optiques en technologie hybride : un guide de surface fabrique par echange ionique et un polymere electro-optique comme milieu actif. Un polariseur te a ete fabrique en utilisant une methode d'orientation par effet corona, un taux d'extinction de 40 db et des pertes d'insertion de 5 db ont ete obtenus. L'implementation des depots des electrodes transparentes en ito permet la realisation du polariseur te avec une methode d'orientation sous champ electrique par des electrodes. Dans ce cas, un taux d'extinction de 34 db et des pertes d'insertion de 9 db ont ete mesures. Par ailleurs, une modulation de phase electro-optique a ete montree experimentalement avec une tension demi-onde v = 200 v sur une longueur de modulation de 0,3 cm.
44
Ray, Rajarshi. "Calcul d'Atteignabilité des systèmes hybrides avec des fonctions de support." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00768033.
Full textAbstract:
Dans la conception basée sur des modèles on construit un modèle mathématique du système que l'on utilise pour concevoir le système de sorte qu'il présente les propriétés souhaitées. Pour les systèmes de sûreté critique, il peut être d'une importance capitale de vérifier ces propriétés de sûreté sur le modèle, par exemple, pour tenir compte des variations des paramètres. Le calcul d'un nombre fini de comportements du système par le biais de simulation ne suffit pas à garantir des propriétés de sécurité. Avec une analyse d'atteignabilité on peut calculer une couverture de tous les comportements possibles du système, possiblement infinis. Cette analyse peut prendre en compte de non-déterminisme dans le modèle et peut garantir des propriétés de sécurité. Les systèmes d'intérêt présentent souvent à la fois un comportement continu et discret et de tels systèmes sont appelés systèmes hybrides. Le calcul d'atteignabilité est considéré comme difficile pour les systèmes continus et hybrides. Ce n'est que récemment que des méthodes pour le calcul d'accessibilité ont été développées qui peuvent être mis à l'échèlle. Ils sont basés sur des représentations implicites d'ensembles continus à l'aide du concepte mathématique de la fonction de support. Dans cette thèse, nous développons un outil extensible appelé SpaceEx pour le calcul d'atteignabilité des systèmes hybrides. Deux algorithmes d'atteignabilité ont été mis en œuvre dans SpaceEx, l'un basé sur l'outil PHAVer pour les automates linéaires hybrides et l'autre basé sur les fonctions de support pour les dynamiques affines par morceaux. L'algorithme de fonction support a été mis au point et sa mise à l'échelle a été amélioré en basculant entre différentes représentations d'ensembles continus. Nous proposons un algorithme de calcul d'image des transition discrètes amélioré qui réduit l'erreur de sur-approximation et nous illustrons sa précision et son efficacité avec plusieurs études de cas.
45
Batis, Sonia. "Commande d'une classe de systèmes hybrides par automates hybrides rectangulaires." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENT025/document.
Full textAbstract:
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é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
46
Werner, Quentin. "Model-based optimization of electrical system in the early development stage of hybrid drivetrains." Thesis, Université de Lorraine, 2017. http://www.theses.fr/2017LORR0109.
Full textAbstract:
Cette thèse analyse les challenges auxquels sont confrontés les composants électriques pour les systèmes de traction hybrides. L’analyse de ces composants et de leurs interactions en tant qu’entité indépendante est un sujet de recherche important afin de dimensionner de manière optimale le système au lieu de combiner des composants optimaux. Les véhicules hybrides sont un domaine de recherche qui suscite un grand intérêt parce qu’il s’agit d’une solution efficace à court terme afin de préparer la transition énergétique vers les véhicules à zéro émission. Malgré les avantages de cette solution, c’est un sujet de recherche complexe car les composants électriques doivent être intégrés dans un système de propulsion conventionnel. Ainsi le but de ce travail de recherche est axé sur la détermination de méthodes appropriées pour étudier les composants électriques et les contributions apportées par cette thèse visent à répondre à la problématique suivante : déterminer le niveau suffisant de détails pour modéliser les systèmes électriques pour les systèmes de traction pour véhicules hybrides afin d’identifier le dimensionnement idéal des composants pour différents systèmes pendant la phase de développement. Afin de résoudre cette problématique, ce rapport est divisé en quatre parties au sein de six chapitres. D’abord l’état de l’art des véhicules hybrides, des composants électriques ainsi que des méthodes d’optimisation associées sont présentés (chapitre 1). Ensuite, pour chaque composant (chapitre 2 à 4), des méthodes de modélisation appropriées sont déterminées afin de les modéliser mais aussi afin d’évaluer leur intégration dans le système de propulsion. Puis, une solution pour l’étude du système globale est déterminée à partir de l’analyse de travaux précédents (chapitre 5). Finalement, une approche d’optimisation est développée et permet d’analyser différents systèmes ainsi que l’influence de différents paramètres sur le dimensionnement (chapitre 6). Grâce à l’analyse du développement actuel et des travaux précédents sur le sujet ainsi qu’au développement d’outils de simulation, cette thèse étudie et analyse les relations entre le niveau de tension et de courant, et les performances du système dans différents cas. Les résultats permettent de déterminer l’influence de ces paramètres sur les composants ainsi que l’impact de l’environnement industriel sur les résultats. En tenant compte du cadre législatif actuel, les résultats convergent globalement tous dans la même direction : une réduction du niveau de tension, respectivement une augmentation du courant, entraine une amélioration du système global par rapport aux méthodes de dimensionnent actuelles. Ces observations sont liées à l’architecture, au cycle d’évaluation et à l’environnement considérés mais les méthodes et l’approche développée ont posé les bases pour étendre les connaissances dans le domaine de l’optimisation des véhicules hybrides. En plus de l’optimisation générale, des cas particuliers sont analysés afin de montrer la modularité des méthodes et l’influence de paramètres supplémentaires (système 48V ou convertisseur Boost). Afin de conclure, cette thèse a mis en place les bases pour l’étude des composants électriques pour les véhicules hybrides. De part un environnement fluctuant et les nombreuses technologies possibles, ce sujet suscite encore un grand intérêt et les points suivants peuvent être encore étudiés de manière plus détaillée : * Application des méthodes pour d’autres systèmes de propulsion (autre architectures hybrides, véhicule à pile à combustible ou tout électrique), * Étude de nouvelles technologies comme le carbure de silicium pour l’électronique de puissance, la machine à reluctance variable ou le sulfure de lithium pour les batteries, * Analyse d’autre cycle d’évaluation ainsi que leur cadre législatif, * Mise en place de structures additionnelles pour l’électronique de puissance, * Validations supplémentaires avec d’autres composantsThis work analyses the challenges faced by the electric components for traction purpose in hybrid drivetrains. It investigates the components and their interactions as an independent entity in order to refine the scope of investigation and to find the best combinations of components instead of the best components combinations. Hybrid vehicle is currently a topic of high interest because it stands for a suitable short-term solution towards zero emission vehicle. Despite its advantages, it is a challenging topic because the components need to be integrated in a conventional drivetrain architecture. Therefore, the focus of this work is set on the determination of the right methods to investigate only the electric components for traction purpose. The aim and the contributions of this work lies thereby in the resolution of the following statement: Determine the sufficient level of details in modeling electric components at the system level and develop models and tools to perform dynamic simulations of these components and their interactions in a global system analysis to identify ideal designs of various drivetrain electric components during the design process. To address these challenges, this work is divided in four main parts within six chapters. First the current status of the hybrid vehicle, the electric components and the associated optimization methods and simulation are presented (first chapter). Then for each component, the right modeling approach is defined in order to investigate the electrical, mechanical and thermal behavior of the components as well as methods to evaluate their integration in the drivetrain (second to fourth chapter). After this, a suitable method is defined to evaluate the global system and to investigate the interactions between the components based on the review of relevant previous works (chapter five). Finally, the last chapter presents the optimization approach considered in this work and the results by analyzing different system and cases (chapter six). Thanks to the analysis of the current status, previous works and the development of the simulations tools, this work investigates the relationships between the voltage, the current and the power in different cases. The results enable, under the considered assumptions of the work, to determine the influence of these parameters on the components and of the industrial environment on the optimization results. Considering the current legislative frame, all the results converge toward the same observation referred to the reference systems: a reduction of the voltage and an increase of the current leads to an improvement of the integration and the performance of the system. These observations are linked with the considered architecture, driving cycle and development environment but the developed methods and approaches have set the basis to extend the knowledge for the optimization of the electric system for traction purpose. Beside the main optimization, special cases are investigated to show the influence of additional parameters (increase of the power, 48V-system, machine technology, boost-converter…) In order to conclude, this work have set the basis for further investigations about the electric components for traction purpose in more electrified vehicle. Due to the constantly changing environment, the new technologies and the various legislative frame, this topic remains of high interest and the following challenges still need to be deeper investigated: * Application of the methods for other drivetrain architecture (series hybrid, power-split hybrid, fuel-cell vehicle, full electric vehicle), * Investigation of new technologies such as silicon-carbide for the power electronics, lithium–sulfur battery or switch reluctance machine, * Investigation of other driving cycle, legislative frame, * Integration of additional power electronics structure, * Further validation of the modeling approaches with additional components
47
Sandoval, torres Cinda Luz. "Contrôle d’une source d’énergie hybride : Pile à combustible-Supercondensateur." Thesis, Paris, ENSAM, 2016. http://www.theses.fr/2016ENAM0067/document.
Full textAbstract:
Cette thèse s’inscrit dans le cadre de conception d’une stratégie de gestion de l’énergie dans un système hybride de génération d'énergie électrique composé d’une pile à combustible (PC) et un module de supercondensateurs (SC). La source hybride fournit une puissance maximale de 1,2 kW et sa conception implique des décisions concernant la sélection de l’architecture du système hybride ainsi que le choix de la topologie et le dimensionnement d’une unité de convertisseurs. La stratégie de gestion vise à satisfaire la demande d’énergie électrique de la charge et favoriser la consommation énergétique efficiente ; sa performance est évaluée en développant un simulateur qui comprend la dynamique des éléments mis en jeu : deux sources et l’unité de convertisseurs. Le générateur hybride est supposé alimenter un profil de consommation correspondant à un véhicule électrique, de ce fait un cycle standard de conduite en ville en échelle est demandé lors des simulations, ce qui permet d’évaluer la performance du générateur hybride et plus spécifiquement de la stratégie de gestion énergétique.Dans une première étape de cette thèse, un simulateur intégral a été construit avec des librairies de Simscape. Le simulateur est constitué des blocs de différents domaines, contenant des modèles fondamentaux des composants du système. Le block de pile à combustible modèle la dynamique d’un système BAHIA® (400 W - 1100 W, 0 A - 70 A nominale) et le block de supercondensateur modèle les cycles charge-décharge d’un module Maxwell de 400 F et 16 V. Un onduleur de tension pont complet avec convertisseur élévateur conditionne l’énergie délivrée par la pile à combustible et un convertisseur bidirectionnel (buck-boost) est connecté au module de supercondensateurs afin de conditionner les cycles de charge-décharge. L’unité des convertisseurs a été dimensionné, puis, un modèle moyen de petits signaux a été formulé afin de décrire la dynamique de ces dispositifs. Les différents composants ont été intégrés dans l’environnement Simulink. Dans une deuxième étape, la stratégie de gestion énergétique a été conçue en considérant les caractéristiques et performances des sources ; le résultat est une stratégie de trois niveaux hiérarchiques, dont l’aspect principal es la définition des lois de commande locales et globale. Dans une troisième étape, le système complet est évalué en termes du niveau d’utilisation des sources, du domaine d’opération de la pile à combustible, et de l’accomplissement des objectifs des commandes locales et global, qui engagent notamment le SOC des supercondensateurs et la régulation de la tension du générateur hybrideEnergy generation from fossil fuels combustion is predicted to have severe future impacts in the world’s economy and ecology. Fuel cells and supercapacitors are an alternative power source, environmentally friendly.This dissertation presents a regulation architecture developed to coordinate a hybrid renewable source for typical solicitations of electric vehicles in a scaled operating range of 1 kW. The hybrid system is composed of a Polymer Electrolyte Membrane (PEM) fuel cell module, a supercapacitors bank and their respective power conditioning units. In order to optimize the overall operation, the proposed strategy is organized into three hierarchical levels, and the power demand for each energy source is determined in real time with a basis on a frequency distribution and a cutoff frequency, defined in accordance with the dynamical capabilities of the sources.Even if numerous researches have been reported on the subject, few studies have taken into account the proper dynamics of each source in order to optimize the global performance of the hybrid power supply.The goal of this work is to implement a complete simulator integrating not only dynamical models of each energy source, but also dynamical models of the power conditioning units. The control strategy consists of nested loops, arranged in three functional levels of hierarchy. The central idea is to find the optimal set point for each energy source, according to their own physical properties. Contrary to the existing control strategies, this strategy dynamically calculates the appropriate power demand for each energy source. Due to the complexity of the system, cascade control loops are proposed, organized into blocks, according to the system functionality and dynamics.A functional simulation is obtained, where the system ensures the adequate supercapacitor state of charge and soft current demands to keep the fuel cell working in its safe operating region. Thus, lower fuel consumption and rapid response to load demands are guaranteed to improve efficiency.Results demonstrate that the control strategy allows the regulation of the DC bus voltage under UDDS and ECE-15 driving cycles as load profiles. The fuel cell works within its maximum efficiency region, without falling in the degradation zone. In addition, the supercapacitor state of charge remains within the recommended range
48
Busseau, Isabelle. "Transposition des elements i chez drosophila melanogaster : etude moleculaire de mutations induites par la dysgenesie hybride et analyse des fonctions d'un element i modifie in vitro." Clermont-Ferrand 2, 1988. http://www.theses.fr/1988CLF21136.
Full text
49
Kravtzoff, Ivan. "Optimisation d'un système hybride de génération d'énergie électrique permettant de minimiser la consommation et l'empreinte environnementale." Thesis, CentraleSupélec, 2015. http://www.theses.fr/2015SUPL0015/document.
Full textAbstract:
Les préoccupations environnementales grandissantes nous ont conduits à faire des efforts pour réduire les émissions de gaz à effet de serre, notamment dans le domaine de la production de l’énergie électrique. C’est dans ce contexte que Leroy Somer a lancé des recherches sur les groupes électrogènes hybrides afin de minimiser la consommation de carburant et les coûts d’exploitations. Pour aborder les questions du dimensionnement des ressources matérielles et de leur utilisation optimale, une méthodologie est développée dans cette thèse. La recherche de la stratégie de gestion de l’énergie optimale est basée sur l’algorithme de programmation dynamique de Bellman. Elle sera associée à un algorithme d’optimisation à évolution différentielle pour optimiser le dimensionnement de la structure hybride. Les fonctions de coûts des optimisations sont obtenues par le développement de modèles énergétiques et économiques. Grâce à cette méthode, nous montrons que les gains d’un groupe électrogène hybride sont fortement liés à l’utilisation que l’on aura de celui-ci. Dans les cas où le groupe électrogène est utilisé sur des profils avec de faibles facteurs de charge, les gains pourront être conséquents. Il sera donc primordial de bien connaitre les profils de charge de l’application avant de dimensionner la structure tout entière du groupe électrogène hybride. Les travaux ont également débouché sur une mise en œuvre expérimentale qui a pu valider les premiers résultats obtenu lors des simulationsGrowing environmental issues and concerns have led to efforts to reduce CO2 and greenhouse effect pollutant emissions in the field of electric power generation. This has led Leroy Somer to investigate systems based on hybrid technologies to reduce genset fuel consumption and operating costs. A methodology is developed in this thesis to address issues of sizing hardware resources and their optimal use. The optimum energy management strategy is based on the dynamic programming algorithm of Bellman. It will be associated to a differential evolution optimization algorithm to optimize the design of the hybrid structure. The objective functions are obtained by developing energetic and economic models. Through this method, we show that the benefits of a hybrid generator are strongly related to its use. In cases where the generator is used on profiles with low load factors, the benefits will be significant. It will be very important to have good knowledge of load profiles applications before sizing the whole structure of the hybrid generator. A prototype of this system has been developed and has confirmed simulation results
50
Dreossi, Tommaso. "Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM096.
Full textAbstract:
Les systèmes dynamiques sont des importants modèles mathématiques utilisés pour décrire l'évolution temporelle des systèmes.Souvent, les systèmes dynamiques sont équipées avec des paramètres qui permettent les modèles de mieux saisir les caractéristiques des phénomènes abstraits. Une question importante autour des systèmes dynamiques est de déterminer formellement si un modèle (sollicité par ses paramètres) se comporte bien.Dans cette thèse, nous traitons deux questions principales concernant les systèmes dynamiques polynomiaux en temps discret:1) problème de calcul de la d'atteignabilité, i.e., étant donné un ensemble de conditions initiales et un ensemble deparamètres, calculer l'ensemble des états atteignable par le système dans un horizon de temps borné;2) le problème de la synthèse de paramètre, i.e., étant donné un ensemble de conditions initiales,un ensemble de paramètres, et une spécification, trouver l'ensemble de paramètres le plus grandtels que tous les comportements du système fixes de l'ensemble de conditions initiales satisfont la spécification.Le problème de calcul d'atteignabilité pour les systèmes dynamiques non linéaires est bien connu pour être non triviale.Des difficultés surgissent dans le traitement et la représentation des ensembles générés par les transformations non linéaires.Dans cette thèse, nous adoptons une technique courante qui consistede rapprocher les ensembles atteignable avec des ensembles complexes qui sont faciles à manipuler.Le défi est de déterminer précis sur-approximations.Nous proposons des méthodes pour rapprocher finement les images des ensembles utilisant des boîtes,parallelotopes, et une nouvelle structure appelé parallelotope bundle (ce sont des collections de parallelotopes dont les intersections représentent symboliquement polytopes). Ces techniques d'approximation sont les étapes de base de notre algorithme d'accessibilité.La synthèse des paramètres vise à déterminer les valeursdes paramètres tels que le système se comporte comme prévu. Cette fonctionnalité peut êtreutilisé, par exemple, pour régler un modèle qu'il imite la modéliséphénomène avec un niveau suffisant de précision. Les contributions de cettethèse sur le problème de synthèse de paramètres sont de deux ordres. Premièrement,nous définissons une nouvelle sémantique pour le signal logique temporelle (STL) que nous permetde formaliser une spécification et de raisonner sur des ensembles de paramètres et des flux de comportements.Deuxièmement, nous définissons un algorithme pour calculer la sémantique de synthèsed'une formule à l'encontre d'un système dynamique à temps discret. Le résultat de l'algorithmeconstitue une solution conservatrice du problème de la synthèse de paramètre.Les méthodes développées exploitent et améliorent le calcul des coefficients de Bernstein.Les techniques définies dans cette thèse ont été mises en œuvreun tool appelé Sapo. L'efficacité de notre méthode est validéepar l'application de notre tool pour plusieurs systèmes dynamiques polynomiauxDynamical systems are important mathematical models used to describe the temporal evolution of systems.Often dynamical systems are equipped with parameters that allow the models to better capture the characteristicsof the abstracted phenomena. An important question around dynamical systems isto formally determine whether a model (biased by its parameters) behaves well.In this thesis we deal with two main questions concerning discrete-time polynomial dynamical systems:1) the reachability computation problem, i.e, given a set of initial conditions and a set ofparameters, compute the set of states reachable by the system in a bounded time horizon;2) the parameter synthesis problem, i.e., given a set of initial conditions,a set of parameters, and a specification, find the largestset of parameters such that all the behaviors of the system staring from the set ofinitial conditions satisfy the specification.The reachability computation problem for nonlinear dynamical systems is well known for being nontrivial.Difficulties arise in handling and representing sets generated by nonlinear transformations.In this thesis we adopt a common technique that consistsin over-approximating the complex reachable sets with sets that are easy to manipulate.The challenge is to determine accurate over-approximations.We propose methods to finely over-approximate the images of sets using boxes,parallelotopes, and a new data structure called parallelotope bundles (that are collections of parallelotopeswhose intersections symbolically represent polytopes). These approximation techniquesare the basic steps of our reachability algorithm.The synthesis of parameters aims at determining the valuesof the parameters such that the system behaves as expected. This feature can beused, for instance, to tune a model so that it imitates the modeledphenomenon with a sufficient level of precision. The contributions of thisthesis concerning the parameter synthesis problem are twofold. Firstly,we define a new semantics for the Signal Temporal Logic (STL) that allows oneto formalize a specification and reason on sets of parameters and flows of behaviors.Secondly, we define an algorithm to compute the synthesis semanticsof a formula against a discrete-time dynamical system. The result of the algorithmconstitutes a conservative solution of the parameter synthesis problem.The developed methods for both reachability computation and parameter synthesisexploit and improve Bernstein coefficients computation.The techniques defined in this thesis have been implemented ina tool called Sapo. The effectiveness of our methods is validatedby the application of our tool to several polynomial dynamical systems