Startseite
→
Proceedings
→
Auflistung Proceedings nach Autor/in

Auflistung Proceedings nach Autor/in "f8dab2dd-c1c5-43fe-bfe1-8072823461ec"

Anzeige der Dokumente 1-20 von 21

Nächste Seite

Affine Encodings for Optimal Monitoring of Temporal Properties under Uncertain Observation

Fränzle, Martin (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]
Differential Inclusion using Matrix Exponential

Massé, Damien (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]
Eigenvalues enclosures of skew symmetric/Hermitian matrices having bounded uncertainty

Maiti, Suman; Chakraverty, Snehashish (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]
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]
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]
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]
Interval-based Global Localization in Building Maps

Ehambram, Aaronkumar; Jaulin, Luc; Wagner, Bernardo (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]
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]
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]
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]
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]
Sea route monitoring by weather buoys using interval analysis

Brateau, Quentin; Jaulin, Luc (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]
Symmetries for Interval Analysis

Jaulin, Luc (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]
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]

Anzeige der Dokumente 1-20 von 21

Nächste Seite

Suche im Repositorium

Durchblättern

Gesamter Bestand
Diesen Bereich

Auflistung Proceedings nach Autor/in "f8dab2dd-c1c5-43fe-bfe1-8072823461ec"

Auflistung Proceedings nach Autor/in "f8dab2dd-c1c5-43fe-bfe1-8072823461ec"

Suche im Repositorium

Durchblättern

Gesamter Bestand

Diesen Bereich

Mein Nutzer/innenkonto

Nutzungsstatistiken