Felix Ingrand

Publications

Article dans une revue (14)

A Modular Execution Architecture for Robust Multi-Robot Planning and Acting in Trans-Media Environments Virgile de la Rochefoucauld,Photchara Ratsamee,Simon Lacroix,Félix Ingrand,Yuki Uranishi IEEE Access, In press, ⟨10.1109/ACCESS.2025.3625646⟩ Article dans une revue hal-05244656v2
Unified Planning: Modeling, manipulating and solving AI planning problems in Python Andrea Micheli,Arthur Bit-Monnot,Gabriele Röger,Enrico Scala,Alessandro Valentiniet al. SoftwareX, 2024, 29, pp.102012. ⟨10.1016/j.softx.2024.102012⟩ Article dans une revue hal-04850710v1
A formal toolchain for offline and run-time verification of robotic systems Silvano Dal Zilio,Pierre-Emmanuel Hladik,Félix Ingrand,Anthony Mallet Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩ Article dans une revue hal-03683044v2
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems Pierre-Emmanuel Hladik,Félix Ingrand,Silvano Dal Zilio,Reyyan Tekin Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩ Article dans une revue hal-03017661v4
L'IA transporte dans le futur Frederic Dehais,Félix Ingrand,Claire Pagetti,Romaric Redon,Florent Teichteil-Königsbuch Le petit illustré, regards croisés de chercheur.es, 2020, pp.40-43 Article dans une revue hal-03463284v1
Deliberation for autonomous robots: A survey Félix Ingrand,Malik Ghallab Artificial Intelligence (AIJ), 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩ Article dans une revue hal-01137921v1
An Overview of Problems and Approaches in Machine Intelligence Malik Ghallab,Félix Ingrand Frontiers in Science and Engineering (international journal), 2016, 6 (1), pp.115-156 Article dans une revue hal-01566201v1
Robotics and Artificial Intelligence: a Perspective on Deliberation Functions Félix Ingrand,Malik Ghallab AI Communications, 2014, 27 (1), pp.63-80. ⟨10.3233/AIC-130578⟩ Article dans une revue hal-01138117v1
A cooperative architecture for target localization using multiple AUVs Assia Belbachir,Félix Ingrand,Simon Lacroix Intelligent Service Robotics, 2012, 5 (2), pp.119 - 132. ⟨10.1007/s11370-012-0107-1⟩ Article dans une revue istex hal-01715620v1
Rigorous design of robot software: A formal component-based approach Tesnim Abdellatif,Saddek Bensalem,Jacques Combaz,Lavindra de Silva,Félix Ingrand Robotics and Autonomous Systems, 2012, 60 (12), pp.1563-1578. ⟨10.1016/j.robot.2012.09.005⟩ Article dans une revue hal-01980036v1
The ExoMars rover and Pasteur payload Phase A study: an approach to experimental astrobiology Dave Barnes,Enrico Battistelli,Reinhold Bertrand,Francesco Butera,Raja Chatilaet al. International Journal of Astrobiology, 2006, 5 (03), pp.221 Article dans une revue hal-01987471v1
Multi-robot cooperation in the MARTHA project Rachid Alami,Sarah Fleury,Matthieu Herrb,Félix Ingrand,Frederic Robert IEEE Robotics and Automation Magazine, 1998, 5 (1), pp.36 - 47. ⟨10.1109/100.667325⟩ Article dans une revue hal-01857573v1
An Architecture for Autonomy Rachid Alami,Raja Chatila,Sara Fleury,Malik Ghallab,Félix Ingrand The International Journal of Robotics Research, 1998, 17 (4), pp.315-337. ⟨10.1177/027836499801700402⟩ Article dans une revue istex hal-00123273v2
An architecture for real-time reasoning and system control Félix Ingrand,M.P. Georgeff,A.S. Rao IEEE Expert, 1992, 7 (6), pp.34-44. ⟨10.1109/64.180407⟩ Article dans une revue hal-01980099v1

Pré-publication, Document de travail (5)

