In this thesis, the root-locus theory for a class of diffusion systems is studied. The input and output boundary operators are co-located in the sense that their highest order derivatives occur at the same endpoint. It is shown that infinitely many root-locus branches lie on the negative real axis and the remaining finitely many root-locus branches lie inside a fixed closed contour. It is also shown that all closed-loop poles vary continuously as the feedback gain varies from zero to infinity.

In this thesis, the root-locus theory for a class of diffusion systems is studied. The input and output boundary operators are co-located in the sense that their highest order derivatives occur at the same endpoint. It is shown that infinitely many root-locus branches lie on the negative real axis and the remaining finitely many root-locus branches lie inside a fixed closed contour. It is also shown that all closed-loop poles vary continuously as the feedback gain varies from zero to infinity.

No description available.

There are two main tools for determining the stability of nonlinear partial differential equations (PDEs): Lyapunov Theory and linearization. The former has the advantage of providing stability results for nonlinear equations directly, while the latter considers the stability of linear equations and then further justification is needed to show the linear stability implies local stability of the nonlinear equation. Linearization has the advantage of investigating stability on a simpler equation; however, the justification can be difficult to prove. Both Lyapunov Theory and linearization are applied to the Landau--Lifshitz equation, a nonlinear PDE that describes the behaviour of magnetization inside a magnetic object. It is known that the Landau-Lifshitz equation has an infinite number of stable equilibrium points. We present a control that forces the system from one equilibrium to another. This is proved using Lyapunov Theory. The linear Landau--Lifshitz equation is also investigated because it provides insight to the nonlinear equation. The linear model is shown to be well--posed and its eigenvalue problem is solved. The resulting eigenvalues suggest an appropriate control for the nonlinear Landau--Lifshitz equation. Mathematically, the control causes the initial equilibrium to no longer be an equilibrium and the second point to be an asymptotically stable equilibrium point. This implies the magnetization has moved to the second equilibrium and hence the control objective is successfully achieved. The existence of multiple stable equilibria is closely related to hysteresis. This is a phenomenon that is often characterized by a looping behaviour; however, the existence of a loop is not sufficient to identify hysteretic systems. A more precise definition is required, which is presented, and applied to the Landau--Lifshitz equation (both linear and nonlinear) to establish the presence of hysteresis.

京都大学 / 0048 / 新制・課程博士 / 博士(情報学) / 甲第18402号 / 情博第517号 / 新制||情||91(附属図書館) / 31260 / 京都大学大学院情報学研究科複雑系科学専攻 / (主査)教授 山本 裕, 教授 西村 直志, 教授 太田 快人 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

Tubular reactors cover a large class of processes in chemical and biochemical engineering. They are typically reactors in which the medium is not homogeneous (like fixed-bed reactors, packed-bed reactors, fluidized-bed reactors,...) and possibly involve diferent phases (liquid/solid/gas). The dynamics of nonisothermal axial dispersion or plug flow tubular reactors are described by semilinear partial differential equations (PDE's) derived from mass and energy balances. The main source of nonlinearities in such dynamics is concentrated in the kinetics terms of the model equations. Like tubular reactors many physical phenomena are modelled by partial differential equations (PDE's). Such systems are called distributed parameter systems. Control problems of these systems can be formulated in state-space form in a way analogous to those of lumped parameter systems (those described by ordinary differential equations) if one introduces a suitable infinite-dimensional state-space and suitable operators instead of the usual matrices. This thesis deals with the synthesis of optimal control laws with a view to regulate the temperature and the reactant concentration of a nonisothermal plug flow reactor model. Several tools of linear and semilinear infinite-dimensional system theory are extended and/or developed, and applied to this model. On the one hand, the concept of asymptotic stability is studied for a class of infinite-dimensional semilinear Banach state- space systems. Asymptotic stability criteria are established, which are based on the concept of strictly m-dissipative operator. This theory is applied to a nonisothermal plug flow reactor. On the other hand, the concept of optimal Linear-Quadratic (LQ) feedback is studied for class of infinite-dimensional linear systems. This theory is applied to a linearized plug flow reactor model in order to design an LQ optimal feedback controller. Then the resulting nonlinear closed-loop system performances are analyzed. Finally this control design strategy is extended to a large class of first-order hyperbolic PDE's systems.

[pt] O objetivo deste trabalho é o estudo das condições para a estabilidade de sistemas lineares discretos de dimensão infinita invariantes no tempo, evoluindo em um espaço de Hilbert. Apresentaremos uma vasta coleção de resultados sobre estabilidade assintótica uniforme, incluindo uma condição espectral equivalente. Em relação à estabilidade assintótica fraca, analisaremos tanto a dificuldade de se estabelecer uma condição necessária e suficiente sobre o espectro do operador, como também sua relação com similaridade a contração. Por último, apresentaremos alguns resultados disponíveis sobre estabilidade assintótica forte para algumas classes específicas de operadores. / [en] The purpose of this work is to analyse stability conditions for infinity-dimensional linear discrete systems operating in a Hilbert space. Whe shall present a wide collections of results on uniform asymptotic stability, incluiding an equivalent spectral condition. Concerning the weak asymptotic stability, we shall analyse the dificulty associated to the problem of attempting to establish a necessary and sufficient condition involving the spectral of the system operator. The relation between weak asymptotic stability and similarity to a contraction will be analysed as well. Finally, we shall present some of the available results concerning strong asymptotic stability for particular classes of operators.

No description available.

Infinite-Dimensional Systems (IDSs) which have been made possible by recent advances in mathematical and computational tools can be used to model complex real phenomena. However, due to physical, economic, or stringent non-invasive constraints on real systems, the underlying characteristics for mathematical models in general (and IDSs in particular) are often missing or subject to uncertainty. Therefore, developing efficient estimation techniques to extract missing pieces of information from available measurements is essential. The human brain is an example of IDSs with severe constraints on information collection from controlled experiments and invasive sensors. Investigating the intriguing modeling potential of the brain is, in fact, the main motivation for this work. Here, we will characterize the hemodynamic behavior of the brain using functional magnetic resonance imaging data. In this regard, we propose efficient estimation methods for two classes of IDSs, namely Partial Differential Equations (PDEs) and Fractional Differential Equations (FDEs). This work is divided into two parts. The first part addresses the joint estimation problem of the state, parameters, and input for a coupled second-order hyperbolic PDE and an infinite-dimensional ordinary differential equation using sampled-in-space measurements. Two estimation techniques are proposed: a Kalman-based algorithm that relies on a reduced finite-dimensional model of the IDS, and an infinite-dimensional adaptive estimator whose convergence proof is based on the Lyapunov approach. We study and discuss the identifiability of the unknown variables for both cases. The second part contributes to the development of estimation methods for FDEs where major challenges arise in estimating fractional differentiation orders and non-smooth pointwise inputs. First, we propose a fractional high-order sliding mode observer to jointly estimate the pseudo-state and input of commensurate FDEs. Second, we propose a modulating function-based algorithm for the joint estimation of the parameters and fractional differentiation orders of non-commensurate FDEs. Sufficient conditions ensuring the local convergence of the proposed algorithm are provided. Subsequently, we extend the latter technique to estimate smooth and non-smooth pointwise inputs. The performance of the proposed estimation techniques is illustrated on a neurovascular-hemodynamic response model. However, the formulations are efficiently generic to be applied to a wide set of additional applications.

No description available.