Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipado com constantes. Relações com a teoria da recursão são estudadas. É mostrado como funções continuas entre naturais parciais podem representar processos interativos, possivelmente perpétuos. / Partial natural numbers are informations about natural numbers and w. Mathematical properties of the domain of partial natural numbers and functions involving this domain are investigated with the aid of Scott domain theory. A typed ג-calculus is introduced for investigating formal manipulation of partial natural numbers. Relations with recursion theory are investigated. It is shown how continuous functions on natural numbers can represent (possibly perpetual) interactive processes.

Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipado com constantes. Relações com a teoria da recursão são estudadas. É mostrado como funções continuas entre naturais parciais podem representar processos interativos, possivelmente perpétuos. / Partial natural numbers are informations about natural numbers and w. Mathematical properties of the domain of partial natural numbers and functions involving this domain are investigated with the aid of Scott domain theory. A typed ג-calculus is introduced for investigating formal manipulation of partial natural numbers. Relations with recursion theory are investigated. It is shown how continuous functions on natural numbers can represent (possibly perpetual) interactive processes.

Este trabalho apresenta o desenvolvimento e as análises de técnicas de controle aplicadas a uma base de movimento de um simulador de vôo. Nos primeiros capítulos são abordados aspectos relacionados com a simulação de movimentos. Uma breve descrição da dinâmica da aeronave e o desenvolvimento do algoritmo de movimento (washout filter) são apresentados. O modelo dinâmico da base de movimento é desenvolvido baseado num manipulador paralelo de seis graus de liberdade chamado de plataforma de Stewart acionado eletricamente. As equações de movimento do atuador eletromecânico são incluídas no modelo dinâmico da plataforma. O controle baseado na dinâmica inversa é uma alternativa para abordar o controle de sistema mecânicos não lineares como a plataforma de Stewart. Porém, essa técnica considera o conhecimento exato do modelo dinâmico do sistema, portanto, a dinâmica não modelada, as incertezas paramétricas e as perturbações externas podem degradar o desempenho do controlador. Além disso, o custo computacional pago pelo cálculo do modelo dinâmico realizado online é muito alto. Nesse contexto, duas estratégias de controle foram aplicadas na malha externa da estrutura de controle baseada na dinâmica inversa para o controle de aceleração na presença de incertezas paramétricas e da dinâmica não modelada, os quais foram introduzidas intencionalmente no processo de aproximar o modelo dinâmico com o objetivo de simplificar a implementação do controle baseado na dinâmica inversa. Na primeira estratégia, o termo robusto de controle foi projetado, provando a estabilidade do sistema linearizado por meio da teoria de estabilidade de Lyapunov. Este controle apresenta o fenômeno conhecido como chattering e então foi adotada uma função de saturação para substituir a lei de controle. Na segunda estratégia, o termo robusto de controle foi projetado considerando um problema de rejeição de distúrbio via controle H \'INFINITO\', onde o controlador considera as incertezas como distúrbios afetando o sistema linearizado resultante da aplicação do controle baseado na dinâmica inversa. Finalmente, três tipos de testes foram realizados para avaliar o sistema de controle: função descritiva, limiar dinâmico e algumas manobras da aeronave calculadas a partir do modelo dinâmico e transformadas através do algoritmo de movimento. As duas estratégias de controle foram comparadas. / This work presents the development and analysis of control techniques applied to a flight simulator motion base. The first chapters deal with subjects related to motion simulation. A brief description of the aircraft dynamic model and the development of the motion algorithm (washout filter) are presented. The motion base dynamics is derived based on a six degree of freedom parallel manipulator driven by electromechanical actuators. The six degree of freedom parallel manipulator is called Stewart platform. The motion equations of the electromechanical actuators are included in the motion base dynamics. Inverse dynamics control is an approach to nonlinear control design, nonetheless, this technique is based on the assumption of exact cancellation of nonlinear terms, therefore, parametric uncertainty, unmodeled dynamics and external disturbances may deteriorate the controller performance. In addition, a high computational burden is paid by computing on-line the complete dynamic model of the motion-base. Robustness can be regained by applying robust control tecniques in the outer loop control structure. In this context, two control strategies were applied in the outer loop of the inverse dynamics control structure linearized system for robust acceleration tracking in the presence of parametric uncertainty and unmodeled dynamic, which are intentionally introduced in the process of approximating the dynamic model in order to simplify the implementation of this approach, the inverse dynamic control. Both control strategies consist of introducing an additional term to the inverse dynamics controller which provides robustness to the control system. In the first strategy, the robust control term was designed proving the stability of the linearized system in the presence of uncertainties, using the Lyapunov stability theory. This control term presents a phenomenon known as chattering. Therefore, a saturation function was adopted to replace the control law. In the second strategy, the robust term was designed for a disturbance rejection problem via H \'INFINITE\' control, where the controller considers the uncertaities as disturbances affecting the linearized system resulting from the application of the inverse dynamic control. Finally, describing function, dynamic threshold and some maneuvers computed from the washout filter were used to evaluate the performance of the controllers. Both approaches were compared.

