Karl Kunisch’s research while affiliated with University of Graz and other places

What is this page?


This page lists works of an author who doesn't have a ResearchGate profile or hasn't added the works to their profile yet. It is automatically generated from public (personal) data to further our legitimate goal of comprehensive and accurate scientific recordkeeping. If you are this author and want this page removed, please let us know.

Publications (35)


Frequency-domain criterion on the stabilizability for infinite-dimensional linear control systems
  • Article

February 2025

·

32 Reads

Journal de Mathématiques Pures et Appliquées

Karl Kunisch

·

·



Frequency-domain criterion on the stabilizability for infinite-dimensional linear control systems
  • Preprint
  • File available

August 2023

·

89 Reads

A quantitative frequency-domain condition related to the exponential stabilizability for infinite-dimensional linear control systems is presented. It is proven that this condition is necessary and sufficient for the stabilizability of special systems, while it is a necessary condition for the stabilizability in general. Applications are provided.

Download


Fig. 7: Four-chamber examples. From left to right: Reference frame with marked slice, compact representation of full dynamics (ground truth), of cardiac dynamics (ground truth and reconstruction) and of respiratory dynamics (ground truth and reconstruction).
Latent-Space Disentanglement with Untrained Generator Networks for the Isolation of Different Motion Types in Video Data

May 2023

·

66 Reads

·

1 Citation

Lecture Notes in Computer Science

Isolating different types of motion in video data is a highly relevant problem in video analysis. Applications can be found, for example, in dynamic medical or biological imaging, where the analysis and further processing of the dynamics of interest is often complicated by additional, unwanted dynamics, such as motion of the measurement subject. In this work, it is empirically shown that a representation of video data via untrained generator networks, together with a specific technique for latent space disentanglement that uses minimal, one-dimensional information on some of the underlying dynamics, allows to efficiently isolate different, highly non-linear motion types. In particular, such a representation allows to freeze any selection of motion types, and to obtain accurate independent representations of other dynamics of interest. Obtaining such a representation does not require any pre-training on a training data set, i.e., all parameters of the generator network are learned directly from a single video.KeywordsIsolation of motiongenerator networksdeep image priorlatent-space disentanglementmagnetic resonance imaging


Nonlinear motion separation via untrained generator networks with disentangled latent space variables and applications to cardiac MRI

May 2022

·

122 Reads

In this paper, a nonlinear approach to separate different motion types in video data is proposed. This is particularly relevant in dynamic medical imaging (e.g. PET, MRI), where patient motion poses a significant challenge due to its effects on the image reconstruction as well as for its subsequent interpretation. Here, a new method is proposed where dynamic images are represented as the forward mapping of a sequence of latent variables via a generator neural network. The latent variables are structured so that temporal variations in the data are represented via dynamic latent variables, which are independent of static latent variables characterizing the general structure of the frames. In particular, different kinds of motion are also characterized independently of each other via latent space disentanglement using one-dimensional prior information on all but one of the motion types. This representation allows to freeze any selection of motion types, and to obtain accurate independent representations of other dynamics of interest. Moreover, the proposed algorithm is training-free, i.e., all the network parameters are learned directly from a single video. We illustrate the performance of this method on phantom and real-data MRI examples, where we successfully separate respiratory and cardiac motion.


Well-posedness of evolutionary Navier-Stokes equations with forces of low regularity on two-dimensional domains

May 2021

·

61 Reads

·

6 Citations

ESAIM Control Optimisation and Calculus of Variations

Existence and uniqueness of solutions to the Navier-Stokes equation in dimension two with forces in the space L^q( (0,T); \bWmop) for p and q in appropriate parameter ranges are proven. The case of spatially measured-valued inhomogeneities is included. For the associated Stokes equation the well-posedness results are verified in arbitrary dimensions with 1<p,q<1 < p, q < \infty arbitrary.



Analysis of a Nonlinear Fluid-Structure Interaction Model with Mechanical Dissipation and Delay

November 2019

·

46 Reads

·

8 Citations

A fluid-structure interaction model with discrete and distributed delays in the structural damping is studied. The fluid and structure dynamics are governed by the Navier-Stokes and linear elasticity equations, respectively. Due to the presence of delay, a crucial ingredient of the weak formulation is the use of hidden boundary regularity for transport equations. In two space dimension, it is shown that weak solutions are unique. For smooth and compatible data, we establish the existence of the pressure and by applying micro-local analysis, further regularity of the solutions are available. Finally, the exponential stability of the system is obtained through an appropriate Lyapunov functional.


Figure 1: Geometry and non uniform grid.
Figure 2: Steady and turbulent flow for parabolic inflow.
Feedback Stabilization of the Two-Dimensional Navier-Stokes Equations by Value Function Approximation

February 2019

·

100 Reads

The value function associated with an optimal control problem subject to the Navier-Stokes equations in dimension two is analyzed. Its smoothness is established around a steady state, moreover, its derivatives are shown to satisfy a Riccati equation at the order two and generalized Lyapunov equations at the higher orders. An approximation of the optimal feedback law is then derived from the Taylor expansion of the value function. A convergence rate for the resulting controls and closed-loop systems is demonstrated.


