Publications HAL de zapata; godary; godary-dejean; crestani; triboulet; druon; lapierre; jouvencel du labo/EPI lirmm

2019

Communication dans un congrès

titre
An approach for Fault Tolerant and Performance Guarantee Autonomous Robotic Mission
auteur
Philippe Lambert, Lionel Lapierre, Didier Crestani
article
AHS: Adaptive Hardware and Systems, Jul 2019, Colchester, United Kingdom. pp.87-94, ⟨10.1109/AHS.2019.00009⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02160494/file/IEEE_Conference_Template__AHE_2019_final.pdf BibTex
titre
Configuration Matrix Design of Over-Actuated Marine Systems
auteur
Huu-Tho Dang, Lionel Lapierre, René Zapata, Pascal Lepinay, Benoît Ropars
article
OCEANS, Jun 2019, Marseille, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02129591/file/PID5915619.pdf BibTex

2018

Communication dans un congrès

titre
Le bois des ruches, quel confort pour l'habitat des abeilles? Ruche d'observation électronique, outil et recherches en cours
auteur
Anna Dupleix, Shu Wah Mui, Delphine Jullien, Pascale Moity Maïzi, Pauline Milliet-Treboux, Bertrand Schatz, François Pfister, Victor Reutenauer, Capucine Carlier, Emmanuel Ruffio, Gille Camp, Sébastien Druon, Matthieu Rousset
article
Congrès Scientifique Ecolo'Tech, 10ème Salon de l'Ecologie, Nov 2018, Montpellier, France
Accès au bibtex
BibTex
titre
From Perception to Semantics: An Environment Representation Model Based on Human-Robot Interactions
auteur
Yohan Breux, Sébastien Druon, René Zapata
article
RO-MAN: Robot and Human Interactive Communication, Aug 2018, Nanjing, China. pp.672-677, ⟨10.1109/ROMAN.2018.8525527⟩
Accès au bibtex
BibTex
titre
New Approach for Differential Harvest Problem: The model checking way
auteur
Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani
article
14th IFAC Workshop on Discrete Event Systems (WODES), May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01935442/file/2018_WODES_RimSaddem_FINAL.pdf BibTex

2017

Communication dans un congrès

titre
Quaternion based control for robotic observation of marine diversity
auteur
Silvain Louis, Lionel Lapierre, Karen Godary-Dejean, Yadpiroon Onmek, Thomas Claverie, Sebastien Villéger
article
OCEANS, Jun 2017, Aberdeen, United Kingdom. ⟨10.1109/OCEANSE.2017.8085006⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01588991/file/Oceans_2017_VFinale.pdf https://hal-lirmm.ccsd.cnrs.fr/lirmm-01588991/file/Oceans_Abstract_2017.pdf BibTex
titre
Evaluation of underwater 3D reconstruction methods for Archaeological Objects: Case study of Anchor at Mediterranean Sea
auteur
Yadpiroon Onmek, Jean Triboulet, Sébastien Druon, Arnaud Meline, Bruno Jouvencel
article
ICCAR: International Conference on Control, Automation and Robotics, Apr 2017, Nagoya, Japan. pp.394-398, ⟨10.1109/ICCAR.2017.7942725⟩
Accès au bibtex
BibTex
titre
Decomposing the model-checking of mobile robotics actions on a grid
auteur
Rim Saddem-Yagoubi, Olivier Naud, Karen Godary-Dejean, Didier Crestani
article
20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11156-11162, ⟨10.1016/j.ifacol.2017.08.1236⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01592588/file/IFAC_2017_VersionFinale.pdf BibTex
titre
Formal Method for Mission Controller Generation of a Mobile Robot
auteur
Silvain Louis, Karen Godary-Dejean, Lionel Lapierre, Thomas Claverie, Sébastien Villéger
article
TAROS: Towards Autonomous Robotic Systems, Jul 2017, University of Surrey, Guildford, United Kingdom. pp.586-600, ⟨10.1007/978-3-319-64107-2_48⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01589007/file/TAROS_2017.pdf BibTex
titre
Precision spraying: from map to control using model-checking
auteur
Rim Saddem-Yagoubi, Olivier Naud, Paul Cazenave, Karen Godary-Dejean, Didier Crestani
article
2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Accès au bibtex
BibTex
titre
Robotic mapping of a karst aquifer
auteur
Adrien Lasbouygues, Silvain Louis, Benoît Ropars, Luc Rossi, Herve Jourde, Hélène Délas, Pierre Balordi, Rémi Bouchard, Mehdi Dighouth, Marc Dugrenot, Eric Jacquemin, Frank Vasseur, Lionel Lapierre, David Andreu
article
IFAC: International Federation of Automatic Control, Jul 2017, Toulouse, France
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01904361/file/IFAC_Paper_4244.pdf BibTex
titre
3D underwater reconstruction of archeology object with a mono camera camcorder: The case study at Gourneyras lake
auteur
Yadpiroon Onmek, Jean Triboulet, Sébastien Druon, Arnaud Meline, Silvain Louis, Bruno Jouvencel
article
OCEANS, Jun 2017, Aberdeen, United Kingdom. pp.1-6, ⟨10.1109/OCEANSE.2017.8084978⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-02018544/file/OCEAN_2017_full_paper_Yadpiroon.pdf BibTex

