SearcharxivSearch

arXiv subjects

Hans Zwart

Publications and source records attributed to Hans Zwart.

At least 19 recordsLinked to original sources

Well-posedness and controllability of hyperbolic boundary control systems on a one-dimensional spatial domain

The aim of this paper is to investigate the well-posedness of a class of boundary control and observation systems on a one dimensional spatial domain. We derive a necessary and sufficient condition characterizing the well-posedness of these systems. Furthermore, we show that the well-posedness and full control and observation implies exact controllability and exact observability. The theoretical results are illustrated using Euler-Bernoulli beam models.

math.OC

Energy-stable Port-Hamiltonian Systems

We combine energy-stable and port-Hamiltonian (pH) systems to obtain energy-stable port-Hamiltonian (espH) systems. The idea is to extend the known energy-stable systems with an input-output port, which results in a pH formulation. One advantage of the new espH formulation is that it naturally preserves its espH structure throughout discretization (in space and time) and model reduction.

math.NA

Riccati equations and LQ-optimal control for a class of hyperbolic PDEs

We derive an explicit solution to the operator Riccati equation solving the Linear-Quadratic (LQ) optimal control problem for a class of boundary controlled hyperbolic partial differential equations (PDEs). Different descriptions of the system are used to obtain different representations of the operator Riccati equation. By means of an example, we illustrate the importance of considering an extended operator Riccati equation to solve the LQ-optimal control problem for our class of systems.

math.OC

Linear-Quadratic optimal control for boundary controlled networks of waves

Linear-Quadratic optimal controls are computed for a class of boundary controlled, boundary observed hyperbolic infinite-dimensional systems, which may be viewed as networks of waves. The main results of this manuscript consist in converting the infinite-dimensional continuous-time systems into infinite-dimensional discrete-time systems for which the operators dynamics are matrices, in solving the LQ-optimal control problem in discrete-time and then in interpreting the solution in the continuous-time variables, giving rise to the optimal boundary control input. The results are applied to two examples, a small network of three vibrating strings and a co-current heat-exchanger, for which boundary sensors and actuators are considered.

math.OC

Well-posedness of a class of infinite-dimensional port-Hamiltonian systems with boundary control and observation

We characterize the well-posedness of a class of infinite-dimensional port-Hamiltonian systems with boundary control and observation. This class includes in particular the Euler-Bernoulli beam equations and more generally 1D linear infinite-dimensional port-Hamiltonian systems with boundary control and observation as well as coupled systems. It is known, that for the Timoshenko beam models internal well-posedness implies well-posedness of the overall system. By means of an example we show that this is not true for the Euler-Bernoulli beam models. An easy verifiable equivalent condition for well-posedness of the overall system will be presented. We will conclude the paper by applying the obtained results to several Euler-Bernoulli beam models.

math.AP

$H^\infty$-control for a class of boundary controlled hyperbolic PDEs

A solution to the suboptimal $H^\infty$-control problem is given for a class of hyperbolic partial differential equations (PDEs). The first result of this manuscript shows that the considered class of PDEs admits an equivalent representation as an infinite-dimensional discrete-time system. Taking advantage of this, this manuscript shows that it is equivalent to solve the suboptimal $H^\infty$-control problem for a finite-dimensional discrete-time system whose matrices are derived from the PDEs. After computing the solution to this much simpler problem, the solution to the original problem can be deduced easily. In particular, the optimal compensator solution to the suboptimal $H^\infty$-control problem is governed by a set of hyperbolic PDEs, actuated and observed at the boundary. We illustrate our results with a boundary controlled and boundary observed vibrating string.

math.OC

Stability via closure relations with applications to dissipative and port-Hamiltonian systems

We consider differential operators $A$ that can be represented by means of a so-called closure relation in terms of a simpler operator $A_{\operatorname{ext}}$ defined on a larger space. We analyze how the spectral properties of $A$ and $A_{\operatorname{ext}}$ are related and give sufficient conditions for exponential stability of the semigroup generated by $A$ in terms of the semigroup generated by $A_{\operatorname{ext}}$. As applications we study the long-term behaviour of a coupled wave-heat system on an interval, parabolic equations on bounded domains that are coupled by matrix valued potentials, and of linear infinite-dimensional port-Hamiltonian systems with dissipation on an interval.

math.FA

A flexible numerical tool for large dynamic DC networks

DC networks play an important role within the ongoing energy transition. In this context, simulations of designed and existing networks and their corresponding assets are a core tool to get insights and form a support to decision-making. Hereby, these simulations of DC networks are executed in the time domain. Due to the involved high frequencies and the used controllers, the equations that model these DC networks are stiff and highly oscillatory differential equations. By exploiting sparsity, we show that conventional adaptive time stepping schemes can be used efficiently for the time domain simulation of very large DC networks and that this scales linearly in the computational cost as the size of the networks increase.

eess.SY

Abstract dissipative Hamiltonian differential-algebraic equations are everywhere