Citations (28)


... In particular a lack of equivalence with the stochastic interpretation is shown. In [8] a proof of well-posedness is given that drops the assumption of global Lipschitz continuity and in turn yields local results and [7] proposes a numerical realization based on a polynomial approximation of the value function. ...

Reference:

Local well-posedness of the minimum energy estimator for a defocusing cubic wave equation
Numerical Realization of the Mortensen Observer via a Hessian-Augmented Polynomial Approximation of the Value Function
  • Citing Article
  • January 2025

SIAM Journal on Scientific Computing

... mean field games with multiple solutions [7], or mean-field game models for systemic risk [89]. Moreover, the impact of the proposed methodology expands well beyond the realm of physical multiagent systems to problems in computational statistics, where there is interest in accelerating convergence to the target distribution for Fokker-Planck dynamics in applications related to sampling from probability measures in high dimensions [27,28,90]. ...

Improving the Convergence Rates for the Kinetic Fokker–Planck Equation by Optimal Control
  • Citing Article
  • June 2023

SIAM Journal on Control and Optimization

... For instance, if f ∈ L 1 ((0, T ); L 2 (Ω; R 2 )) + L 2 ((0, T ); W −1,2 (Ω; R 2 )) then for any sufficiently regular v 0 there exists a unique so-called strong solution v of (1.1) with v(·, 0) = v 0 inter alia belonging to L 4 (Ω × (0, T ); R 2 ) [30, Theorem 4.2.1], and further well-posedness results for f ∈ L r ((0, T ); W −1,q (Ω; R 2 )) have been obtained in [3] for other choices of r and q as well. Moreover, [44, Proposition 1.1 and Proposition 1 .3] ...

Well-posedness of evolutionary Navier-Stokes equations with forces of low regularity on two-dimensional domains

ESAIM Control Optimisation and Calculus of Variations

... While traditional methods like those in [62] and [63] emphasize computational efficiency and stability through finite difference and volume methods, the proposed approach offers a novel perspective by integrating the Bellman dynamic programming principle with nonlinear minimization techniques [64]. Additionally, unlike the tensor decomposition and deep learning methods that address high-dimensional challenges [65,66], the proposed method provides a more direct computational strategy for nonlinear problems, potentially offering more precise control solutions under certain smooth assumptions. The proposed approach complements existing works by providing an alternative pathway to achieving optimal feedback control, particularly in scenarios where traditional numerical methods may face limitations. ...

Tensor Decomposition Methods for High-dimensional Hamilton--Jacobi--Bellman Equations

SIAM Journal on Scientific Computing

... • Another aspect of the problem for consideration is the numerical approximation of the compensator system in line with past work in [16,18]. For discretization of a fluid structure interactions see [20,21]. ...

Analysis of a Nonlinear Fluid-Structure Interaction Model with Mechanical Dissipation and Delay

... For example, in Manenti's [6] work, FSI simulation was used to simulate the effect of waves on floating offshore wind turbines. Several other FSI studies have also been done on the wind turbine [7][8][9][10][11]. Another example of FSI simulation implementation is the simulation of a parachute [12]. ...

Analysis and finite element discretization for optimal control of a linear fluid–structure interaction problem with delay
  • Citing Article
  • November 2018

IMA Journal of Numerical Analysis

... Variational-hemivariational inequalities represent a special class of inequality problems which have both a convex and nonconvex structure. They have been intensively studied in the last decades as shown in [13,22,24,26,28,29,31] and the references therein. The penalty method we introduce in the current paper is new since, at the best of our knowledge, the penalty problems of (1) studied in the literature are in a form of variational inequality governed by a penalty operator and the main ingredients used there are based on pseudomonotonicity arguments. ...

Optimal Control of Elliptic Variational–Hemivariational Inequalities

Journal of Optimization Theory and Applications

... Time delay systems represent one among the foremost in style categories of systems. Time delay, whether occurring in the system state, the control input, or the gauge, is often inescapable in practical systems and can be a source of instability and poor performance [5][6][7][8][9][10][11][12]. The future development of the system state of a time delay system consists not only of its current value, but also on its past values [13][14][15][16][17][18][19][20][21]. ...

Interface stabilization of a parabolic-hyperbolic PDE system with delay in the interaction

Discrete and Continuous Dynamical Systems

... In addition, they proposed a numerical method based on a Newton type iteration and used it to solve coherent control problems. Friesecke et al [18] proposed a new class of cost functionals for the optimal control of quantum systems which result in controls with a sparse time-frequency structure. The theory and numerical solution of optimal control problems governed by a time-dependent Kohn-Sham model are investigated in [45,46]. ...

Frequency-sparse optimal quantum control
  • Citing Article
  • March 2018

Mathematical Control and Related Fields

... This includes for example denoising in image processing [14,25,44,45]. However, total variation regularization is also of great interest in terms of optimal control, see for instance [9,11,18,38], also in combination with integrality restrictions [39,40,41]. ...

Optimal Control of Semilinear Parabolic Equations by BV-Functions
  • Citing Article
  • January 2017

SIAM Journal on Control and Optimization