• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 61
  • 31
  • 8
  • Tagged with
  • 99
  • 99
  • 42
  • 40
  • 32
  • 31
  • 22
  • 20
  • 16
  • 16
  • 14
  • 13
  • 12
  • 12
  • 12
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Test des Systèmes hybrides

Nahhal, Tarik 10 October 2007 (has links) (PDF)
Les systèmes hybrides, systèmes combinant à la fois une dynamique continue et discrète, s'avèrent être un modèle mathématique utile pour différents phénomènes physiques, technologiques, biologiques ou économiques. Beaucoup d'efforts ont été consacrés à l'élaboration de méthodes automatiques d'analyse pour de tels systèmes, basées sur la vérification formelle. Néanmoins, l'applicabilité de ces méthodes est encore limitée aux systèmes de petite taille en raison de la complexité de l'analyse exhaustive. Le test est une autre approche de validation, qui peut être employée pour des systèmes beaucoup plus grands. En dépit de ses limitations comparées à la vérification algorithmique et déductive, le test reste l'outil standard dans l'industrie.<br />Nous proposons dans cette thèse une méthodologie formelle pour le test de conformité des systèmes hybrides, qui est définie selon la norme internationale pour le test formel de conformité (FMCT). Ensuite, nous abordons le problème de la définition de mesures de couverture de test. Pour cela, deux mesures de couverture sont proposées, qui sont non seulement utiles comme critère pour évaluer la qualité de test mais peuvent être aussi employées pour guider la génération de test vers une meilleur couverture. Des algorithmes de génération de test guidés par les mesures de couverture sont proposés. Ces algorithmes sont basés sur une combinaison des algorithmes de planification de trajectoires dans la robotique, de la théorie d'équidistribution, de la géométrie algorithmique et de la simulation numérique. L'outil HTG (Hybrid test generation) pour la génération de cas de test pour les systèmes hybrides implémente ces algorithmes, et a été appliqué avec succès pour traiter plusieurs études de cas provenant de différentes domaines (circuits analogiques et mixtes, systèmes de commande, etc.).
2

Contrôlabilité et stabilisation optimales en dimension finie ou infinie

Prieur, Christophe 09 November 2009 (has links) (PDF)
Suivant les applications considérées et le nombre de degrés de liberté à envisager, il est étudié deux grandes classes de systèmes. La première classe de systèmes est décrite par des équations non-linéaires aux dérivées ordinaires. Les contrôles correspondants ont été envisagés avec une dynamique mixte discrète/continue, dites hybrides. Ils permettent de stabiliser des systèmes non-linéaires avec une robustesse, et une certaine optimalité. La seconde classe de systèmes concerne ceux à paramètres distribués. Des résultats ont concerné plus particulièrement le contrôle ou la stabilisation de structures flexibles, ainsi que la stabilisation robuste de l'écoulement de l'eau dans un réseau de canaux.
3

Conception de nano-objets adaptatifs à base de polypeptides

Agut, Willy 12 December 2008 (has links)
Les copolymères à blocs représentent de bons candidats pour des applications biomédicales, notamment pour l’encapsulation et le relargage contrôlé de médicaments. Depuis quelques années, les équipes de recherche tentent de concevoir des nanoparticules fonctionnelles « sur mesure » de façon à augmenter leur efficacité en tant que nano-vecteurs. C’est dans ce contexte que s’est s’inscrit ce travail dont le but est de concevoir des copolymères à blocs multi-stimulables en vue d’obtenir des nano-objets adaptatifs en milieu aqueux, capables d’encapsuler des molécules actives et de les relarguer de manière contrôlée en jouant sur différents paramètres extérieurs (pH, T...). Ce manuscrit traite en premier lieu d’une nouvelle stratégie de synthèse des copolymères à blocs stimulables “hybrides”, c’est à dire comprenant un bloc vinylique stimulable et un bloc peptidique. Celle-ci, fondée sur le couplage par « chimie click » d’homopolymères fonctionnalisés eux-mêmes obtenus par polymérisation « vivante / contrôlée », s’est révélée très efficace pour l’obtention de copolymères de structure moléculaire très bien définie. . L'autre partie, dédiée à l'étude complète du comportement en milieu aqueux des copolymères à blocs “hybrides”, en fonction de divers paramètres extérieurs (pH, T), illustre leurs propriétés singulières d’auto-assemblage. Ils forment, en effet, une multitude de morphologies différentes mises en évidence par des techniques de caractérisation complémentaires. Cette partie traite également de l’incorporation de particules magnétiques au sein des nanoparticules polymères, afin de concevoir des nano-vecteurs utilisables pour l’imagerie médicale ou pour leurs propriétés d’hyperthermie. Ce projet ambitieux, croisant les concepts de l’auto-assemblage, de l’ingénierie macromoléculaire, de l’encapsulation, des systèmes hybrides organique-inorganique et des systèmes stimulables, constitue une thématique de recherche novatrice. / Abstract
4

Développement de méthodologies génériques pour la conception optimale et durable des parcs hybrides d'énergies renouvelables