Les structures intelligentes sont de plus en plus présentes dans différentes industries et notamment dans les domaines de l'aéronautique et du génie civil. Ces structures sont dotées de fonctions qui leur permettent d'interagir avec leur environnement, d'adapter leurs caractéristiques structurelles (raideur, amortissement, viscosité, etc.) selon les besoins ou de surveiller leur état de santé ou « SHM » (Structural Health Monitoring). Aujourd’hui, les performances des méthodes de contrôle actif peuvent être considérablement dégradées lors de l’apparition d’endommagement. Le contrôle actif tolérant aux dommages ou « DTAC » (Damage Tolerant Active Control) est un champ de recherche récent qui s'intéresse à l'élaboration d'approches intégrées pour réduire les vibrations tout en surveillant l'intégrité de la structure, en identifiant les éventuels dommages, et en reconfigurant la loi de commande.Cette thèse apporte une contribution au DTAC en proposant une approche originale basée sur la norme H∞ modale . Les méthodes proposées se focalisent principalement sur le cas où plusieurs actionneurs et capteurs piézoélectriques non-collocalisés sont utilisés pour atténuer les vibrations des structures endommagées. Le manuscrit comprend quatre parties principales. Le chapitre 2 présente des rappels sur la commande H∞ et sur sa solution sous optimale obtenue par une approche par inégalité matricielle ou « LMI » (Linear Matrix Inequality), sur lesquels s’appuient les développements proposés dans ce travail. Le chapitre 3 décrit la norme H∞ modale introduite pour le contrôle actif des vibrations. Cette commande présente une sélectivité modale élevée, permettant ainsi de se concentrer sur les effets du dommage tout en bénéficiant des propriétés de robustesse qu'offre la commande H∞ vis-à-vis du spillover et des variations de paramètres. Une nouvelle stratégie de rejet des vibrations est proposée au chapitre 4. C'est une approche dite préventive où une prise en compte lors de l'élaboration de la commande H∞ modale, des zones fortement contraintes de la structure, où le risque d’endommagement est élevé est réalisée. Un algorithme SHM est proposé afin d'évaluer la sévérité du dommage pour chaque mode. Le chapitre 5 propose une nouvelle approche modale à double boucle de commande pour faire face à des endommagements imprévisibles. Un premier correcteur est conçu dans ce but pour satisfaire les contraintes de performance et de robustesse sur la structure saine, tandis que le second a pour objectif de conserver un contrôle satisfaisant quand un dommage survient. La loi de commande s'appuie sur un observateur d’état et d'un algorithme SHM pour reconfigurer en ligne le correcteur. Toutes les approches DTAC proposées sont testées en utilisant des simulations (analytiques et éléments finis) et/ou des expérimentations sur des structures intelligentes. / Smart structures have increasingly become present in different industry applications and particularly in the fields of aeronautics and civil engineering. These structures have features that allow interactions with the environment, adapting their characteristics according to the needs (stiffness, damping, viscosity, etc.), monitoring their health or controlling their vibrations. Today smart structure active control methods do not respond appropriately to damage, despite the capacity of external disturbances good rejection. Damage-tolerant active control (DTAC) is a recent research area that aims to develop integrated approaches to reduce the vibrations while monitoring the integrity of the structure, identifying damage occurrence and reconfiguring the control law of the adopted active vibration control method.This thesis contributes to DTAC area, proposing a novel modal control framework and some applying strategies. Developed methods focus in non-collocated flexible structures, where multiples piezoelectric sensors and actuators are used to attenuate damaged structure vibration. The chapters present four main topics and the conclusions. Chapter 2 reviews the regular suboptimal H∞ problem and its respective solution based on the linear matrix inequality (LMI) approach, which is a fundamental tool for the development of subsequent topics. Chapter 3 introduces the modal H∞-norm based method for vibration control, which reveals high modal selectivity, allowing control energy concentration on damage effects and presenting robustness to spillover and parameter variation. A new control strategy is developed in Chapter 4, taking into account existing knowledge about the structure stressed regions with high probability of damage occurrence, leading to specific requirements in the modal H∞ controller design. A structural health monitoring (SHM) technique assesses each damaged mode behavior, which is used to design a preventive controller. Chapter 5 presents a novel modal double-loop control methodology to deal with the unpredictability of damage, nevertheless ensuring a good compromise between robustness and performance to both healthy and damaged structures. For this purpose, the first loop modal controller is designed to comply with regular requirements for the healthy structure behavior, and the second loop controller is reconfigured aiming to ensure satisfactory performance and robustness when and if damage occurs, based on a state-tracking observer and an SHM technique to adapt the controller online. In all these chapters, simulated (analytical and finite elements based) and/or experimental aluminum structures are used to examine the proposed methodology under the respective control strategies. The last chapter subsumes the achieved results for each different approach described in the previous chapters.

