Suite au paradigme de la planification énergétique intégrée des années 90 et le récent regain d'intérêt de la planification énergétique décentralisée, la Maîtrise de la Demande en Electricité (MDE) tend à tenir une place importante dans les futures activités de planification. En effet, la MDE représente une alternative intéressante pour atteindre les objectifs environnementaux et énergétiques fixés au système énergétique ou encore pour contrecarrer les problèmes d'approvisionnement en électricité, spécifiques à certaines régions. A partir de nos observations, nous avons constaté la présence d'actions de MDE à l'échelle locale, au moins dans le contexte français. Par conséquent, il y a un besoin de méthodes et d'outils d'évaluation d'impact d'action de MDE applicables à l'échelle locale. Autrement dit, ces méthodes et ces outils doivent être en mesure de prendre en compte les spécificités des territoires (physiques, sociales, géographiques, économiques, institutionnelles, etc.) Ces travaux visent à améliorer la finesse de la résolution spatiale des paramètres d'entrée d'un modèle d'évaluation des impacts de la MDE. En se basant sur un cas d'étude français (le projet PREMIO : architecture système de communication appliquée à l'échelle d'un quartier) et un modèle de simulation existant, nous avons étudié les impacts de cette expérience locale sur plusieurs communes.

Dans le domaine des TIC, les services de demain seront certainement basés sur des systèmes ubiquitaires, omniprésents et pervasifs. Ces systèmes devront prendre en considération différents paramètres provenant de l'environnement de l'utilisateur, c'est à dire son contexte. Le contexte de l'utilisateur peut être composé d'informations statiques ou dynamiques, objectives ou subjectives, quantitatives ou qualitatives. Il peut inclure des données telles que la localisation géographique, les caractéristiques du terminal utilisé, la température ambiante, l'humeur de l'utilisateur. Afin d'améliorer la QoS et la QoE, les services et les systèmes doivent être adaptés aux changements du contexte des utilisateurs. Le contexte doit donc être collecté et interprété et les règles d'adaptation du système doivent être définies. Sur les systèmes étendus, riches, dynamiques et hétérogènes, tels que ceux considéré dans le cadre de cette thèse, ces opérations doivent être automatisées. Vu la quantité et la complexité des données contextuelles à considérer, l'utilisation de la sémantique dans la gestion de contexte peut faciliter cette automatisation et ouvrir la porte au raisonnement et à l'adaptation automatiques. Aujourd'hui, peu de solutions viables existent pour cette problématique. Nous proposons alors d'utiliser et d'adapter des mécanismes et technologies provenant du web sémantique pour décrire et manipuler les informations de contexte. Dans un premier temps, nous avons proposé une méthodologie de conception qui nous permit de proposer " Ubiquity-Ont " : une ontologie générique au domaine des TIC, flexible et extensible. Les données de contexte ont alors été décrites sous forme de concepts et d'instances, reliés par des relations sémantiques. Nous avons ensuite proposé une architecture overlay, composée de deux niveaux de vitalisation et permettant d'intégrer un gestionnaire de contexte, basé sur la sémantique, sur des environnements réseaux et services. Cette solution overlay permet de (a) masquer l'hétérogénéité des composants du système et (b) d'augmenter virtuellement les entités du système existant par les capacités nécessaires à la manipulation et au raisonnement sur les données sémantiques du contexte. Nos propositions ont étés implémentées et testées sur une plateforme réelle et appliquées à deux cas d'études : Gestion de la mobilité sur des environnements de réseaux d'accès hétérogènes et Optimisation de la consommation d'énergie dans les terminaux mobiles