A formal implementation of Behavior Trees to act in robotics Félix Ingrand 2025 Pré-publication, Document de travail hal-04954024v2
ProSkill: A formal skill language for acting in robotics Félix Ingrand 2024 Pré-publication, Document de travail hal-04502274v1
Composing Complex and Hybrid AI Solutions Peter Schüller,João Paulo Costeira,James L. Crowley,Jasmin Grosinger,Félix Ingrandet al. 2022 Pré-publication, Document de travail hal-03590739v1
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning Arthur Bit-Monnot,Malik Ghallab,Félix Ingrand,David E Smith 2020 Pré-publication, Document de travail hal-02987044v1
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis Mohammed Foughali,Félix Ingrand,Anthony Mallet 2017 Pré-publication, Document de travail hal-01457881v2

Logiciel (7)

BT2Fiacre (Behavior Tree 2 Fiacre) Félix Ingrand 2024 Logiciel hal-04720141v1
ProSkill Félix Ingrand 2023 Logiciel hal-04738223v1
GenoM3 Fiacre Template Félix Ingrand 2020 Logiciel hal-04751289v1
GenoM Matthieu Herrb,Anthony Mallet,Sara Fleury,Félix Ingrand,Cédric Pasteuret al. 2013, ⟨swh:1:dir:61ed92435c775026a094a36e04bc80a002f2399a;origin=https://hal.archives-ouvertes.fr/hal-05034457;visit=swh:1:snp:f5694d8d0306156560747a5c8c2fb01ae399b567;anchor=swh:1:rel:5b499d0c349548120050b6e771862da163ffdf91;path=/⟩ Logiciel hal-05034457v1
TransGen3 Félix Ingrand 2012, ⟨swh:1:dir:9270403b83efc5d5f8c71bf67016f59509c916c7;origin=https://hal.archives-ouvertes.fr/hal-04750087;visit=swh:1:snp:fe68f833337ec7c6adb433ed8215ad3a74eaeb6e;anchor=swh:1:rel:baf961a101b8777ed7da89d32157d6ff12ec8d18;path=/⟩ Logiciel hal-04750087v1
GenoM3 OpenPRS Template Félix Ingrand 2012, ⟨swh:1:dir:2658d2d22c7e05fc6026aa8fa3b00c6d8589e974;origin=https://hal.archives-ouvertes.fr/hal-04750041;visit=swh:1:snp:8d16356ac12c168244ae6d6fdc23c3752c5a7f37;anchor=swh:1:rel:5cd382b56e64a8871307eecc73e0e6041f7db585;path=/⟩ Logiciel hal-04750041v1
OpenPRS Félix Ingrand 1991 Logiciel hal-04739326v1

Communication dans un congrès (38)

