It is shown that a strictly-input passive linear finite dimensional controller exponentially stabilizes a large class of partial differential equations actuated at the boundary of a one dimensional spatial domain. This follows since the controller imposes exponential dissipation of the total energy. The result can by use for control synthesis and for the stability analysis of complex systems modeled by sets of coupled PDE's and ODE's. The result is specialized to port-Hamiltonian control systems and a simplified DNA-manipulation process is used to illustrate the result.
25 August 2009 in ESAIM: Control, Optimisation and Calculus of Variations
We study a class of hyperbolic partial differential equations on a one dimensional spatial domain with control and observation at the boundary. Using the idea of feedback we show these systems are well-posed in the sense of Weiss and Salamon if and only if the state operator generates a C 0-semigroup. Furthermore, we show that the corresponding transfer function is regular, i.e., has a limit for s going to infinity.
A comprehensive overview of the irreversible port-Hamiltonian system’s formulation for finite and infinite dimensional systems defined on 1D spatial domains is provided in a unified manner. The irreversible port-Hamiltonian system formulation shows the extension of classical port-Hamiltonian system formulations to cope with irreversible thermodynamic systems for finite and infinite dimensional systems. This is achieved by including, in an explicit manner, the coupling between irreversible mechanical and thermal phenomena with the thermal domain as an energy-preserving and entropy-increasing operator. Similarly to Hamiltonian systems, this operator is skew-symmetric, guaranteeing energy conservation. To distinguish from Hamiltonian systems, the operator depends on co-state variables and is, hence, a nonlinear-function in the gradient of the total energy. This is what allows encoding the second law as a structural property of irreversible port-Hamiltonian systems. The formalism encompasses coupled thermo-mechanical systems and purely reversible or conservative systems as a particular case. This appears clearly when splitting the state space such that the entropy coordinate is separated from other state variables. Several examples have been used to illustrate the formalism, both for finite and infinite dimensional systems, and a discussion on ongoing and future studies is provided.