L'objectif principal de ce travail de recherche est de contrôler l'évolution de la distribution des tailles de cristaux (DTC) dans un procédé de cristallisation en batch. Nous avons été amenés à chercher une résolution numérique du bilan de population et à proposer un algorithme rapide et précis. La méthode numérique a été étendue au cas de la taille des cristaux multidimensionnels en utilisant un maillage mouvant. Nous avons étudié le problème de la commandabilité du système à partir de son modèle discrétisé et puis à partir du modèle continu. Nous avons conçu une loi de commande en boucle fermée pour atteindre la DTC désirée à partir de la condition initiale. Pour compenser l'incertitude des paramètres du modèle, nous avons ajouté un second contrôle par retour d'état afin d'assurer la poursuite de la DTC désirée en présence de l'incertitude des paramètres. Nous avons construit un observateur qui nous permet d'avoir en ligne l'estimation des variables d'états. Ces variables d'état estimées sont utilisées dans la synthèse de la loi du contrôle / The main objective of this research is to control the evolution of the Crystal Size Distribution (CSD) in a batch crystallization process. We are led to study a numerical resolution of the population balance and propose an algorithm for fast and accurate simulation. This method was extended to the case of the two-dimensional crystal by using a moving mesh. We studied the problem of controllability of the system from its discretized model and then from the continuous model. To compensate the uncertainty of the model parameters, we added the second state feedback control to ensure the tracking of the desired CSD in presence of parameter uncertainty. We constructed an observer who provides us with on-line estimation of state variables. These state variables estimated are used in the control law synthesis