A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems Selvakumar Hastham Sathiya Satchi Sadanandam,Sebastian Stock,Alexander Sung,Félix Ingrand,Oscar Limaet al. 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic Communication dans un congrès hal-04131316v1
Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous Planning Jérémy Turi,Arthur Bit-Monnot,Félix Ingrand Integrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republic Communication dans un congrès hal-04107355v1
Runtime Verification of Timed Properties in Autonomous Robots Mohammed Foughali,Saddek Bensalem,Jacques Combaz,Félix Ingrand 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩ Communication dans un congrès hal-03093298v1
Statistical Model Checking of Complex Robotic Systems Mohammed Foughali,Félix Ingrand,Cristina Seceleanu 26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China Communication dans un congrès hal-02152286v1
Recent Trends in Formal Validation and Verification of Autonomous Robots Software Félix Ingrand IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy Communication dans un congrès hal-01968265v1
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms Mohammed Foughali,Bernard Berthomieu,Silvano Dal Zilio,Pierre-Emmanuel Hladik,Félix Ingrandet al. FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden Communication dans un congrès hal-01778960v1
Can robot navigation bugs be found in simulation? An exploratory study Thierry Sotiropoulos,Hélène Waeselynck,Jérémie Guiochet,Félix Ingrand 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p Communication dans un congrès hal-01534235v1
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots Mohammed Foughali,Bernard Berthomieu,Silvano Dal Zilio,Félix Ingrand,Anthony Mallet 18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan Communication dans un congrès hal-01346080v1
Which Contingent Events to Observe for the Dynamic Controllability of a Plan Arthur Bit-Monnot,Malik Ghallab,Félix Ingrand International Joint Conference on Artificial Intelligence (IJCAI-16), Jul 2016, New York, NY, United States Communication dans un congrès hal-01310844v2
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level Thierry Sotiropoulos,Jérémie Guiochet,Félix Ingrand,Hélène Waeselynck 12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden Communication dans un congrès hal-01328909v1
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments Lavindra de Silva,Rongjie Yan,Félix Ingrand,Rachid Alami,Saddek Bensalem Proceeding HRI'15 Extended Abstracts Proceedings of the Tenth Annual ACM/IEEE International Conference on Human-Robot Interaction Extended Abstracts, Mar 2015, Portland, United States Communication dans un congrès hal-01955184v1
Test de la navigation de systèmes autonomes dans des mondes virtuels Thierry Sotiropoulos,Jérémie Guiochet,Félix Ingrand,Hélène Waeselynck Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France Communication dans un congrès hal-01282148v1
A Flexible ANML Actor and Planner in Robotics Filip Dvorak,Arthur Bit-Monnot,Félix Ingrand,Malik Ghallab Planning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United States Communication dans un congrès hal-01138111v1
Plan-Space Hierarchical Planning with the Action Notation Modeling Language Filip Dvo﻿﻿rak,Arthur Bit-Monnot,Félix Ingrand,Malik Ghallab IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus Communication dans un congrès hal-01138105v1
Planification d'une mission d'observation par allocation de tâches hiérarchiques pour une équipe de robots hétérogènes Hung Cao,Simon Lacroix,Félix Ingrand RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3 Communication dans un congrès hal-00656532v1
GenoM3: Building middleware-independent robotic components Anthony Mallet,Cédric Pasteur,Matthieu Herrb,Séverin Lemaignan,Félix Ingrand 2010 IEEE International Conference on Robotics and Automation (ICRA 2010), May 2010, Anchorage, France. pp.4627-4632, ⟨10.1109/ROBOT.2010.5509539⟩ Communication dans un congrès hal-05050736v1
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches Yasmina Abdeddaim,Eugene Asarin,Matthieu Gallien,Félix Ingrand,Charles Lesireet al. International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9 Communication dans un congrès hal-00157935v1
Fault Tolerant Planning for Critical Robots Benjamin Lussier,Matthieu Gallien,Jérémie Guiochet,Félix Ingrand,Marc-Olivier Killijianet al. DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩ Communication dans un congrès hal-01292653v1
Planning with Diversified Models for Fault-Tolerant Robots Benjamin Lussier,Matthieu Gallien,Jérémie Guiochet,Félix Ingrand,Marc-Olivier Killijianet al. The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223 Communication dans un congrès hal-01292650v1
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges Rachid Alami,A. Albu-Schaeffer,A. Bicchi,R. Bischoff,Raja Chatilaet al. IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩ Communication dans un congrès hal-01295366v1
Fault Tolerance in Autonomous Systems: How and How Much? Benjamin Lussier,Alexandre Lampe,Raja Chatila,Jérémie Guiochet,Félix Ingrandet al. 4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan Communication dans un congrès hal-01292930v1
Real-Time Execution Control for Autonomous Systems Frédéric Py,Félix Ingrand 2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France Communication dans un congrès hal-02271201v1
Software Safety Supervision On-board Autonomous Spacecraft J P Blanquart,S Fleury,M Hernek,C Honvault,Félix Ingrandet al. 2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France Communication dans un congrès hal-02271033v1
Dependability Issues in a Robot Control Architecture Rachid Alami,Raja Chatila,Félix Ingrand,Frédéric Py Oct 2002, pp.PP23 Communication dans un congrès hal-00131261v1
Diligent: towards a human-friendly navigation system Rachid Alami,Igor Belousov,Sara Fleury,Matthieu Herrb,Félix Ingrandet al. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan Communication dans un congrès hal-01976177v1
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution Rachid Alami,Félix Ingrand,Samer Qutub 13th European Conference on Artificial Intelligence (ECAI), Aug 1998, Brighton, United Kingdom Communication dans un congrès hal-01979716v1
Planning Coordination and Execution in Multi-robots Environment Rachid Alami,Félix Ingrand,Samer Qutub 8th International Conference on Advanced Robotics. Proceedings. ICAR'97, Jul 1997, Monterey, United States Communication dans un congrès hal-01979706v1
Operating a large fleet of mobile robots using the plan-merging paradigm Rachid Alami,Sarah Fleury,Matthieu Herrb,Félix Ingrand,Samer Qutub IEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, United States Communication dans un congrès hal-01979708v1
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation Samer Qutub,Rachid Alami,Félix Ingrand IEEE/RSJ International Conference on Intelligent Robot and Systems. (IROS), Nov 1997, Grenoble, France Communication dans un congrès hal-01979710v1
PRS: a high level supervision and control language for autonomous mobile robots Félix Ingrand,Raja Chatila,Rachid Alami,F. Robert EEE International Conference on Robotics and Automation, 1996, Minneapolis, United States Communication dans un congrès hal-01972550v1
Multi-Robot Cooperation through Incremental Plan-Merging Rachid Alami,Frédéric Robert,Félix Ingrand,Sho'Ji Suzuki Proceedings of 1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan Communication dans un congrès hal-01979392v1
Ten autonomous mobile robots (and even more) in a route network like environment Luis Aguilar,Rachid Alami,Sarah Fleury,Matthieu Herrb,Félix Ingrandet al. Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1995, Pittsburgh, United States Communication dans un congrès hal-01979400v1
Mission Planning and Execution Control for Intervention Robots Raja Chatila,Félix Ingrand,Rachid Alami Undersea Robotics and Intelligent Control Workshop, 1995, Lisbon, Portugal Communication dans un congrès hal-01981902v1
A paradigm for plan-merging and its use for multi-robot cooperation Rachid Alami,Frédéric Robert,Félix Ingrand,Sho'Ji Suzuki IEEE International Conference on Systems, Man and Cybernetics, Oct 1994, San Antonio, United States Communication dans un congrès hal-01979386v1
Procedural Reasoning versus Blackboard Architecture for Real-Time Reasoning Félix Ingrand,Vianney Coutance Thirteenth International Conference on Artificial Intelligence, 1993, Avignon, France Communication dans un congrès hal-01981890v1
Managing Deliberation and Reasoning in Real-Time AI Systems Félix Ingrand,Michael P Georgee DARPA Workshop on Innovative Approaches to Planning, 1990, San Diego (CA), United States Communication dans un congrès hal-01981607v1
Monitoring and Control of Spacecraft Systems Using Procedural Reasoning Michael P Georgeff,Félix Ingrand Space Operations-Automation and Robotics Workshop, 1989, Houston (TX), United States Communication dans un congrès hal-01981584v1
Decision-Making in an Embedded Reasoning System Michael P Georgeff,Félix Ingrand International Joint Conference on Artificial Intelligence, 1989, Detroit, United States Communication dans un congrès hal-01980071v1

