Cette thèse présente une étude du système à deux corps contrôlé en poussée faible, et en particulier, des problèmes de transferts orbitaux. Après une étude de contrôlabilité, nous nous focalisons sur le lien entre la commande optimale en temps minimum et les contrôles en boucle fermée construits à partir de la méthode de Jurdjevic-Quinn. Des simulations numériques montrent que les commandes Jurdjevic-Quinn peuvent être proches de la commande temps minimum. Pour comprendre cette propriété nous étudions un système contrôlé moyen dont les trajectoires approchent celles des systèmes à faible poussée. Cette technique nous permet de répondre à une conjecture concernant le comportement asymptotique du temps minimum quand la poussée tends vers zéro. D'autre part elle constitue une piste prometteuse pour construire une fonction de Lyapunov associée la méthode de Jurdjevic-Quinn efficace: un contrôle en boucle fermée proche de la commande optimale.

Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géographiques de l'information extraite afin de développer un système d'indexation à plusieurs niveaux d'abstraction.<br />Nous proposons en effet une méthode de recherche d'information spatiale multi-niveaux indexant un corpus textuel brut. Cette méthode qui extrait l'information d'un corpus et l'interprète, permet d'améliorer l'efficacité de systèmes de recherche d'information à chaque fois que l'interrogation comporte une connotation spatiale. L'interprétation permet en outre de retrouver le contexte dans lequel l'information spatiale a été utilisée. En particulier, elle permet d'indexer des unités de texte en leur associant des contextes de type itinéraire, description locale ou comparaison de lieux.

La complexité croissante des Systèmes de Systèmes et autres grandes fédérations d'acteurs pose de nouvelles problématiques de conception et de réalisation. Cette complexité, induite par des structures de management toujours plus sophistiquées et un cycle de vie long, doit être maîtrisée au plus tôt dans la conception des entreprises. Cette maîtrise permet à l'ensemble des intervenants au cours du cycle de vie d'une entreprise d'identifier ses points clés et de prendre confiance en sa capacité à atteindre ses objectifs. En particulier, il importe de savoir estimer les capacités de l'entreprise à s'adapter à des situations imprévues ou exceptionnelles afin d'assurer ses missions en toutes circonstances. En réaction, de nouvelles démarches d'ingénierie émergent. Elles s'appuient sur la modélisation et la simulation de l'architecture de ces systèmes aux différents stades de leur développement et de leur fonctionnement. Dans le cadre d'une de ces démarches nommée IDEA, nous avons enrichi le langage de description d'architecture avec des concepts et des mécanismes ayant pour but d'adresser l'adaptabilité et des capacités de reconfiguration des entreprises. Ces apports ont été expérimentés avec succès par prototypage et dans des contextes d'affaires industrielles.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

De nos jours, les systèmes de production sont confrontés à leur 4e révolution. Celle-ci est numérique avec des réseaux toujours plus denses et complexes s’ouvrant sur l’extérieur. Cette ouverture rend ces systèmes plus vulnérables. Les menaces sur ces Systèmes Cyber-Physiques de Production (SCPP) ne sont plus seulement théoriques. L’attaque sur l’aciérie allemande ou le cryptovirus Wannacry en sont de parfaits exemples. Ce travail propose un outil contribuant à la sécurité des SCPP. Nos contributions sont triples : La conception d'un Système de Détection et Réaction aux Anomalies (SDRA) placé sur le réseau de terrain. Celui-ci intègre des méthodes de détection comportementales et informationnelles. Il comprend également des capacités de réaction à la fois passives, mettant en œuvre de la remontée d'information vers l'humain ou vers des systèmes de niveaux supérieurs, et actives intégrant du filtrage d'ordre ou de la mise en repli. L'application des méthodes proposées entraîne naturellement un effort de conception supplémentaire qui doit être réduit. Nous avons donc mis au point une démarche permettant d’assister les concepteurs pour la configuration de notre SDRA. Cette dernière se base sur une approche hybride (composant/opération) et étend un flot de conception existant. Plusieurs transformations raffinent des vues surveillance/supervision des composants alors que d’autres génèrent la configuration du SDRA. Une troisième contribution propose un démonstrateur réaliste basé sur un environnement virtuel de test. Ce dernier intègre la simulation conjointe de la partie opérative et de la partie commande et permet de montrer les qualités fonctionnelles des solutions face à des scénarios d’attaque ou de défaillance. / Today, production systems are facing their 4th revolution. This revolution is digital with increasingly dense and complex networks opening on the outside. This openness makes these systems more vulnerable. The threats on these Cyber-Physical Production Systems (CPPS) are no longer just theoretical. The attacks on the German steel mill or the Wannacry crypto virus are perfect examples. This work proposes a tool contributing to the security of the SCPP. Our contributions are threefold: The design of an Anomaly Detection and Response System (ADRS) placed on the field network. It integrates behavioral and informational detection methods. It also includes passive response capabilities, implementing feedback to the human or to higher level systems, and active integrating order filtering or fallback. The application of the proposed methods naturally entails an additional design effort which must be reduced. We have therefore developed an approach to assist designers in the configuration of our ADRS. It is based on a hybrid approach (component / operation) and extends an existing design flow. Several transformations refine monitoring / supervision views of the components while others generate the configuration of the ADRS. A third contribution proposes a realistic demonstrator based on a virtual test environment. It integrates the joint simulation of the operative part and the control part and makes it possible to show the functional qualities of the solutions in the face of attack or failure scenarios.

