Home

My publications

This is a list of my publications chronologicaly sorted (most recent first).

Copyright Notice This material is presented here to ensure timely dissemination of academic work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. Click here for IEEE and AAAI copyright notices.
Toward a More Dependable Software Architecture for Autonomous Robots
Saddek Bensalem, Matthieu Gallien, Félix Ingrand, Imen Kahloul and Thanh-Hung Nguyen
A shorter version of this paper will appear in the Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine (March 2009).
PDF Version.
Incremental Component-Based Construction and Verification of a Robotic System
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand and Joseph Sifakis
IROS 2008 Workshop Current Software frameworks in Cognitive Robotics integrating different computational paradigms, Nice, France, Sept, 22nd 2008.
Incremental Component-Based Construction and Verification of a Robotic System
Ananda Basu, Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand and Joseph Sifakis
ECAI 2008 The 18th European Conference on Artificial Intelligence, Patras, Greece, July 21 - 25, 2008.
PDF Version.
D'une approche modulaire à une approche orientée composant pour le développement de systèmes autonomes : Défis et principes
Matthieu Gallien, Fahmi Gargouri, Imen Kahloul, Moez Krichen, Thanh-Hung Nguyen, Saddek Bensalem and Félix Ingrand
CAR 2008 The 3rd National Workshop on Control Architectures of Robots, May 29 - 30, 2008, Bourges, France.
PDF Version.
Autonomous Robot Software Design Challenge
Saddek Bensalem, Félix Ingrand and Joseph Sifakis
6th IARP/IEEE-RAS/EURON Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Pasadena, CA, USA, May 17-18, 2008.
PDF Version.