In this paper we study the representation of partial differential equations (PDEs) as abstract differential-algebraic equations (DAEs) with dissipative Hamiltonian structure (adHDAEs). We show that these systems not only arise when there are constraints coming from the underlying physics, but many standard PDE models can be seen as an adHDAE on an extended state space. This reflects the fact that models often include closure relations and structural properties. We present a unifying operator theoretic approach to analyze the properties of such operator equations and illustrate this by several applications.

math.FA

Spectral analysis of a class of linear hyperbolic partial differential equations

A class of linear hyperbolic partial differential equations, sometimes called networks of waves, is considered. For this class of systems, necessary and sufficient conditions are formulated on the system matrices for the operator dynamics to be a Riesz-spectral operator. In that case, its spectrum is computed explicitly, together with the corresponding eigenfunctions, which constitutes the main result of our note. In particular, this enables to characterize easily many different concepts, such as stability. We apply our results to characterize exponential stability of a co-current heat exchanger.

math.FA

Time and frequency domain low order, low frequency approximation of mechanical systems

Control design for linear, time-invariant mechanical systems typically requires an accurate low-order approximation in the low frequency range. For example a series expansion of the transfer function around zero consisting of a mass, velocity, and compliance term. Because computing such a series expansion of the transfer function can be cumbersome, a new method to compute low-order approximations of mechanical systems is developed in this paper. The method does not require an explicit expression for the transfer function, which is not always available for infinite-dimensional systems. The advantages of the proposed method is demonstrated in three examples.

math.OC

Asymptotic Stability of port-Hamiltonian Systems

We characterise asymptotic stability of port-Hamiltonian systems by means of matrix conditions using well-known resolvent criteria from $C_0$-semigroup theory. The idea of proof is based on a recent characterisation of exponential stability established in [Trostorff, Waurick, arXiv:2201.10367], which was inspired by a structural observation concerning port-Hamiltonian systems from [Picard et al., arXiv:2106.10937, accepted in SIAM SICON]. We apply the result to study the asymptotic stability of a network of vibrating strings.

math.AP

Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain: An Introduction

We provide an introduction to infinite-dimensional port-Hamiltonian systems. As this research field is quite rich, we restrict ourselves to the class of infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domainand we will focus on topics such as Dirac structures, well-posedness, stability and stabilizability, Riesz-bases and dissipativity. We combine the abstract operator theoretic approach with the more physical approach based on Hamiltonians. This enables us to derive easy verifiable conditions for well-posedness and stability.

math.AP

On BIBO stability of infinite-dimensional linear state-space systems

In this paper we consider BIBO stability of systems described by infinite-dimensional linear state-space representations, filling the so far unattended gap of a formal definition and characterization of BIBO stability in this general case. Furthermore, we provide several sufficient conditions guaranteeing BIBO stability of a particular system and discuss to which extent this property is preserved under additive and multiplicative perturbations of the system.

math.OC

Symplectic model order reduction of port-Hamiltonian systems

This work proposes a novel structure-preserving model order reduction (MOR) method for linear, time-invariant port-Hamiltonian (pH) systems. Our goal is to construct a reduced order pH system, which can still be interpreted in the physical domain of the full order model. By this we mean, that if an electrical circuit is the initial high-dimensional pH system, we want the reduced order model to be still interpretable as an electronic circuit. In the case of the well-known mass spring damper (MSD) system, there are MOR methods available, which already guarantee the preservation of this particular structure. Moreover, we show that our new structure-preserving MOR method, which is based on symplectic MOR methods, will recover the known second-order Arnoldi method in the case of MSD systems. However, for the example of an electrical circuit pH model (and more models of similar block structure), our method yields a novel model reduction method. We present numerical results on the aforementioned electronic circuit model, highlighting the advantages of the proposed method.

math.OC

Observability for port-Hamiltonian systems

The class of port-Hamiltonian systems incorporates many physical models, such as mechanical systems in the finite-dimensional case and wave and beam equations in the infinite-dimensional case. In this paper we study a subclass of linear first order port-Hamiltonian systems. These systems are exactly observable when the energy is not dissipated internally and when sufficient observations are made at the boundary. In this article we study the observability properties for these systems when internal dissipation of energy is possible. We cannot show the exact observability, but we do show that the Hautus test is satisfied. In general, the Hautus test is weaker than exact observability, but stronger than approximate observability. Hence we conclude that these systems are approximately observable.

math.OC

Riesz bases of port-Hamiltonian systems

The location of the spectrum and the Riesz basis property of well-posed homogeneous infinite-dimensional linear port-Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel to the imaginary axis and they can decomposed into finitely many sets having each a uniform gap.

math.FA

On continuity of solutions for parabolic control systems and input-to-state stability

We study minimal conditions under which mild solutions of linear evolutionary control systems are continuous for arbitrary bounded input functions. This question naturally appears when working with boundary controlled, linear partial differential equations. Here, we focus on parabolic equations which allow for operator-theoretic methods such as the holomorphic functional calculus. Moreover, we investigate stronger conditions than continuity leading to input-to-state stability with respect to Orlicz spaces. This also implies that the notions of input-to-state stability and integral-input-to-state stability coincide if additionally the uncontrolled equation is dissipative and the input space is finite-dimensional.

math.FA