Dans ce mémoire nous avons développé des méthodes de réduction des systèmes hamiltoniens à port en dimension finie et infinie qui préservent leur structure. Dans la première partie, nous avons défini une représentation des systèmes hamiltoniens à port avec contraintes sous la forme d'équations différentielles algébriques (DEA) de type de système descripteur. De cette forme nous avons déduit une réalisation équilibrée du système hamiltonien à port exprimée sous forme de système descripteur contenant les mêmes systèmes d'équations de contrainte. Dans la deuxième partie, nous avons défini une classe de problèmes de commande LQG tels que le contrôleur dynamique LQG est passif et admet une réalisation hamiltonien à port. Deux méthodes de synthèse de commande passive LQG sont proposées et une de ces méthodes LQG nous a permis de définir une réalisation équilibrée LQG. Puis nous avons appliqué la méthode de contrainte de l'effort pour réduire le système hamiltonien à port et obtenir une commande LQG passive d'ordre réduit. Ce contrôleur LQG admettant une réalisation hamiltonienne, la structure hamiltonienne est préservée pour le système en boucle fermée par interconnexion de systèmes hamiltoniens à port. Dans la troisième partie, nous avons généralisé les résultats précédents aux systèmes hamiltoniens à ports linéaires de dimension infinie. Pour cela nous avons considéré une classe de systèmes hamiltoniens à ports de dimension infinie dont l'opérateur d'entrée est borné et un problème de commande LQG passif. Sous des conditions de nucléarité de l'opérateur de Hankel lié au problème LQG, nous définissons une réalisation équilibrée LQG passive du système et une approximation en dimension finie. Le contrôleur LQG passif d'ordre réduit obtenu par cette approximation admet une réalisation hamiltonienne à port et par conséquent la structure hamiltonienne et la passivité sont préservées en boucle fermée / In this thesis we have developed different structure preserving reduction methods for finite and infinite dimensional port Hamiltonian systems by using a balanced model reduction approach. In the first part we have defined a descriptor representation of port Hamiltonian systems with constraints. The balanced realization of the descriptor system has been used for reducing the port Hamiltonian descriptor system and conserving explicitly the constraint equations. In the second part, conditions have been derived on the weighting matrices of the LQG control problem such that the dynamical LQG controller is passive and has a port Hamiltonian realization. Two passive LQG control design methods have been suggested and one of them allows us to define a LQG balanced realization. Based on this realization, the effort constraint method has been used to reduce the LQG balanced port Hamiltonian system and obtain a reduced order passive LQG controller. In this way the closed-loop system is derived from the interconnection of 2 port Hamiltonian systems, hence the Hamiltonian structure has been preserved. In the third part, the proceeding results have been extended to a class of infinite dimensional port Hamiltonian system with bounded input operator. A passive LQG control design method for infinite dimensional port Hamiltonian system has been derived as by Control by Interconnection (CbI). Based on the balanced realization associated with this passive LQG control design, a finite dimensional approximation has been achieved and a reduced order passive LQG controller has been derived. As a consequence, the system in closed-loop with this reduced order LQG controller again admits a port Hamiltonian structure and satisfies the passivity

Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms for this problem. However these algorithms may not terminate when applied directly to in finite state systems. Counter systems are a class of in fininite state systems where the domain of counter values is possibly in finite. Many practical systems like cache coherence protocols, broadcast protocols etc, can naturally be modeled as counter systems. In this thesis we identify a class of counter systems, and propose a new technique to check whether a system from this class satires’ a given CTL formula. The key novelty of our approach is a way to use existing reach ability analysis techniques to answer both \until" and \global" properties; also our technique for \global" properties is different from previous techniques that work on other classes of counter systems, as well as other classes of in finite state systems. We also provide some results by applying our approach to several natural examples, which illustrates the scope of our approach.

