Documentation
Français (FR)

Anglais (EN)

Didier Crestani

17

Documents

Publications

karen-godary-dejean

	Model-checking precision agriculture logistics: the case of the differential harvest Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani Discrete Event Dynamic Systems, 2020, 30, pp.579-604. ⟨10.1007/s10626-020-00313-1⟩ Article dans une revue hal-02963006v1
	Precision spraying: from map to sprayer control using model-checking Rim Saddem-Yagoubi , Olivier Naud , Paul Cazenave , Karen Godary-Dejean , Didier Crestani Journal of Agricultural Informatics, 2017, 8 (3), pp.1-10. ⟨10.17700/jai.2017.8.3.392⟩ Article dans une revue lirmm-01960598v1
	Enhancing Fault Tolerance of Autonomous Mobile Robots Didier Crestani , Karen Godary-Dejean , Lionel Lapierre Robotics and Autonomous Systems, 2015, 68, pp.140-155. ⟨10.1016/j.robot.2014.12.015⟩ Article dans une revue lirmm-01241181v1

	A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect Missions Adrien Hereau , Karen Godary-Dejean , Jérémie Guiochet , Didier Crestani ICRA 2021 - 38th IEEE International Conference on Robotics and Automation, May 2021, Xi’an, China. pp.2127-2133, ⟨10.1109/ICRA48506.2021.9561735⟩ Communication dans un congrès lirmm-03228297v1
	Testing an Underwater Robot Executing Transect Missions in Mayotte Adrien Hereau , Karen Godary-Dejean , Jérémie Guiochet , Clément Robert , Thomas Claverie TAROS 2020 - 21st Annual Conference Towards Autonomous Robotic Systems, Sep 2020, Virtual, United Kingdom. pp.116-127, ⟨10.1007/978-3-030-63486-5_14⟩ Communication dans un congrès lirmm-02895512v1
	New Approach for Differential Harvest Problem: The model checking way Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.57-63, ⟨10.1016/j.ifacol.2018.06.279⟩ Communication dans un congrès lirmm-01935442v1
	Precision spraying: from map to control using model-checking Rim Saddem-Yagoubi , Olivier Naud , Paul Cazenave , Karen Godary-Dejean , Didier Crestani 2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France Communication dans un congrès lirmm-01591476v1
	Decomposing the model-checking of mobile robotics actions on a grid Rim Saddem-Yagoubi , Olivier Naud , Karen Godary-Dejean , Didier Crestani 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11156-11162, ⟨10.1016/j.ifacol.2017.08.1236⟩ Communication dans un congrès lirmm-01592588v1
	Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources Management Lotfi Jaïem , Lionel Lapierre , Karen Godary-Dejean , Didier Crestani TAROS 2016 - 17th Annual Conference Towards Autonomous Robotic Systems, Jun 2016, Sheffield, United Kingdom. pp.189-195, ⟨10.1007/978-3-319-40379-3_19⟩ Communication dans un congrès lirmm-01310965v1
	Fault Tolerant Autonomous Robots Using Mission Performance Guided Resources Allocation Lotfi Jaïem , Lionel Lapierre , Karen Godary-Dejean , Didier Crestani SysTol: Control and Fault-Tolerant Systems, Sep 2016, Barcelona, Spain Communication dans un congrès lirmm-01591460v1
	Fault Tolerance in Control Architectures for Mobile Robots: Fantasy or Reality? Didier Crestani , Karen Godary-Dejean CAR: Control Architectures of Robots, May 2012, Nancy, France Communication dans un congrès lirmm-00804370v1
	Using Adaptive Control Architecture to Enhance Mobile Robot Reliability Bastien Durand , Karen Godary-Dejean , Lionel Lapierre , Robin Passama , Didier Crestani TAROS 2010 - 11th Annual Conference Towards Autonomous Robotic Systems, 2010, Plymouth, United Kingdom. pp.54-61 Communication dans un congrès lirmm-00547852v1
	Fault Tolerance Enhancement using Autonomy Adaptation for Autonomous Mobile Robots Bastien Durand , Karen Godary-Dejean , Lionel Lapierre , Robin Passama , Didier Crestani SysTol: Control and Fault-Tolerant Systems, Oct 2010, Nice, France. pp.24-29, ⟨10.1109/SYSTOL.2010.5676030⟩ Communication dans un congrès lirmm-00547856v1
	Global Methodology in Control Architecture to improve Mobile Robot Reliability Bastien Durand , Karen Godary-Dejean , Lionel Lapierre , Didier Crestani IROS: Intelligent Robots and Systems, Oct 2010, Tapei, Taiwan. pp.1018-1023 Communication dans un congrès lirmm-00547867v1
	Reliability Improvement in Control Architecture for Mobile Robots: Implementation using COTAMA Bastien Durand , Karen Godary-Dejean , Lionel Lapierre , Robin Passama , Didier Crestani CAR: Control Architectures of Robots, 2010, Douai, France Communication dans un congrès lirmm-00547842v1
	Inconsistencies Evaluation Mechanisms for an Hybrid Control Architecture with Adaptive Autonomy Bastien Durand , Karen Godary-Dejean , Lionel Lapierre , Didier Crestani CAR: Control Architectures of Robots, Apr 2009, Toulouse, France Communication dans un congrès lirmm-00386063v1

	Architectures de contrôle pour la robotique - Approches et tendances Robin Passama , David Andreu , Karen Godary-Dejean , Didier Crestani Techniques de l’ingénieur, pp.#S7791, 2014 Chapitre d'ouvrage lirmm-02015617v1