Ekaterina Auer

Available identifiers

zbMath Open auer.ekaterinaMaRDI QIDQ411426

List of research outcomes

Publication	Date of Publication	Type
Verified Integration of Differential Equations with Discrete Delay	2022-06-14	Paper
Experiments-based parameter identification on the GPU for cooperative systems	2020-02-18	Paper
Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance	2019-05-08	Paper
Exponential Enclosure Techniques for Initial Value Problems with Multiple Conjugate Complex Eigenvalues	2016-05-02	Paper
Verified stochastic methods	2015-11-09	Paper
Interval methods for real-time capable robust control of solid oxide fuel cell systems	2014-11-27	Paper
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems	2014-11-19	Paper
Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems	2014-11-19	Paper
A verified method for solving piecewise smooth initial value problems	2014-04-14	Paper
Verified Analysis of a Biomechanics-Related System	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
A verified realization of a Dempster-Shafer based fault tree analysis	2012-04-04	Paper
SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems	2010-06-02	Paper
Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP	2009-01-13	Paper
Numerical Software with Result Verification	2007-09-28	Paper
Interval modeling of dynamics for multibody systems	2007-02-02	Paper

Research outcomes over time

This page was built for person: Ekaterina Auer