Le travail présenté dans cette thèse porte sur la modélisation et la commande d'un système thermodynamique non linéaire de dimension infinie, le réacteur tubulaire. Nous abordons le problème de commande sur ce système non linéaire en nous appuyant sur les propriétés thermodynamiques du procédé. Cette approche nécessite l'utilisation d'un modèle ayant comme variables d'état les variables extensives thermodynamiques classiques. Nous utilisons la fonction de disponibilité thermodynamique ainsi qu'une autre fonction déduite de la précédente, la disponibilité réduite, comme fonction de Lyapunov candidate pour résoudre le problème de stabilisation du réacteur autour d'un profil d'équilibre en utilisant comme commande distribuée la température de la double enveloppe. Des simulations illustrent ces résultats ainsi que l'efficacité des commandes en présence de perturbations. Nous nous intéressons aussi à la représentation hamiltonienne à port des systèmes irréversibles de dimension infinie. La structure de Stokes-Dirac pour un modèle réaction diffusion est obtenue en étendant les vecteurs de variables de flux et d'effort. Nous présentons cette démarche pour les équations du système réaction-diffusion en prenant premièrement l'énergie interne comme Hamiltonien puis deuxièmement l'opposé de l'entropie. Nous montrons dans les deux cas qu'en utilisant une extension des couples de variables effort-flux thermodynamiques classiques nous obtenons une structure de Stokes-Dirac. Enfin nous donnons quelques résultats aboutissant à une représentation pseudo hamiltonienne. Enfin nous abordons le problème de commande à la frontière. L'objectif est d'étudier l'existence de solutions associées à un modèle linéarisé de réacteur tubulaire complet commandé à la frontière / The main objective of this thesis consists to investigate the problem of modelling and control of a nonlinear parameter distributed thermodynamic system : the tubular reactor. We address the control problem of this non linear system relying on the thermodynamic properties of the process. This approach requires to use the classical extensive variables as the state variables. We use the thermodynamic availability as well as the reduced thermodynamic availability (this function is formed from some terms of the thermodynamic availabilty) as Lyapunov functions in order to asymptotically stabilize the tubular reactor aroud a steady profile. The distributed temperature of the jacket is the control variable. Some simulations illustrate these results as well as the eficiency of the control in presence of perturbations. Next we study the Port Hamiltonian representation of irreversible infinite dimensional systems. We propose a Stokes-Dirac structure of a reaction-diffusion system by means of the extension of the vectors of the flux and effort variables. We illustrate this approach on the example of the reaction-diffusion system. For this latter we use the internal energy as well as the opposite of the entropy to obtain Stokes-Dirac structures. We propose also a pseudo-Hamiltonian representation for the two Hamiltonians. Finally we tackle the boundary control problem. The objective is to study the existence of solutions associated to a linearized model of the tubular reactor controlled to the boundary

A discrete event system is a system whose state space is given by a discrete set and whose state transition mechanism is event-driven i.e. its state evolution depends only on the occurrence of discrete events over the time. These systems are used in many fields of application (telecommunication networks, aeronautics, aerospace,). The validity of these systems is then an important issue and to ensure it we can use supervisory control methods. These methods consist in imposing a given specification on a system by means of a controller which runs in parallel with the original system and which restricts its behavior. In this thesis, we develop supervisory control methods where the system can have an infinite state space and the controller has a partial observation of the system (this implies that the controller must define its control policy from an imperfect knowledge of the system). Unfortunately, this problem is generally undecidable. To overcome this negative result, we use abstract interpretation techniques which ensure the termination of our algorithms by overapproximating, however, some computations. The aim of this thesis is to provide the most complete contribution it is possible to bring to this topic. Hence, we consider more and more realistic problems. More precisely, we start our work by considering a centralized framework (i.e. the system is controlled by a single controller) and by synthesizing memoryless controllers (i.e. controllers that define their control policy from the current observation received from the system). Next, to obtain better solutions, we consider the synthesis of controllers that record a part or the whole of the execution of the system and use this information to define the control policy. Unfortunately, these methods cannot be used to control an interesting class of systems: the distributed systems. We have then defined methods that allow to control distributed systems with synchronous communications (decentralized and modular methods) and with asynchronous communications (distributed method). Moreover, we have implemented some of our algorithms to experimentally evaluate the quality of the synthesized controllers. / <p><p>Un système à événements discrets est un système dont l'espace d'états est un ensemble discret et dont l'évolution de l'état courant dépend de l'occurrence d'événements discrets à travers le temps. Ces systèmes sont présents dans de nombreux domaines critiques tels les réseaux de communications, l'aéronautique, l'aérospatiale. La validité de ces systèmes est dès lors une question importante et une manière de l'assurer est d'utiliser des méthodes de contrôle supervisé. Ces méthodes associent au système un dispositif, appelé contrôleur, qui s'exécute en parrallèle et qui restreint le comportement du système de manière à empêcher qu'un comportement erroné ne se produise. Dans cette thèse, on s'intéresse au développement de méthodes de contrôle supervisé où le système peut avoir un espace d'états infini et où les contrôleurs ne sont pas toujours capables d'observer parfaitement le système; ce qui implique qu'ils doivent définir leur politique de contrôle à partir d'une connaissance imparfaite du système. Malheureusement, ce problème est généralement indécidable. Pour surmonter cette difficulté, nous utilisons alors des techniques d'interprétation abstraite qui assurent la terminaison de nos algorithmes au prix de certaines sur-approximations dans les calculs. Le but de notre thèse est de fournir la contribution la plus complète possible dans ce domaine et nous considèrons pour cela des problèmes de plus en plus réalistes. Plus précisement, nous avons commencé notre travail en définissant une méthode centralisée où le système est contrôlé par un seul contrôleur qui définit sa politique de contrôle à partir de la dernière information reçue du système. Ensuite, pour obtenir de meilleures solutions, nous avons défini des contrôleurs qui retiennent une partie ou la totalité de l'exécution du système et qui définissent leur politique de contrôle à partir de cette information. Malheureusement, ces méthodes ne peuvent pas être utilisées pour contrôler une classe intéressante de systèmes: les sytèmes distribués. Nous avons alors défini des méthodes permettant de contrôler des systèmes distribués dont les communications sont synchrones (méthodes décentralisées et modulaires) et asynchrones (méthodes distribuées). De plus, nous avons implémenté certains de nos algorithmes pour évaluer expérimentalement la qualité des contrôleurs qu'ils synthétisent. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

