Filtrer vos résultats
- 30
- 8
- 28
- 9
- 1
- 25
- 23
- 4
- 2
- 1
- 1
- 1
- 1
- 2
- 4
- 2
- 1
- 1
- 6
- 2
- 3
- 3
- 2
- 2
- 1
- 4
- 2
- 1
- 1
- 1
- 32
- 6
- 38
- 11
- 5
- 5
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 38
- 17
- 13
- 12
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
38 résultats
|
|
triés par
|
Precision spraying: from map to control using model-checking2017 EFITA WCCA CONGRESS, Jul 2017, Montpellier, France
Communication dans un congrès
lirmm-01591476v1
|
|||
Complex Digital System Design: a methodology and its application to medical implants18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain
Communication dans un congrès
lirmm-01064165v1
|
|||
|
HIL Simulator for AUV with ContrACTCAR: Control Architectures of Robots, Jun 2015, Lyon, France
Communication dans un congrès
lirmm-02015563v1
|
||
|
Underwater robots provide similar fish biodiversity assessments as divers on coral reefsRemote Sensing in Ecology and Conservation, 2021, 7, pp.567-578. ⟨10.1002/rse2.209⟩
Article dans une revue
hal-03261663v1
|
||
|
Coupling underwater autonomous vehicles and automatic video analysis for efficient monitoring of coral reef ecosystems: promises and challengesICRS 2021 - 15th International Coral Reef Symposium, Jul 2021, Bremen (virtual), Germany
Communication dans un congrès
lirmm-03820865v1
|
||
|
Quaternion based control for robotic observation of marine diversityOCEANS, Jun 2017, Aberdeen, United Kingdom. ⟨10.1109/OCEANSE.2017.8085006⟩
Communication dans un congrès
lirmm-01588991v1
|
||
Automatic Handling of Conflicts in Synchronous Interpreted Time Petri Nets ImplementationISVLSI: IEEE Computer Society Annual Symposium on VLSI, Jul 2014, Tampa, Florida, United States
Communication dans un congrès
lirmm-01064174v1
|
|||
|
Interpreted Synchronous Extension of Time Petri Nets - Definition, Semantics and Formal AnalysisDiscrete Event Dynamic Systems, 2022, 32, pp.27-64. ⟨10.1007/s10626-021-00347-z⟩
Article dans une revue
lirmm-03454630v1
|
||
Handling Exceptions in Petri Net-Based Digital Architecture: From Formalism to Implementation on FPGAsIEEE Transactions on Industrial Informatics, 2015, 11 (4), pp.897-906. ⟨10.1109/TII.2015.2435696⟩
Article dans une revue
lirmm-01241168v1
|
|||
|
Inconsistencies Evaluation Mechanisms for an Hybrid Control Architecture with Adaptive AutonomyCAR: Control Architectures of Robots, Apr 2009, Toulouse, France
Communication dans un congrès
lirmm-00386063v1
|
||
|
A Fault Tolerant Control Architecture Based on Fault Trees for an Underwater Robot Executing Transect MissionsICRA 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
|
||
|
Enhancing Fault Tolerance of Autonomous Mobile RobotsRobotics and Autonomous Systems, 2015, 68, pp.140-155. ⟨10.1016/j.robot.2014.12.015⟩
Article dans une revue
lirmm-01241181v1
|
||
Architectures de contrôle pour la robotique - Approches et tendancesTechniques de l’ingénieur, pp.#S7791, 2014
Chapitre d'ouvrage
lirmm-02015617v1
|
|||
|
Precision spraying: from map to sprayer control using model-checkingJournal of Agricultural Informatics, 2017, 8 (3), pp.1-10. ⟨10.17700/jai.2017.8.3.392⟩
Article dans une revue
lirmm-01960598v1
|
||
|
Temporal bounds verification of the STIMAP protocolRTNS: Real-Time and Network Systems, Sep 2011, Nantes, France
Communication dans un congrès
hal-00789796v1
|
||
|
New Approach for Differential Harvest Problem: The model checking wayWODES 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
|
||
|
Formal Validation of a Deterministic MAC ProtocolACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.N/A. ⟨10.1145/2406336.2406342⟩
Article dans une revue
lirmm-00679892v2
|
||
|
LPT - A Tool for Parametric TPN ValidationVECoS: Verification and Evaluation of Computer and Communication Systems, Aug 2012, Paris, France
Communication dans un congrès
lirmm-00804362v1
|
||
|
Testing an Underwater Robot Executing Transect Missions in MayotteTAROS 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
|
||
|
Fault Tolerance in Control Architectures for Mobile Robots: Fantasy or Reality?CAR: Control Architectures of Robots, May 2012, Nancy, France
Communication dans un congrès
lirmm-00804370v1
|
||
|
Sliding Time Interval based MAC Protocol and its Temporal ValidationFET'07: 7th IFAC International Conference on Fieldbuses & Networks in Industrial & Embedded Systems, Nov 2007, Toulouse, France, France. pp.119-126
Communication dans un congrès
lirmm-00194273v1
|
||
|
Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic ReasoningIEEE Robotics and Automation Letters, 2021, 6 (4), pp.8357-8362. ⟨10.1109/LRA.2021.3103048⟩
Article dans une revue
lirmm-03475252v1
|
||
|
Analyse de Réseau de Petri Temporels Exécutés de Façon SynchroneMSR: Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Communication dans un congrès
lirmm-01591153v1
|
||
|
Toward Performance Guarantee for Autonomous Mobile Robotic Mission: An Approach for Hardware and Software Resources ManagementTAROS 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
|
||
|
Using Adaptive Control Architecture to Enhance Mobile Robot ReliabilityTAROS 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 RobotsSysTol: 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 ReliabilityIROS: Intelligent Robots and Systems, Oct 2010, Tapei, Taiwan. pp.1018-1023
Communication dans un congrès
lirmm-00547867v1
|
||
|
Validation formelle d'un mécanisme de synchronisation pour réseaux sans filCFIP'2009, Oct 2009, Strasbourg, France
Communication dans un congrès
inria-00419457v1
|
||
Model-checking precision agriculture logistics: the case of the differential harvestDiscrete Event Dynamic Systems, 2020, 30, pp.579-604. ⟨10.1007/s10626-020-00313-1⟩
Article dans une revue
hal-02963006v1
|
|||
Reliability Improvement in Control Architecture for Mobile Robots: Implementation using COTAMACAR: Control Architectures of Robots, 2010, Douai, France
Communication dans un congrès
lirmm-00547842v1
|
- 1
- 2