Cette thèse porte sur la synthèse de superviseurs pour des systèmes a événements discrets temps-réel (SEDTRs) modélisés par des automates temporises (ATs). Comme l'espace d'états d'un AT est en général infini, et que la théorie du contrôle supervise de RAMADGE et WONHAM, que nous avons adaptée, est opérationnelle pour des automates a états finis (AEFs), nous avons utilisé l'approche consistant à transformer les ATs modélisant le procédé et la spécification sous la forme d'AEFs. Nous avons donc tout d'abord étendu et amélioré une méthode de transformation des ATs en AEFs particuliers appelés automates Set-Exp (ASEs). Cette méthode de transformation, appelée SetExp, permet de réduire le problème d'explosion des états et est appropriée pour le contrôle supervise de SEDTRs. Nous avons ensuite amélioré et étendu une méthode de contrôle centralise fondée sur SetExp, c'est-à-dire que les ATs modélisant le procédé et la spécification sont d'abord transformes en ASEs et le problème est résolu en adaptant la théorie de RAMADGE et WONHAM aux ASEs. Pour la résolution du problème de contrôle centralise, nous avons identifié les conditions d'existence de solution et avons proposé une procédure algorithmique pour la synthèse du superviseur le moins restrictif. Suite à cela, nous avons développé une méthode de contrôle modulaire, fondée sur SetExp et la méthode de contrôle centralise. Pour le contrôle modulaire également, nous avons identifié les conditions d'existence de solution et propose une procédure de synthèse de superviseurs modulaires les moins restrictifs. D'autre part, nous avons étendu la méthode de contrôle centralise fondée sur SetExp au cas où le superviseur a une observation partielle des événements du procédé. Pour cette méthode de contrôle sous observation partielle des événements, nous avons identifié les conditions d'existence de solution et propose une procédure pour synthétiser un superviseur sous observation partielle. Enfin, nous avons réalisé un outil logiciel appelé SEAtool, qui implémente la transformation SetExp et les méthodes de contrôle centralise et modulaire. Nous avons étudié, à l'aide de SEAtool, l'application de nos méthodes de contrôles centralise et modulaire a des systèmes concrets simples.

Le domaine de la conversion d'énergie requiert, la plupart du temps, la mise en œuvre d'études spécifiques et coûteuses pour répondre, avec les meilleures performances possibles (rendement, compacité, CEM), aux diverses applications. Afin de proposer une solution générique et évolutive, nous nous sommes intéressés à l'utilisation d'un réseau de micro- convertisseurs optimisés, de faible puissance, que l'on peut associer en série et/ou en parallèle, pour couvrir un large domaine d'applications. Dans ces conditions, un effort unique de réflexion est à porter sur le dimensionnement d'un micro-convertisseur optimisé qui joue le rôle de cellule élémentaire ou de brique de base pour l'établissement du réseau complet. Cependant, cela suppose de mettre en œuvre également une méthode de contrôle adaptée au grand nombre de micro-convertisseurs ainsi qu'une technique de communication entre tous les micro-convertisseurs, pour assurer un bon équilibrage de la puissance. L'objectif principal de cette thèse est de fournir une solution intégrée pour le contrôle à la fois des cellules de commutation internes du micro-convertisseur et du réseau lui-même. Pour y parvenir, une solution modulaire de contrôle entièrement décentralisé est proposée. Trois étapes essentielles sont alors étudiées : la génération des porteuses entrelacées, l'équilibrage des courants de phase et la régulation des grandeurs de sortie courant et/ou tension. Ces trois étapes sont abordées de manière à proposer une solution entièrement décentralisée. Plusieurs cartes de test ont été réalisées pour valider chaque fonction indépendamment. Un circuit intégré (démonstrateur), implémentant l'ensemble des fonctions nécessaires au contrôle d'un micro-convertisseur 5V-2A-1MHz, a également été conçu et testé. Les résultats expérimentaux montrent clairement la validité des solutions proposées, ce qui ouvre la voie vers un contrôle mieux adapté aux nouveaux types d'architectures multi-phasées et distribuées en réseau.

Le domaine de la conversion d’énergie requiert, la plupart du temps, la mise en œuvre d’études spécifiques et coûteuses pour répondre, avec les meilleures performances possibles (rendement, compacité, CEM), aux diverses applications. Afin de proposer une solution générique et évolutive, nous nous sommes intéressés à l’utilisation d’un réseau de micro-convertisseurs optimisés, de faible puissance, que l’on peut associer en série et/ou en parallèle, pour couvrir un large domaine d’applications. Dans ces conditions, un effort unique de réflexion est à porter sur le dimensionnement d’un micro-convertisseur optimisé qui joue le rôle de cellule élémentaire ou de brique de base pour l’établissement du réseau complet. Cependant, cela suppose de mettre en œuvre également une méthode de contrôle adaptée au grand nombre de micro-convertisseurs ainsi qu’une technique de communication entre tous les micro-convertisseurs, pour assurer un bon équilibrage de la puissance. L'objectif principal de cette thèse est de fournir une solution intégrée pour le contrôle à la fois des cellules de commutation internes du micro-convertisseur et du réseau lui-même. Pour y parvenir, une solution modulaire de contrôle entièrement décentralisé est proposée. Trois étapes essentielles sont alors étudiées : la génération des porteuses entrelacées, l’équilibrage des courants de phase et la régulation des grandeurs de sortie courant et/ou tension. Ces trois étapes sont abordées de manière à proposer une solution entièrement décentralisée. Plusieurs cartes de test ont été réalisées pour valider chaque fonction indépendamment. Un circuit intégré (démonstrateur), implémentant l’ensemble des fonctions nécessaires au contrôle d’un micro-convertisseur 5V-2A-1MHz, a également été conçu et testé. Les résultats expérimentaux montrent clairement la validité des solutions proposées, ce qui ouvre la voie vers un contrôle mieux adapté aux nouveaux types d’architectures multi-phasées et distribuées en réseau. / The field of energy conversion requires, in most cases, the implementation of specific and expensive studies in order to answer to various applications with the best performances of efficiency, compactness, and EMC for example. To propose a generic and scalable solution, we are interested in the use of a network of optimized micro-converters, low power, which can be combined in series and/or in parallel, to cover a wide range of applications. Under these conditions, one single effort is to focus on the design of an optimized micro-converter which plays the role of individual cell or brick base for the establishment of the complete network. However, this means also to implement a control method adapted to many micro-converters and a communication method between all micro-converters, to ensure a good balance of power. The main objective of this thesis is to provide an integrated solution for controlling both internal commutation cells of each micro-converter and the all network itself. To achieve this, a modular and fully decentralized control solution is proposed. Three essential steps are studied: the generation of interleaved carriers, the phase currents balancing and the output variables regulation (current and / or voltage). These three steps are discussed in order to propose a fully decentralized solution. Several test cards were realized to validate each function independently. An integrated circuit (demonstrator), implementing all the necessary control functions for a 5V-2A-1MHz micro-converter has also been designed and tested. The experimental results clearly demonstrate the validity of the proposed solutions, which opens the way to a control much more adapted to these new architectures of multi-phase conversion and distributed network.