L'objet de cette thèse est d'étudier la théorie du transport optimal sur un espace de Wiener abstrait. Les résultats qui se trouvent dans quatre principales parties, portent :Sur la convexité de l'entropie relative. On prolongera des résultats connus en dimension finie, sur l'espace de Wiener muni d'une norme uniforme, à savoir que l'entropie relative est (au moins faiblement) 1-convexe le long des géodésiques induites par un transport optimal sur l'espace de Wiener.Sur les mesures à densité logarithmiquement concaves. Le premier des résultats importants consiste à montrer qu'une inégalité de type Harnack est vraie pour le semi-groupe induit par une telle mesure sur l'espace de Wiener. Le second des résultats obtenus nous fournit une inégalité en dimension finie (mais indépendante de la dimension), contrôlant la différence de deux applications de transport optimal.Sur le problème de Monge. On s'intéressera au problème de Monge sur l'espace de Wiener, muni de plusieurs normes : des normes à valeurs finies, ou encore la pseudo-norme de Cameron-Martin.Sur l'équation de Monge-Ampère. Grâce aux inégalités obtenues précédemment, nous serons en mesure de construire des solutions fortes de l'équation de Monge-Ampère (induite par le coût quadratique) sur l'espace de Wiener, sous de faibles hypothèses sur les densités des mesures considérées / The aim of this PhD is to study the optimal transportation theory in some abstract Wiener space. You can find the results in four main parts and they are aboutThe convexity of the relative entropy. We will extend the well known results in finite dimension to the Wiener space, endowed with the uniform norm. To be precise the relative entropy is (at least weakly) geodesically 1-convex in the sense of the optimal transportation in the Wiener space.The measures with logarithmic concave density. The first important result consists in showing that the Harnack inequality holds for the semi-group induced by such a measure in the Wiener space. The second one provides us a finite dimensional and dimension-free inequality which gives estimate on the difference between two optimal maps.The Monge Problem. We will be interested in the Monge Problem on the Wiener endowed with different norms: either some finite valued norms or the pseudo-norm of Cameron-Martin.The Monge-Ampère equation. Thanks to the inequalities obtained above, we will be able to build strong solutions of the Monge-Ampère (those which are induced by the quadratic cost) equation on the Wiener space, provided the considered measures satisfy weak conditions