My publications

This is a list of my publications chronologicaly sorted (most recent first).
You can also access my Google Scholar page, or my ResearchGate page, or my HAL page, but most PDF can be found here.


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.

Can robot navigation bugs be found in simulation? An exploratory study
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand.
QRS 2017, IEEE International Conference on Software Quality, Reliability & Security, July 2017, Prague, Czech Republic, PDF HAL Version.

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
Mohammed Foughali, Félix Ingrand, Anthony Mallet.
LAAS Technical Report n° 17022. 2017. PDF HAL Version.

Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet.
ICFEM 2016, 18th International Conference on Formal Engineering Methods, 14-18 Nov 2016, Tokyo, Japan, PDF HAL Version.

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.
EDCC 2016, European Dependable Computing Conference, Sep 2016, Göteborg, Sweden, PDF Preliminary Version.

Which Contingent Events to Observe for the Dynamic Controllability of a Plan
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand.
IJCAI-16, International Joint Conference on Artificial Intelligence, Jul 2016, New York, NY, United States, PDF Preliminary Version.

Deliberation for Autonomous Robots: A Survey
Félix Ingrand and Malik Ghallab.
AI Journal, Volume 247, June 2017, Pages 10-44 (accepted in 2014). Accepted version. PDF Preliminary Version.

Plan-Space Hierarchical Planning with the Action Notation Modeling Language
Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab and Roman Bartak.
ICTAI 2014, Limassol, Cyprus, November 2014. HAL Version.

A Flexible ANML Actor and Planner in Robotics
Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand and Malik Ghallab
ICAPS PlanRob WorkShop, Portsmouth, USA, Juin 2014. PDF Version.

Robotics and Artificial Intelligence: a Perspective on Deliberation Functions
Félix Ingrand and Malik Ghallab.
AI Communications, Volume 27, Number 1, 2014. Editor version November 2013, PDF Preliminary Version.

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, September 2012.
Accepted Manuscript. Preprint version.

Testing the Input Timing Robustness of Real-Time Control Software for Autonomous Systems
David Powell, Jean Arlat, Hoang Nam Chu, Félix Ingrand, Marc-Olivier Killijian
Dependable Computing Conference (EDCC), 2012 Ninth European
PDF Version.

A cooperative architecture for target localization using multiple AUVs
Assia Belbachir, Félix Ingrand and Simon Lacroix
Intelligent Service Robotics, April 2012, Vol. 5(2).

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), Lyon, France (2012)
PDF Version.

IA et Robotique
Malik Ghallab, Félix Ingrand
Participation à un ouvrage collectif Panorama de l'Intelligence Artificielle, ses bases méthodologiques, ses développements: L'I.A. frontières et applications, Editeurs: Pierre Marquis, Odile Papini et Henri Prade. Cépuadès. Chapitre: IA et Robotique ISBN 978.2.36493.043.8
Draft Version.

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Saddek Bensalem, Lavindra de Silva, Félix Ingrand, and Rongjie Yan
JOSER, Journal of Software Engineering for Robotics, September 2011, Vol. 1(2).
PDF Version.

A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems
Saddek Bensalem, Lavindra de Silva, Andreas Griesmayer, Félix Ingrand, Axel Legay and Rongjie Yan
10th International Conference on Software Composition, 30 June – 1 July, 2011, Zurich, Switzerland.
PDF Version.

A Goal-Oriented Autonomous Controller For Space Exploration
Antonio Ceballos, Saddek Bensalem, Amedeo Cesta, Lavindra de Silva, Simone Fratini, Felix Ingrand, Jorge Ocón, Andrea Orlandini, Kanna Rajan, Riccardo Rasconi, and Michel van Winnendael
ASTRA 2011,11th Symposium on Advanced Space Technologies in Robotics and Automation, 12 – 14 April, ESA/ESTEC, Noordwijk, the Netherlands.
PDF Version.

GenoM as a Robotics Framework for Planetary Rover Surface Operations
Antonio Ceballos, Lavindra de Silva, Matthieu Herrb, Felix Ingrand, Anthony Mallet, Alberto Medina, M. Prieto
ASTRA 2011,11th Symposium on Advanced Space Technologies in Robotics and Automation, 12 – 14 April, ESA/ESTEC, Noordwijk, the Netherlands.
PDF Version.

Learning the Behavior Model of a Robot
Guillaume Infantes, Malik Ghallab, Félix Ingrand
Autonomous Robots, February 2011, Volume 30, Number 2, Pages 157-177.
An older PDF Version.
The editor PDF Version.

Cooperative-Adaptive Algorithms for Targets Localization in Underwater Environment
Assia Belbachir, Simon Lacroix, Félix Ingrand, Michel Perrier and Jan Opderbecke
IEEE AUV 2010 September 1 - 3, 2010 - Monterey , CA
PDF Version.

"Rock Solid'' Software: A Verifiable and Correct-by-Construction Controller for Rover and Spacecraft Functional Levels
Saddek Bensalem, Lavindra de Silva, Matthieu Gallien, Félix Ingrand, and Rongjie Yan
i-SAIRAS 2010, The 10th International Symposium on Artificial Intelligence, Robotics and Automation in Space, August 29 - September 1, 2010, Sapporo, Japan.
PDF Version.

A Verifiable and Correct-by-Construction Controller for Robots in Human Environments
Saddek Bensalem, Lavindra de Silva, Matthieu Gallien, Félix Ingrand, and Rongjie Yan
DRHE 2010, The Seventh IARP Workshop on Technical Challenges for Dependable Robots in Human Environments, Toulouse, France June 16-17, 2010
PDF Version.

GenoM3: Building Middleware-Independent Robotic Components
Anthony Mallet, Cédric Pasteur, Matthieu Herrb, Séverin Lemaignan, Félix Ingrand
IEEE ICRA 2010, Anchorage, Alaska, USA (May 2010).
PDF Version

Complex Tasks Allocation for Multi Robot Teams under Communication Constraints
Hung Cao, Simon Lacroix, Félix Ingrand, Rachid Alami
5th National Conference on “Control Architectures of Robots” Douai, May 18-19, 2010.
PDF Version.

A Cooperative Architecture for Target Localization with Underwater Vehicles
Assia Belbachir, Félix Ingrand, Simon Lacroix
International Symposium on Unmanned Untethered Submersible Technology (UUST) August 23-26, 2009. University of New Hampshire, Durham, NH.
PDF Version.

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
journal of 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. Ingrand, R. Chatila, R. Alami and F. Robert
IEEE ICRA 96, Minneapolis, USA.
PDF Version.

Embedded Control of Autonomous Robots using Procedural Reasoning
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. 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. 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
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
Félix Ingrand and Vianney Coutance (ACS Technologies)
LAAS Report N°93104.
PDF Version.

An Architecture for Real-Time Reasoning and System Control
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
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), 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), 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.