Access content directly

Felix Ingrand

59
Documents

Publications

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⟩
Book sections 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⟩
Book sections 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
Book sections hal-01994678v1
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
in: Khatib O., Salisbury J.K. (eds) Experimental Robotics IV., 223, Springer-Verlag, pp.26-39, 2005, Lecture Notes in Control and Information Sciences
Book sections hal-01979405v1
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⟩
Journal articles hal-03683044v2
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⟩
Journal articles 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
Journal articles hal-03463284v1
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⟩
Journal articles hal-01137921v1
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
Journal articles hal-01566201v1
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⟩
Journal articles 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⟩
Journal articles hal-01715620v1
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⟩
Journal articles 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 Chatila
International Journal of Astrobiology, 2006, 5 (03), pp.221
Journal articles hal-01987471v1
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⟩
Journal articles hal-00123273v2
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⟩
Journal articles hal-01857573v1
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⟩
Journal articles hal-01980099v1
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
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic
Conference papers hal-04131316v1
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
Conference papers hal-04107355v1
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⟩
Conference papers hal-03093298v1
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
Conference papers hal-02152286v1
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
Conference papers hal-01968265v1
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
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Conference papers hal-01778960v1
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
Conference papers hal-01534235v1
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
Conference papers hal-01310844v2
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
Conference papers hal-01346080v1
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
Conference papers 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
Conference papers hal-01955184v1
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
Conference papers hal-01282148v1
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
Conference papers hal-01138111v1
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
Conference papers hal-01138105v1
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
Conference papers hal-00656532v1
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
Conference papers hal-00157935v1
Image document

Planning with Diversified Models for Fault-Tolerant Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian
The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223
Conference papers hal-01292650v1
Image document

Fault Tolerant Planning for Critical Robots

Benjamin Lussier , Matthieu Gallien , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Conference papers hal-01292653v1
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
IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩
Conference papers hal-01295366v1
Image document

Fault Tolerance in Autonomous Systems: How and How Much?

Benjamin Lussier , Alexandre Lampe , Raja Chatila , Jérémie Guiochet , Félix Ingrand
4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Conference papers hal-01292930v1
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
Conference papers hal-02271201v1
Image document

Software Safety Supervision On-board Autonomous Spacecraft

J P Blanquart , S Fleury , M Hernek , C Honvault , Félix Ingrand
2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France
Conference papers hal-02271033v1
Image document

Dependability Issues in a Robot Control Architecture

Rachid Alami , Raja Chatila , Félix Ingrand , Frédéric Py
Oct 2002, pp.PP23
Conference papers hal-00131261v1
Image document

Diligent: towards a human-friendly navigation system

Rachid Alami , Igor Belousov , Sara Fleury , Matthieu Herrb , Félix Ingrand
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan
Conference papers hal-01976177v1
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
Conference papers hal-01979716v1
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
Conference papers hal-01979706v1
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
Conference papers hal-01979708v1
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
Conference papers hal-01979710v1
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
Conference papers hal-01972550v1
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
Conference papers hal-01981902v1
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
Conference papers hal-01979392v1
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
Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1995, Pittsburgh, United States
Conference papers hal-01979400v1
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
Conference papers hal-01979386v1
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
Conference papers hal-01981890v1
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
Conference papers hal-01981607v1
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
Conference papers hal-01980071v1
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
Conference papers hal-01981584v1