Filtrer vos résultats
- 8
- 1
- 4
- 2
- 1
- 1
- 1
- 7
- 2
- 1
- 1
- 1
- 1
- 2
- 1
- 2
- 1
- 7
- 2
- 8
- 1
- 1
- 1
- 1
- 1
- 9
- 4
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
9 résultats
|
|
triés par
|
|
Adaptive Closed-loop Speed Control of BLDC Motors with Applications to Multi-rotor Aerial VehiclesIEEE International Conference on Robotics and Automation, May 2017, Singapour, Singapore
Communication dans un congrès
hal-01476812v1
|
||
|
Localisation d'un robot mobile autonome en environnements naturelsAutomatique / Robotique. Institut National Polytechnique de Toulouse - INPT, 2001. Français. ⟨NNT : ⟩
Thèse
tel-00131779v1
|
||
|
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Communication dans un congrès
hal-01346080v1
|
||
|
Recent developments of the GenoM robotic component generator6th 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
|
||
|
A Truly Redundant Aerial Manipulator System with Application to Push-and-Slide Inspection in Industrial PlantsIEEE Robotics and Automation Letters, 2019, 4 (2), pp.1846 - 1851. ⟨10.1109/LRA.2019.2895880⟩
Article dans une revue
hal-01910343v2
|
||
|
Formal Verification of Complex Robotic Systems on Resource-Constrained PlatformsFormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Communication dans un congrès
hal-01778960v1
|
||
|
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis2017
Pré-publication, Document de travail
hal-01457881v2
|
||
|
A formal toolchain for offline and run-time verification of robotic systemsRobotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Article dans une revue
hal-03683044v2
|
||
|
Les sites fortifiés de hauteur de La Tène finale en Basse-NormandiePhilippe 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
|