| Publication | Date of Publication | Type |
|---|
| Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures | 2023-12-12 | Paper |
| Proving the Stability of the Rolling Navigation | 2023-09-26 | Paper |
| Quantification of Time-Domain Truncation Errors for the Reinitialization of Fractional Integrators | 2023-09-26 | Paper |
| Verified Integration of Differential Equations with Discrete Delay | 2022-06-14 | Paper |
| Physically motivated structuring and optimization of neural networks for multi-physics modelling of solid oxide fuel cells | 2022-04-14 | Paper |
| A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains | 2021-12-07 | Paper |
| An unscented transformation approach to stochastic analysis of measurement uncertainty in magnet resonance imaging with applications in engineering | 2021-07-22 | Paper |
| Toward the Development of Iteration Procedures for the Interval-Based Simulation of Fractional-Order Systems | 2021-06-25 | Paper |
| Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer | 2021-01-05 | Paper |
| Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows | 2020-10-02 | Paper |
| Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers | 2020-10-02 | Paper |
| From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers | 2020-10-02 | Paper |
| Experiments-based parameter identification on the GPU for cooperative systems | 2020-02-18 | Paper |
| Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models | 2019-11-05 | Paper |
| Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance | 2019-05-08 | Paper |
| Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques | 2018-09-27 | Paper |
| An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems | 2016-05-19 | Paper |
| Sliding Mode Approaches Considering Uncertainty for Reliable Control and Computation of Confidence Regions in State and Parameter Estimation | 2016-05-02 | Paper |
| Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides | 2016-05-02 | Paper |
| Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues | 2016-05-02 | Paper |
| Optimal control of a viscoelastic rack feeder based on the method of integrodifferential relations | 2015-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5500970 | 2015-08-10 | Paper |
| Interval methods for real-time capable robust control of solid oxide fuel cell systems | 2014-11-27 | Paper |
| Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation | 2014-11-27 | Paper |
| A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP | 2014-11-19 | Paper |
| Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties | 2014-11-19 | Paper |
| A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP} | 2014-11-19 | Paper |
| Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties | 2014-11-19 | Paper |
| Integrodifferential approaches to frequency analysis and control design for compressible fluid flow in a pipeline element | 2014-11-17 | Paper |
| A verified method for solving piecewise smooth initial value problems | 2014-04-14 | Paper |
| Nonlinear state observers and extended Kalman filters for battery systems | 2014-02-06 | Paper |
| Parameter identification and observer-based control for distributed heating systems– the basis for temperature control of solid oxide fuel cell stacks | 2013-10-22 | Paper |
| Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II | 2013-07-31 | Paper |
| Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics | 2013-07-30 | Paper |
| Approaches to control design and optimization in heat transfer problems | 2013-07-29 | Paper |
| Structural Analysis for the Design of Reliable Controllers and State Estimators for Uncertain Dynamical Systems | 2012-08-27 | Paper |
| Error Estimates for Finite-Dimensional Approximations in Control of Distributed Parameter Systems | 2012-08-27 | Paper |
| VERICOMP: A system to compare and assess verified IVP solvers | 2012-04-04 | Paper |
| Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances | 2012-04-04 | Paper |
| Sensitivity-based feedforward and feedback control for uncertain systems | 2012-04-04 | Paper |
| Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties | 2011-06-21 | Paper |
| Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Models of Blood Cell Dynamics | 2011-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086747 | 2011-03-30 | Paper |
| Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties | 2010-05-02 | Paper |
| Interval Methods for Optimal Control | 2010-03-04 | Paper |
| Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP | 2009-01-13 | Paper |
| Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes | 2007-02-02 | Paper |
| Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process | 2007-02-02 | Paper |