Roth, Anastasia 10 May 2019 (has links) (PDF)
Les enjeux planétaires du développement durable et du réchauffement climatique remettent en cause le fonctionnement de nos sociétés. La transition énergétique se traduit notamment par l’augmentation de l’utilisation des énergies renouvelables et constitue ainsi le contexte de nos travaux. Dans le cadre d’un contrat CIFRE avec l’entreprise VALOREM, nous proposons des méthodologies pour le développement et la conception d’installations renouvelables soutenables. L’approche d’Ingénierie Des Modèles mise en place nous permet de garder une démarche scientifique cohérente entre une vue très générale du contexte d’insertion des renouvelables et une vision plus technique et opérationnelle pour le développement d’installations renouvelables. Dans un premier temps, nous avons décrit de manière macroscopique le contexte d’insertion des énergies renouvelables en France, en proposant un cadre conceptuel pour le développement de projet d’aménagement du territoire. Il permet l’analyse des systèmes sociotechniques en transition grâce à une formalisation UML2 d’une part, et une méthode d’évaluation de la durabilité d’un processus d’autre part. Nous avons illustré ce cadre sur deux cas d’étude : le succès du développement de la centrale hydro-éolienne de l’île d’El Hierro dans les Canaries et l’échec du barrage de Sivens dans le Tarn en France. Par comparaison, nous montrons que l’implication des parties prenantes sur l’ensemble du processus de développement est cruciale pour le succès d’un projet. Nous avons ensuite proposé une implémentation logicielle permettant le suivi et le pilotage de projet d’aménagement du territoire en temps réel à l’aide d’outils d’intelligence artificielle. Conscient des limites opérationnelles de notre proposition, nous avons décidé de changer de point de vue pour adopter une vision plus technique sur les énergies renouvelables. La transition énergétique fait évoluer le système électrique français d’un modèle centralisé vers un modèle décentralisé, ce qui amène VALOREM à reconsidérer ses propositions techniques de production d’énergies renouvelables. Entre autre, l’entreprise tend vers l’hybridation de ses centrales et constate le besoin d’un outil de dimensionnement en phase d’avant-projet, afin d’identifier les opportunités d’activités. Nous faisons donc la proposition d’un prototype logiciel qui se veut flexible en termes de modélisation des centrales de production hybrides renouvelables et en termes de définition des objectifs et contraintes à satisfaire. Il est codé en C++ et basé sur des modèles d’optimisation linéaires. Nous illustrons son opérationnalité sur quatre cas d’étude : deux orientés marché électrique et deux en autoconsommation (l’un isolé, l’autre connecté au réseau). Les résultats des études montrent que les coûts de stockage batterie sont trop élevés pour pouvoir envisager l’installation de batteries dans les centrales hybrides renouvelables. Les systèmes en autoconsommation connectés au réseau semblent être plus prometteurs. Enfin, nous terminons par une analyse environnementale de différentes sources de production électrique afin de déterminer celles vers lesquelles la transition énergétique doit être axée. Les résultats montrent que la biomasse, l’éolien et le PV au sol sont les moyens de production les plus propres. La conclusion de la thèse propose une réflexion ascendante en complexité vers l’implication des acteurs dans les modèles de processus de développement territoriaux.
5

Théorie du contrôle et systèmes hybrides dans un contexte cryptographique / Control theory and hybrid system in a cryptograhical context

Vo Tan, Phuoc 12 November 2009 (has links)
La thèse traite de l’utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L’essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l’information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu’on le débit d’une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d’autre du canal d’échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d’abord, l’intérêt d’utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d’établir une connexion entre les algorithmes de masquage de l’information basés sur le chaos et les algorithmes de chiffrement usuels. L’étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l’inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l’information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s’agit de l’identifiabilité paramétrique et des algorithmes d’identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d’une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique / This manuscript deals with a specific engineering application involving hybrid dynamical systems : secure communications and cryptography. The work is motivated by the following facts. The considerable progress in communication technology during the last decades has led to an increasing need for security in information exchanges. In this context, cryptography plays a major role as information is mostly conveyed through public networks. Among a wide variety of cryptographic techniques, stream ciphers are of special interest for high speed encryption. They are mainly based on generators of complex sequences in the form of dynamical systems, which must be synchronized at the transmitter and receiver sides. The aim of this work is threefold. First, the interest of resorting to hybrid dynamical systems for the design of cryptographic primitives is motivated. Secondly, a connection between chaotic and conventional cryptography is brought out by comparing the respective algorithms proposed in the open literature. The investigation focuses on structural consideration. Control theoretical concepts, in particular left invertibility and flatness, are the central tools to this end. It is shown that the so-called message-embedding technique, consisting in injecting the information to be concealed into a dynamical system, is the most relevant technique. Furthermore, it is shown that, under the flatness condition, the resulting cipher acts as a self-synchronizing stream cipher. Finally, cryptanalytic methodologies for assessing the security of the message-embedded cryptosystem involving a special class of hybrid systems, namely the switched linear systems, are proposed. Again concepts borrowed from control theory, namely identifiability and identification, are considered. Specificities related to the context are taken into account. The variables describing the dynamical systems do not take values in a continuum unlike what usually happens in automatic control when physical models are considered. They rather take values in finite cardinality sets, especially finite fields, since an implementation in finite state machines, say computers or digital electronic devices, is expected
6

