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

Skip to main content Skip to main navigation menu Skip to site footer

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