Chapitre d'ouvrage (4)

Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach Félix Ingrand Software engineering for robotics, Springer, pp.219-248, 2021, 978-3-030-66493-0. ⟨10.1007/978-3-030-66494-7_8⟩ Chapitre d'ouvrage hal-02927311v3
Robotics and Artificial Intelligence. Félix Ingrand,Malik Ghallab Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, 813p., 2019, ⟨10.1007/978-3-030-06164-7⟩ Chapitre d'ouvrage hal-01994685v1
Intelligence artificielle et robotique Malik Ghallab,Félix Ingrand Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques, ses développements, Cépuadès, 2014, 9782364930438 Chapitre d'ouvrage hal-01994678v1
A general framework for multi-robot cooperation and its implementation on a set of three Hilare robots Rachid Alami,Luis Aguilar,Hana Bullata,Sarah Fleury,Matthieu Herrbet al. in: Khatib O., Salisbury J.K. (eds) Experimental Robotics IV., 223, Springer-Verlag, pp.26-39, 2005, Lecture Notes in Control and Information Sciences Chapitre d'ouvrage hal-01979405v1

Rapport (2)

On the Semantics of the GenoM3 Framework Mohammed Foughali,Silvano Dal Zilio,Félix Ingrand 2019 Rapport (rapport technique) hal-01992470v1
Fault tolerant planning: towards dependable autonomous robots Benjamin Lussier,Jérémie Guiochet,Félix Ingrand,Marc-Olivier Killijian,David Powell [Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015 Rapport (rapport de recherche) hal-01271568v1