Ekaterina Auer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verified integration of differential equations with discrete delay Acta Cybernetica	2022-06-14	Paper
Experiments-based parameter identification on the GPU for cooperative systems Journal of Computational and Applied Mathematics	2020-02-18	Paper
Control-oriented models for SO fuel cells from the angle of V\&V: analysis, simplification possibilities, performance Algorithms	2019-05-08	Paper
Exponential enclosure techniques for initial value problems with multiple conjugate complex eigenvalues Scientific Computing, Computer Arithmetic, and Validated Numerics	2016-05-02	Paper
Verified stochastic methods Soft Computing	2015-11-09	Paper
Interval methods for real-time capable robust control of solid oxide fuel cell systems Mathematics in Computer Science	2014-11-27	Paper
Uses of new sensitivity and DAE solving methods in SmartMobile for verified analysis of mechanical systems International Journal of Applied Mathematics and Computer Science	2014-11-19	Paper
A verified method for solving piecewise smooth initial value problems International Journal of Applied Mathematics and Computer Science	2014-04-14	Paper
Verified analysis of a biomechanics-related system 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
A verified realization of a Dempster-Shafer based fault tree analysis Computing	2012-04-04	Paper
SmartMOBILE and its applications to guaranteed modeling and simulation of mechanical systems Informatics in Control, Automation and Robotics	2010-06-02	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
Numerical Software with Result Verification Lecture Notes in Computer Science	2007-09-28	Paper
Interval modeling of dynamics for multibody systems Journal of Computational and Applied Mathematics	2007-02-02	Paper

Research outcomes over time

This page was built for person: Ekaterina Auer