Part 1: Theoretic Background and Software Implementation
1. Nedialko S. Nedialkov:
Implementing a Rigorous ODE Solver through Literate Programming
2. Sergey P. Shary:
Inner Interval Estimation of the Solution Sets to Interval Linear Systems
3. Andreas Rauh, Harald Aschemann:
Structural Analysis for the Design of Reliable Controllers and State Estimators for Uncertain Dynamical Systems
4. Matthias Althoff, Bruce H. Krogh, Olaf Stursberg:
Analyzing Reachability of Dynamic Systems with Parametric Uncertainties
5. Marco Kletting, Felix Antritter:
Verified Simulation for Robustness Evaluation of Tracking Controllers
6. Luc Jaulin:
Probabilistic Set-Membership State Estimator
7. Michel Kieffer, Mihaly Csaba Markot, Hermann Schichl, Eric Walter:
Verified Global Optimization for Estimating the Parameters of Nonlinear Models
8. Daria Filatova, Marek Grzywaczewski:
Optimal Control of Induction Heating: Theory and Application
9. Serena Doria:
Coherent Upper and Lower Conditional Previsions Defined by Hausdorff Outer and Inner Measures
Part 2: Applications: Uncertainties in Engineering
10. Marco Kletting, Michel Kieffer, Eric Walter: Two Approaches for Guaranteed State Estimation of Nonlinear Continuous-Time Models
11. Mehrdad Moshir:
Quantifying Spacecraft Failure in an Uncertain Environment: The Case of the Jupiter Europa Orbiter
12. Denis Efimov, Tarek Raissi, Ali Zolghadri:
Robust State and Parameter Estimation for Nonlinear Continuous-Time Systems in a Set-Membership Context
13. Neli Dimitrova, Mikhail Krastanov:
Nonlinear Adaptive Control of a Bioprocess Model with Unknown Kinetics
14. Ekaterina Auer, Haider Albassam, Andres Kecskemethy, Wolfram Luther:
Verified Analysis of a Model for Stance Stabilization
15. Vasily Saurin, Georgy Kostin, Andreas Rauh, Harald Aschemann:
Adaptive Control Strategies in Heat Transfer Problems with Parameter Uncertainties Based on a Projective Approach
16. Harald Aschemann, Dominik Schindele, Jöran Ritzke:
State and Disturbance Estimation for Robust Control of Fast Flexible Rack Feeders
About the Author: Andreas Rauh
received his diploma degree in electrical engineering and information technology from the Technische Universität München, Munich, Germany, in 2001 and his PhD degree (Dr.-Ing.) from the University of Ulm, Germany, in 2008. His research interests are: State and parameter estimation for stochastic and set-valued uncertainties, verified simulation of nonlinear uncertain systems, nonlinear, robust, and optimal control, interval methods for ordinary differential equations as well as differential-algebraic systems. Currently, he is with the Chair of Mechatronics, University of Rostock, Germany, as post-doctoral researcher.
Ekaterina Auer
received her Diplomas in Mathematics and Computer Science from Ulyanovsk State University in 2001 and from the University of Duisburg-Essen in 2002. Since 2002, she has been working at the chair for computer graphics and scientific computing at the University of Duisburg-Essen as a research assistant, receiving her Ph.D. in 2006. Her main interests are scientific computing **and development of software for its application to problems in mechanics and engineering.