O propósito desta dissertação é compreender como o conjunto de instituições, conceitos e procedimentos jurídicos que regulam o financiamento habitacional o direito do financiamento habitacional transformou-se na passagem do modelo regulatório centrado no Sistema Financeiro de Habitação (SFH) para outro cujo eixo é o Sistema de Financiamento Imobiliário (SFI). No Brasil, desde 1964 até os anos 1990, o financiamento habitacional foi regulado quase que exclusivamente no interior do SFH, único sistema especializado em crédito habitacional do país. Sob a justificativa da falência do SFH, em 1997 foi criado o SFI, um novo arcabouço regulatório que passou a operar em paralelo ao SFH. A reforma do modelo regulatório foi parte de um contexto politicamente dominado pela agenda de agências internacionais como o Banco Mundial e academicamente hegemonizado por teorias neo-institucionalistas (como a literatura Law & Finance), que condicionavam o desenvolvimento do financiamento em países subdesenvolvidos a transformações jurídicas. A partir de pesquisa comparativa sobre os dois sistemas, o estudo pretende identificar e avaliar rupturas e continuidades entre o SFH e o SFI quanto aos seus objetivos, às suas estruturas regulatórias e aos mecanismos de regulação de remuneração do capital, de garantia e de cobrança de dívidas. A dissertação argumenta que o SFI ressignificou os objetivos, mecanismos e direitos historicamente protegidos pelo modelo de direito do financiamento habitacional consolidado no SFH. Operou-se, assim, a transição de um sistema centrado no direito social à habitação para um modelo focado nos direitos dos credores e investidores. Contudo, as transformações trazidas pelo SFI não implicaram uma mera substituição do antigo modelo regulatório, na medida em que aquele incorporou seletivamente elementos do SFH para a consolidação de um novo sistema de financiamento. Nessa passagem, o direito do financiamento habitacional foi submetido a uma nova lógica, diluindo-se em um novo modelo regulatório, aqui definido como direito do financiamento imobiliário. / Lintention de cette dissertation est de comprendre comment un groupe dinstitutions, concepts et processus juridiques, régulent le financement aux logements le droit du financement aux logements qui sest transformé lors du passage du modèle régulateur centré sur le Système Financier aux Logements (SFH) en un autre dont laxe est le Système de financement Immobilier ( SFI ). Au Brésil, de 1964 jusquaux années 1990, le financement des logements a été réguler presque exclusivement au sein du SFH, lunique système spécialisé dans les crédits pour le logement dans le pays. Sous la justification de la faillite du SFH, en 1997 a été créé le SFI, une nouvelle structure de réglementation qui a commencé à opérer en parallèle au SFH. La réforme du modèle régulateur a été une partie dun contexte politique dominé par lagenda des agences internationales comme la Banque Mondiale et académiquement dominé par des théories néo-institutionnalistes (comme le recueil Law & Finance), qui conditionnait le développement du financement, dans les pays en développement, aux transformations juridiques. A partir de recherches comparatives sur les deux systèmes, cette étude à lintention didentifier et évaluer les ruptures et les continuités entre le SFH et le SFI, quant à ces objectifs, ses structures régulatrices et les mécanismes de régulation de rémunération du capital, de garantie et de règlement des dettes. Cette dissertation met en valeur le fait que le SFI a redéfini les objectifs, les mécanismes et les droits historiquement protégés par le modèle du droit du financement aux logements consolidés dans le SFH. Cela sest opéré ainsi, la transition dun système centré sur le droit social au logement pour un modèle focalisé sur les droits des créanciers et des investisseurs. Cependant, les transformations apportées par le SFI nont pas impliqué une simple substitution de lancien modèle régulateur, dans la mesure où il a incorporé sélectivement des éléments du SFH pour une consolidation dun nouveau système de financement. Dans cette transition, le droit de financement aux logements a été soumis a une nouvelle logique, se diluant dans un nouveau modèle régulateur, ici défini comme droit du financement immobilier.

