No description available.

Power distribution networks (PDNs) are conducting structures employed in semiconductor systems with the aim of providing circuits with reliable and constant operating voltage. This network has non-neglible electrical parasitics. Consequently, when digital circuits inside the chip switch, the supply voltage delivered to them does not remain ideal and exhibits spatial and temporal voltage fluctuations. These fluctuations in the supply voltage, known as the power-supply noise (PSN), can affect the functionality and the performance of modern microprocessors. The design of this PDN in the chip is an important part in ensuring power integrity. Modeling and simulation of the PSN in on-chip PDNs is important to reduce the cost of processors. These PDNs have irregular geometries, which affect the PSN. As a result, they have to be modeled. The problem sizes encountered in this simulation are usually large (on the order of millions), necessitating computationally efficient simulation approaches. Existing approaches for this simulation do not guarantee at least one of the following three required properties: computationally efficiency, accuracy, and numerically robustness. Therefore, there is a need to develop accurate, numerically robust, and efficient algorithms for this simulation. For many interconnects (e.g., transmission lines, board connectors, package PDNs), only their frequency responses and SPICE circuits (e.g., nonlinear switching drivers, equivalent circuits of interconnects) terminating them are known. These frequency responses are usually available only up to a certain maximum frequency. Simulating the electrical behavior of these systems is important for the reliable design of microprocessors and for their faster time-to-market. Because terminations can be nonlinear, a transient simulation is required. There is a need for a transient simulation of band-limited frequency-domain data characterizing a multiport passive system with SPICE circuits. The number of ports can be large (greater than or equal to 100 ports). In this simulation, unlike in traditional circuit simulators, normal properties like stability and causality of transient results are not automatically met and have to be ensured. Existing techniques for this simulation do not guarantee at least one of the following three required properties: computationally efficiency for a large number of ports, causality, and accuracy. Therefore, there is a need to develop accurate and efficient time-domain techniques for this simulation that also ensure causality. The objectives of this Ph.D. research are twofold: 1) To develop accurate, numerically robust, and computationally efficient time-domain algorithms to compute PSN in on-chip PDNs with irregular geometries. 2) To develop accurate and computationally efficient time-domain algorithms for the causal cosimulation of band-limited frequency-domain data with SPICE circuits.

Orientador: Marcelo Carvalho Minhoto Teixeira / Resumo: Neste trabalho apresentam-se condições descritas por desigualdades matriciais lineares, LMIs (do inglês: Linear Matrix Inequalities), para o projeto de controladores robustos para sistemas dinâmicos de ordem α ∈ [0,1). Os controladores propostos utilizam a realimentação da derivada de ordem α ∈ [0,1) do vetor de estado, a chamada realimentação α-derivativa, e também a realimentação do vetor de estado. A literatura clássica apresenta resultados que utilizam o método direto de Lyapunov e a estabilização quadrática no projeto de controladores para sistemas de ordem inteira. Os teoremas propostos neste trabalho para sistemas fracionários são condições suficientes análogas a estes resultados. Esta analogia é possível através da extensão fracionária, recentemente disponível na literatura, do método direto de Lyapunov e de um limitante superior para a derivada de ordem α ∈ [0,1) da função de Lyapunov do tipo quadrática, Dα V(x(t)). Nesse sentido, as LMIs propostas para estabilização quadrática são análogas aos casos clássicos, pois não dependem da ordem α ∈ [0,1) do sistema. Em particular, o foco deste trabalho recai no controle do tipo chaveado, que trata da minimização do limitante superior de Dα V(x(t)). O controle chaveado dispensa o conhecimento das funções de pertinência quando da utilização de modelos fuzzy Takagi-Sugeno, permitindo trabalhar com plantas lineares e não lineares, ambas incluindo parâmetros incertos. Dessa forma, a estabilização quadrática possibilitou a obtenç... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: This work proposes linear matrix inequalities (LMIs) conditions for the design of robust controllers for dynamic systems of order α ∈ [0,1). The proposed controllers use the feedback of the state vector derivative of of order α ∈ [0,1), the so-called α -derivative feedback, and also the feedback of the state vector. The classical literature presents results that use the Lyapunov direct method and the quadratic stabilization in the design of the controllers for integer order systems. The theorems proposed in this work for fractional systems are sufficient conditions analogous to these results. This analogy is possible through the fractional extension, recently available in the literature, of the direct Lyapunov method and an upper bound for the a α ∈ [0,1) order derivative of the quadratic Lyapunov function, Dα V(x(t)). In this sense, the proposed LMIs for quadratic stabilization are analogous to the classical ones, since they do not depend on the order α ∈ [0,1) of the system. In particular, the focus of this work lies in the switched control, which deals with the minimization of the upper bound of Dα V(x(t)). The switched control dispenses the knowledge of the membership functions when using the Takagi-Sugeno fuzzy models, allowing to work with linear and nonlinear plants, both of them with uncertain parameters. Therefore, the quadratic stabilization allowed to obtain new results for the robust control problem of α ∈ [0,1) order systems, considering the main analogous resu... (Complete abstract click electronic access below) / Mestre

Ma thèse en automatique s’inscrit dans la thématique de recherche «Transport» du LAMIH. L’objectif est d’améliorer le fonctionnement des moteurs thermiques (essence), notamment en réduisant la consommation et la pollution. Face à cet enjeu écologique et économique, et compte tenu des nouvelles normes et des stratégies court-termistes de l’industrie (scandale Volkswagen...), de nouveaux contrôleurs doivent être conçus pour piloter l’arrivée d’air et d’essence au sein du moteur. En considérant l’aspect hautement non-linéaire du système, la représentation Takagi-Sugeno et le background théorique du LAMIH sont utilisés. Un premier contrôleur est synthétisé pour régler le problème de la vitesse de ralenti du moteur. Cependant, la complexité du système impose l’utilisation d’un contrôleur très coûteux d’un point de vue computationnel. Un contrôleur alternatif est donc synthétisé afin d’être implémenté dans l’ordinateur embarqué du moteur. Un second contrôleur est obtenu pour maintenir la richesse en proportions stoechiométriques afin de réduire la pollution. Ce système étant sujet à un retard de transport variable, un changement de domaine est réalisé afin de rendre ce retard constant, et de concevoir un contrôleur simple et efficace. Des essais réels sur le banc d’essai moteur du LAMIH sont réalisés afin de valider la méthodologie présentée. / My PhD in Automatic Control is part of the research theme “Transport” of the LAMIH. The objective is to improve the functioning of the gasoline engines, mainly by reducing the fuel consumption and the pollution. With this ecologic and economic challenge, and taking into account the new norms and the short-term strategies of the industry (scandal of Volkswagen...), new controllers have to be designed to control the air valve and the fuel injection inside the engine. Considering the highly nonlinear aspect of the system, the Takagi-Sugeno representation and the theoretical background of the LAMIH have been used. A first controller is designed to solve the problem of idle engine speed. However, the complexity of the system forces the use of a controller that is very costly from a computational point of view. An alternative controller is then designed in order to be implemented inside the embedded computer of the engine. A second controller is obtained to maintain the air-fuel ratio in stoichiometric proportions in order to reduce the pollution. This system being subject to a variable transport delay, a change of domain is realized to make this delay constant, and to design a simple and efficient controller. Real-time experiments have been realized on the engine test bench of the LAMIH in order to validate the presented methodology.