MS09: Validated Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering (Thursday 10:30-12:30 & 15:30-17:30)
A. Rauh (Institute of Measurement, Control, and Microtechnology, University of Ulm, Germany) and E. Auer (Faculty of Engineering, IIIS, University of Duisburg-Essen, Germany)
10:30 - Introduction to Interval Arithmetic and to some Interval-Based Software Systems and Libraries
N. Revol (INRIA, France)
11:00 - Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties
A. Rauh (University of Ulm, Germany), J. Minisini (University of Ulm, Germany) and E.P. Hofer (University of Ulm, Germany)
11:30 - Validated Solution of Nonlinear Dynamic Models in Epidemiology
M.A. Stadtherr (University of Notre Dame, USA) and J.A. Enszer (University of Notre Dame, USA)
12:00 - Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Models of Blood Cell Dynamics
M. Freihold (University of Ulm, Germany), A. Rauh (University of Ulm, Germany) and E.P. Hofer (University of Ulm, Germany)
15:30 - Application of MOBILE for an Improved Kinematical Model Using Motion- and MRI measurements
T. Stark (University of Duisburg-Essen, Germany), A. Kecskeméthy (University of Duisburg-Essen, Germany) and M. Tändl (University of Duisburg-Essen, Germany)
16:00 - Uses of New Sensitivity and DAE Solving Methods in SmartMOBILE for Verified Analysis of Mechanical Systems
E. Auer (University of Duisburg-Essen, Germany) and W. Luther (University of Duisburg-Essen, Germany)
16:30 - Guaranteed Computation in Robotics
M. Kieffer (L2S – CNRS - Supélec, Univ Paris-Sud, France), R. Pepy (L2S – CNRS - Supélec, Univ Paris-Sud, France) and É. Walter (L2S – CNRS - Supélec, Univ Paris-Sud, France)
M. Gennat (University of Wuppertal, Germany) and B. Tibken (University of Wuppertal, Germany)