arXiv Science⌕ Search

arXiv subjects

Timo Reis

Publications and source records attributed to Timo Reis.

At least 19 recordsLinked to original sources

Dissipative Hamiltonian representations of linear evolution equations

We investigate explicit and implicit dissipative Hamiltonian representations of generators of strongly continuous semigroups on real or complex Hilbert spaces. For a prescribed positive definite selfadjoint energy operator $H$ satisfying $\operatorname{dom}(A)\subset\operatorname{dom}(H)$, we show that the Lyapunov dissipation inequality is equivalent to an exact factorization $A=DH$, where $D$ can be chosen maximally dissipative. For bounded $H$, the criterion also yields an implicit representation. We further study energy constructions based on closed intertwiners and output trajectories, distinguishing contractive energy-space dynamics from operator factorizations on the original state space. Examples illustrate the roles of noncoercivity, unboundedness, and domain compatibility.

math.FA↗

Abstract second-order boundary control systems

Many physical systems, such as vibrating elastic bodies, acoustic media and electromagnetic fields, are governed by second-order evolution equations $\ddot x+D\dot x+Sx=0$ and interact with their environment through their boundary. The classical analysis via the operator matrix $\mathcal{A}=\left[\begin{smallmatrix}0&I\\-S&-D\end{smallmatrix}\right]$ requires $S$ to be self-adjoint, which typically fixes a boundary condition a priori and thus excludes boundary control. We therefore use $S$ only to define the energy space and govern the dynamics by a maximal operator $S_{\max}\supset S$ whose domain carries no boundary condition. Based on a factorization $S=A^*A$, we construct a boundary triplet for the associated operator matrix and define boundary inputs and outputs of Robin type, parametrized by an operator $P$ on the boundary space. We show that the resulting system is impedance passive and internally well-posed if $P$ is a contraction, and that for $D=0$ this covers all boundary conditions under which the free dynamics generate a contraction semigroup. Moreover, we show that the position-momentum formulation (e.g., $\left[\begin{smallmatrix}0&I\\Δ&0\end{smallmatrix}\right]$ for the wave equation) and the strain-momentum formulation (e.g., $\left[\begin{smallmatrix}0&\nabla\\\operatorname{div}&0\end{smallmatrix}\right]$) describe the same open system, including its boundary inputs and outputs. We illustrate our results by an $n$-dimensional wave equation and Maxwell's equations.

math.AP↗

Safety-constrained position tracking of a flexible transmission system

We consider safety-constrained position tracking for a flexible transmission system consisting of a torsional shaft driven by a motor and connected to a gravitationally loaded inertia. The coupled PDE-ODE dynamics admit a semilinear formulation in which the linear input-output system is impedance passive and the gravitational torque enters as a bounded, globally Lipschitz perturbation. We establish an energy dissipation inequality for the nonlinear model and show that a position-funnel controller with supervised damping admits a unique global closed-loop trajectory. In particular, the motor-angle tracking error remains strictly inside a prescribed time-varying funnel, which can be chosen to enforce safety bounds on the motor angle.

math.OC↗

Analysis and funnel control for nonlinear drill strings

We study the output tracking problem for a vertically driven drill string system described by a nonlinear boundary-coupled PDE-ODE model. Solvability analysis of the drill string model is achieved by first casting the model in an abstract boundary value problem involving set-valued operators on an appropriate Hilbert space. The governing equation here consists of evolution and the damping part. Existence of solutions is established within the framework of maximal monotone operators where one first proves that the evolution operator is a linear skew-adjoint operator and the distributed damping term is a Nemytskii relation which is then proven to be maximal monotone. Maximal monotonicity of the combined operator is then a consequence of Rockafellar's theorem. Furthermore, we propose a novel funnel control design that ensures the angular velocity of the drill bit follows a dynamically adjusted reference trajectory, while the tracking error remains confined within a pre-specified performance funnel. The reference adjustment mechanism adapts in response to large wave traveling times that may cause performance degradation. The corresponding feasibility result is illustrated by some simulations.

math.OC↗

A Newton--Kleinman Iteration for Infinite-Dimensional Linear-Quadratic Optimal Control