L'Internet des Objets (IdO) et les Environnements Intelligents (EI) ont attiré beaucoup d'activités de recherche et développement au cours de la dernière décennie. Pourtant, de nombreuses applications IdO/EI d'aujourd'hui sont encore limitées à l'acquisition et au traitement des données de capteurs et de leur contexte, avec un contrôle, le cas échéant, utilisant soit des solutions de base ou demandant l'intervention humaine, loin du contrôle automatique qui est un facteur essentiel de promouvoir ces technologies. Cette thèse vise à apporter le savoir-faire de la théorie du contrôle et des systèmes réactifs dans le domaine IdO/EI pour arriver à une solution avec une méthode formelle pour l'aspect de contrôle qui fait défaut. Nous proposons l'extension d'un canevas logiciel pour une infrastructure générique et partagée IdO/EI qui offre des interfaces de haut niveau pour réduire l'effort de conception, et qui permet l'auto-configuration et l'adaptation des applications de contrôle sur des propriétés génériques de l'environnement sans intervention humaine en utilisant les connaissances générales sur le domaine qui s'appliquent à chaque instance cible de système IdO/EI. Dans cette infrastructure étendue, les entités physiques individuelles (y compris toutes les "choses", appareils électriques et sous-ensembles de l'espace) peuvent être regroupées comme des entités virtuelles par des propriétés communes afin de fournir un niveau d'abstraction plus élevé pour le contrôle et d'autres applications, ainsi qu'une meilleure adaptation aux changements des configurations au niveau inférieur. Sur le requis d'une solution générique et commun dénominateur partagée par toutes les applications de l'IdO/EI dans un environnement donné, nous proposons pour cette infrastructure, de modéliser les entités cibles supervisées et contrôlées, y compris les entités individuelles et de leurs regroupements, ainsi que les choses et les entités spatiales, par des automates à états finis, pour être en mesure d'appliquer la technique de la synthèse des contrôleur discrets (SCD) aux différents niveaux d'abstraction et de granularité. SCD est une méthode formelle qui construit automatiquement un contrôleur, s'il existe, en assurant les objectifs de contrôle exigés concernant le modèle de comportement du système donné en termes d'automates parallèles synchrones. Les langages de programmation BZR et les outils Sigali existants sont utilisés pour effectuer la SCD et de générer un contrôleur de manière automatique. Les modules logiciels nécessaires sont proposés dans l'implémentation tels que le module de maintenance de relation qui garde une association correcte entre les instances d'entités individuelles et les groupes, et répercute des commandes d'action du contrôle de haut niveau aux actionneurs correspondants. Ce module est destiné à évoluer plus tard vers une solution plus générique comme une base de données graphes comprenant à la fois la base de connaissances générales et relations spécifiques d'instance environnement. La résolution des conflits entre les objectifs de contrôle venant de contrôleurs concurrent est également indispensable en raison des objectifs de l'ouverture de la plateforme. Un simulateur de contexte basé sur Java a été développé pour simuler l'environnement de la maison au sein de plusieurs scénarios proposés pour la validation, tels que le contrôle de la charge électrique et l'adaptation au contexte de l'activité. / The Internet of Things (IoT) and Smart Environments (SE) have attracted a lot of research and development activities during the last decade. Yet many present-day IoT/SE applications are still limited to the acquisition and processing of sensor data and its context, with control, if any, using either basic solutions or requiring human intervention, far away from the automatic control which is an essential factor to promote the technologies. This thesis targets to bring knowhow from control theory and reactive systems to the IoT/SE domain to achieve a solution with a formal method for the missing control aspect. We propose the extension of a framework in order to build a shared generic IoT/SE infrastructure offering high-level interfaces to reduce design effort, and enabling the self-configuration and adaptation of control applications over generic properties of the environment without human interaction by using general knowledge over the domain that applies to each target instance of IoT/SE system. In this extended framework, individual physical entities (including all relevant "things", appliances and subsets of space) may be grouped as virtual entities by shared properties to provide a higher level abstraction for control and other applications and better adaptation to lower level configuration changes. Requiring a generic common denominator solution shared by all IoT/SE applications in a given environment, we propose for this infrastructure, to model by finite state automata the target entities to be monitored and controlled, including both individual entities and their groupings, as well as things and space entities, to be able to apply discrete controller synthesis (DCS) technique over any of these at different levels of abstraction and granularity. DCS is a formal method which constructs automatically a controller, if it exists, guaranteeing the required control objectives regarding to the given system behavior model in terms of synchronous parallel automata. The existing BZR programming language and Sigali tools are employed to perform DCS and generate a controller in an automatic way. Necessary supporting software modules are proposed in the implementation such as the relation maintenance module keeping the correct association between individual entity instances and groups, and dispatching the action orders from the high level control to corresponding actuators. This module would evolve later to a more generic solution such as a graph data base including both the general knowledge base and specific environment instance relations. Conflict resolution between objectives of control coming from concurrent controllers is also indispensable due to the intended openness of the platform. A java based context simulator has been developed to simulate the home environment within several scenarios proposed for the validation, such as electrical load control and activity context adaptation.

L'Internet des Objets (IdO) et les Environnements Intelligents (EI) ont attiré beaucoup d'activités de recherche et développement au cours de la dernière décennie. Pourtant, de nombreuses applications IdO/EI d'aujourd'hui sont encore limitées à l'acquisition et au traitement des données de capteurs et de leur contexte, avec un contrôle, le cas échéant, utilisant soit des solutions de base ou demandant l'intervention humaine, loin du contrôle automatique qui est un facteur essentiel de promouvoir ces technologies. Cette thèse vise à apporter le savoir-faire de la théorie du contrôle et des systèmes réactifs dans le domaine IdO/EI pour arriver à une solution avec une méthode formelle pour l'aspect de contrôle qui fait défaut. Nous proposons l'extension d'un canevas logiciel pour une infrastructure générique et partagée IdO/EI qui offre des interfaces de haut niveau pour réduire l'effort de conception, et qui permet l'auto-configuration et l'adaptation des applications de contrôle sur des propriétés génériques de l'environnement sans intervention humaine en utilisant les connaissances générales sur le domaine qui s'appliquent à chaque instance cible de système IdO/EI. Dans cette infrastructure étendue, les entités physiques individuelles (y compris toutes les "choses", appareils électriques et sous-ensembles de l'espace) peuvent être regroupées comme des entités virtuelles par des propriétés communes afin de fournir un niveau d'abstraction plus élevé pour le contrôle et d'autres applications, ainsi qu'une meilleure adaptation aux changements des configurations au niveau inférieur. Sur le requis d'une solution générique et commun dénominateur partagée par toutes les applications de l'IdO/EI dans un environnement donné, nous proposons pour cette infrastructure, de modéliser les entités cibles supervisées et contrôlées, y compris les entités individuelles et de leurs regroupements, ainsi que les choses et les entités spatiales, par des automates à états finis, pour être en mesure d'appliquer la technique de la synthèse des contrôleur discrets (SCD) aux différents niveaux d'abstraction et de granularité. SCD est une méthode formelle qui construit automatiquement un contrôleur, s'il existe, en assurant les objectifs de contrôle exigés concernant le modèle de comportement du système donné en termes d'automates parallèles synchrones. Les langages de programmation BZR et les outils Sigali existants sont utilisés pour effectuer la SCD et de générer un contrôleur de manière automatique. Les modules logiciels nécessaires sont proposés dans l'implémentation tels que le module de maintenance de relation qui garde une association correcte entre les instances d'entités individuelles et les groupes, et répercute des commandes d'action du contrôle de haut niveau aux actionneurs correspondants. Ce module est destiné à évoluer plus tard vers une solution plus générique comme une base de données graphes comprenant à la fois la base de connaissances générales et relations spécifiques d'instance environnement. La résolution des conflits entre les objectifs de contrôle venant de contrôleurs concurrent est également indispensable en raison des objectifs de l'ouverture de la plateforme. Un simulateur de contexte basé sur Java a été développé pour simuler l'environnement de la maison au sein de plusieurs scénarios proposés pour la validation, tels que le contrôle de la charge électrique et l'adaptation au contexte de l'activité. / The Internet of Things (IoT) and Smart Environments (SE) have attracted a lot of research and development activities during the last decade. Yet many present-day IoT/SE applications are still limited to the acquisition and processing of sensor data and its context, with control, if any, using either basic solutions or requiring human intervention, far away from the automatic control which is an essential factor to promote the technologies. This thesis targets to bring knowhow from control theory and reactive systems to the IoT/SE domain to achieve a solution with a formal method for the missing control aspect. We propose the extension of a framework in order to build a shared generic IoT/SE infrastructure offering high-level interfaces to reduce design effort, and enabling the self-configuration and adaptation of control applications over generic properties of the environment without human interaction by using general knowledge over the domain that applies to each target instance of IoT/SE system. In this extended framework, individual physical entities (including all relevant "things", appliances and subsets of space) may be grouped as virtual entities by shared properties to provide a higher level abstraction for control and other applications and better adaptation to lower level configuration changes. Requiring a generic common denominator solution shared by all IoT/SE applications in a given environment, we propose for this infrastructure, to model by finite state automata the target entities to be monitored and controlled, including both individual entities and their groupings, as well as things and space entities, to be able to apply discrete controller synthesis (DCS) technique over any of these at different levels of abstraction and granularity. DCS is a formal method which constructs automatically a controller, if it exists, guaranteeing the required control objectives regarding to the given system behavior model in terms of synchronous parallel automata. The existing BZR programming language and Sigali tools are employed to perform DCS and generate a controller in an automatic way. Necessary supporting software modules are proposed in the implementation such as the relation maintenance module keeping the correct association between individual entity instances and groups, and dispatching the action orders from the high level control to corresponding actuators. This module would evolve later to a more generic solution such as a graph data base including both the general knowledge base and specific environment instance relations. Conflict resolution between objectives of control coming from concurrent controllers is also indispensable due to the intended openness of the platform. A java based context simulator has been developed to simulate the home environment within several scenarios proposed for the validation, such as electrical load control and activity context adaptation.

Cette thèse propose une architecture cellulaire pour la simulation logique. Une première partie présente la simulation logique. Les modélisations, algorithmes, structures des simulateurs classiques sont décrits. Un recensement et une étude sommaire des machines spécialisées existantes sont proposés ainsi qu'une classification des machines cellulaires. Une deuxième partie présente les spécifications d'une architecture cellulaire et propose des solutions aux problèmes d'affectation et d'acheminement soulevés. Une troisième partie décrit la cellule de base d'une manière détaillée dans un réseau 8×8 et évalue la complexité et les performances attendues. Une dernière partie expose les performances globales de simulation du réseau de base et cite quelques extensions dans et hors de la simulation logique

Les systèmes industriels complexes sont des objets artificiels conçus par l'Homme, et constitués d'un grand nombre de composants hétérogènes (e.g. matériels, logiciels ou organisationnels) collaborant pour accomplir une mission globale. Dans cette thèse, nous nous intéressons à la modélisation du comportement fonctionnel de tels systèmes, ainsi qu'à leur intégration. Nous modéliserons donc les systèmes réels par le biais d'une approche de boîte noire fonctionnelle avec un état interne, dont la structure et le comportement fonctionnel peuvent être obtenus par l'intégration récursive de composants élémentaires hétérogènes.

Ce travail vise à identifier l’impact potentiel des impulsions périodiques de courant sur laperformance et la durée de vie des accumulateurs graphite/LiFePO4. Il apparait que,contrairement aux résultats connus pour les accumulateurs Plomb-acide et à ceux annoncéspar certains auteurs de la littérature pour les accumulateurs Li-ion, l’application d’impulsionspériodiques de courant ne présente pas d’intérêt dans une logique d’amélioration de laperformance et/ou de la durée de vie des accumulateurs Li-ion. De surcroit, certains typesd’impulsions ont été identifiés pour entrainer des effets préjudiciables à ces derniers. En seréférant à une application de véhicule industriel hybride électrique, nous avons évalué sur descritères techniques et économiques l’intérêt d’implémenter un système de stockage d’énergiecombiné, c'est-à-dire mutualisant l’usage d’une batterie Li-ion et desupercondensateurs/condensateurs. Il apparait que les stratégies consistant à agir sur lescomposantes hautes fréquences du signal pour ajouter/retirer des impulsions du profil vu parla batterie ne permettent pas d’accéder à des allongements de durée de vie qui pourraientcompenser le surcoût actuel lié à l’implémentation de ces systèmes. En outre, il apparait quele meilleur levier d’optimisation du bilan technique et économique associé au système destockage d’énergie est son dimensionnement. En effet, même si les systèmes de stockaged’énergie combinés utilisant les supercondensateurs permettent d’atteindre des réductions duratio coût/durée de vie considérables, la prise en compte globale des critères de coût, de duréede vie, de masse et d’encombrement s’avère plus favorable à la solution constituée d’unebatterie seule, de taille optimisée vis-à-vis de son application. / This work aims to identify the possible impact of periodic current pulses on both performanceand lifetime of graphite/LiFePO4 secondary batteries. Contrary to the well-known results onlead-acid batteries and to results announced in previously published works, periodic pulses donot bring any benefit to the performance and the lifetime of Li-ion batteries. Moreover,certain pulse types have been identified to be detrimental to Li-ion batteries. Using the hybridelectric vehicle application as a reference, we evaluated both the technical and economicalaspects of implementing combined energy storage systems composed with Li-ion batteriesand supercapacitors/capacitors. We found that the control strategies acting on high frequencyharmonics of the current signal to adding/retrieving pulses to the Li-ion battery profile doesnot prolong its life enough to compensate the extra cost of such system implementation.Furthermore, it seems that the best way to optimize the technico-economic balance of theenergy storage system is the sizing. Even if combined energy storage systems using Li-ionbatteries and supercapacitors enable to considerably increase the lifetime/cost ratio, a generalconsideration of the criteria cost, life, mass and volume is more favorable to a solution whereone single Li-ion battery is optimally sized for its application.

Pour répondre aux enjeux de la longue vie opérationnelle des systèmes et de l’incertitude de l’environnement, la résilience complète la sûreté de fonctionnement pour prendre en compte les situations imprévisibles, sans précédent : l’objectif est de comprendre la situation pour éviter un accident. La qualité de l’interaction homme-machine est essentielle pour atteindre cet objectif. L’état de l’art présente la résilience des systèmes sociotechniques comme complémentaire à la sécurité. Mettre en œuvre la résilience affecte tant l’architecture système que les processus d’ingénierie système. Enfin, elle affecte aussi l’interaction homme-machine, tant son processus de conception centrée utilisateur, ses modèles utilisateur (persona), que ses modèles d’architecture. Nous avons créé le patron de conception « surveiller et alerter » appliqué à la fonction « éviter » de la résilience, pour donner aux opérateurs la capacité de comprendre la dynamique du système, le conduire à vue face à des situations imprévisibles, sans précédent afin d’éviter la survenue d’un accident. La proposition comprend aussi des processus à mettre en œuvre pour contribuer à la résilience d’un système critique à longue durée de vie. L’application au domaine ferroviaire s’appuie sur l’analyse de rapports d’enquête technique d’accidents. Elle se décline sur le patron de conception « surveiller et alerter » et sur le persona, in fine pour proposer des améliorations des interfaces utilisateur. Des perspectives de recherche complètent le mémoire. / The long operational lifecycle of systems and the uncertainty of the environment are a great challenge to engineers. Resilience enhances reliability and safety to take into account the unforeseeable situations, without precedent. The goal is to understand the situation to avoid an accident. The quality of the human-machine interaction is the key issue to achieve this goal. The state of the art explains that sociotechnical systems resilience completes safety approach. Implementaing resilience impacts both system architecture and systems engineering processes. At the end, implementing resilience impacts human-computer interaction, user centred design as well as architecture models. We created the design pattern “to monitor and alert” applied to the function “to avoid” of the resilience. Its goal is to give to the operators the capacity to understand the dynamics of the system, to control at sight vis-a-vis unforeseeable situations, in order to avoid an accident. The proposal contents the processes to be implemented to contribute to the resilience of long lifecycle critical systems. The application to the railway domain is based on the analysis of three accident technical reports. It is declined, on the processes to be implemented to contribute to the resilience of a system, on the design pattern “to monitor and alert” for the architecture of a resilient system and to propose improvements of the user interface. Research forecasts supplement the report.

Dans le domaine des TIC, les services de demain seront certainement basés sur des systèmes ubiquitaires, omniprésents et pervasifs. Ces systèmes devront prendre en considération différents paramètres provenant de l’environnement de l’utilisateur, c’est à dire son contexte. Le contexte de l’utilisateur peut être composé d’informations statiques ou dynamiques, objectives ou subjectives, quantitatives ou qualitatives. Il peut inclure des données telles que la localisation géographique, les caractéristiques du terminal utilisé, la température ambiante, l’humeur de l’utilisateur. Afin d’améliorer la QoS et la QoE, les services et les systèmes doivent être adaptés aux changements du contexte des utilisateurs. Le contexte doit donc être collecté et interprété et les règles d’adaptation du système doivent être définies. Sur les systèmes étendus, riches, dynamiques et hétérogènes, tels que ceux considéré dans le cadre de cette thèse, ces opérations doivent être automatisées. Vu la quantité et la complexité des données contextuelles à considérer, l’utilisation de la sémantique dans la gestion de contexte peut faciliter cette automatisation et ouvrir la porte au raisonnement et à l’adaptation automatiques. Aujourd’hui, peu de solutions viables existent pour cette problématique. Nous proposons alors d’utiliser et d’adapter des mécanismes et technologies provenant du web sémantique pour décrire et manipuler les informations de contexte. Dans un premier temps, nous avons proposé une méthodologie de conception qui nous permit de proposer « Ubiquity-Ont » : une ontologie générique au domaine des TIC, flexible et extensible. Les données de contexte ont alors été décrites sous forme de concepts et d’instances, reliés par des relations sémantiques. Nous avons ensuite proposé une architecture overlay, composée de deux niveaux de vitalisation et permettant d’intégrer un gestionnaire de contexte, basé sur la sémantique, sur des environnements réseaux et services. Cette solution overlay permet de (a) masquer l’hétérogénéité des composants du système et (b) d’augmenter virtuellement les entités du système existant par les capacités nécessaires à la manipulation et au raisonnement sur les données sémantiques du contexte. Nos propositions ont étés implémentées et testées sur une plateforme réelle et appliquées à deux cas d’études : Gestion de la mobilité sur des environnements de réseaux d’accès hétérogènes et Optimisation de la consommation d’énergie dans les terminaux mobiles / Future Information and Telecommunication Systems are expected to be pervasive and ubiquitous solutions, able to consider users’ context and to automatically adapt to their environments. Traditional configuration and management tools are not adapted. The richness, the heterogeneity and the complexity of the upcoming systems require automated solutions able to gather contextual information, to reason on them and to make the appropriate adaptation decisions. The representation and the sharing of contextual information is a key issue. In this thesis, we proposed and used a methodology to conceive « Ubiquity-Ont », a generic ontology dedicated to Information and Telecommunication Systems. Contextual information are the described through semantic concepts, instances and relations. We then proposed an overlay architecture, composed of two virtualization layers that can integrate a semantic context management framework over existing networking environments. This architecture is able (a) to hide any heterogeneity among the system components and (b) to augment the different entities with additional capacities for context gathering, reasoning and sharing operations. The proposed solutions were then implemented and tested in Lab for two applications. The fisrt is related to mobility management over heterogeneous Wireless Networks and the second aims to power optimization on mobile terminals. These two case studies helped in proving and enhancing the proposed solutions

En vue des divers facteurs pesant sur le choix, développement d'un modèle dont la fonction-objectif est le coût de construction ; optimisation par programmation dynamique d'un système d'équations, prenant le trace et les débits comme données, résoluble sur microordinateur (IBM-PC), en rapport aux réglementations techniques en vigueur. 4 chapitres: - chap. 1 : méthodologie du choix des matériaux constitutifs des réseaux - chap. 2 : étude hydraulique des canalisations - chap. 3 : contrôle de stabilité des tuyaux enterrés - chap. 4 : caractéristiques fonctionnelles du modèle général.