Searcharxiv⌕ Search

arXiv subjects

Timo Reis

Publications and source records attributed to Timo Reis.

At least 37 records · Page 2Linked to original sources
arXiv2024

Linear-quadratic optimal control for abstract differential-algebraic equations

In this paper, we extend a classical approach to linear quadratic (LQ) optimal control via Popov operators to abstract linear differential-algebraic equations (ADAEs) in Hilbert spaces. To ensure existence of solutions, we assume that the underlying differential-algebraic equation has index one in the pseudo-resolvent sense. This leads to the existence of a degenerate semigroup that can be used to define a Popov operator for our system. It is shown that under a suitable coercivity assumption for the Popov operator the optimal costs can be described by a bounded Riccati operator and that the optimal control input is of feedback form. Furthermore, we characterize exponential stability of ADAEs which is required to solve the infinite horizon LQ problem.

math.OC↗
arXiv2024

Index concepts for linear differential-algebraic equations in finite and infinite dimensions

Different index concepts for linear differential-algebraic equations are defined in the general Banach space setting, and compared. For regular finite-dimensional linear differential-algebraic equations, all these indices exist and are equivalent. For infinite-dimensional systems, the situation is more complex. It is proven that although some indices imply others, in general they are not equivalent. The situation is illustrated with a number of examples.

math.DS↗
arXiv2023

Experimental validation for the combination of funnel control with a feedforward control strategy

Current engineering design trends, such as light-weight machines and humanmachine-interaction, often lead to underactuated systems. Output trajectory tracking of such systems is a challenging control problem. Here, we use a twodesign-degree of freedom control approach by combining funnel feedback control with feedforward control based on servo-constraints. We present experimental results to verify the approach and demonstrate that the addition of a feedforward controller mitigates drawbacks of the funnel controller. We also present new experimental results for the real-time implementation of a feedforward controller based on servo-constraints on a minimum phase system.

math.OC↗
arXiv2023

A pseudo-resolvent approach to abstract differential-algebraic equations

We study linear abstract differential-algebraic equations (ADAEs), and we introduce an index concept which is based on polynomial growth of a~pseudo-resolvent. Our approach to solvability analysis is based on degenerate semigroups. We apply our results to some examples such as distributed circuit elements, and a system obtained by heat-wave coupling.

math.FA↗
arXiv2023

Port-Hamiltonian formulation of Oseen flows

We present Oseen equations on Lipschitz domains in a port-Hamiltonian context. Such equations arise, for instance, by linearization of the Navier-Stokes equations. In our setup, the external port consists of the boundary traces of velocity and the normal component of the stress tensor, and boundary control is imposed by velocity and normal stress tensor prescription at disjoint parts of the boundary. We employ the recently developed theory of port-Hamiltonian system nodes for our formulation. An illustration is provided by means of flow through a cylinder.

math.AP↗
arXiv2023

Infinite-dimensional port-Hamiltonian systems -- a system node approach

We consider an operator-theoretic approach to linear infinite-dimensional port-Hamiltonian systems. In particular, we use the theory of system nodes by Staffans to formulate a~suitable concept for port-Hamiltonian systems, which allows a unifying approach to systems with boundary as well as distributed control and observation. The concept presented in this article is further neither limited to parabolic nor hyperbolic systems, and it also covers partial differential equations on multi-dimensional spatial domains. Our presented theory is substantiated by means of several physical examples.

math.AP↗
arXiv2023

Port-Hamiltonian Systems Modelling in Electrical Engineering

The port-Hamiltonian modelling framework allows for models that preserve essential physical properties such as energy conservation or dissipative inequalities. If all subsystems are modelled as port-Hamiltonian systems and the inputs are related to the output in a linear manner, the overall system can be modelled as a port-Hamiltonian system (PHS), too, which preserves the properties of the underlying subsystems. If the coupling is given by a skew-symmetric matrix, as usual in many applications, the overall system can be easily derived from the subsystems without the need of introducing dummy variables and therefore artificially increasing the complexity of the system. Hence the PHS framework is especially suitable for modelling multi-physical systems. In this paper, we show that port-Hamiltonian systems are a natural generalization of Hamiltonian systems, define coupled port-Hamiltonian systems as ordinary and differential-algebraic equations. To highlight the suitability for electrical engineering applications, we derive PHS models for MNA network equations, electromagnetic devices and coupled systems thereof.

math.NA↗
arXiv2022

Operator Splitting Based Dynamic Iteration for Linear Port-Hamiltonian Systems

A dynamic iteration scheme for linear differential-algebraic port-Hamil\-tonian systems based on Lions-Mercier-type operator splitting methods is developed. The dynamic iteration is monotone in the sense that the error is decreasing and no stability conditions are required. The developed iteration scheme is even new for linear port-Hamiltonian systems. The obtained algorithm is applied to multibody systems and electrical networks.

math.NA↗
arXiv2022

Passivity, Port-Hamiltonian Formulation and Solution Estimates for a Coupled Magneto-Quasistatic System

We study a~quasilinear coupled magneto-quasistatic model from a~systems theoretic perspective.} First, by taking the injected voltages as input and the associated currents as output, we prove that the magneto-quasistatic system is passive. Moreover, by defining suitable Dirac and resistive structures, we show that it admits a~representation as a~port-Hamiltonian system. Thereafter, we consider dependence on initial and input data. We show that the current and the magnetic vector potential can be estimated by means of the initial magnetic vector potential and the voltage. We also analyse the free dynamics of the system and study the asymptotic behavior of the solutions for $t\to\infty$.