Cette thèse est constituée de deux parties principales. Dans la première partie on traite l'observabilité et la contrôlabilité exacte internes indirectes des systèmes hyperboliques faiblement couplés et du système de Timoshenko. La deuxième partie est consacrée à l'étude de problèmes concernant la stabilisation directe du système de Bresse par des feedbacks non linéaires en utilisant la méthode des multiplicateurs et des techniques d'inégalités intégrales, et sa stabilisation indirecte seulement par deux feedbacks localement distribués au voisinage du bord en utilisant l'approche de fréquence de domaine. On traite dans cette partie aussi la stabilisation indirecte du système de Timoshenko dans le cas d'un seul feedback localement distribué au voisinage du bord / This thesis consists of two main parts. In the fi#rst part, it treats the indirect internal observability and exact controllability of a weakly coupled hyperbolic system and of the Timoshenko system. The second part is devoted to the study of problems concerning the direct stabilization of the Bresse system by non-linear feedbacks using multiplier method and integral inequality techniques, and its indirect stabilization only by two locally distributed feedbacks at the neighborhood of the boundary using the frequency domain method. Is treated in this part also the indirect stabilization of the Timoshenko system subject to a single feedback locally distributed at the neighborhood of the boundary

Dans les réseaux mobiles spontanés (en anglais, Mobile Ad hoc NETworks ou MANETs), la gestion de groupe partitionnable est un service de base permettant la construction d'applications réparties tolérantes au partitionnement. Aucune des spécifications existantes ne satisfait les deux exigences antagonistes suivantes : 1) elle doit être assez forte pour fournir des garanties utiles aux applications réparties dans les systèmes partitionnables ; 2) elle doit être assez faible pour être résoluble. Dans cette thèse, nous proposons une solution à la gestion de groupe partitionnable en environnements réseaux très dynamiques tels que les MANETs. Pour mettre en œuvre notre solution, nous procédons en trois étapes. Tout d'abord, nous proposons un modèle de système réparti dynamique qui caractérise la stabilité dans les MANETs. Ensuite, nous adaptons pour les systèmes partitionnables l'approche Paxos à base de consensus Synod. Cette adaptation résulte en la spécification d'un consensus abandonnable AC construit au-dessus d'un détecteur ultime des α participants d'une partition ♢PPD et d'un registre ultime par partition ♢RPP. ♢PPD garantit la vivacité dans une partition même si la partition n'est pas complètement stable tandis que ♢RPP préserve la sûreté dans la même partition. Enfin, la gestion de groupe partitionnable est résolue en la transformant en une séquence d'instances de AC. Chacun des modules ♢PPD, ♢RPP, AC et gestion de groupe partitionnable est implanté et prouvé. Par ailleurs, nous analysons les performances de ♢PPD par simulation / In Mobile Ad hoc NETworks or MANETs, partitionable group membership is a basic service for building partition-tolerant applications. None of the existing specifications satisfy the two following antagonistic requirements: 1) it must be strong enough to simplify the design of partition-tolerant distributed applications in partitionable systems; 2) it must be weak enough to be implantable. In this thesis, we propose a solution to partitionable group membership in very dynamic network environment such as MANETs. To this means, we proceed in three steps. First, we develop a dynamic distributed system model that characterises stability in MANETs. Then, we propose a solution to the problem of partitionable group membership by adapting Paxos for such systems. This adatation results in a specification of abortable consensus AC which is composed of an eventual α partition-participants detector ♢PPD and an eventual register per partition ♢RPP. ♢PPD guarantees liveness in a partition even if the partition is not completely stable whereas ♢RPP ensures safety in the same partition. Finally, partitionable group membership is solved by transforming it into a sequence of abortable consensus instances AC. Each of the modules ♢PPD, ♢RPP, AC, and partitionable group membership is implanted and proved. Next, we analyse the performances of ♢PPD by simulation