| Publication | Date of Publication | Type |
|---|
Offline and online use of interval and set-based approaches for control and state estimation: a selection of methodological approaches and their application
Logical Methods in Computer Science | 2026-02-13 | Paper |
Robust observer-based control design for stochastic discrete-time quasi-linear systems via LMIs
IEEE Transactions on Automatic Control | 2025-10-06 | Paper |
Learning-based model predictive control with moving horizon state estimation for autonomous racing
International Journal of Control | 2025-08-21 | Paper |
Set-valued approach for the online identification of the open-circuit voltage of lithium-ion batteries
Acta Cybernetica | 2025-03-19 | Paper |
Exponential state enclosure techniques for the implementation of validated model predictive control
Acta Cybernetica | 2025-03-19 | Paper |
Robust control and actuator fault detection based on an iterative LMI approach: application on a quadrotor
Acta Cybernetica | 2025-03-19 | Paper |
Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures
Acta Cybernetica | 2023-12-12 | Paper |
Proving the Stability of the Rolling Navigation
Acta Cybernetica | 2023-09-26 | Paper |
Quantification of Time-Domain Truncation Errors for the Reinitialization of Fractional Integrators
Acta Cybernetica | 2023-09-26 | Paper |
Verified integration of differential equations with discrete delay
Acta Cybernetica | 2022-06-14 | Paper |
Physically motivated structuring and optimization of neural networks for multi-physics modelling of solid oxide fuel cells
Mathematical and Computer Modelling of Dynamical Systems | 2022-04-14 | Paper |
A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains
International Journal of Applied Mathematics and Computer Science | 2021-12-07 | Paper |
An unscented transformation approach to stochastic analysis of measurement uncertainty in magnet resonance imaging with applications in engineering
International Journal of Applied Mathematics and Computer Science | 2021-07-22 | Paper |
Toward the development of iteration procedures for the interval-based simulation of fractional-order systems
Acta Cybernetica | 2021-06-25 | Paper |
Interval and linear matrix inequality techniques for reliable control of linear continuous-time cooperative systems with applications to heat transfer
International Journal of Control | 2021-01-05 | Paper |
Towards analyzing the influence of measurement errors in magnetic resonance imaging of fluid flows -- development of an interval-based iteration approach
Acta Cybernetica | 2020-10-02 | Paper |
Verified interval enclosure techniques for robust gain scheduling controllers
Acta Cybernetica | 2020-10-02 | Paper |
From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers
Acta Cybernetica | 2020-10-02 | Paper |
Experiments-based parameter identification on the GPU for cooperative systems
Journal of Computational and Applied Mathematics | 2020-02-18 | Paper |
Interval methods and contractor-based branch-and-bound procedures for verified parameter identification of quasi-linear cooperative system models
Journal of Computational and Applied Mathematics | 2019-11-05 | Paper |
Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance
Algorithms | 2019-05-08 | Paper |
Reliable control of high-temperature fuel cell systems using interval-based sliding mode techniques
IMA Journal of Mathematical Control and Information | 2018-09-27 | Paper |
An integrodifferential approach to modeling, control, state estimation and optimization for heat transfer systems
International Journal of Applied Mathematics and Computer Science | 2016-05-19 | Paper |
Sliding mode approaches considering uncertainty for reliable control and computation of confidence regions in state and parameter estimation
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
Exponential enclosure techniques for initial value problems with multiple conjugate complex eigenvalues
Scientific Computing, Computer Arithmetic, and Validated Numerics | 2016-05-02 | Paper |
Optimal control of a viscoelastic rack feeder based on the method of integrodifferential relations
Journal of Computer and Systems Sciences International | 2015-09-30 | Paper |
| A new procedure for the design of iterative learning controllers using a 2D systems formulation of processes with uncertain spatio-temporal dynamics | 2015-08-10 | Paper |
Interval methods for real-time capable robust control of solid oxide fuel cell systems
Mathematics in Computer Science | 2014-11-27 | Paper |
Sliding mode techniques for robust trajectory tracking as well as state and parameter estimation
Mathematics in Computer Science | 2014-11-27 | Paper |
A novel interval arithmetic approach for solving differential-algebraic equations with \textsc{ValEncIA-IVP}
International Journal of Applied Mathematics and Computer Science | 2014-11-19 | Paper |
Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties
International Journal of Applied Mathematics and Computer Science | 2014-11-19 | Paper |
Integrodifferential approaches to frequency analysis and control design for compressible fluid flow in a pipeline element
Mathematical and Computer Modelling of Dynamical Systems | 2014-11-17 | Paper |
A verified method for solving piecewise smooth initial value problems
International Journal of Applied Mathematics and Computer Science | 2014-04-14 | Paper |
Nonlinear state observers and extended Kalman filters for battery systems
International Journal of Applied Mathematics and Computer Science | 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
Mathematical and Computer Modelling of Dynamical Systems | 2013-10-22 | Paper |
Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II
Journal of Computer and Systems Sciences International | 2013-07-31 | Paper |
Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics
Journal of Computer and Systems Sciences International | 2013-07-30 | Paper |
Approaches to control design and optimization in heat transfer problems
Journal of Computer and Systems Sciences International | 2013-07-29 | Paper |
Structural analysis for the design of reliable controllers and state estimators for uncertain dynamical systems
Mathematics in Industry | 2012-08-27 | Paper |
Error estimates for finite-dimensional approximations in control of distributed parameter systems
Mathematics in Industry | 2012-08-27 | Paper |
VERICOMP: A system to compare and assess verified IVP solvers
Computing | 2012-04-04 | Paper |
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
Computing | 2012-04-04 | Paper |
Sensitivity-based feedforward and feedback control for uncertain systems
Computing | 2012-04-04 | Paper |
Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamical systems with uncertainties
Progress in Industrial Mathematics at ECMI 2008 | 2011-06-21 | Paper |
Physically motivated constraints for efficient interval simulations applied to the analysis of uncertain models of blood cell dynamics
Progress in Industrial Mathematics at ECMI 2008 | 2011-06-21 | Paper |
| Interval methods for verification and implementation of robust controllers | 2011-03-30 | Paper |
Interval methods as a simulation tool for the dynamics of biological wastewater treatment processes with parameter uncertainties
Applied Mathematical Modelling | 2010-05-02 | Paper |
Interval methods for optimal control
Variational Analysis and Aerospace Engineering | 2010-03-04 | Paper |
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
Reliable Implementation of Real Number Algorithms: Theory and Practice | 2009-01-13 | Paper |
Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Consistency tests in guaranteed simulation of nonlinear uncertain systems with application to an activated sludge process
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