math.AP↗
arXiv2022

Analysis of a quasilinear coupled magneto-quasistatic model: solvability and regularity of solutions

We consider a~quasilinear model arising from dynamical magnetization. This model is described by a~magneto-quasistatic (MQS) approximation of Maxwell's equations. Assuming that the medium consists of a~conducting and a~non-conducting part, the derivative with respect to time is not fully entering, whence the system can be described by an abstract differential-algebraic equation. Furthermore, via magnetic induction, the system is coupled with an equation which contains the induced electrical currents along the associated voltages, which form the input of the system. The aim of this paper is to study well-posedness of the coupled MQS system and regularity of its solutions. Thereby, we rely on the classical theory of gradient systems on Hilbert spaces combined with the concept of $\mathcal{E}$-subgradients using in particular the magnetic energy. The coupled MQS system precisely fits into this general framework.

math.AP↗
arXiv2022

Structure-Preserving Model Reduction for Dissipative Mechanical Systems

Suppressing vibrations in mechanical systems, usually described by second-order dynamical models, is a challenging task in mechanical engineering in terms of computational resources even nowadays. One remedy is structure-preserving model order reduction to construct easy-to-evaluate surrogates for the original dynamical system having the same structure. In our work, we present an overview of recently developed structure-preserving model reduction methods for second-order systems. These methods are based on modal and balanced truncation in different variants, as well as on rational interpolation. Numerical examples are used to illustrate the effectiveness of all described methods.

math.OC↗
arXiv2021

Tracking control for underactuated non-minimum phase multibody systems

We consider tracking control for multibody systems which are modelled using holonomic and nonholonomic constraints. Furthermore, the systems may be underactuated and contain kinematic loops and are thus described by a set of differential-algebraic equations that cannot be reformulated as ordinary differential equations in general. We propose a control strategy which combines a feedforward controller based on the servo-constraints approach with a feedback controller based on a recent funnel control design. As an important tool for both approaches we present a new procedure to derive the internal dynamics of a multibody system. Furthermore, we present a feasible set of coordinates for the internal dynamics avoiding the effort involved with the computation of the Byrnes-Isidori form. The control design is demonstrated by a simulation for a nonlinear non-minimum phase multi-input, multi-output robotic manipulator with kinematic loop.

math.OC↗
arXiv2021

Funnel control for the monodomain equations with the FitzHugh-Nagumo model

We consider a nonlinear reaction diffusion system of parabolic type known as the monodomain equations, which model the interaction of the electric current in a cell. Together with the FitzHugh-Nagumo model for the nonlinearity they represent defibrillation processes of the human heart. We study a fairly general type with co-located inputs and outputs describing both boundary and distributed control and observation. The control objective is output trajectory tracking with prescribed performance. To achieve this we employ the funnel controller, which is model-free and of low complexity. The controller introduces a nonlinear and time-varying term in the closed-loop system, for which we prove existence and uniqueness of solutions. Additionally, exploiting the parabolic nature of the problem, we obtain Hölder continuity of the state, inputs and outputs. We illustrate our results by a simulation of a standard test example for the termination of reentry waves.

math.OC↗
arXiv2020

A linear relation approach to port-Hamiltonian differential-algebraic equations

We consider linear port-Hamiltonian differential-algebraic equations (pH-DAEs). Inspired by the geometric approach of Maschke and van der Schaft and the linear algebraic approach of Mehl, Mehrmann and Wojtylak, we present another view by using the theory of linear relations. We show that this allows to elaborate the differences and mutualities of the geometric and linear algebraic views, and we introduce a class of DAEs which comprises these two approaches. We further study the properties of matrix pencils arising from our approach via linear relations.

math.FA↗
arXiv2020

Balanced truncation model reduction for symmetric second order systems -- A passivity-based approach

We introduce a model reduction approach for linear time-invariant second order systems based on positive real balanced truncation. Our method guarantees asymptotic stability and passivity of the reduced order model as well as the positive definiteness of the mass and stiffness matrices. Moreover, we receive an a priori gap metric error bound. Finally, we show that our method based on positive real balanced truncation preserves the structure of overdamped second order systems.

math.NA↗
arXiv2020

Funnel control for boundary control systems

We study a nonlinear, non-autonomous feedback controller applied to boundary control systems. Our aim is to track a given reference signal with prescribed performance. Existence and uniqueness of solutions to the resulting closed-loop system is proved by using nonlinear operator theory. We apply our results to both hyperbolic and parabolic equations.

math.OC↗
arXiv2020

Dynamic iteration schemes and port-Hamiltonian formulation in coupled DAE circuit simulation

Electric circuits are usually described by charge- and flux-oriented modified nodal analysis. In this paper, we derive models as port-Hamiltonian systems on several levels: overall systems, multiply coupled systems and systems within dynamic iteration procedures. To this end, we introduce new classes of port-Hamiltonian differential-algebraic equations. Thereby, we additionally allow for nonlinear dissipation on a subspace of the state space. Both, each subsystem and the overall system, possess a port-Hamiltonian structure. A structural analysis is performed for the new setups. Dynamic iteration schemes are investigated and we show that the Jacobi approach as well as an adapted Gauss-Seidel approach lead to port-Hamiltonian differential-algebraic equations.

math.NA↗