2016

Communication dans un congrès

titre
Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management
auteur
Lotfi Jaïem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani
article
TAROS: Towards Autonomous Robotic Systems, Jun 2016, Sheffield, United Kingdom. pp.189-195, ⟨10.1007/978-3-319-40379-3_19⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01310965/file/Approche_perf_TAROS_short_paper.pdf BibTex
titre
A Step Toward Mobile Robots Autonomy: Energy Estimation Models
auteur
Lotfi Jaïem, Sébastien Druon, Lionel Lapierre, Didier Crestani
article
TAROS: Towards Autonomous Robotic Systems, Jun 2016, Sheffield, United Kingdom. pp.177-188, ⟨10.1007/978-3-319-40379-3_18⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01310961/file/energy_estimation_TAROS.pdf BibTex
titre
Fault Tolerant Autonomous Robots Using Mission Performance Guided Resources Allocation
auteur
Lotfi Jaïem, Lionel Lapierre, Karen Godary-Dejean, Didier Crestani
article
SysTol: Control and Fault-Tolerant Systems, Sep 2016, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01591460/file/2016_SysTol.pdf BibTex

2015

Communication dans un congrès

titre
Towards An Architecture-Centric Approach to Manage Variability of Cloud Robotics
auteur
Lei Zhang, Huaxi (yulin) Zhang, Zheng Fang, Xianbo Xiang, Marianne Huchard, René Zapata
article
DSLRob: Domain-Specific Languages and models for ROBotic systems, Sep 2015, Hamburg, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01376287/file/iros.pdf BibTex
titre
Thruster's dead-zones compensation for the actuation system of an underwater vehicle
auteur
Benoît Ropars, Adrien Lasbouygues, Lionel Lapierre, David Andreu
article
ECC: European Control Conference, Jul 2015, Linz, Austria. pp.741-746, ⟨10.1109/ECC.2015.7330631⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01310931/file/publication_ecc_Final_submission.pdf BibTex
titre
Atoms based control of mobile robots with Hardware-In-the-Loop validation
auteur
Adrien Lasbouygues, Benoît Ropars, Robin Passama, David Andreu, Lionel Lapierre
article
IROS: Intelligent Robots and Systems, Sep 2015, Hamburg, Germany. pp.1083-1090 ⟨10.1109/IROS.2015.7353505⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01310983/file/iros2015_final_976.pdf BibTex

2014

Communication dans un congrès

titre
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets Implementation
auteur
Hélène Leroux, Karen Godary-Dejean, Guillaume Coppey, David Andreu
article
ISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States
Accès au bibtex
BibTex
titre
Stable and Reactive Centering in Conduits for Karstic Exploration
auteur
Adrien Lasbouygues, Lionel Lapierre, David Andreu, Josue Lopez Hermoso, Hervé Jourde, Benoît Ropars
article
ECC: European Control Conference, Jun 2014, Strasbourg, France. pp.2986-2991, ⟨10.1109/ECC.2014.6862278⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01071307/file/Lasbouygues_ECC14_final.pdf BibTex
titre
Possibility of non-invasive blood pressure estimation by measurements of force and arteries diameter
auteur
Florent Veye, Sandrine Mestre, Antonia Perez-Martin, Jean Triboulet
article
BHI: Biomedical and Health Informatics, Jun 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01007425/file/Article_BHI14_0043_FI.pdf BibTex
titre
Integrating Implementation Properties in Analysis of Petri Nets Handling Exceptions
auteur
Hélène Leroux, Karen Godary-Dejean, David Andreu
article
12th IFAC International Workshop on Discrete Event Systems (WODES), May 2014, Paris, France. pp.406-411, ⟨10.3182/20140514-3-FR-4046.00032⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01064146/file/1-s2.0-S1474667015374358-main.pdf BibTex
titre
Evaluation of lower limb vein biomechanical properties and the effects of compression stockings, with an instrumented ultrasound probe
auteur
Florent Veye, Sandrine Mestre, Nicolas Berron, Antonia Perez-Martin, Jean Triboulet
article
EMBC: Engineering in Medicine and Biology Conference, 2014, Chicago, United States. pp.74-77, ⟨10.1109/EMBC.2014.6943532⟩
Accès au bibtex
BibTex
titre
A Collision Avoidance Algorithm Based on the Virtual Target Approach for Cooperative Unmanned Surface Vehicles
auteur
Marco Bibuli, Gabriele Bruzzone, Massimo Caccia, Lionel Lapierre, Enrica Zereik
article
MED: Mediterranean Conference on Control and Automation, Jun 2014, Palermo, Italy. pp.746-751, ⟨10.1109/MED.2014.6961463⟩
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01904368/file/A_Collision_Avoidance_Algorithm_Based_on_the_Virtu.pdf BibTex

2013

Communication dans un congrès

titre
Complex Digital System Design: a methodology and its application to medical implants
auteur
Hélène Leroux, Karen Godary-Dejean, David Andreu
article
18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain
Accès au bibtex
BibTex