Modeling, Design, and Simulation of Systems with Uncertainties

Part I Theoretic Background and Software Implementation

Implementing a Rigorous ODE Solver Through Literate Programming.- A New Method for Inner Estimation of Solution Sets to Interval Linear Systems.- Structural Analysis for the Design of Reliable Controllers and State Estimators for Continuous-Time Dynamical Systems with Uncertainties.- Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties.- Robustness Comparison of Tracking Controllers Using Verified Integration.- Probabilistic Set-Membership State Estimator.- Verified Global Optimization for Estimating the Parameters of Nonlinear Models.-Optimal Control of Induction Heating: Theory and Application.- Coherent Upper and Lower Conditional Previsions Defined by Hausdorff Outer and Inner Measures.-

Part II Applications: Uncertainties in Engineering

Two Approaches for Guaranteed State Estimation of Nonlinear Continuous-Time Models.- Quantifying Spacecraft Failure in an Uncertain Environment: the Case of Jupiter Europa Orbiter.- Robust State and Parameter Estimation for Nonlinear Continuous-Time Systems in a Set-Membership Context.- Nonlinear Adaptive Control of a Bioprocess Model with Unknown Kinetics.- Verified Analysis of a Model for Stance Stabilization.- Adaptive Control Strategies in Heat Transfer Problems with Parameter Uncertainties Based on a Projective Approach.- State and Disturbance Estimation for Robust Control of Fast Flexible Rack Feeders.- Notation.

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.