Skip to Main content Skip to Navigation
New interface


...
tel-01068054v1  Theses
Jun Xiong. Set-membership state estimation and application on fault detection
Automatique / Robotique. Institut National Polytechnique de Toulouse - INPT, 2013. Français. ⟨NNT : ⟩
...
tel-00961501v1  Theses
Rémy Guyonneau. Méthodes ensemblistes pour la localisation en robotique mobile
Automatique / Robotique. Université d'Angers, 2013. Français
...
tel-00482208v1  Theses
Raphaël Chenouard. Résolution par satisfation de contraintes appliquée à l'aide à la décision en conception architecturale
Informatique [cs]. Ecole nationale supérieure d'arts et métiers - ENSAM, 2007. Français. ⟨NNT : ⟩
...
tel-03010085v1  Theses
Simon Rohou. Reliable robot localization: a constraint programming approach over dynamical systems
Robotics [cs.RO]. Lab-STICC; UBO Brest; ENSTA Bretagne; University of Sheffield, 2017. English
...
tel-03180799v1  Theses
Isabelle Braems. Méthodes ensemblistes garanties pour l'estimation de grandeurs physiques
Sciences de l'ingénieur [physics]. Université Paris Sud, 2002. Français. ⟨NNT : ⟩
...
tel-00431302v1  Theses
Sebastien Lengagne. Planification et re-planification de mouvements sûrs pour les robots humanoïdes.
Automatique / Robotique. Université Montpellier II - Sciences et Techniques du Languedoc, 2009. Français. ⟨NNT : ⟩
...
tel-01850567v1  Theses
Benoît Desrochers. Simultaneous Localization and Mapping in Unstructured Environments
Automatic. Université Bretagne Loire, 2018. English
...
tel-02420937v1  Theses
Clothilde Jeangoudoux. Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique
Arithmétique des ordinateurs. Sorbonne Universites, UPMC University of Paris 6, 2019. Français. ⟨NNT : ⟩
...
tel-00091375v1  Theses
Heikel Batnini. Contraintes globales et heuristiques de recherche pour les CSPs continus
Génie logiciel [cs.SE]. Université Nice Sophia Antipolis, 2005. Français. ⟨NNT : ⟩
...
tel-00005932v3  Theses
François Anton. Voronoi diagrams of semi-algebraic sets
Modeling and Simulation. University of British Columbia, 2003. English. ⟨NNT : ⟩
...
tel-00841252v1  Habilitation à diriger des recherches
Laurent Hardouin. Sur la commande linéaire de systèmes à événements discrets dans l'algèbre (max,+).
Automatique / Robotique. Université d'Angers, 2004
...
tel-03789804v1  Theses
Berna Bou Farraa. Modélisation et commande des systèmes à retards contraints sous incertitudes
Automatique / Robotique. Université de Nantes (UN), FRA., 2020. Français. ⟨NNT : ⟩