Felix Ingrand

68
Documents

Publications

Publications

Image document

Unified Planning: Modeling, manipulating and solving AI planning problems in Python

Andrea Micheli , Arthur Bit-Monnot , Gabriele Röger , Enrico Scala , Alessandro Valentini et al.
SoftwareX, 2024, 29, pp.102012. ⟨10.1016/j.softx.2024.102012⟩
Article dans une revue hal-04850710 v1
Image document

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-03683044 v2
Image document

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-03017661 v4

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-03463284 v1
Image document

Deliberation for autonomous robots: A survey

Félix Ingrand , Malik Ghallab
Artificial Intelligence, 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩
Article dans une revue hal-01137921 v1
Image document

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-01566201 v1
Image document

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-01138117 v1

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-01715620 v1
Image document

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-01980036 v1

The ExoMars rover and Pasteur payload Phase A study: an approach to experimental astrobiology

Dave Barnes , Enrico Battistelli , Reinhold Bertrand , Francesco Butera , Raja Chatila et al.
International Journal of Astrobiology, 2006, 5 (03), pp.221
Article dans une revue hal-01987471 v1
Image document

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-00123273 v2
Image document

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-01857573 v1
Image document

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-01980099 v1
Image document

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-04107355 v1
Image document

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 Lima et al.
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic
Communication dans un congrès hal-04131316 v1
Image document

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-03093298 v1
Image document

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-01968265 v1
Image document

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-02152286 v1
Image document

Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms

Mohammed Foughali , Bernard Berthomieu , Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand et al.
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Communication dans un congrès hal-01778960 v1
Image document

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-01534235 v1
Image document

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-01310844 v2
Image document

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-01346080 v1
Image document

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-01328909 v1
Image document

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-01282148 v1

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-01955184 v1
Image document

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-01138111 v1
Image document

Plan-Space Hierarchical Planning with the Action Notation Modeling Language

Filip Dvorak , 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-01138105 v1
Image document

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-00656532 v1
Image document

Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches

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

Fault Tolerant Planning for Critical Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian et 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-01292653 v1
Image document

Planning with Diversified Models for Fault-Tolerant Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian et 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-01292650 v1
Image document

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 Chatila et 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-01295366 v1
Image document

Fault Tolerance in Autonomous Systems: How and How Much?

Benjamin Lussier , Alexandre Lampe , Raja Chatila , Jérémie Guiochet , Félix Ingrand et 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-01292930 v1
Image document

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-02271201 v1
Image document

Software Safety Supervision On-board Autonomous Spacecraft

J P Blanquart , S Fleury , M Hernek , C Honvault , Félix Ingrand et al.
2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France
Communication dans un congrès hal-02271033 v1
Image document

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-00131261 v1
Image document

Diligent: towards a human-friendly navigation system

Rachid Alami , Igor Belousov , Sara Fleury , Matthieu Herrb , Félix Ingrand et al.
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan
Communication dans un congrès hal-01976177 v1
Image document

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-01979716 v1
Image document

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-01979706 v1
Image document

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-01979708 v1
Image document

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-01979710 v1
Image document

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-01972550 v1
Image document

Ten autonomous mobile robots (and even more) in a route network like environment

Luis Aguilar , Rachid Alami , Sarah Fleury , Matthieu Herrb , Félix Ingrand et al.
Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1995, Pittsburgh, United States
Communication dans un congrès hal-01979400 v1
Image document

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-01979392 v1
Image document

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-01981902 v1
Image document

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-01979386 v1
Image document

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-01981890 v1
Image document

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-01981607 v1
Image document

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-01980071 v1
Image document

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-01981584 v1
Image document

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-02927311 v3

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-01994685 v1

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-01994678 v1
Image document

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 Herrb et 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-01979405 v1