Vol. 24 No. 3 (2020): Special Issue of the 11th Summer Workshop on Interval Methods

Published: 2020-04-14

Editorial

• Preface

  Ekaterina Auer, Julia Kersten, Andreas Rauh

  265-266

  • PDF

Uncertainty Modeling, Software, Verified Computing and Optimization

• Sound Over-Approximation of Probabilities

  Eugenio Moggi, Walid Taha, Johan Thunberg

  269-285

  • PDF

• Reliable Visual Analytics, a Prerequisite for Outcome Assessment of Engineering Systems

  Wolfram Luther, Ekaterina Auer, Benjamin Weyers

  287-314

  • PDF

• Another Multibody Dynamics in Natural Coordinates through Automatic Differentiation and High-Index DAE Solving

  John D Pryce, Nedialko Nedialkov

  315-341

  • PDF

• Towards Analyzing the Influence of Measurement Errors in Magnetic Resonance Imaging of Fluid Flows

  Kristine John, Andreas Rauh, Martin Bruschewski, Sven Grundmann

  343-372

  • PDF

• Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems

  Jonathan Wunderlich, Michael Plum

  373-391

  • PDF

• Verified Solution to Optimal Control Problems of Elastic Rod Motion Based on the Ritz Method

  Georgy Kostin

  393-408

  • PDF

• Eigenvalue Placement by Quantifier Elimination - the Static Output Feedback Problem

  Klaus Röbenack, Rick Voßwinkel

  409-427

  • PDF

Interval Methods in Control and Robotics

• Characterizing Sliding Surfaces of Cyber-Physical Systems

  Luc Jaulin, Fabrice Le Bars

  431-448

  • PDF

• Optimal Switching Instants for the Control of Hybrid Systems

  Olivier Mullier, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Dr.

  449-465

  • PDF

• Verified Interval Enclosure Techniques for Robust Gain Scheduling Controllers

  Julia Kersten, Andreas Rauh, Harald Aschemann

  467-491

  • PDF

• Interval Predictors for a Class of Uncertain Discrete-Time Systems

  Nacim Meslem, John Martinez

  493-508

  • PDF

• From Verified Parameter Identification to the Design of Interval Observers and Cooperativity-Preserving Controllers An Experimental Case Study

  Andreas Rauh, Julia Kersten

  509-537

  • PDF

• On Interval Observer Design for Continuous-Time LPV Switched Systems

  Chaima Zammali, Jérémy Van Gorp, Tarek Raissi

  539-555

  • PDF

• Cooperative Localization of Drones by using Interval Methods

  Ide Flore Kenmogne, Vincent Drevelle, Eric Marchand

  557-572

  • PDF

• Reliable Bounding Zones and Inconsistency Measures for GPS Positioning using Geometrical Constraints

  Hani Dbouk, Steffen Schön

  573-591

  • PDF