-
Conditions for singular optimal control of port-Hamiltonian systems
Authors:
Maria Soledad Aronna,
Volker Mehrmann
Abstract:
We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions…
▽ More
We study singular optimal control problems of port-Hamiltonian systems. We study general control-affine cost functionals that include as a special case the energy supplied to the system. We derive optimality conditions for the case with and without control bounds by applying the general theory to the specially structured port-Hamiltonian case, and show that this leads to nice optimality conditions, in particular in the linear case.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Asymptotic Stability and Strict Passivity of Port-Hamiltonian Descriptor Systems via State Feedback
Authors:
Delin Chu,
Volker Mehrmann
Abstract:
While port-Hamiltonian descriptor systems are known to be stable and passive, they may not be asymptotically stable or strictly passive. Necessary and sufficient conditions are presented when these properties as well as the regularity and the index one property can be achieved via state feedback while preserving the port-Hamiltonian structure.
While port-Hamiltonian descriptor systems are known to be stable and passive, they may not be asymptotically stable or strictly passive. Necessary and sufficient conditions are presented when these properties as well as the regularity and the index one property can be achieved via state feedback while preserving the port-Hamiltonian structure.
△ Less
Submitted 14 June, 2024; v1 submitted 13 June, 2024;
originally announced June 2024.
-
Spectral theory of infinite dimensional dissipative Hamiltonian systems
Authors:
Christian Mehl,
Volker Mehrmann,
Michał Wojtylak
Abstract:
The spectral theory for operator pencils and operator differential-algebraic equations is studied. Special focus is laid on singular operator pencils and three different concepts of singular operator pencils are introduced. The concepts are analyzed in detail and examples are presented that illustrate the subtle differences. It is investigated how these concepts are related to uniqueness of the un…
▽ More
The spectral theory for operator pencils and operator differential-algebraic equations is studied. Special focus is laid on singular operator pencils and three different concepts of singular operator pencils are introduced. The concepts are analyzed in detail and examples are presented that illustrate the subtle differences. It is investigated how these concepts are related to uniqueness of the underlying algebraic-differential operator equation, showing that, in general, classical results known from the finite dimensional case of matrix pencils and differential-algebraic equations do not prevail. The results are then studied in the setting of structured operator pencils arising in dissipative differential-algebraic equations. Here, unlike in the general infinite-dimensional case, the uniqueness of solutions is closely related to the singularity of the pencil.
△ Less
Submitted 13 June, 2024; v1 submitted 19 May, 2024;
originally announced May 2024.
-
Stabilization of linear Port-Hamiltonian Descriptor Systems via Output Feedback
Authors:
Delin Chu,
Volker Mehrmann
Abstract:
The structure preserving stabilization of (possibly non-regular) linear port-Hamiltonian descriptor (pHDAE) systems by output feedback is discussed. While for general descriptor systems the characterization when there exist output feedbacks that lead to an asymptotically stable closed loop system is a very hard and partially open problem, for systems in pHDAE representation this problem can be com…
▽ More
The structure preserving stabilization of (possibly non-regular) linear port-Hamiltonian descriptor (pHDAE) systems by output feedback is discussed. While for general descriptor systems the characterization when there exist output feedbacks that lead to an asymptotically stable closed loop system is a very hard and partially open problem, for systems in pHDAE representation this problem can be completely solved. Necessary and sufficient conditions are presented that guarantee that there exist a proportional output feedback such that the resulting closed-loop port-Hamiltonian descriptor system is (robustly) asymptotically stable. For this it is also necessary that the output feedback also makes the problem regular and of index at most one. A complete characterization when this is possible is presented as well.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
On the discrete equivalence of Lagrangian, Hamiltonian and mixed finite element formulations for linear wave phenomena
Authors:
Andrea Brugnoli,
Volker Mehrmann
Abstract:
It is well known that the Lagrangian and Hamiltonian descriptions of field theories are equivalent at the discrete time level when variational integrators are used. Besides the symplectic Hamiltonian structure, many physical systems exhibit a Hamiltonian structure when written in mixed form. In this contribution, the discrete equivalence of Lagrangian, symplectic Hamiltonian and mixed formulations…
▽ More
It is well known that the Lagrangian and Hamiltonian descriptions of field theories are equivalent at the discrete time level when variational integrators are used. Besides the symplectic Hamiltonian structure, many physical systems exhibit a Hamiltonian structure when written in mixed form. In this contribution, the discrete equivalence of Lagrangian, symplectic Hamiltonian and mixed formulations is investigated for linear wave propagation phenomena. Under compatibility conditions between the finite elements, the Lagrangian and mixed formulations are indeed equivalent. For the time discretization the leapfrog scheme and the implicit midpoint rule are considered. In mixed methods applied to wave problems the primal variable (e.g. the displacement in mechanics or the magnetic potential in electromagnetism) is not an unknown of the problem and is reconstructed a posteriori from its time derivative. When this reconstruction is performed via the trapezoidal rule, then these time-discretization methods lead to equivalent formulations.
△ Less
Submitted 17 January, 2024;
originally announced January 2024.
-
Eigenstructure perturbations for a class of Hamiltonian matrices and solutions of related Riccati inequalities
Authors:
Volker Mehrmann,
Hongguo Xu
Abstract:
The characterization of the solution set for a class of algebraic Riccati inequalities is studied. This class arises in the passivity analysis of linear time invariant control systems. Eigenvalue perturbation theory for the Hamiltonian matrix associated with the Riccati inequality is used to analyze the extremal points of the solution set.
The characterization of the solution set for a class of algebraic Riccati inequalities is studied. This class arises in the passivity analysis of linear time invariant control systems. Eigenvalue perturbation theory for the Hamiltonian matrix associated with the Riccati inequality is used to analyze the extremal points of the solution set.
△ Less
Submitted 22 April, 2024; v1 submitted 23 November, 2023;
originally announced November 2023.
-
Abstract dissipative Hamiltonian differential-algebraic equations are everywhere
Authors:
Volker Mehrmann,
Hans Zwart
Abstract:
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…
▽ More
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.
△ Less
Submitted 17 May, 2024; v1 submitted 6 November, 2023;
originally announced November 2023.
-
Hypocoercivity in Hilbert spaces
Authors:
Franz Achleitner,
Anton Arnold,
Volker Mehrmann,
Eduard A. Nigsch
Abstract:
The concept of hypocoercivity for linear evolution equations with dissipation is discussed and equivalent characterizations that were developed for the finite-dimensional case are extended to separable Hilbert spaces. Using the concept of a hypocoercivity index, quantitative estimates on the short-time and long-time decay behavior of a hypocoercive system are derived. As a useful tool for analyzin…
▽ More
The concept of hypocoercivity for linear evolution equations with dissipation is discussed and equivalent characterizations that were developed for the finite-dimensional case are extended to separable Hilbert spaces. Using the concept of a hypocoercivity index, quantitative estimates on the short-time and long-time decay behavior of a hypocoercive system are derived. As a useful tool for analyzing the structural properties, an infinite-dimensional staircase form is also derived and connections to linear systems and control theory are presented. Several examples illustrate the new concepts and the results are applied to the Lorentz kinetic equation.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
A geometric framework for discrete time port-Hamiltonian systems
Authors:
Karim Cherifi,
Hannes Gernandt,
Dorothea Hinsen,
Volker Mehrmann
Abstract:
Port-Hamiltonian systems provide an energy-based formulation with a model class that is closed under structure preserving interconnection.
For continuous-time systems these interconnections are constructed by geometric objects called Dirac structures. In this paper, we derive this geometric formulation and the interconnection properties for scattering passive discrete-time port-Hamiltonian syste…
▽ More
Port-Hamiltonian systems provide an energy-based formulation with a model class that is closed under structure preserving interconnection.
For continuous-time systems these interconnections are constructed by geometric objects called Dirac structures. In this paper, we derive this geometric formulation and the interconnection properties for scattering passive discrete-time port-Hamiltonian systems.
△ Less
Submitted 18 August, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
Hidden regularity in singular optimal control of port-Hamiltonian systems
Authors:
Timm Faulwasser,
Jonas Kirchhoff,
Volker Mehrmann,
Friedrich Philipp,
Manuel Schaller,
Karl Worthmann
Abstract:
We study the problem of state transition on a finite time interval with minimal energy supply for linear port-Hamiltonian systems. While the cost functional of minimal energy supply is intrinsic to the port-Hamiltonian structure, the necessary conditions of optimality resulting from Pontryagin's maximum principle may yield singular arcs. The underlying reason is the linear dependence on the contro…
▽ More
We study the problem of state transition on a finite time interval with minimal energy supply for linear port-Hamiltonian systems. While the cost functional of minimal energy supply is intrinsic to the port-Hamiltonian structure, the necessary conditions of optimality resulting from Pontryagin's maximum principle may yield singular arcs. The underlying reason is the linear dependence on the control, which makes the problem of determining the optimal control as a function of the state and the adjoint more complicated or even impossible. To resolve this issue, we fully characterize regularity of the (differential-algebraic) optimality system by using the interplay of the cost functional and the dynamics. In case of the optimality DAE being characterized by a regular matrix pencil, we fully determine the control on the singular arc. In case of singular matrix pencils of the optimality system, we propose an approach to compute rank-minimal quadratic perturbations of the objective such that the optimal control problem becomes regular. We illustrate the applicability of our results by a general second-order mechanical system and a discretized boundary-controlled heat equation.
△ Less
Submitted 20 November, 2023; v1 submitted 5 May, 2023;
originally announced May 2023.
-
On discrete-time dissipative port-Hamiltonian (descriptor) systems
Authors:
Karim Cherifi,
Hannes Gernandt,
Dorothea Hinsen,
Volker Mehrmann
Abstract:
Port-Hamiltonian (pH) systems have been studied extensively for linear continuous-time dynamical systems. This manuscript presents a discrete-time pH descriptor formulation for linear, completely causal, scattering passive dynamical systems based on the system coefficients. The relation of this formulation to positive and bounded real systems and the characterization via positive semidefinite solu…
▽ More
Port-Hamiltonian (pH) systems have been studied extensively for linear continuous-time dynamical systems. This manuscript presents a discrete-time pH descriptor formulation for linear, completely causal, scattering passive dynamical systems based on the system coefficients. The relation of this formulation to positive and bounded real systems and the characterization via positive semidefinite solutions of Kalman-Yakubovich-Popov inequalities is also studied.
△ Less
Submitted 17 October, 2023; v1 submitted 17 January, 2023;
originally announced January 2023.
-
Hypocoercivity in algebraically constrained partial differential equations with application to Oseen equations
Authors:
Franz Achleitner,
Anton Arnold,
Volker Mehrmann
Abstract:
The long-time behavior of solutions to different versions of Oseen equations of fluid flow on the 2D torus is analyzed using the concept of hypocoercivity. The considered models are isotropic Oseen equations where the viscosity acts uniformly in all directions and anisotropic Oseen-type equations with different viscosity directions. The hypocoercivity index is determined (if it exists) and it is s…
▽ More
The long-time behavior of solutions to different versions of Oseen equations of fluid flow on the 2D torus is analyzed using the concept of hypocoercivity. The considered models are isotropic Oseen equations where the viscosity acts uniformly in all directions and anisotropic Oseen-type equations with different viscosity directions. The hypocoercivity index is determined (if it exists) and it is shown that similar to the finite dimensional case of ordinary differential equations and differential-algebraic equations it characterizes its decay behavior.
△ Less
Submitted 7 November, 2023; v1 submitted 13 December, 2022;
originally announced December 2022.
-
Fiedler Linearizations of Rectangular Rational Matrix Functions
Authors:
Namita Behera,
Avisek Bist,
Volker Mehrmann
Abstract:
Linearization is a standard approach in the computation of eigenvalues, eigenvectors and invariant subspaces of matrix polynomials and rational matrix value functions. An important source of linearizations are the so called Fiedler linearizations, which are generalizations of the classical companion forms. In this paper the concept of Fiedler linearization is extended from square regular to rectan…
▽ More
Linearization is a standard approach in the computation of eigenvalues, eigenvectors and invariant subspaces of matrix polynomials and rational matrix value functions. An important source of linearizations are the so called Fiedler linearizations, which are generalizations of the classical companion forms. In this paper the concept of Fiedler linearization is extended from square regular to rectangular rational matrix valued functions. The approach is applied to Rosenbrock functions arising in mathematical system theory.
△ Less
Submitted 23 November, 2023; v1 submitted 7 December, 2022;
originally announced December 2022.
-
A \texttt{Matlab} Toolbox for the Regularization of Descriptor Systems Arising from Generalized Realization Procedures
Authors:
A. Binder,
V. Mehrmann,
A. Miedlar,
P. Schulze
Abstract:
In this report we introduce a \texttt{Matlab} toolbox for the regularization of descriptor systems. We apply it, in particular, for systems resulting from the generalized realization procedure of \cite{MayA07}, which generates, via rational interpolation techniques, a linear \emph{descriptor system} from interpolation data. The resulting system needs to be regularized to make it feasible for the u…
▽ More
In this report we introduce a \texttt{Matlab} toolbox for the regularization of descriptor systems. We apply it, in particular, for systems resulting from the generalized realization procedure of \cite{MayA07}, which generates, via rational interpolation techniques, a linear \emph{descriptor system} from interpolation data. The resulting system needs to be regularized to make it feasible for the use in simulation, optimization, and control. This process is called \emph{regularization}
△ Less
Submitted 5 December, 2022;
originally announced December 2022.
-
Linear port-Hamiltonian DAE systems revisited
Authors:
Arjan van der Schaft,
Volker Mehrmann
Abstract:
Port-Hamiltonian systems theory provides a systematic methodology for the modeling, simulation and control of multi-physics systems. The incorporation of algebraic constraints has led to a multitude of definitions of port-Hamiltonian differential-algebraic equations (DAE) systems. This paper presents extensions of results in Gernandt, Haller & Reis (2021) and Mehrmann & Van der Schaft (2022) in th…
▽ More
Port-Hamiltonian systems theory provides a systematic methodology for the modeling, simulation and control of multi-physics systems. The incorporation of algebraic constraints has led to a multitude of definitions of port-Hamiltonian differential-algebraic equations (DAE) systems. This paper presents extensions of results in Gernandt, Haller & Reis (2021) and Mehrmann & Van der Schaft (2022) in the context of maximally monotone structures and shows that any such space can be written as composition of a Dirac and a resistive structure. Furthermore, appropriate coordinate representations are presented as well as explicit expressions for the associated transfer functions.
△ Less
Submitted 12 November, 2022;
originally announced November 2022.
-
Differential-algebraic systems with dissipative Hamiltonian structure
Authors:
V. Mehrmann,
A. J. van der Schaft
Abstract:
Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different representations are presented. Characterizations are also derived when a general DAE system can be transformed into one of these structured representations. Approa…
▽ More
Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different representations are presented. Characterizations are also derived when a general DAE system can be transformed into one of these structured representations. Approaches for computing the structural information and the described transformations are derived that can be directly implemented as numerical methods. The results are demonstrated with a large number of examples.
△ Less
Submitted 8 February, 2023; v1 submitted 4 August, 2022;
originally announced August 2022.
-
Hierarchical modeling for an industrial implementation of a Digital Twin for electrical drives
Authors:
Karim Cherifi,
Philipp Schulze,
Volker Mehrmann,
Leo Goßlau,
Pascal Lünnemann
Abstract:
Digital twins have become popular for their ability to monitor and optimize a process or a machine, ideally through its complete life cycle using simulations and sensor data. In this paper, we focus on the challenge of accurate and real-time simulations for digital twins in the context of electrical machines. To build such a digital twin involves not only computational models for the electromagnet…
▽ More
Digital twins have become popular for their ability to monitor and optimize a process or a machine, ideally through its complete life cycle using simulations and sensor data. In this paper, we focus on the challenge of accurate and real-time simulations for digital twins in the context of electrical machines. To build such a digital twin involves not only computational models for the electromagnetic aspects, but also mechanical and thermal effects need to be taken into account. We address mathematical tools that can be employed to carry out the required simulations based on physical laws as well as surrogate or data-driven models. One of those tools is a model hierarchy of very fine to very coarse models as well as reduced order models for obtaining real-time simulations. The required software tools to carry out simulations in the digital twin are also discussed. The simulation models are implemented in a pipeline that allows for the automatic modeling of new machines and the automatic configuration of new digital twins. Finally, the overall implemented digital twin is tested and implemented in a physical demonstrator.
△ Less
Submitted 27 October, 2023; v1 submitted 5 July, 2022;
originally announced July 2022.
-
Structure-Preserving Model Order Reduction for Index Two Port-Hamiltonian Descriptor Systems
Authors:
Tim Moser,
Paul Schwerdtner,
Volker Mehrmann,
Matthias Voigt
Abstract:
We present a new optimization-based structure-preserving model order reduction (MOR) method for port-Hamiltonian descriptor systems (pH-DAEs) with differentiation index two. Our method is based on a novel parameterization that allows us to represent any linear time-invariant pH-DAE with a minimal number of parameters, which makes it well-suited to model reduction. We propose two algorithms which d…
▽ More
We present a new optimization-based structure-preserving model order reduction (MOR) method for port-Hamiltonian descriptor systems (pH-DAEs) with differentiation index two. Our method is based on a novel parameterization that allows us to represent any linear time-invariant pH-DAE with a minimal number of parameters, which makes it well-suited to model reduction. We propose two algorithms which directly optimize the parameters of a reduced model to approximate a given large-scale model with respect to either the H-infinity or the H-2 norm. This approach has several benefits. Our parameterization ensures that the reduced model is again a pH-DAE system and enables a compact representation of the algebraic part of the large-scale model, which in projection-based methods often requires a more involved treatment. The direct optimization is entirely based on transfer function evaluations of the large-scale model and is therefore independent of the system matrices' structure. Numerical experiments are conducted to illustrate the high accuracy and small reduced model orders in comparison to other structure-preserving MOR methods.
△ Less
Submitted 8 June, 2022;
originally announced June 2022.
-
Structure-Preserving Model Order Reduction for Index One Port-Hamiltonian Descriptor Systems
Authors:
Paul Schwerdtner,
Tim Moser,
Volker Mehrmann,
Matthias Voigt
Abstract:
We develop optimization-based structure-preserving model order reduction (MOR) methods for port-Hamiltonian (pH) descriptor systems of differentiation index one. Descriptor systems in pH form permit energy-based modeling and intuitive coupling of physical systems across different physical domains, scales, and accuracies. This makes pH models well-suited building-blocks for component-wise modeling…
▽ More
We develop optimization-based structure-preserving model order reduction (MOR) methods for port-Hamiltonian (pH) descriptor systems of differentiation index one. Descriptor systems in pH form permit energy-based modeling and intuitive coupling of physical systems across different physical domains, scales, and accuracies. This makes pH models well-suited building-blocks for component-wise modeling of large system networks. In this context, it is often necessary to preserve the pH structure during MOR. We discuss current projection-based and structure-preserving MOR algorithms for pH systems and present a new optimization-based framework for that task. The benefits of our method include a simplified treatment of algebraic constraints and often a higher accuracy of the resulting reduced-order model, which is demonstrated by several numerical examples.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Discretization of inherent ODEs and the geometric integration of DAEs with symmetries
Authors:
Peter Kunkel,
Volker Mehrmann
Abstract:
Discretization methods for differential-algebraic equations (DAEs) are considered that are based on the integration of an associated inherent ordinary differential equation (ODE). This allows to make use of any discretization scheme suitable for the numerical integration of ODEs. For DAEs with symmetries it is shown that the inherent ODE can be constructed in such a way that it inherits the symmet…
▽ More
Discretization methods for differential-algebraic equations (DAEs) are considered that are based on the integration of an associated inherent ordinary differential equation (ODE). This allows to make use of any discretization scheme suitable for the numerical integration of ODEs. For DAEs with symmetries it is shown that the inherent ODE can be constructed in such a way that it inherits the symmetry properties of the given DAE and geometric properties of its flow. This in particular allows the use of geometric integration schemes with a numerical flow that has analogous geometric properties.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Hypocoercivity and hypocontractivity concepts for linear dynamical systems
Authors:
Franz Achleitner,
Anton Arnold,
Volker Mehrmann
Abstract:
For linear dynamical systems (in continuous-time and discrete-time) we revisit and extend the concepts of hypocoercivity and hypocontractivity and give a detailed analysis of the relations of these concepts to (asymptotic) stability, as well as (semi-)dissipativity and (semi-)contractivity, respectively. On the basis of these results, the short-time behavior of the propagator norm for linear conti…
▽ More
For linear dynamical systems (in continuous-time and discrete-time) we revisit and extend the concepts of hypocoercivity and hypocontractivity and give a detailed analysis of the relations of these concepts to (asymptotic) stability, as well as (semi-)dissipativity and (semi-)contractivity, respectively. On the basis of these results, the short-time behavior of the propagator norm for linear continuous-time and discrete-time systems is characterized by the (shifted) hypocoercivity index and the (scaled) hypocontractivity index, respectively.
△ Less
Submitted 11 January, 2023; v1 submitted 27 April, 2022;
originally announced April 2022.
-
A Lagrange subspace approach to dissipation inequalities
Authors:
Arjan van der Schaft,
Volker Mehrmann
Abstract:
The standard dissipation inequality for passivity is extended from storage functions to general Lagrange subspaces. This is shown to have some interesting consequences. A classical factorization result for passive systems is extended to this generalized case, making use of the newly defined concept of the Hamiltonian lift of a DAE system.
The standard dissipation inequality for passivity is extended from storage functions to general Lagrange subspaces. This is shown to have some interesting consequences. A classical factorization result for passive systems is extended to this generalized case, making use of the newly defined concept of the Hamiltonian lift of a DAE system.
△ Less
Submitted 25 March, 2022;
originally announced March 2022.
-
Adaptive Nonlinear Optimization of District Heating Networks Based on Model and Discretization Catalogs
Authors:
Hannes Dänschel,
Volker Mehrmann,
Marius Roland,
Martin Schmidt
Abstract:
We propose an adaptive optimization algorithm for operating district heating networks in a stationary regime. The behavior of hot water flow in the pipe network is modeled using the incompressible Euler equations and a suitably chosen energy equation. By applying different simplifications to these equations, we derive a catalog of models. Our algorithm is based on this catalog and adaptively contr…
▽ More
We propose an adaptive optimization algorithm for operating district heating networks in a stationary regime. The behavior of hot water flow in the pipe network is modeled using the incompressible Euler equations and a suitably chosen energy equation. By applying different simplifications to these equations, we derive a catalog of models. Our algorithm is based on this catalog and adaptively controls where in the network which model is used. Moreover, the granularity of the applied discretization is controlled in a similar adaptive manner. By doing so, we are able to obtain optimal solutions at low computational costs that satisfy a prescribed tolerance w.r.t. the most accurate modeling level. To adaptively control the switching between different levels and the adaptation of the discretization grids, we derive error measure formulas and a posteriori error measure estimators. Under reasonable assumptions we prove that the adaptive algorithm terminates after finitely many iterations. Our numerical results show that the algorithm is able to produce solutions for problem instances that have not been solvable before.
△ Less
Submitted 4 May, 2023; v1 submitted 28 January, 2022;
originally announced January 2022.
-
Control of port-Hamiltonian differential-algebraic systems and applications
Authors:
Volker Mehrmann,
Benjamin Unger
Abstract:
The modeling framework of port-Hamiltonian descriptor systems and their use in numerical simulation and control are discussed. The structure is ideal for automated network-based modeling since it is invariant under power-conserving interconnection, congruence transformations, and Galerkin projection. Moreover, stability and passivity properties are easily shown. Condensed forms under orthogonal tr…
▽ More
The modeling framework of port-Hamiltonian descriptor systems and their use in numerical simulation and control are discussed. The structure is ideal for automated network-based modeling since it is invariant under power-conserving interconnection, congruence transformations, and Galerkin projection. Moreover, stability and passivity properties are easily shown. Condensed forms under orthogonal transformations present easy analysis tools for existence, uniqueness, regularity, and numerical methods to check these properties.
After recalling the concepts for general linear and nonlinear descriptor systems, we demonstrate that many difficulties that arise in general descriptor systems can be easily overcome within the port-Hamiltonian framework. The properties of port-Hamiltonian descriptor systems are analyzed, time-discretization, and numerical linear algebra techniques are discussed. Structure-preserving regularization procedures for descriptor systems are presented to make them suitable for simulation and control. Model reduction techniques that preserve the structure and stabilization and optimal control techniques are discussed.
The properties of port-Hamiltonian descriptor systems and their use in modeling simulation and control methods are illustrated with several examples from different physical domains. The survey concludes with open problems and research topics that deserve further attention.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Port-Hamiltonian Realizations of Linear Time Invariant Systems
Authors:
Christopher Beattie,
Volker Mehrmann,
Hongguo Xu
Abstract:
The question when a general linear time invariant control system is equivalent to a port-Hamiltonian systems is answered. Several equivalent characterizations are derived which extend the characterizations of \cite{Wil72a} to the general non-minimal case. An explicit construction of the transformation matrices is presented. The methods are applied in the stability analysis of disc brake squeal.
The question when a general linear time invariant control system is equivalent to a port-Hamiltonian systems is answered. Several equivalent characterizations are derived which extend the characterizations of \cite{Wil72a} to the general non-minimal case. An explicit construction of the transformation matrices is presented. The methods are applied in the stability analysis of disc brake squeal.
△ Less
Submitted 14 January, 2022;
originally announced January 2022.
-
Local and global canonical forms for differential-algebraic equations with symmetries
Authors:
Peter Kunkel,
Volker Mehrmann
Abstract:
Linear time-varying differential-algebraic equations with symmetries are studied. The structures that we address are self-adjoint and skew-adjoint systems. Local and global canonical forms under congruence are presented and used to classify the geometric properties of the flow associated with the differential equation as symplectic or generalized orthogonal flow. As applications, the results are a…
▽ More
Linear time-varying differential-algebraic equations with symmetries are studied. The structures that we address are self-adjoint and skew-adjoint systems. Local and global canonical forms under congruence are presented and used to classify the geometric properties of the flow associated with the differential equation as symplectic or generalized orthogonal flow. As applications, the results are applied to the analysis of dissipative Hamiltonian systems arising from circuit simulation and incompressible flow.
△ Less
Submitted 6 January, 2022; v1 submitted 5 January, 2022;
originally announced January 2022.
-
On non-Hermitian positive (semi)definite linear algebraic systems arising from dissipative Hamiltonian DAEs
Authors:
Candan Güdücü,
Jörg Liesen,
Volker Mehrmann,
Daniel B. Szyld
Abstract:
We discuss different cases of dissipative Hamiltonian differential-algebraic equations and the linear algebraic systems that arise in their linearization or discretization. For each case we give examples from practical applications. An important feature of the linear algebraic systems is that the (non-Hermitian) system matrix has a positive definite or semidefinite Hermitian part. In the positive…
▽ More
We discuss different cases of dissipative Hamiltonian differential-algebraic equations and the linear algebraic systems that arise in their linearization or discretization. For each case we give examples from practical applications. An important feature of the linear algebraic systems is that the (non-Hermitian) system matrix has a positive definite or semidefinite Hermitian part. In the positive definite case we can solve the linear algebraic systems iteratively by Krylov subspace methods based on efficient three-term recurrences. We illustrate the performance of these iterative methods on several examples. The semidefinite case can be challenging and requires additional techniques to deal with "singular part", while the "positive definite part" can still be treated with the three-term recurrence methods.
△ Less
Submitted 4 August, 2022; v1 submitted 10 November, 2021;
originally announced November 2021.
-
Error Analysis of a Model Order Reduction Framework for Financial Risk Analysis
Authors:
Andreas Binder,
Onkar Jadhav,
Volker Mehrmann
Abstract:
A parametric model order reduction (MOR) approach for simulating the high dimensional models arising in financial risk analysis is proposed on the basis of the proper orthogonal decomposition (POD) approach to generate small model approximations for the high dimensional parametric convection-diffusion reaction partial differential equations (PDE). The proposed technique uses an adaptive greedy sam…
▽ More
A parametric model order reduction (MOR) approach for simulating the high dimensional models arising in financial risk analysis is proposed on the basis of the proper orthogonal decomposition (POD) approach to generate small model approximations for the high dimensional parametric convection-diffusion reaction partial differential equations (PDE). The proposed technique uses an adaptive greedy sampling approach based on surrogate modeling to efficiently locate the most relevant training parameters, thus generating the optimal reduced basis. The best suitable reduced model is procured such that the total error is less than a user-defined tolerance. The three major errors considered are the discretization error associated with the full model obtained by discretizing the PDE, the model order reduction error, and the parameter sampling error. The developed technique is analyzed, implemented, and tested on industrial data of a puttable steepener under the two-factor Hull-White model. The results illustrate that the reduced model provides a significant speedup with excellent accuracy over a full model approach, demonstrating its potential applications in the historical or Monte Carlo value at risk calculations.
△ Less
Submitted 2 October, 2021;
originally announced October 2021.
-
Computation of the nearest structured matrix triplet with common null space
Authors:
Nicola Guglielmi,
Volker Mehrmann
Abstract:
We study computational methods for computing the distance to singularity, the distance to the nearest high index problem, and the distance to instability for linear differential-algebraic systems (DAEs) with dissipative Hamiltonian structure. While for general unstructured DAEs the characterization of these distances is very difficult, and partially open, it has been recently shown that for dissip…
▽ More
We study computational methods for computing the distance to singularity, the distance to the nearest high index problem, and the distance to instability for linear differential-algebraic systems (DAEs) with dissipative Hamiltonian structure. While for general unstructured DAEs the characterization of these distances is very difficult, and partially open, it has been recently shown that for dissipative Hamiltonian systems and related matrix pencils there exist explicit characterizations. We will use these characterizations for the development of computational methods to compute these distances via methods that follow the flow of a differential equation converging to the smallest perturbation that destroys the property of regularity, index one or stability.
△ Less
Submitted 13 September, 2021;
originally announced September 2021.
-
Matrix pencils with coefficients that have positive semidefinite Hermitian part
Authors:
Christian Mehl,
Volker Mehrmann,
Michal Wojtylak
Abstract:
We analyze when an arbitrary matrix pencil is equivalent to a dissipative Hamiltonian pencil and show that this heavily restricts the spectral properties. In order to relax the spectral properties, we introduce matrix pencils with coefficients that have positive semidefinite Hermitian parts. We will make a detailed analysis of their spectral properties and their numerical range. In particular, we…
▽ More
We analyze when an arbitrary matrix pencil is equivalent to a dissipative Hamiltonian pencil and show that this heavily restricts the spectral properties. In order to relax the spectral properties, we introduce matrix pencils with coefficients that have positive semidefinite Hermitian parts. We will make a detailed analysis of their spectral properties and their numerical range. In particular, we relate the Kronecker structure of these pencils to that of an underlying skew-Hermitian pencil and discuss their regularity, index, numerical range, and location of eigenvalues. Further, we study matrix polynomials with positive semidefinite Hermitian coefficients and use linearizations with positive semidefinite Hermitian parts to derive sufficient conditions for a spectrum in the left half plane and derive bounds on the index.
△ Less
Submitted 20 October, 2021; v1 submitted 12 August, 2021;
originally announced August 2021.
-
Hypocoercivity and controllability in linear semi-dissipative Hamiltonian ODEs and DAEs
Authors:
Franz Achleitner,
Anton Arnold,
Volker Mehrmann
Abstract:
For the classes of finite dimensional linear time-invariant semi-dissipative Hamiltonian ordinary differential equations and differential-algebraic equations, stability and hypocoercivity are discussed and related to concepts from control theory. On the basis of staircase forms the solution behavior is characterized and connected to the hypocoercivity index of these evolution equations. The result…
▽ More
For the classes of finite dimensional linear time-invariant semi-dissipative Hamiltonian ordinary differential equations and differential-algebraic equations, stability and hypocoercivity are discussed and related to concepts from control theory. On the basis of staircase forms the solution behavior is characterized and connected to the hypocoercivity index of these evolution equations. The results are applied to two infinite dimensional flow problems.
△ Less
Submitted 27 August, 2021; v1 submitted 15 April, 2021;
originally announced April 2021.
-
The multiplex decomposition: An analytic framework for multilayer dynamical networks
Authors:
Rico Berner,
Volker Mehrmann,
Eckehard Schöll,
Serhiy Yanchuk
Abstract:
Multiplex networks are networks composed of multiple layers such that the number of nodes in all layers is the same and the adjacency matrices between the layers are diagonal. We consider the special class of multiplex networks where the adjacency matrices for each layer are simultaneously triagonalizable. For such networks, we derive the relation between the spectrum of the multiplex network and…
▽ More
Multiplex networks are networks composed of multiple layers such that the number of nodes in all layers is the same and the adjacency matrices between the layers are diagonal. We consider the special class of multiplex networks where the adjacency matrices for each layer are simultaneously triagonalizable. For such networks, we derive the relation between the spectrum of the multiplex network and the eigenvalues of the individual layers. As an application, we propose a generalized master stability approach that allows for a simplified, low-dimensional description of the stability of synchronized solutions in multiplex networks. We illustrate our result with a duplex network of FitzHugh-Nagumo oscillators. In particular, we show how interlayer interaction can lead to stabilization or destabilization of the synchronous state. Finally, we give explicit conditions for the stability of synchronous solutions in duplex networks of linear diffusive systems.
△ Less
Submitted 24 June, 2021; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Port-Hamiltonian formulations of poroelastic network models
Authors:
Robert Altmann,
Volker Mehrmann,
Benjamin Unger
Abstract:
We investigate an energy-based formulation of the two-field poroelasticity model and the related multiple-network model as they appear in geosciences or medical applications. We propose a port-Hamiltonian formulation of the system equations, which is beneficial for preserving important system properties after discretization or model-order reduction. For this, we include the commonly omitted second…
▽ More
We investigate an energy-based formulation of the two-field poroelasticity model and the related multiple-network model as they appear in geosciences or medical applications. We propose a port-Hamiltonian formulation of the system equations, which is beneficial for preserving important system properties after discretization or model-order reduction. For this, we include the commonly omitted second-order term and consider the corresponding first-order formulation. The port-Hamiltonian formulation of the quasi-static case is then obtained by (formally) setting the second-order term zero. Further, we interpret the poroelastic equations as an interconnection of a network of submodels with internal energies, adding a control-theoretic understanding of the poroelastic equations.
△ Less
Submitted 9 April, 2021; v1 submitted 3 December, 2020;
originally announced December 2020.
-
A two-level iterative scheme for general sparse linear systems based on approximate skew-symmetrizers
Authors:
Murat Manguoglu,
Volker Mehrmann
Abstract:
We propose a two-level iterative scheme for solving general sparse linear systems. The proposed scheme consists of a sparse preconditioner that increases the skew-symmetric part and makes the main diagonal of the coefficient matrix as close to the identity as possible. The preconditioned system is then solved via a particular Minimal Residual Method for Shifted Skew-Symmetric Systems (mrs). This l…
▽ More
We propose a two-level iterative scheme for solving general sparse linear systems. The proposed scheme consists of a sparse preconditioner that increases the skew-symmetric part and makes the main diagonal of the coefficient matrix as close to the identity as possible. The preconditioned system is then solved via a particular Minimal Residual Method for Shifted Skew-Symmetric Systems (mrs). This leads to a two-level (inner and outer) iterative scheme where the mrs has short term recurrences and satisfies an optimally condition. A preconditioner for the inner system is designed via a skew-symmetry preserving deflation strategy based on the skew-Lanczos process. We demonstrate the robustness of the proposed scheme on sparse matrices from various applications.
△ Less
Submitted 15 September, 2020;
originally announced September 2020.
-
Stability Assessment of Stochastic Differential-Algebraic Systems via Lyapunov Exponents with an Application to Power Systems
Authors:
Andrés González-Zumba,
Pedro Fernández-de-Córdoba,
Juan-Carlos Cortés,
Volker Mehrmann
Abstract:
In this paper we discuss Stochastic Differential-Algebraic Equations (SDAEs) and the asymptotic stability assessment for such systems via Lyapunov exponents (LEs). We focus on index-one SDAEs and their reformulation as ordinary stochastic differential equation (SDE). Via ergodic theory it is then feasible to analyze the LEs via the random dynamical system generated by the underlying SDE. Once the…
▽ More
In this paper we discuss Stochastic Differential-Algebraic Equations (SDAEs) and the asymptotic stability assessment for such systems via Lyapunov exponents (LEs). We focus on index-one SDAEs and their reformulation as ordinary stochastic differential equation (SDE). Via ergodic theory it is then feasible to analyze the LEs via the random dynamical system generated by the underlying SDE. Once the existence of well-defined LEs is guaranteed, we proceed to the use of numerical simulation techniques to determine the LEs numerically. Discrete and continuous $QR$ decomposition-based numerical methods are implemented to compute the fundamental solution matrix and to use it in the computation of the LEs. Important computational features of both methods are illustrated via numerical tests. Finally, the methods are applied to two applications from power systems engineering, including the single-machine infinite-bus (SMIB) power system model.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Structured backward errors for eigenvalues of linear port-Hamiltonian descriptor systems
Authors:
Volker Mehrmann,
Paul Van Dooren
Abstract:
When computing the eigenstructure of matrix pencils associated with the passivity analysis of perturbed port-Hamiltonian descriptor system using a structured generalized eigenvalue method, one should make sure that the computed spectrum satisfies the symmetries that corresponds to this structure and the underlying physical system. We perform a backward error analysis and show that for matrix penci…
▽ More
When computing the eigenstructure of matrix pencils associated with the passivity analysis of perturbed port-Hamiltonian descriptor system using a structured generalized eigenvalue method, one should make sure that the computed spectrum satisfies the symmetries that corresponds to this structure and the underlying physical system. We perform a backward error analysis and show that for matrix pencils associated with port-Hamiltonian descriptor systems and a given computed eigenstructure with the correct symmetry structure there always exists a nearby port-Hamiltonian descriptor system with exactly that eigenstructure. We also derive bounds for how near this system is and show that the stability radius of the system plays a role in that bound.
△ Less
Submitted 10 May, 2020;
originally announced May 2020.
-
Model order reduction for parametric high dimensional models in the analysis of financial risk
Authors:
Andreas Binder,
Onkar Jadhav,
Volker Mehrmann
Abstract:
This paper presents a model order reduction (MOR) approach for high dimensional problems in the analysis of financial risk. To understand the financial risks and possible outcomes, we have to perform several thousand simulations of the underlying product. These simulations are expensive and create a need for efficient computational performance. Thus, to tackle this problem, we establish a MOR appr…
▽ More
This paper presents a model order reduction (MOR) approach for high dimensional problems in the analysis of financial risk. To understand the financial risks and possible outcomes, we have to perform several thousand simulations of the underlying product. These simulations are expensive and create a need for efficient computational performance. Thus, to tackle this problem, we establish a MOR approach based on a proper orthogonal decomposition (POD) method. The study involves the computations of high dimensional parametric convection-diffusion reaction partial differential equations (PDEs). POD requires to solve the high dimensional model at some parameter values to generate a reduced-order basis. We propose an adaptive greedy sampling technique based on surrogate modeling for the selection of the sample parameter set that is analyzed, implemented, and tested on the industrial data. The results obtained for the numerical example of a floater with cap and floor under the Hull-White model indicate that the MOR approach works well for short-rate models.
△ Less
Submitted 6 July, 2020; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Distance problems for dissipative Hamiltonian systems and related matrix polynomials
Authors:
Christian Mehl,
Volker Mehrmann,
Michal Wojtylak
Abstract:
We study the characterization of several distance problems for linear differential-algebraic systems with dissipative Hamiltonian structure. Since all models are only approximations of reality and data are always inaccurate, it is an important question whether a given model is close to a 'bad' model that could be considered as ill-posed or singular. This is usually done by computing a distance to…
▽ More
We study the characterization of several distance problems for linear differential-algebraic systems with dissipative Hamiltonian structure. Since all models are only approximations of reality and data are always inaccurate, it is an important question whether a given model is close to a 'bad' model that could be considered as ill-posed or singular. This is usually done by computing a distance to the nearest model with such properties. We will discuss the distance to singularity and the distance to the nearest high index problem for dissipative Hamiltonian systems. While for general unstructured differential-algebraic systems the characterization of these distances are partially open problems, we will show that for dissipative Hamiltonian systems and related matrix polynomials there exist explicit characterizations that can be implemented numerically.
△ Less
Submitted 24 January, 2020;
originally announced January 2020.
-
Nonlinear Optimization of District Heating Networks
Authors:
Richard Krug,
Volker Mehrmann,
Martin Schmidt
Abstract:
We develop a complementarity-constrained nonlinear optimization model for the time-dependent control of district heating networks. The main physical aspects of water and heat flow in these networks are governed by nonlinear and hyperbolic 1d partial differential equations. In addition, a pooling-type mixing model is required at the nodes of the network to treat the mixing of different water temper…
▽ More
We develop a complementarity-constrained nonlinear optimization model for the time-dependent control of district heating networks. The main physical aspects of water and heat flow in these networks are governed by nonlinear and hyperbolic 1d partial differential equations. In addition, a pooling-type mixing model is required at the nodes of the network to treat the mixing of different water temperatures. This mixing model can be recast using suitable complementarity constraints. The resulting problem is a mathematical program with complementarity constraints subject to nonlinear partial differential equations describing the physics. In order to obtain a tractable problem, we apply suitable discretizations in space and time, resulting in a finite-dimensional optimization problem with complementarity constraints for which we develop a suitable reformulation with improved constraint regularity. Moreover, we propose an instantaneous control approach for the discretized problem, discuss practically relevant penalty formulations, and present preprocessing techniques that are used to simplify the mixing model at the nodes of the network. Finally, we use all these techniques to solve realistic instances. Our numerical results show the applicability of our techniques in practice.
△ Less
Submitted 21 April, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Structure-preserving Interpolatory Model Reduction for Port-Hamiltonian Differential-Algebraic Systems
Authors:
Chris A. Beattie,
Serkan Gugercin,
Volker Mehrmann
Abstract:
We examine interpolatory model reduction methods that are well-suited for treating large scale port-Hamiltonian differential-algebraic systems in a way that is able to preserve and indeed, take advantage of the underlying structural features of the system. We introduce approaches that incorporate regularization together with prudent selection of interpolation data. We focus on linear time-invarian…
▽ More
We examine interpolatory model reduction methods that are well-suited for treating large scale port-Hamiltonian differential-algebraic systems in a way that is able to preserve and indeed, take advantage of the underlying structural features of the system. We introduce approaches that incorporate regularization together with prudent selection of interpolation data. We focus on linear time-invariant systems and present a systematic treatment of a variety of model classes that include combinations of index-$1$ and index-$2$ systems, describing in particular how constraints may be represented in the transfer function and then preserved with interpolatory methods. We propose an algorithm to generate effective interpolation data and illustrate its effectiveness via two numerical examples.
△ Less
Submitted 1 November, 2021; v1 submitted 12 October, 2019;
originally announced October 2019.
-
Optimal robustness of passive discrete time systems
Authors:
Volker Mehrmann,
Paul Van Dooren
Abstract:
We construct optimally robust realizations of a given rational transfer function that represents a passive discrete-time system. We link it to the solution set of linear matrix inequalities defining passive transfer functions. We also consider the problem of finding the nearest passive system to a given non-passive one.
We construct optimally robust realizations of a given rational transfer function that represents a passive discrete-time system. We link it to the solution set of linear matrix inequalities defining passive transfer functions. We also consider the problem of finding the nearest passive system to a given non-passive one.
△ Less
Submitted 15 September, 2019;
originally announced September 2019.
-
Port-Hamiltonian modeling of district heating networks
Authors:
Sarah-Alexa Hauschild,
Nicole Marheineke,
Volker Mehrmann,
Jan Mohring,
Arbi Moses Badlyan,
Markus Rein,
Martin Schmidt
Abstract:
This paper provides a first contribution to port-Hamiltonian modeling of district heating networks. By introducing a model hierarchy of flow equations on the network, this work aims at a thermodynamically consistent port-Hamiltonian embedding of the partial differential-algebraic systems. We show that a spatially discretized network model describing the advection of the internal energy density wit…
▽ More
This paper provides a first contribution to port-Hamiltonian modeling of district heating networks. By introducing a model hierarchy of flow equations on the network, this work aims at a thermodynamically consistent port-Hamiltonian embedding of the partial differential-algebraic systems. We show that a spatially discretized network model describing the advection of the internal energy density with respect to an underlying incompressible stationary Euler-type hydrodynamics can be considered as a parameter-dependent finite-dimensional port-Hamiltonian system. Moreover, we present an infinite-dimensional port-Hamiltonian formulation for a compressible instationary thermodynamic fluid flow in a pipe. Based on these first promising results, we raise open questions and point out research perspectives concerning structure-preserving discretization, model reduction, and optimization.
△ Less
Submitted 4 September, 2019; v1 submitted 29 August, 2019;
originally announced August 2019.
-
Optimal robustness of port-Hamiltonian systems
Authors:
Volker Mehrmann,
Paul Van Dooren
Abstract:
We construct optimally robust port-Hamiltonian realizations of a given rational transfer function that represents a passive system. We show that the realization with a maximal passivity radius is a normalized port-Hamiltonian one. Its computation is linked to a particular solution of a linear matrix inequality that defines passivity of the transfer function, and we provide an algorithm to construc…
▽ More
We construct optimally robust port-Hamiltonian realizations of a given rational transfer function that represents a passive system. We show that the realization with a maximal passivity radius is a normalized port-Hamiltonian one. Its computation is linked to a particular solution of a linear matrix inequality that defines passivity of the transfer function, and we provide an algorithm to construct this optimal solution. We also consider the problem of finding the nearest passive system to a given non-passive one and provide a simple but suboptimal solution.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Computation of the analytic center of the solution set of the linear matrix inequality arising in continuous- and discrete-time passivity analysis
Authors:
Daniel Bankmann,
Volker Mehrmann,
Yurii Nesterov,
Paul Van Dooren
Abstract:
In this paper formulas are derived for the analytic center of the solution set of linear matrix inequalities (LMIs) defining passive transfer functions. The algebraic Riccati equations that are usually associated with such systems are related to boundary points of the convex set defined by the solution set of the LMI. It is shown that the analytic center is described by closely related matrix equa…
▽ More
In this paper formulas are derived for the analytic center of the solution set of linear matrix inequalities (LMIs) defining passive transfer functions. The algebraic Riccati equations that are usually associated with such systems are related to boundary points of the convex set defined by the solution set of the LMI. It is shown that the analytic center is described by closely related matrix equations, and their properties are analyzed for continuous- and discrete-time systems. Numerical methods are derived to solve these equations via steepest ascent and Newton-like methods. It is also shown that the analytic center has nice robustness properties when it is used to represent passive systems. The results are illustrated by numerical examples.
△ Less
Submitted 17 April, 2019;
originally announced April 2019.
-
Structure-preserving discretization for port-Hamiltonian descriptor systems
Authors:
Volker Mehrmann,
Riccardo Morandin
Abstract:
We extend the modeling framework of port-Hamiltonian descriptor systems to include under- and over-determined systems and arbitrary differentiable Hamiltonian functions. This structure is associated with a Dirac structure that encloses its energy balance properties. In particular, port-Hamiltonian systems are naturally passive and Lyapunov stable, because the Hamiltonian defines a Lyapunov functio…
▽ More
We extend the modeling framework of port-Hamiltonian descriptor systems to include under- and over-determined systems and arbitrary differentiable Hamiltonian functions. This structure is associated with a Dirac structure that encloses its energy balance properties. In particular, port-Hamiltonian systems are naturally passive and Lyapunov stable, because the Hamiltonian defines a Lyapunov function. The explicit representation of input and dissipation in the structure make these systems particularly suitable for output feedback control. It is shown that this structure is invariant under a wide class of nonlinear transformations, and that it can be naturally modularized, making it adequate for automated modeling. We investigate then the application of time-discretization schemes to these systems and we show that, under certain assumptions on the Hamiltonian, structure preservation is achieved for some methods. Numerical examples are provided.
△ Less
Submitted 25 March, 2019;
originally announced March 2019.
-
Numerical methods to compute a minimal realization of a port-Hamiltonian system
Authors:
Karim Cherifi,
Volker Mehrmann,
Kamel Hariche
Abstract:
Port-Hamiltonian (pH) systems are a very important modeling tool in almost all areas of systems and control, in particular in network based model of multi-physics multi-scale systems. They lead to remarkably robust models that can be easily interconnected. This paper discusses the derivation of pH models from time-domain input-output data. While a direct construction of pH models is still an open…
▽ More
Port-Hamiltonian (pH) systems are a very important modeling tool in almost all areas of systems and control, in particular in network based model of multi-physics multi-scale systems. They lead to remarkably robust models that can be easily interconnected. This paper discusses the derivation of pH models from time-domain input-output data. While a direct construction of pH models is still an open problem, we present three different indirect numerical methods for the realization of pH systems. The algorithms are implemented in MATLAB and their performance is illustrated via several numerical examples.
△ Less
Submitted 17 March, 2019;
originally announced March 2019.
-
Low rank perturbation of regular matrix pencils with symmetry structures
Authors:
Fernando De Terán,
Christian Mehl,
Volker Mehrmann
Abstract:
The generic change of the Weierstrass Canonical Form of regular complex structured matrix pencils under generic structure-preserving additive low-rank perturbations is studied. Several different symmetry structures are considered and it is shown that for most of the structures, the generic change in the eigenvalues is analogous to the case of generic perturbations that ignore the structure. Howeve…
▽ More
The generic change of the Weierstrass Canonical Form of regular complex structured matrix pencils under generic structure-preserving additive low-rank perturbations is studied. Several different symmetry structures are considered and it is shown that for most of the structures, the generic change in the eigenvalues is analogous to the case of generic perturbations that ignore the structure. However, for some odd/even and palindromic structures, there is a different behavior for the eigenvalues $0$ and $\infty$, respectively $+1$ and $-1$. The differences arise in those cases where the parity of the partial multiplicities in the perturbed pencil provided by the generic behavior in the general structure-ignoring case is not in accordance with the restrictions imposed by the structure. The new results extend results for the rank-$1$ and rank-$2$ cases that were obtained in [L. Batzke, Generic Low-Rank Perturbations of Structured Regular Matrix Pencils and Structured Matrices, PhD Thesis, TU Berlin, Berlin, Germany, 2015] and [L. Batzke, Generic rank-two perturbations of structured regular matrix pencils, Oper. Matrices,10:83-112, 2016] for the case of special structure-preserving perturbations. As the main tool, we use decompositions of matrix pencils with symmetry structure into sums of rank-one pencils, as those allow a parametrization of the set of matrix pencils with a given symmetry structure and a given rank.
△ Less
Submitted 1 February, 2019;
originally announced February 2019.
-
Model reduction techniques for linear constant coefficient port-Hamiltonian differential-algebraic systems
Authors:
Sarah-Alexa Hauschild,
Nicole Marheineke,
Volker Mehrmann
Abstract:
Port-based network modeling of multi-physics problems leads naturally to a formulation as port-Hamiltonian differential-algebraic system. In this way, the physical properties are directly encoded in the structure of the model. Since the state space dimension of such systems may be very large, in particular when the model is a space-discretized partial differential-algebraic system, in optimization…
▽ More
Port-based network modeling of multi-physics problems leads naturally to a formulation as port-Hamiltonian differential-algebraic system. In this way, the physical properties are directly encoded in the structure of the model. Since the state space dimension of such systems may be very large, in particular when the model is a space-discretized partial differential-algebraic system, in optimization and control there is a need for model reduction methods that preserve the port-Hamiltonian structure while kee** the (explicit and implicit) algebraic constraints unchanged. To combine model reduction for differential-algebraic equations with port-Hamiltonian structure preservation, we adapt two classes of techniques (reduction of the Dirac structure and moment matching) to handle port-Hamiltonian differential-algebraic equations. The performance of the methods is investigated for benchmark examples originating from semi-discretized flow problems and mechanical multibody systems.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Modeling and discretization methods for the numerical simulation of elastic stents
Authors:
Luka Grubisic,
Matko Ljulj,
Volker Mehrmann,
Josip Tambaca
Abstract:
A new model description for the numerical simulation of elastic stents is proposed. Based on the new formulation an inf-sup inequality for the finite element discretization is proved and the proof of the inf-sup inequality for the continuous problem is simplified. The new formulation also leads to faster simulation times despite an increased number of variables. The techniques also simplify the an…
▽ More
A new model description for the numerical simulation of elastic stents is proposed. Based on the new formulation an inf-sup inequality for the finite element discretization is proved and the proof of the inf-sup inequality for the continuous problem is simplified. The new formulation also leads to faster simulation times despite an increased number of variables. The techniques also simplify the analysis and numerical solution of the evolution problem describing the movement of the stent under external forces. The results are illustrated via numerical examples.
△ Less
Submitted 25 December, 2018;
originally announced December 2018.
-
Computation of Stability Radii for Large-Scale Dissipative Hamiltonian Systems
Authors:
Nicat Aliyev,
Volker Mehrmann,
Emre Mengi
Abstract:
A linear time-invariant dissipative Hamiltonian (DH) system x' = (J-R)Q x, with a skew-Hermitian J, an Hermitian positive semi-definite R, and an Hermitian positive definite Q, is always Lyapunov stable and under weak further conditions even asymptotically stable. In various applications there is uncertainty on the system matrices J, R, Q, and it is desirable to know whether the system remains asy…
▽ More
A linear time-invariant dissipative Hamiltonian (DH) system x' = (J-R)Q x, with a skew-Hermitian J, an Hermitian positive semi-definite R, and an Hermitian positive definite Q, is always Lyapunov stable and under weak further conditions even asymptotically stable. In various applications there is uncertainty on the system matrices J, R, Q, and it is desirable to know whether the system remains asymptotically stable uniformly against all possible uncertainties within a given perturbation set. Such robust stability considerations motivate the concept of stability radius for DH systems, i.e., what is the maximal perturbation permissible to the coefficients J, R, Q, while preserving the asymptotic stability. We consider two stability radii, the unstructured one where J, R, Q are subject to unstructured perturbation, and the structured one where the perturbations preserve the DH structure. We employ characterizations for these radii that have been derived recently in [SIAM J. Matrix Anal. Appl., 37, pp. 1625-1654, 2016] and propose new algorithms to compute these stability radii for large scale problems by tailoring subspace frameworks that are interpolatory and guaranteed to converge at a super-linear rate in theory. At every iteration, they first solve a reduced problem and then expand the subspaces in order to attain certain Hermite interpolation properties between the full and reduced problems. The reduced problems are solved by means of the adaptations of existing level-set algorithms for H-infinity norm computation in the unstructured case, while, for the structured radii, we benefit from algorithms that approximate the objective eigenvalue function with a piece-wise quadratic global underestimator. The performance of the new approaches is illustrated with several examples including a system that arises from a finite-element modeling of an industrial disk brake.
△ Less
Submitted 2 September, 2018; v1 submitted 10 August, 2018;
originally announced August 2018.