-
Interval Methods for Model Qualification: Methodology and Advanced Application
It is often too complex to use, and sometimes impossible to obtain, an actual model in simulation or command field . To handle a system in practice, a simplification... -
Parameters uncertainties and error propagation in modified atmosphere packagi...
IATE Axe 5 : Application intégrée de la connaissance, de l’information et des technologies permettant d’accroître la qualité et la sécurité des aliments Publication Inra prise... -
A Specific Quantifier Elimination for Inner Box Test in Distance Constraints ...
This document presents a specific quantifier elimination algorithm for distance constraints with uncertainties represented by constraints with existentially quantified... -
Study of robust set-estimation methods for a high integrity multi-sensor loca...
In this thesis, confidence domains for vehicle localization are characterized by using robust interval methods. Positioning is of prime importance in mobile robotics... -
Mobile robot localization by multiangulation using set inversion
International audience -
An Efficient Implementation of SIVIA Algorithm in a High-Level Numerical Prog...
International audience -
ROBUST DIAGNOSIS OF UNCERTAIN SYSTEMS. Application to the Automotive Industry.
Thèse présentée et soutenue publiquement le 19/10/2012 -
Contributions to Omnidirectional Visual Simultaneous Localization and Mapping
Estimating the motion of a mobile robot while simultaneously building a representation of its environment is a key problem for autonomous robotics. This problem is... -
Interval Tools and Convex Optimization For Robust Constraint Feasibility
International audience -
Optimal control tuning of a redundant robot
International audience -
Exhaustive enumeration of Kochen-Specker vector systems
The Kochen-Specker theorem is one of the fundamental theorems in non-contextuality hypothesis that assumes that the values of observables are independent of the... -
A Hybrid Positioning Method Based on Hypothesis Testing
International audience -
iGPS: Global Positioning in Urban Canyons with Road Surface Maps
International audience -
Guaranteed mobile robot tracking using interval analysis
International audience -
Estimation of Discrete-Event Systems using Interval Computation
International audience -
Set inversion for χ-algorithms with application to guaranteed robot localization
International audience
