Accéder directement au contenu

Charles Lesire-Cabaniols

36
Documents

Publications

Image document

Autonomous Decision-Making With Incomplete Information and Safety Rules Based on Non-Monotonic Reasoning

José-Luis Vilchis Medina , Karen Godary-Dejean , Charles Lesire
IEEE Robotics and Automation Letters, 2021, 6 (4), pp.8357-8362. ⟨10.1109/LRA.2021.3103048⟩
Article dans une revue lirmm-03475252v1
Image document

Hybrid planning and distributed iterative repair for multi-robot missions with communication losses

Patrick Bechon , Charles Lesire , Magali Barbieri
Autonomous Robots, 2019, 44, pp.505-531. ⟨10.1007/s10514-019-09869-w⟩
Article dans une revue hal-02912955v1
Image document

AMPLE: an anytime planning and execution framework for dynamic and uncertain problems in robotics

Caroline Ponzoni Carvalho Chanel , Alexandre Albore , Jorrit T’hooft , Charles Lesire , Florent Teichteil-Königsbuch
Autonomous Robots, 2018, 43 (1, 31), pp.37-62. ⟨10.1007/s10514-018-9703-z⟩
Article dans une revue hal-02901305v1

A distributed architecture for supervision of autonomous multi-robot missions

Charles Lesire Cabaniols , Guillaume Infantes , Thibault Gateau , Magali Barbier
Autonomous Robots, 2016, 40 (7), pp.1343-1362. ⟨10.1007/s10514-016-9603-z⟩
Article dans une revue hal-01385451v1

Comment faire coopérer des robots autonomes

Patrick Bechon , Magali Barbier , Charles Lesire-Cabaniols
La jaune et la rouge [revue mensuelle de la société amicale des anciens élèves de l'Ecole Polytechnique], 2016
Article dans une revue hal-01397689v1
Image document

Synthesis of plans or policies for controlling dynamic systems

G. Verfaillie , C. Pralet , F. Teichteil , G. Infantes , C. Lesire
Aerospace Lab, 2012, 4, p. 1-12
Article dans une revue hal-01183704v1
Image document

Multi-Robot Task Planning to Secure Human Group Progress

Roland Godet , Charles Lesire , Arthur Bit-Monnot
ECAI Agents and Robots for reliable Engineered Autonomy Workshop (AREA), Sep 2023, Krakow (Cracovie), Poland. pp.113 - 126, ⟨10.4204/eptcs.391.13⟩
Communication dans un congrès hal-04500447v1
Image document

Learning Path Constraints for UAV Autonomous Navigation under Uncertain GNSS Availability

Marion Zaninotti , Charles Lesire , Yoko Watanabe , Caroline P C Chanel
17es Journées Francophone Planification, Décision et Apprentissage, Jun 2022, Saint-Etienne, France
Communication dans un congrès hal-03820049v1
Image document

A skill fault model for autonomous systems

Gabriela Medina , Jérémie Guiochet , Charles Lesire , Augustin Manecy
4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩
Communication dans un congrès hal-03609377v2
Image document

SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

Baptiste Pelletier , Charles Lesire , David Doose , Karen Godary-Dejean , Charles Dramé-Maigné
EPTCS 2022 - Electronic Proceedings in Theoretical Computer Science, Sep 2022, Berlin, Germany. pp.120-138, ⟨10.4204/eptcs.371.9⟩
Communication dans un congrès hal-04073365v1
Image document

Autonomous and responsive multi-robot system for minehunting

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire , Loïc Tacher
OCEANS Conference & Exposition (OCEANS 2022), Feb 2022, Chennai, India. ⟨10.1109/OCEANSChennai45887.2022.9775467⟩
Communication dans un congrès hal-03514510v1
Image document

Allocation par enchères et planification hiérarchique pour un système multirobot, application au cas de la chasse aux mines

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire Cabaniols
JFSMA 2022: 30èmes Journées Francophones sur les Systèmes Multi-Agents, Jun 2022, Saint-Etienne, France
Communication dans un congrès hal-03694348v1
Image document

Solving Hierarchical Auctions with HTN Planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire
4th ICAPS workshop on Hierarchical Planning (HPlan), Aug 2021, Guangzhou, China
Communication dans un congrès hal-03289854v2
Image document

PYHIPOP-Hierarchical Partial-Order Planner

Charles Lesire , Alexandre Albore
Workshop on the International Planning Competition, Aug 2021, Guangzhou, China
Communication dans un congrès hal-03478020v1
Image document

Market-based Multi-robot coordination with HTN planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire
International Conference on Intelligent Robots and Systems (IROS 2021), Sep 2021, Prague, Czech Republic
Communication dans un congrès hal-03418176v1
Image document

Market-based Multi-robot coordination with HTN planning

Antoine Milot , Estelle Chauveau , Simon Lacroix , Charles Lesire
Autonomous Robots and Multirobot Systems workshop (ARMS) 2021, May 2021, Montreal, Canada
Communication dans un congrès hal-03230342v1
Image document

A hierarchical fault tolerant architecture for an autonomous robot

Anthony Favier , Antonin Messioux , Jérémie Guiochet , Jean-Charles Fabre , Charles Lesire
6th Intern. Workshop on ​Safety and Security of Intelligent Vehicles (SSIV) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2020, Valence, Spain. ⟨10.1109/DSN-W50199.2020.00031⟩
Communication dans un congrès hal-02558604v1
Image document

Formalization of Robot Skills with Descriptive and Operational Models

Charles Lesire , David Doose , Christophe Grand
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Oct 2020, Las Vegas, United States. pp.7227-7232, ⟨10.1109/IROS45743.2020.9340698⟩
Communication dans un congrès hal-03170357v1

Solving Methods for Multi-Robot Missions Planning with Energy Capacity Consideration

Muhammad Khakim Habibi , Christophe Grand , Charles Lesire , Cédric Pralet
ICRA 2019, May 2019, MONTREAL, Canada
Communication dans un congrès hal-02912969v1
Image document

Synthesis of Real-Time Observers from Past-Time Linear Temporal Logic and Timed Specification

Charles Lesire , Stéphanie Roussel , David Doose , Christophe Grand
2019 International Conference on Robotics and Automation (ICRA), May 2019, MONTREAL, Canada. ⟨10.1109/ICRA.2019.8793754⟩
Communication dans un congrès hal-02913050v1
Image document

An Autonomous Mission Controller for Earth Observing Satellites

Cédric Pralet , Charles Lesire , Jean Jaubert
IWPSS 2019, Jul 2019, BERKELEY, United States
Communication dans un congrès hal-02355723v1
Image document

Integrating planning and execution for a team of heterogeneous robots with time and communication constraints

Patrick Bechon , Magali Barbier , Christophe Grand , Simon Lacroix , Charles Lesire
IEEE International Conference on Robotics and Automation (ICRA 2018), May 2018, Brisbanne, Australia. 7p
Communication dans un congrès hal-01706146v1
Image document

ASPiC: an Acting system based on Skill Petri net Composition

Charles Lesire , Franck Pommereau
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018), Oct 2018, Madrid, Spain. pp.6952--6958, ⟨10.1109/IROS.2018.8594328⟩
Communication dans un congrès hal-01961211v1
Image document

