Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

9 résultats
Page :
triés par
Image document

Localisation d'un robot mobile autonome en environnements naturels

 Anthony Mallet
Automatique / Robotique. Institut National Polytechnique de Toulouse - INPT, 2001. Français. ⟨NNT : ⟩
Thèse tel-00131779v1
Image document

Adaptive Closed-loop Speed Control of BLDC Motors with Applications to Multi-rotor Aerial Vehicles

 Antonio Franchi , Anthony Mallet
IEEE International Conference on Robotics and Automation, May 2017, Singapour, Singapore
Communication dans un congrès hal-01476812v1
Image document

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots

 Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Félix Ingrand , Anthony Mallet
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Communication dans un congrès hal-01346080v1
Image document

Recent developments of the GenoM robotic component generator

 Anthony Mallet , Matthieu Herrb
6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 4 p
Communication dans un congrès inria-00599677v1

Les sites fortifiés de hauteur de La Tène finale en Basse-Normandie

 Pierre Giraud , Cyril Marcigny , Anthony Lefort , François Coupard , Xavier Bernardeau , et al.
Philippe Barral; Bernard Dedet; Fabien Delrieu; Pierre Giraud; Isabelle Le Goff; Stéphane Marion; Anne Villard-Le Tiec. L’âge du Fer en Basse-Normandie. Gestes funéraires en Gaule au second âge du Fer. Actes du XXXIIIe colloque international de l’Association française pour l’étude de l’âge du Fer (Caen, 20-24 mai 2009), 1, Presses Universitaires de Franche-Comté, pp.73-94, 2011, 978-2-84867-314-1. ⟨10.4000/books.pufc.6402⟩
Chapitre d'ouvrage hal-03963296v1
Image document

A formal toolchain for offline and run-time verification of robotic systems

 Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand , Anthony Mallet
Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Article dans une revue hal-03683044v2
Image document

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

 Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand , et al.
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Communication dans un congrès hal-01778960v1
Image document

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

 Mohammed Foughali , Félix Ingrand , Anthony Mallet
2017
Pré-publication, Document de travail hal-01457881v2
Image document

A Truly Redundant Aerial Manipulator System with Application to Push-and-Slide Inspection in Industrial Plants

 Marco Tognon , Hermes A Tello Chávez , Enrico Gasparin , Quentin Sablé , Davide Bicego , et al.
IEEE Robotics and Automation Letters, 2019, 4 (2), pp.1846 - 1851. ⟨10.1109/LRA.2019.2895880⟩
Article dans une revue hal-01910343v2
Page :