We develop a Newton--Kleinman iteration for linear-quadratic optimal control of infinite-dimensional systems with possibly unbounded control and observation operators. In this setting, the classical algebraic Riccati equation need not be meaningful and therefore cannot serve as the basis of the iteration. We instead linearize a Lur'e identity formulated directly on the system-node domain. Starting from any stabilizing feedback, the resulting iteration is well defined, preserves stability, and yields a monotonically decreasing sequence of cost operators. A resolvent-based normalization makes the construction applicable to unbounded control. Under finite-cost detectability and for a finite-dimensional input space, the iterates converge strongly to the optimal value operator, independently of the fixed normalization parameter. In finite dimensions, the natural zero-state normalization recovers exactly the classical Newton--Kleinman iteration. The formulation leads to a low-rank numerical realization based on shifted system solves and inversions on the input space. We illustrate the method on a linearized cylinder wake with boundary traction control and unbounded observation, using one Newton--Kleinman update per adaptively refined spatial mesh, and on a damped linear elasticity problem with boundary traction control and boundary displacement observation.

math.OC↗

Operator-ADI balanced truncation of delay differential systems

We develop a balanced truncation method for linear delay differential systems based on a finite-rank alternating-direction implicit (ADI) iteration for the associated operator Lyapunov equations. The method acts directly on the infinite-dimensional history-state realization and does not discretize the delay interval during Gramian approximation or balancing. The finite-rank reachability and observability factors are represented exactly in Takenaka--Malmquist coordinates, reducing the required computations to finite-dimensional linear algebra. These factors yield a finite-dimensional, delay-free reduced model. For real system data, the implementation remains in real arithmetic. Under suitable conditions on the ADI shifts and a gap in the Hankel singular values, we prove convergence in $\mathcal H_\infty$ to the reduced transfer function obtained by exact balanced truncation of the infinite-dimensional system. The construction extends to finitely many discrete delays. Numerical experiments validate the method against independent reference computations. The complete MATLAB implementation used in the experiments is provided as supplementary material.

math.NA↗

Prescribed-performance position tracking for infinite-dimensional passive systems

We study funnel control for linear infinite-dimensional passive systems whose controlled output is obtained by integrating the passive output. In mechanical applications, this corresponds to position control based on a measured passive velocity output. Within the system-node framework, we propose a nonlinear recursive funnel controller with a dynamic gain supervisor for systems with distributed or boundary control and observation. The supervisor automatically increases a damping gain whenever the normalized recursive error approaches a prescribed monitoring level. The controller uses the tracking error and its derivative, with the latter obtained directly from the passive output rather than by numerical differentiation. We prove global existence and uniqueness of the closed-loop trajectory, prescribed funnel performance, and global boundedness of the derivative tracking error and the passive output. Under an additional position-compatible strict dissipativity condition, the supervised gain is increased only finitely many times and eventually becomes constant. Consequently, the gain, the internal state, and the control input are globally bounded, and the recursive-error funnel margin is uniform in time. The results are illustrated by a boundary-actuated Euler-Bernoulli beam with uniformly positive distributed damping.

math.OC↗

Well-posedness and passivity for a class of bilinear control systems

We study an abstract class of bilinear infinite-dimensional systems that arises in various applications, including district heating systems and quantum control. First, we analyze the existence of mild and classical solutions for abstract bilinear systems with admissible input operators in Banach spaces and study continuous dependence on the data. When the underlying space is a Hilbert space, these results are used to show passivity for a suitably defined co-located output and for mild solutions. The results are applied to the bilinear Schrödinger equation, the Fokker--Planck equation, and a district heating or cooling pipe.

math.AP↗

Analysis of a coupled magneto-quasistatic--mechanical model of an eddy current brake

We study a coupled magneto-quasistatic model for an eddy current brake. The model leads to a nonlinear infinite-dimensional differential-algebraic system in which the nonlinearity is structural rather than caused by nonlinear material laws. It is generated by the closed electromechanical feedback loop: the angular momentum determines the velocity of the conducting disk, the velocity and the magnetic field generate motional eddy currents, and these currents induce a Lorentz torque acting back on the rotor. We introduce a finite-dissipation solution concept and prove global existence and uniqueness of weak solutions for initial data given by the magnetic field and the angular momentum, and for inputs given by the supplied coil current and the externally applied torque.

math.AP↗

Port-Hamiltonian modelling of coupled rigid/flexible multibody systems

We develop a port-Hamiltonian framework for coupled rigid/flexible multibody systems. The rigid dynamics may be nonlinear and subject to configuration and velocity constraints, while the flexible components are described by linear port-Hamiltonian partial differential equations on one-dimensional spatial domains. The subsystems interact through boundary or distributed ports. On the flexible side, the differential operator and its domain remain fixed, whereas state dependence enters only through finite-dimensional coupling components of the Dirac structure. We show that, under a natural surjectivity condition, the port-Hamiltonian interconnection with a modulated Dirac structure of a finite-dimensional rigid subsystem again yields a modulated Dirac structure. The Hamiltonians of the subsystems add, while the internal coupling powers cancel. The framework is illustrated by a planar moving Euler--Bernoulli beam and a slider--crank mechanism with a flexible connecting member.