Planning Robust Temporal Plans
A Comparison Between CBTP and TGA Approaches
Yasmina Abdeddaïm, Eugène Asarin, Matthieu Gallien , Félix Ingrand, Charles Lesire and Mihaela Sighireanu
ICAPS 2007 The International Conference on Automated Planning & Scheduling, Providence, Rhode Island, USA, September 22 - 26, 2007.
PDF Version.
Planning with Diversified Models for Fault-Tolerant Robots
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian and David Powell
ICAPS 2007 The International Conference on Automated Planning & Scheduling, Providence, Rhode Island, USA, September 22 - 26, 2007.
PDF Version.
Decisional Autonomy of Planetary Rovers
Félix Ingrand, Simon Lacroix, Solange Lemai-Chenevier and Fredéric Py
Published Online: 26 Jul 2007
Journal of Field Robotics, Volume 24, Issue 7, Pages 559 - 580, July 2007.
PDF Preliminary Version.
Incremental Component-Based Construction and Verification of a Robotic System
Ananda Basu , Matthieu Gallien, Charles Lesire, Thanh-Hung Nguyen, Saddek Bensalem, Félix Ingrand and Joseph Sifakis
CAR 2007 The 2nd National Workshop on Control Architectures of Robots, May 31 - June 1st, 2007, Paris, France.
PDF Version.
Fault Tolerant Planning for Critical Robots
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian and David Powell
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, June 25 - June 28, 2007, Edinburgh International Conference Centre, Edinburgh, UK.
PDF Version.
Experiments with Diversified Models for Fault-Tolerant Planning
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian and David Powell
5th IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, Roma, Italy, 14-15 May, 2007.
PDF Version.
Controlability and Makespan Issues with Robot Action Planning and Execution
Matthieu Gallien and Félix Ingrand
IWPSS 2006 The 5th International Workshop on Planning and Scheduling For Space, October 22nd-25th, 2006, Space Telescope Science Institute, Baltimore, MD. USA.
PDF Version.
Safe and dependable physical human-robot interaction in anthropic domains: state of the art and challenges
R. Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, R. Chatila, A. De Luca, A. De Santis, G. Giralt, J. Guiochet, G. Hirzinger, F. Ingrand, V. Lippiello, R. Mattone, D. Powell, S. Sen, B. Siciliano, G. Tonietti and L. Villani
IROS 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems. Workshop on Physical Human-Robot Interaction in Anthropic Domains, Beijing (Chine), 9-12 Octobre 2006.
PDF Version.
Learning Behaviors Models for Robot Execution Control
Guillaume Infantes, Félix Ingrand and Malik Ghallab
ECAI 2006 The 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 2006 Aug 28th - Sept 1st.
PDF Version.
Autonomy of Planetary Rovers
Raja Chatila, Félix Ingrand and Simon Lacroix
Participation to Intelligence for Space Robotics (Editors Dr. Ayanna Howard and Dr. Edward Tunstel) TSI Press, San Antonio, TX, 2006..
Learning Behaviors Models for Robot Execution Control
Guillaume Infantes, Félix Ingrand and Malik Ghallab (poster version)
ICAPS 2006 The International Conference on Automated Planning & Scheduling, The English Lake District, U.K. 2006, June 6th and 10th.
PDF Version.
Learning Behaviors Models for Robot Execution Control
Guillaume Infantes, Félix Ingrand and Malik Ghallab (long version)
ICAPS 2006, Workshop on Planning under Uncertainty and Execution Control for Autonomous Systems 2006
The English Lake District, U.K. 2006, June 6th and 10th.
PDF Version.
Controlability and Makespan Issues with Robot Action Planning and Execution
Matthieu Gallien and Félix Ingrand
ICAPS 2006, Workshop on Planning under Uncertainty and Execution Control for Autonomous Systems 2006
The English Lake District, U.K. 2006, June 6th and 10th.
PDF Version.
Apprentissage de modèles de comportements pour le contrôle d'exécution en robotique (in french)
Guillaume Infantes, Félix Ingrand and Malik Ghallab
JFPDA 2006 Journées Francophones Planification, Décision, Apprentissage (pour la conduite de systèmes), Toulouse, 10-12 mai 2006, France.
PDF Version.
Planification et exécution de plan pour la robotique autonome(in french)
Matthieu Gallien and Félix Ingrand
JFPDA 2006 Journées Francophones Planification, Décision, Apprentissage (pour la conduite de systèmes), Toulouse, 10-12 mai 2006, France.
PDF Version.
Apprentissage de modèle d'activité stochastique pour la planification et le contrôle d'exécution
Learning stochastic models of activities for planning and execution control
Guillaume Infantes, Félix Ingrand and Malik Ghallab
RFIA 2006 15e congrès francophone AFRIF-AFIA, Reconnaissance des Formes et Intelligence Artificielle, 25 au 27 janvier 2006, Tours, France.
PDF Version.
Planification et exécution de plan pour la robotique autonome
Planning and plan execution for autonomous robots
Matthieu Gallien and Félix Ingrand
RFIA 2006 15e congrès francophone AFRIF-AFIA, Reconnaissance des Formes et Intelligence Artificielle, 25 au 27 janvier 2006, Tours, France.
PDF Version.
Robot Actions Planning and Execution Control for Autonomous Exploration Rovers
Matthieu Gallien, Félix Ingrand and Solange Lemai
ISAIRAS 2005 (8th International symposium on Artificial Intelligence, Robotics and Automation in Space), 5 - 8 September 2005, Munchen, Germany.
PDF Version.
Fault Tolerance in Autonomous Systems: How and How Much?
Benjamin Lussier, Alexandre Lampe, Raja Chatila, Jeremy Guiochet, Félix Ingrand, Marc-Olivier Killijian and David Powell
4th IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, June 16-18, 2005, Nagoya, Japan.
PDF Version.
Robot Actions Planning and Execution Control for Autonomous Exploration Rovers
Matthieu Gallien, Félix Ingrand and Solange Lemai
ICAPS 2005 (The 14th International Conference on Automated Planning & Scheduling) Workshop: Plan Execution: A Reality Check. 5 - 10 June, 2005, Monterey, CA, USA.
PDF Version.
Embedded Decision in the LAAS Architecture
Solange Lemai; Félix Ingrand & and Matthieu Gallien
IEEE International Conference on Robotics and Automation (Workshop Principle and Practice of Software Development in Robotics: crafting modular and interoperable systems), April 26 - May 1, 2005, Barcelona, Spain
PDF Version.
On Fault Tolerance and Robustness in Autonomous Systems
Benjamin Lussier, Raja Chatila, Félix Ingrand, Marc-Olivier Killijian and David Powell
3rd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, September 7-9, 2004, Manchester, Great Britain.
PDF Version.
Model-based Executive Control through Reactive Planning for Autonomous Rovers
Alberto Finzi, Félix Ingrand and Nicola Muscettola
IROS 2004 (IEEE/RSJ International Conference on Intelligent Robots and Systems) September 28 - October 2, 2004, Sendai, Japan.
PDF Version.
Dependable Execution Control for Autonomous Robots
Frédéric Py and Félix Ingrand
IROS 2004 (IEEE/RSJ International Conference on Intelligent Robots and Systems) September 28 - October 2, 2004, Sendai, Japan.
PDF Version.
Robel : Synthesizing and Controlling Complex Robust Robot Behaviors (short paper)
Benoit Morisset and Guillaume Infantes and Malik Ghallab and Felix Ingrand
ECAI 2004 (16th European Conference on Artificial Intelligence), August 22-27, 2004, Valencia, Spain.
PDF Version.
Robel : Synthesizing and Controlling Complex Robust Robot Behaviors
Benoit Morisset and Guillaume Infantes and Malik Ghallab and Felix Ingrand
CogRob-2004 (ECAI 2004) (4th International Cognitive Robotics Workshop), August 23-24, 2004, Valencia, Spain.
PDF Version. Slides Presentation.
Interleaving Temporal Planning and Execution in Robotics Domains
Solange Lemai and Félix Ingrand
AAAI 2004, July 25-29, 2004, San Jose, California, USA.
PDF Version.
Model-based Execution through Reactive Planning for Autonomous Planetary Rovers
Alberto Finzi, Félix Ingrand and Nicola Muscettola
IWPSS 2004, 4th International Workshop on Planning and Scheduling for Space, June 23 - 25, 2004, ESA-ESOC, Darmstadt, Germany.
PDF Version.
Interleaving Temporal Planning and Execution for an Autonomous Rover
Solange Lemai and Félix Ingrand
IWPSS 2004, 4th International Workshop on Planning and Scheduling for Space, June 23 - 25, 2004, ESA-ESOC, Darmstadt, Germany.
PDF Version. Slides Presentation. Movie (2 minutes 14 MB).
Planification et contrôle d’exécution temporels : IxTeT-eXeC
Interleaving Temporal Planning and Execution : IxTeT-eXeC
Solange Lemai and Félix Ingrand
RFIA 2004, 14ème Congrès Francophone AFRIF-AFIA de Reconnaissance des Formes et Intelligence Artificielle, 28 - 30 Janvier 2004, Toulouse, France.
PDF Version (in french).
Software Safety Supervision On-board Autonomous Spacecraft
Jean-Paul Blanquart, Sara Fleury; Maria Hernek; Christophe Honvault; Félix Ingrand;Jean-Clair Poncet; David Powell; Nelly Strady-Lécubin; Pascale Thévenod
2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21-23 January 2004, Toulouse, France.
PDF Version. Slides Presentation.
Real-Time Execution Control for Autonomous Systems
Fréderic Py and Félix Ingrand
2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21-23 January 2004, Toulouse, France.
PDF Version. Slides Presentation.
Architectures Logicielles pour la Robotique Autonome
Félix Ingrand
JNRR 03 Journées Nationales de Rechercher en Robotique, October 8-10, 2003, Murol/Clermont-Ferrand, France.
PDF Version. Slides Presentation.
Interleaving Temporal Planning and Execution: IXTET-EXEC
Solange Lemai, Félix Ingrand
ICAPS 03 Workshop on Plan Execution , June 9-13, 2003, Trento, Italy.
PDF Version. Slides Presentation.
Software Product Assurance for Autonomy On-board Spacecraft
Jean Paul Blanquart (Astrium SAS), Maria Hernek (ESA/ESTEC), Christophe Honvault (Astrium), Jean-Clair Poncet, Nelly Strady-Lécubin (Axlog Ingénierie), David Powell, Pascale Thévenod, Félix Ingrand, Sara Fleury (LAAS-CNRS)
DAta Systems In Aerospace (DASIA'2003), Prague ( Tcheque Republic), June 2-5 2003.
PDF Version. Slides Presentation.
Dependability Issues in a Robot Control Architecture
Rachid Alami, Raja Chatila , Félix Ingrand, Frédéric Py
2nd IARP/IEEE-RAS Joint Workshop on Technical Challenge for Dependable Robots in Human Environments, October 7- 8, 2002, LAAS-CNRS,Toulouse, France.
PDF Version. Slides Presentation.
An Execution Control System for Autonomous Robots
Félix Ingrand & Frédéric Py
IEEE International Conference on Robotics and Automation, May 11-15, 2002, Washington D.C., USA.
PDF Version. Slides Presentation.
Online Execution Control Checking for Autonomous Systems
Félix Ingrand & Frédéric Py
The 7th International Conference on Intelligent Autonomous Systems (IAS-7), March 25-27, 2002, Marina del Rey, California, USA.
PDF Version. Slides Presentation.
Architectural Developments for On-board Autonomy in Space
Malik Ghallab, Félix Ingrand, Solange Lemai, Fredéric Py
ESA Workshop on "On-Board Autonomy", 17-19 October 2001 ESTEC, Noordwijk, The Netherlands.
Architecture and Tools for Autonomy in Space
Malik Ghallab, Félix Ingrand, Solange Lemai, Frédéric Py
ISAIRAS 2001, Montreal, Canada
PDF Version. Slides Presentation.
An Architecture for Dependable Autonomous Robots
Félix Ingrand, Raja Chatila, Rachid Alami
IARP-IEEE RAS Workshop on Dependable Robotics 2001, Seoul, South Korea.
PDF Version. Slides Presentation.
Extending Procedural Reasoning toward Robot Actions Planning
Félix Ingrand, Olivier Despouys
IEEE ICRA 2001, Seoul, South Korea.
PDF Version. Slides Presentation.
Diligent: Towards a human-friendly navigation system
Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Félix Ingrand, Javier Minguez, Benoit Morisset
IROS 2000, Takamatsu, Japan.
PDF Version. Slides Presentation.
Around the Lab in 40 days...
Rachid Alami, Raja Chatila, Sara Fleury, Matthieu Herrb, Félix Ingrand, Maher Khatib, Benoit Morisset, Philippe Moutarlier, Thierry Siméon
IEEE ICRA 2000, San Francisco, USA.
PDF Version.
Une architecture intégrée pour la planification et le contrôle d'exécution
F. Ingrand , O. Despouys
In French, RFIA 2000, Paris, France.
PDF Version.
Propice-Plan: Toward a Unified Framework for Planning and Execution
Olivier despouys, Félix Ingrand
This paper has been accepted to ECP 1999.
PDF Version.
Reactive Navigation in Outdoor Environments
Simon Lacroix, Sara Fleury, Hassan Haddad, Maher Khatib, Félix Ingrand, Gérard Bauzil, Matthieu Herrb, Christian Lemaire, Raja Chatila
This paper has been submitted for publication in the International Journal of Robotics Research (Special Issue on ``Field and Service Robotics'').
PDF Version.
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution
R. Alami, F. Ingrand, S. Qutub
ECAI 98, Brighton, UK
 PDF Version.
An Architecture for Autonomy
R. Alami, R. Chatila, S. Fleury, M. Ghallab, F. Ingrand
International Journal of Robotics Research (Special Issue on ``Integrated Architectures for Robot Control and Programming'', Vol 17, N° 4, Apri1 1998).
 PDF Version.
Multi Robot Cooperation in the Martha Project
R. Alami, S. Fleury, M. Herrb, F. Ingrand, F. Robert
IEEE Robotics and Automation Magazine (Special Issue on ``Robotics & Automation in the European Union'') Vol. 5, N° 1, March 1998.
 PDF Version.
Extensions d'IXTET pour son application à la supervision d'un réseau électrique
O. Despouys , F. Ingrand , M. Ghallab , J.P. Gouyon
In French, RFIA 98, Clermont Ferrand, France.
PDF Version.
How to Solve Deadlock Situations within the Plan-Merging Paradigm for Multi-robot Cooperation
S. Qutub, R. Alami, F. Ingrand
IROS 1997, Grenoble, France.
 PDF Version.
Plan Coordination in Multi-agent Systems: Experiments with a Large Fleet of Mobile Robots
Rachid Alami , Félix Ingrand, Samer Qutub
IJCAI 1997, Poster Session, Nagoya, Japan.
 PDF Version.
Planning Coordination and Execution in Multi-robots Environment
Rachid Alami , Félix Ingrand, Samer Qutub
IEEE ICAR 1997, Monterey, CA, USA.
 PDF Version.
Operating a Large Fleet of Mobile Robots using the Plan-Merging Paradigm
R. Alami, S. Fleury, M. Herrb, F. Ingrand, S. Qutub
IEEE ICRA 97, Albuquerque, USA.
 PDF Version.
PRS: A High Level Supervision and Control Language for Autonomous Mobile Robots
F. F. Ingrand, R. Chatila, R. Alami and F. Robert
IEEE ICRA 96, Minneapolis, USA.
 PDF Version.
Embedded Control of Autonomous Robots using Procedural Reasoning
F. F. Ingrand, R. Chatila, R. Alami and F. Robert
ICAR 95, San Feliu de Guixols, Spain.
 PDF Version.
A General framework for multi-robot cooperation and its implementation on a set of three Hilare robots
R. Alami, L. Aguilar, H. Bullata, S. Fleury, M. Herrb, F. Ingrand, M. Khatib, F. Robert
ISER 95, Stanford, CA.
 PDF Version.
Ten Autonomous Mobile Robots (and even more) in a Route Network Like Environment
L. Aguilar, R. Alami, S. Fleury, M. Herrb, F. Ingrand, F. Robert
IROS 95.
 PDF Version.
Multi-robot Cooperation through Incremental Plan-Merging
Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'ji Suzuki
IEEE ICRA 95.
 PDF Version.
Mission Planning and Execution Control for Intervention Robots
R. Chatila, F. F. Ingrand, R. Alami
Proceeding of the Undersea Robotics and Intelligent Control Workshop, March 2-3, 1995, Lisbon, Portugal.
 PDF Version.
A Paradigm for plan-merging and its use for Multi-robot Cooperation
Alami, R. and Robert, F. and Ingrand, F. F. and Suzuki, S.
IEEE International Conference on Systems, Man, and Cybernetics 94, San Antonio, Texas.
 PDF Version.
Procedural Reasoning versus Blackboard Architecture for Real-Time Reasoning
François Félix Ingrand and Vianney Coutance (ACS Technologies)
Proceedings of the Thirteenth International Conference on Artificial Intelligence, Avignon, 1993.
 PDF Version.
Real-time reasoning using procedural reasoning
François Félix Ingrand and Vianney Coutance (ACS Technologies)
LAAS Report N°93104.
PDF Version.
An Architecture for Real-Time Reasoning and System Control
François Félix Ingrand, Michael P. Georgeff (AAII), Anand S. Rao (AAII)
IEEE Expert Magazine 7(6) 33-44, December, 1992.
 PDF Version.
Managing Deliberation and Reasoning in Real-Time AI Systems
François Félix Ingrand, Michael P. Georgeff (AAII)
Proceedings of the 1990 DARPA Workshop on Innovative Approaches to Planning, San Diego, CA.
PDF Version.
Decision-Making in an Embedded Reasoning System
Michael P. Georgeff (AAII), François Félix Ingrand
Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit (Michigan), August 1989.
PDF Version.
Monitoring and Control of Spacecraft Systems Using Procedural Reasoning
Michael P. Georgeff (AAII), François Félix Ingrand
Proceedings of the Space Operations-Automation and Robotics Workshop, Houston (Texas),July, 1989.
PDFVersion.

IEEE Copyright Notice.

Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

AAAI Copyright Notice (extract).

AAAI hereby grants to the above authors, and the employers for whom the work was performed, royalty-free permission to:

  1. Retain all proprietary rights other than copyright (such as patent rights).
  2. Personal reuse of all or portions of the above article/paper in other works of their own authorship.
  3. Reproduce, or have reproduced, the above article/paper for the author's personal use, or for company use provided that AAAI copyright and the source are indicated, and that the copies are not used in a way that implies AAAI endorsement of a product or service of an employer, and that the copies per se are not offered for sale. The foregoing right shall not permit the posting of the article/paper in electronic or digital form on any computer network, except by the author or the author's employer, and then only on the author's or the employer's own web page or ftp site. Such web page or ftp site, in addition to the aforementioned requirements of this Paragraph, must provide an electronic reference or link back to the AAAI electronic server, and shall not post other AAAI copyrighted materials not of the author's or the employer's creation (including tables of contents with links to other papers) without AAAI's written permission.