Contribution sur la synthèse d'observateurs pour les systèmes dynamiques hybrides / Observers for hybrid systems

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

Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle / Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process

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

Théorie du contrôle et systèmes hybrides dans un contexte cryptographique

Vo Tan, Phuoc 12 November 2009 (has links) (PDF)
La thèse traite de l'utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L'essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l'information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu'on le débit d'une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d'autre du canal d'échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d'abord, l'intérêt d'utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d'établir une connexion entre les algorithmes de masquage de l'information basés sur le chaos et les algorithmes de chiffrement usuels. L'étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l'inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l'information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s'agit de l'identifiabilité paramétrique et des algorithmes d'identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d'une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique.
9

Théorie du contrôle et systèmes hybrides dans un contexte cryptographique

Vo Tan, Phuoc 12 November 2009 (has links) (PDF)
La thèse traite de l'utilisation des systèmes hybrides dans le contexte particulier des communications sécurisées et de la cryptographie. Ce travail est motivé par les faits suivants. L'essor considérable des communications qui a marqué ces dernières décennies nécessite des besoins croissants en terme de sécurité des échanges et de protection de l'information. Dans ce contexte, la cryptographie joue un rôle central puisque les informations transitent la plupart du temps au travers de canaux publics. Parmi les nombreuses techniques de chiffrement existants, le chiffrement par flot se distingue tout particulièrement lorsqu'on le débit d'une communication sécurisée est privilégié. Les chiffreurs par flot sont construits à partir de générateurs de séquences complexes décrits par des systèmes dynamiques et devant être synchronisés de part et d'autre du canal d'échanges. Les objectifs et les résultats de ce travail se déclinent en trois points. Tout d'abord, l'intérêt d'utiliser des systèmes hybrides en tant que primitives cryptographiques est motivé. Par la suite, une étude comparative est menée afin d'établir une connexion entre les algorithmes de masquage de l'information basés sur le chaos et les algorithmes de chiffrement usuels. L'étude porte exclusivement sur des considérations structurelles et repose sur des concepts de la théorie du contrôle, en particulier l'inversibilité à gauche et la platitude. On montre que la technique de masquage dite par inclusion, qui consiste à injecter l'information à protéger dans une dynamique complexe, est la plus efficace. De plus, on montre que sous la condition de platitude, un système de masquage par inclusion est structurellement équivalent à un chiffreur par flot particulier appelé auto-synchronisant. Enfin, des méthodes de cryptanalyse pour évaluer la sécurité du masquage par inclusion sont proposées pour une classe particulières de systèmes hybrides à savoir les systèmes linéaires à commutations. A nouveau, des concepts de la théorie du contrôle sont utilisés, il s'agit de l'identifiabilité paramétrique et des algorithmes d'identification. Des spécificités relatives au contexte particulier de la cryptographie sont prises en compte. En effet, contrairement à la plupart des cas rencontrés dans le domaine du contrôle où les variables des modèles dynamiques sont continues car relatives à des systèmes physiques, les variables prennent ici des valeurs discrètes. Les modèles dynamiques sont en effet décrits non plus dans le corps des réels mais dans des corps finis en vue d'une implémentation sur des machines à états finis tels ordinateur ou tout autre dispositif numérique.
10

Photochromisme à l'état solide : élaboration de nanomatériaux, propriétés de commutation, interactions avec des nanoparticules d'or

Spangenberg, Arnaud 14 January 2009 (has links) (PDF)
Ce travail présente d'une part la fabrication d'entités nanométriques (nanocouches, nanoparticules) photochromes et d'autre part les méthodes de détection ou d'amplification de leur commutation. Des nanoparticules de diaryléthène ont été obtenues par fragmentation laser. Leur caractère photochrome en solution colloïdale a été mis en évidence par des mesures d'ensemble en spectroscopie d'absorption, mais également au niveau de la particule unique par la spectroscopie de diffusion en champ sombre. Ces nanoparticules ont montré des propriétés différentes de celles en solution et de celles à l'état solide illustrées par des rendements quantiques différents. Pour comparer les rendements quantiques des différents états, une méthode numérique a été mise au point pour l'étude à l'état solide. L'obtention de systèmes hybrides par dépôt de couches minces de photochromes sur des substrats recouverts de nanoparticules d'or a permis de mettre en évidence une nouvelle approche pour détecter la photocommutation aux petites échelles. Cette commutation du photochrome provoque un déplacement intense et réversible en longueur d'onde de la bande des plasmons de surface localisée (PLS) des nanoparticules d'or. Cette observation est corrélée à des calculs basés sur le formalisme de Mie. De plus, l'exaltation du champ électromagnétique par excitation des PLS a permis d'accélérer la réaction photochrome dans le sens de la décoloration, renforçant l'intérêt de ces matériaux hybrides pour le stockage de données.

Page generated in 0.14 seconds