math.DS↗

The modulating function method for state estimation and feedback of infinite-dimensional systems

We investigate state feedback and observation for infinite-dimensional linear systems, including a variety of partial differential equations with boundary control and observation. We extend the modulating function approach to infinite-dimensional systems. This approach, simply put, involves reconstructing part of the state by convolving with null controls of the adjoint system. We show how this method aids in state reconstruction, and we also examine distributional solutions of the adjoint system, showing their ability to handle unbounded feedback operators. This enables us to use feedback from spatial point evaluations in partial differential equations.

math.OC↗

Optimal control of infinite-dimensional dissipative systems

We study the linear-quadratic optimal control problem for infinite-dimensional dissipative systems with possibly indefinite cost functional. Under the assumption that a storage function exists, we show that this indefinite optimal control problem is equivalent to a linear-quadratic optimal control problem with a nonnegative cost functional. We establish the relationship between the corresponding value functions and present the associated operator Lur'e equation. Finally, we illustrate our results with several examples.

math.OC↗

Differential algebraic system nodes

Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints. Extrapolation spaces are investigated for differential-algebraic equations, and solutions of the extrapolated DAE are characterized using augmented Wong sequences. The resulting theory is then applied to characterize infinite-dimensional port-Hamiltonian DAEs.

math.AP↗

Analysis of coupled Maxwell-cable problems

Building on the recently published work "Modeling of radiating curved cables via coupled telegrapher's and Maxwell's equations", which introduces a model for the interaction between electromagnetic fields and radiating (possibly curved) cables, we analyze the qualitative properties of the resulting dynamical system. The model features inputs and outputs given by the currents and voltages at the cable ends, while the state comprises the corresponding distributions along the cables and the electromagnetic fields in the surrounding domain. We show that the autonomous dynamics (i.e., with zero input) generate a strongly continuous semigroup and establish sufficient conditions for well-posedness, meaning continuous dependence of the state and output trajectories on the inputs and initial conditions.

math.AP↗

Funnel control for passive infinite-dimensional systems

We consider funnel control for linear infinite-dimensional systems that are impedance passive, meaning that they satisfy an energy balance in which the stored energy equals the squared norm of the state and the supplied power is the inner product of input and output. For the analysis we employ the system node approach, which offers a unified framework for infinite-dimensional systems with boundary and distributed control and observation. The resulting closed-loop dynamics are governed by a nonlinear evolution equation; we establish its solvability and hence the applicability of funnel control to this class. The applicability is illustrated by an Euler-Bernoulli beam, which is studied in two distinct scenarios: once with boundary control and once with distributed control.

math.OC↗

Weak solutions of port-Hamiltonian systems

We consider port-Hamiltonian systems from a geometric perspective, where the quantities involved such as state, flows, and efforts evolve in (possibly infinite-dimensional) Banach spaces. The main contribution of this article is the introduction of a weak solution concept. In this framework we show that the derivative of the state naturally lives in a space that, for ordinary evolution equations, plays the role of an extrapolation space. Through examples, we demonstrate that this approach is consistent with the weak solution framework commonly used for partial differential equations.

math.DS↗

Modeling of radiating curved cables via coupled telegrapher's and Maxwell's equations

We investigate the electromagnetic interactions of cable harnesses in the time domain. We present a novel model that allows for curved cables, extending the standard assumptions typically made in transmission line modeling. The cables are described by the telegrapher's equations, the classical model for transmission lines, driven by input signals implemented through appropriate boundary conditions, such as imposed voltages at cable ends. The cables interact via electromagnetic radiation; the latter is determined by Maxwell's equations. This interaction is incorporated into the model through boundary conditions imposed on the electromagnetic field. The resulting coupling between the transmission lines and Maxwell's equations is energetically consistent. In particular, we show that the coupled system satisfies a global power balance.

math.AP↗

Integrated Semigroups for abstract differential-algebraic equations

We study integrated semigroups for infinite-dimensional differential-algebraic equations (DAEs) admitting a resolvent index. Building on the notion of integrated semigroups for the abstract Cauchy problem $\frac{d}{d t}x=Ax$, we extend this concept to the DAE setting. The resulting framework is used to analyze inhomogeneous DAEs and plays a central role in characterizing their solutions.

math.FA↗