Uncertainty modeling and analysis with intervals - DROPS - Schloss ...

Isaac Elishakoff, Vladik Kreinovich, Wolfram Luther, and Evgenija D. Popova 55
10 S. M. Rump. INTLAB – Interval Laboratory. Developments in Reliable Computing, pages
77–104, 1999.
11 S. M. Rump. Verification methods: Rigorous results using floating-point arithmetic Acta
Numerica, 2010.
12 M. Zimmer, W. Krämer, G. Bohlender, and W. Hofschuster. Extension of the C-XSC library
with scalar products with selectable accuracy. Serdica Journal of Computing, 4(3):349–370,
2010.
13 M. Zimmer, W. Krämer, and W. Hofschuster. Sparse matrices and vectors in C-XSC.
Reliable Computing, 14:128–160, 2010.
4 Schedule
Monday, September 12, 2011
9:00–9:30: Welcome
9:30–10:00/10:15–10:45: Ralph Baker Kearfott, Interval Computations – Introduction and
Significant Applications
10:45–11:15: Olga M. Kosheleva, Degree-Based (Interval and Fuzzy) Techniques in Math and
Science Education
11:15–12:15: Michel Rueher, Constraint Programming over Continuous Domains
14:00–14:30: Wolfram Luther, Verification &Validation Requirements in Biomechanical
Modeling and Simulation
14:30–15:00: Andreas Rauh, Verified Parameter Estimation for the Thermal Behavior of
High-Temperature Fuel Cells
15:30-15:30: Ekaterina Auer, Application of Verified Methods to Solving Non-smooth Initial
Value Problems in the Context of Fuel Cell Systems
16:00–17:00: Vladik Kreinovich, Tutorial: Foundations in Fuzzy Modeling
17:00–17:30: Michael Beer, Fuzzy Probabilities and Applications in Engineering
17:30–18:00: Weldon A. Lodwick, Constrained Intervals and Interval Spaces
Tuesday, September 13, 2011
9:00–9:30: Jürgen Garloff, Verified Solution of Finite Element Models for Truss Structures
with Uncertain Node Locations
9:30–10:00: Milan Hladik, Interval Linear Programming: Foundations, Tools and Challenges
10:15–10:45: Ralph Baker Kearfott, A Review of Techniques for Handling Model Uncertainty
in Interval-Based Global Optimization Procedures
10:45–11:15: Evgenija D. Popova, Characterizing AE Solution Sets to Parametric Linear
Systems
11:15–11:45: Olivier Mullier, Under-approximation of the Range of Vector-Valued Functions
having Different Dimensions for Domain and Codomain
11:45–12:15: Nathalie Revol, Solving and Verifying Efficiently the Solution of a Linear System
14:00–14:30: Martin Fuchs, Robust Optimization for Aerospace Applications
14:30–15:00: Neli Dimitrova, Asymptotic Stabilization of a Bioprocess Model Involving
Uncertainties
15:00–15:30: Jean-Luc Lamotte, Analysis of Electronic Circuit with Point of View of Uncertainty
16:00–16:30: John D. Pryce, Decorations for Dummies (1)
1 1 3 7 1