Home
→
Proceedings
→
Summer Workshop on Interval Methods 2022
→
Browsing Summer Workshop on Interval Methods 2022 by Issue Date

Browsing Summer Workshop on Interval Methods 2022 by Issue Date

Now showing items 1-20 of 21

Interval-based Global Localization in Building Maps

Ehambram, Aaronkumar; Jaulin, Luc; Wagner, Bernardo (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
A constraint programming approach for polytopic simulation of ordinary differential equations - a collision detection application

dit Sandretto, Julien Alexandre; Chapoutot, Alexandre; Garion, Christophe; Thirioux, Xavier; Ziat, Ghiles (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

Fränzle, Martin (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Lie symmetries applied to guaranteed integration: application to mobile robotics localisation

Damers, Julien; Jaulin, Luc; Rohou, Simon (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Differential Inclusion using Matrix Exponential

Massé, Damien (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
An investigation of interval and set-based uncertainty representation for GNSS navigation

Su, Jingyao; Schön, Steffen (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Efficient engineering analysis with imprecise probabilities

Beer, Michael; Broggi, Matteo; Faes, Matthias G.R.; Valdebenito, Marcos A.; Wie, Pengfei (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
High-gain interval observer for continuous-discrete time systems : Application to a quadcopter

Hugo, Antoine; El Houda Thabet, Rihab; Meyer, Luc; Ahmed Ali, Sofiane; Piet-Lahanier, Hélène; Kataoka Ishikawa, Felipe (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Online Identification of the Open-Circuit Voltage of Lithium-Ion Batteries with the Use of Interval Methods

Lahme, Marit; Rauh, Andreas (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
A Geometric Approach to the Coverage Measure of the Area Explored by a Robot

Costa Vianna, Maria Luiza; Goubault, Eric; Jaulin, Eric; Putot, Sylvie (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Higher-Order Methods for Differential Inclusions

Collins, Pieter; Geretti, Luca; Villa, Tiziano; Zivanovic Gonzalez, Sanja (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Fault Detection in Networked Control Systems. A Robust Approach

Valero, Carlos, E.; Paulen, Radoslav (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Robust 3D target localization using UAVs with state uncertainty

Zagar, M.; Kieffer, M.; Piet-Lahanier, H.; Meyer, L. (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
A new type of intervals for solving problems involving partially defined functions

Filiol, Pierre; Bollgenier, Théotime; Jaulin, Luc; Le Lann, Jean-Christophe (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Eigenvalues enclosures of skew symmetric/Hermitian matrices having bounded uncertainty

Maiti, Suman; Chakraverty, Snehashish (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Validated Model Predictive Control based on Exponential Enclosures

Fnadi, Mohamed; Rauh, Andreas (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Testing interval arithmetic libraries

Revol, Nathalie; Benet Fernández, Luis; Ferranti, Luca; Zhilin, Sergei (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Stabilizing Controller Design Using an Iterative LMIs Approach for Quadrotors

Benziane, Oussama; Rauh, Andreas (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Sea route monitoring by weather buoys using interval analysis

Brateau, Quentin; Jaulin, Luc (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]
Uses of Methods with Result Verification in the Context of MIMO Systems

Auer, Ekaterina; Ahrens, Andreas (Hannover : Gottfried Wilhelm Leibniz Universität, 2022)

[no abstract available]

Now showing items 1-20 of 21

Search the repository

Browse

All content
- Communities & Collections
- By Issue Date
- Authors
- Titles
- Subjects
- Subjects (GND)
- DDC
- License
- Type
This Collection
- By Issue Date
- Authors
- Titles
- Subjects
- Subjects (GND)
- DDC
- License
- Type

Browsing Summer Workshop on Interval Methods 2022 by Issue Date

Browsing Summer Workshop on Interval Methods 2022 by Issue Date

Search the repository

Browse

All content

This Collection

My Account

Usage Statistics