Open Loop Execution of Tree-Search Algorithms

Erwan Lecarpentier , Guillaume Infantes , Charles Lesire , Emmanuel Rachelson
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes 2018 (JFPDA 2018), Jul 2018, Nancy, France
Communication dans un congrès hal-01840583v1
Image document

Measurement-based real-time analysis of robotic software architectures

Nicolas Gobillot , Fabrice Guet , David Doose , Christophe Grand , Charles Lesire
IROS 2016, Oct 2016, DAEJEON, South Korea
Communication dans un congrès hal-01411373v1
Image document

Synthèse de plans d’exécution multi-agents robustes aux incertitudes et à l’absence de communications

G. Casanova , C. Pralet , C. Lesire Cabaniols , Thierry Vidal
JFSMA 2016, Oct 2016, ROUEN, France
Communication dans un congrès hal-01383933v1
Image document

Proactive planning and execution strategies with multiple hypotheses

J. t'Hooft , C. Lesire Cabaniols , C.P. Carvalho Chanel
11th National Conference on “Software and Hardware Architectures for Robots Control” & Quatrièmes Journées Architectures Logicielles pour la Robotique Autonome, les Systèmes Cyber-Physiques et les Systèmes Auto-Adaptables (SHARC 2016), Jun 2016, BREST, France
Communication dans un congrès hal-01371760v1

Gestion des Réseaux Temporels Simples Multi-agents dynamiques

Guillaume Casanova , Charles Lesire , Cédric Pralet
23es Journées Francophones sur les Systèmes Multi-Agents (JFSMA'15), Jun 2015, Rennes, France. pp.123-132
Communication dans un congrès hal-01163025v1
Image document

Multi-Robot Planning and Execution for an Exploration Mission: a Case Study

G. Infantes , C. Lesire , C. Pralet
ICAPS 2014 PlanRob Workshop (Planning and Robotics), Jun 2014, PORTSMOUTH, United States
Communication dans un congrès hal-01079780v1
Image document

POMDP-based online target detection and recognition for autonomous UAVs

Caroline P. Carvalho Chanel , F. Teichteil-Königsbuch , C. Lesire
Seventh Conference on Prestigious Applications of Intelligent Systems (PAIS-12), Aug 2012, MONTPELLIER, France
Communication dans un congrès hal-01060444v1
Image document

Détection et reconnaissance de cibles en ligne pour des UAV autonomes avec un modèle de type POMDP

Caroline P. Carvalho Chanel , Florent Teichteil-Königsbuch , Charles Lesire
Journées Francophones sur la planification, la décision et l'apprentissage pour le contrôle des systèmes - JFPDA 2012, May 2012, Villers-lès-Nancy, France. 12 p
Communication dans un congrès hal-00736231v1
Image document

Mauve: a Component-based Modeling Framework for Real-time Analysis of Robotic Applications.

Charles Lesire , David Doose , Hugues Cassé
7th full day Workshop on Software Development and Integration in Robotics (ICRA2012 - SDIR VII), May 2012, MINNESOTA, United States
Communication dans un congrès hal-01060327v1
Image document

Simulating complex robotic scenarios with MORSE

Gilberto Echeverria , Séverin Lemaignan , Arnaud Degroote , Simon Lacroix , Michael Karg
3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots, Nov 2012, Tsukuba, Japan. pp.197-208, ⟨10.1007/978-3-642-34327-8_20⟩
Communication dans un congrès hal-00988475v1
Image document

HiDDeN, une architecture décisionnelle distribuée pour la coopération de véhicules individuellement autonomes

Thibault Gateau , Charles Lesire , Barbier Magali
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès hal-00656494v1
Image document

Validation of real-time properties of a robotic software architecture

Charles Lesire , David Doose , Hugues Cassé
6th National Conference on Control Architectures of Robots, INRIA Grenoble Rhône-Alpes, May 2011, Grenoble, France. 7 p
Communication dans un congrès inria-00599689v1
Image document

Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches

Yasmina Abdeddaim , Eugene Asarin , Matthieu Gallien , Félix Ingrand , Charles Lesire
International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9
Communication dans un congrès hal-00157935v1