Publications HAL

2024

Preprints, Working Papers, ...

titre
ProSkill: A formal skill language for acting in robotics
auteur
Félix Ingrand
article
2024
Accès au texte intégral et bibtex
https://laas.hal.science/hal-04502274/file/main.pdf BibTex

2023

Journal articles

titre
A formal toolchain for offline and run-time verification of robotic systems
auteur
Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
article
Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03683044/file/main_rob.pdf BibTex

Conference papers

titre
A Closed-Loop Framework-Independent Bridge from AIPlan4EU's Unified Planning Platform to Embedded Systems
auteur
Selvakumar Hastham Sathiya Satchi Sadanandam, Sebastian Stock, Alexander Sung, Félix Ingrand, Oscar Lima, Marc Vinci, Joachim Hertzberg
article
33rd International Conference on Automated Planning and Scheduling (ICAPS 2023) PlanRob Workshop, Jul 2023, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.science/hal-04131316/file/main.pdf BibTex
titre
Enhancing Operational Deliberation in a Refinement Acting Engine with Continuous Planning
auteur
Jérémy Turi, Arthur Bit-Monnot, Félix Ingrand
article
Integrated Acting, Planning and Execution (IntEx), ICAPS'23 Workshop, Jul 2023, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.science/hal-04107355/file/main.pdf BibTex

2022

Preprints, Working Papers, ...

titre
Composing Complex and Hybrid AI Solutions
auteur
Peter Schüller, João Paulo Costeira, James L. Crowley, Jasmin Grosinger, Félix Ingrand, Uwe Köckemann, Alessandro Saffiotti, Martin Welss
article
2022
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03590739/file/2202.12566.pdf BibTex

2021

Journal articles

titre
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time Systems
auteur
Pierre-Emmanuel Hladik, Félix Ingrand, Silvano Dal Zilio, Reyyan Tekin
article
Journal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-03017661/file/main_jss.pdf BibTex

Book sections

titre
Verification of Autonomous Robots: A Roboticist’s Bottom-Up Approach
auteur
Félix Ingrand
article
Software engineering for robotics, Springer, pp.219-248, 2021, 978-3-030-66493-0. ⟨10.1007/978-3-030-66494-7_8⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02927311/file/paper.pdf BibTex

2020

Journal articles

titre
L'IA transporte dans le futur
auteur
Frederic Dehais, Félix Ingrand, Claire Pagetti, Romaric Redon, Florent Teichteil-Königsbuch
article
Le petit illustré, regards croisés de chercheur.es, 2020, pp.40-43
Accès au bibtex
BibTex

Conference papers

titre
Runtime Verification of Timed Properties in Autonomous Robots
auteur
Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand
article
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⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03093298/file/bip.pdf BibTex

Preprints, Working Papers, ...

titre
FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning
auteur
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand, David E Smith
article
2020
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02987044/file/2010.13121.pdf BibTex

2019

Conference papers

titre
Statistical Model Checking of Complex Robotic Systems
auteur
Mohammed Foughali, Félix Ingrand, Cristina Seceleanu
article
26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Accès au texte intégral et bibtex
https://laas.hal.science/hal-02152286/file/main.pdf BibTex
titre
Recent Trends in Formal Validation and Verification of Autonomous Robots Software
auteur
Félix Ingrand
article
IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01968265/file/paper.pdf BibTex

Book sections

titre
Robotics and Artificial Intelligence.
auteur
Félix Ingrand, Malik Ghallab
article
Pierre Marquis; Odile Papini; Henri Prade. A Guided Tour of Artificial Intelligence Research, Springer, 813p., 2019, ⟨10.1007/978-3-030-06164-7⟩
Accès au bibtex
BibTex

Other reports

titre
On the Semantics of the GenoM3 Framework
auteur
Mohammed Foughali, Silvano Dal Zilio, Félix Ingrand
article
Rapport LAAS n° 19036. 2019
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01992470/file/main.pdf BibTex

2018

Conference papers

titre
Formal Verification of Complex Robotic Systems on Resource-Constrained Platforms
auteur
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet
article
FormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01778960/file/paper.pdf BibTex

2017

Journal articles

titre
Deliberation for autonomous robots: A survey
auteur
Félix Ingrand, Malik Ghallab
article
Artificial Intelligence, 2017, 247 pp.10-44. ⟨10.1016/j.artint.2014.11.003⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01137921/file/paper-final.pdf BibTex

Conference papers

titre
Can robot navigation bugs be found in simulation? An exploratory study
auteur
Thierry Sotiropoulos, Hélène Waeselynck, Jérémie Guiochet, Félix Ingrand
article
2017 IEEE International Conference on Software Quality, Reliability and Security (QRS2017), Jul 2017, Prague, Czech Republic. 10p
Accès au texte intégral et bibtex
https://hal.science/hal-01534235/file/PID4832685.pdf BibTex

Preprints, Working Papers, ...

titre
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis
auteur
Mohammed Foughali, Félix Ingrand, Anthony Mallet
article
2017
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01457881/file/hal.pdf BibTex

2016

Journal articles

titre
An Overview of Problems and Approaches in Machine Intelligence
auteur
Malik Ghallab, Félix Ingrand
article
Frontiers in Science and Engineering (international journal), 2016, 6 (1), pp.115-156
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01566201/file/frontiers.pdf BibTex

Conference papers

titre
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots
auteur
Mohammed Foughali, Bernard Berthomieu, Silvano Dal Zilio, Félix Ingrand, Anthony Mallet
article
18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-01346080/file/paper.pdf BibTex
titre
Virtual Worlds for Testing Robot Navigation: a Study on the Difficulty Level
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
12th European Dependable Computing Conference (EDCC 2016), Sep 2016, Göteborg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01328909/file/EDCC.pdf BibTex
titre
Which Contingent Events to Observe for the Dynamic Controllability of a Plan
auteur
Arthur Bit-Monnot, Malik Ghallab, Félix Ingrand
article
International Joint Conference on Artificial Intelligence (IJCAI-16), Jul 2016, New York, NY, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01310844/file/POSTNU-hal.pdf BibTex

2015

Conference papers

titre
Test de la navigation de systèmes autonomes dans des mondes virtuels
auteur
Thierry Sotiropoulos, Jérémie Guiochet, Félix Ingrand, Hélène Waeselynck
article
Control Architectures of Robots ( CAR ), Jun 2015, Lyon, France
Accès au texte intégral et bibtex
https://hal.science/hal-01282148/file/test_nav.pdf BibTex
titre
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments
auteur
Lavindra de Silva, Rongjie Yan, Félix Ingrand, Rachid Alami, Saddek Bensalem
article
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
Accès au bibtex
BibTex

Reports

titre
Fault tolerant planning: towards dependable autonomous robots
auteur
Benjamin Lussier, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01271568/file/FTPlan-v2.pdf BibTex

2014

Journal articles

titre
Robotics and Artificial Intelligence: a Perspective on Deliberation Functions
auteur
Félix Ingrand, Malik Ghallab
article
AI Communications, 2014, 27 (1), pp.63-80. ⟨10.3233/AIC-130578⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01138117/file/main-hal.pdf BibTex

Conference papers

titre
Plan-Space Hierarchical Planning with the Action Notation Modeling Language
auteur
Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
article
IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2014, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.science/hal-01138105/file/ictai.pdf BibTex
titre
A Flexible ANML Actor and Planner in Robotics
auteur
Filip Dvorak, Arthur Bit-Monnot, Félix Ingrand, Malik Ghallab
article
Planning and Robotics (PlanRob) Workshop (ICAPS), Jun 2014, Portsmouth, United States
Accès au texte intégral et bibtex
https://hal.science/hal-01138111/file/planrob14%281%29.pdf BibTex

Book sections

titre
Intelligence artificielle et robotique
auteur
Malik Ghallab, Félix Ingrand
article
Pierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle - Ses bases méthodologiques, ses développements, Cépuadès, 2014, 9782364930438
Accès au bibtex
BibTex

2012

Journal articles

titre
Rigorous design of robot software: A formal component-based approach
auteur
Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Félix Ingrand
article
Robotics and Autonomous Systems, 2012, 60 (12), pp.1563-1578. ⟨10.1016/j.robot.2012.09.005⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01980036/file/ras12%281%29.pdf BibTex
titre
A cooperative architecture for target localization using multiple AUVs
auteur
Assia Belbachir, Félix Ingrand, Simon Lacroix
article
Intelligent Service Robotics, 2012, 5 (2), pp.119 - 132. ⟨10.1007/s11370-012-0107-1⟩
Accès au bibtex
BibTex

Conference papers

titre
Planification d'une mission d'observation par allocation de tâches hiérarchiques pour une équipe de robots hétérogènes
auteur
Hung Cao, Simon Lacroix, Félix Ingrand
article
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Accès au texte intégral et bibtex
https://hal.science/hal-00656532/file/rfia2012_submission_146.pdf BibTex

2007

Conference papers

titre
Planning Robust Temporal Plans A Comparison Between CBTP and TGA Approaches
auteur
Yasmina Abdeddaim, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu
article
International Conference on Automated Planning and Scheduling, Sep 2007, Providence, Rhode Island, United States. pp.2-9
Accès au texte intégral et bibtex
https://hal.science/hal-00157935/file/icaps07mg.pdf BibTex
titre
Planning with Diversified Models for Fault-Tolerant Robots
auteur
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
The International Conference on Automated Planning and Scheduling (ICAPS), Sep 2007, Providence, RI, United States. pp.216-223
Accès au texte intégral et bibtex
https://hal.science/hal-01292650/file/Lussier.pdf BibTex
titre
Fault Tolerant Planning for Critical Robots
auteur
Benjamin Lussier, Matthieu Gallien, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
DSN 2007 The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks , Jun 2007, Edimbourg, United Kingdom. ⟨10.1109/DSN.2007.50⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01292653/file/dsn07.pdf BibTex

2006

Journal articles

titre
The ExoMars rover and Pasteur payload Phase A study: an approach to experimental astrobiology
auteur
Dave Barnes, Enrico Battistelli, Reinhold Bertrand, Francesco Butera, Raja Chatila, Alessandro del Biancio, Chris Draper, Alex Ellery, Rolando Gelmi, Félix Ingrand, Charles Koeck, Simon Lacroix, Pierre Lamon, Chris Lee, Piergiovanni Magnani, Nildeep Patel, Carlo Pompei, Eduardo Re, Lutz Richter, Mark Rowe, Roland Y. Siegwart, Richard Slade, Mark F Smith, Gregoire Terrien, Ronan Wall, Roger Ward, Lester Waugh, Mark Woods
article
International Journal of Astrobiology, 2006, 5 (03), pp.221
Accès au bibtex
BibTex

Conference papers

titre
Safe and dependable physical human-robot interaction in anthropic domains: State of the art and challenges
auteur
Rachid Alami, A. Albu-Schaeffer, A. Bicchi, R. Bischoff, Raja Chatila, A. De Luca, A. De Santis, Georges Giralt, Jérémie Guiochet, G. Hirzinger, Félix Ingrand, V. Lippiello, R. Mattone, David Powell, S. Sen, B. Siciliano, G. Tonietti, L. Villani
article
IROS'06 Workshop on Physical Human-Robot Interaction in Anthropic Domains, Oct 2006, Beijing, China. ⟨10.1109/IROS.2006.6936985⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01295366/file/IROS06_Workshop_pHRI_PHRIDOM%2BPHRIENDS.pdf BibTex

2005

Conference papers

titre
Fault Tolerance in Autonomous Systems: How and How Much?
auteur
Benjamin Lussier, Alexandre Lampe, Raja Chatila, Jérémie Guiochet, Félix Ingrand, Marc-Olivier Killijian, David Powell
article
4th IARP - IEEE/RAS - EURON Joint Workshop on Technical Challenges for Dependable Robots in Human Environments (DRHE), 2005, Nagoya, Japan
Accès au texte intégral et bibtex
https://hal.science/hal-01292930/file/IARP05finale.pdf BibTex

Book sections

titre
A general framework for multi-robot cooperation and its implementation on a set of three Hilare robots
auteur
Rachid Alami, Luis Aguilar, Hana Bullata, Sarah Fleury, Matthieu Herrb, Félix Ingrand, Maher Khatib, Frédéric Robert
article
in: Khatib O., Salisbury J.K. (eds) Experimental Robotics IV., 223, Springer-Verlag, pp.26-39, 2005, Lecture Notes in Control and Information Sciences
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979405/file/1995-iser-alami.pdf BibTex

2004

Conference papers

titre
Software Safety Supervision On-board Autonomous Spacecraft
auteur
J P Blanquart, S Fleury, M Hernek, C Honvault, Félix Ingrand, J. Poncet, D Powell, N Strady-Lécubin, P Thévenod
article
2nd Embedded Real Time Software Congress (ERTS'04), Jan 2004, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02271033/file/4A3_JP.Blanquart_EADS.pdf BibTex
titre
Real-Time Execution Control for Autonomous Systems
auteur
Frédéric Py, Félix Ingrand
article
2nd Embedded Real Time Software Congress (ERTS'04), 2004, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02271201/file/6A3_F.Py_Laas.pdf BibTex

2002

Conference papers

titre
Dependability Issues in a Robot Control Architecture
auteur
Rachid Alami, Raja Chatila, Félix Ingrand, Frédéric Py
article
Oct 2002, pp.PP23
Accès au texte intégral et bibtex
https://hal.science/hal-00131261/file/DRHE-ws02.pdf BibTex

2000

Conference papers

titre
Diligent: towards a human-friendly navigation system
auteur
Rachid Alami, Igor Belousov, Sara Fleury, Matthieu Herrb, Félix Ingrand, Javier Minguez, Benoit Morisset
article
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2000), Oct 2000, Takamatsu, Japan
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01976177/file/2000-iros-alami.pdf BibTex

1998

Journal articles

titre
Multi-robot cooperation in the MARTHA project
auteur
Rachid Alami, Sarah Fleury, Matthieu Herrb, Félix Ingrand, Frederic Robert
article
IEEE Robotics and Automation Magazine, 1998, 5 (1), pp.36 - 47. ⟨10.1109/100.667325⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01857573/file/1998-ram-alami.pdf BibTex
titre
An Architecture for Autonomy
auteur
Rachid Alami, Raja Chatila, Sara Fleury, Malik Ghallab, Félix Ingrand
article
The International Journal of Robotics Research, 1998, 17 (4), pp.315-337. ⟨10.1177/027836499801700402⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00123273/file/ijrr97.pdf BibTex

Conference papers

titre
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution
auteur
Rachid Alami, Félix Ingrand, Samer Qutub
article
13th European Conference on Artificial Intelligence (ECAI), Aug 1998, Brighton, United Kingdom
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979716/file/1998-ecai-alami%20hal.pdf BibTex

1997

Conference papers

titre
How to solve deadlock situations within the plan-merging paradigm for multi-robot cooperation
auteur
Samer Qutub, Rachid Alami, Félix Ingrand
article
IEEE/RSJ International Conference on Intelligent Robot and Systems. (IROS), Nov 1997, Grenoble, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979710/file/1997-iros-qutub.pdf BibTex
titre
Planning Coordination and Execution in Multi-robots Environment
auteur
Rachid Alami, Félix Ingrand, Samer Qutub
article
8th International Conference on Advanced Robotics. Proceedings. ICAR'97, Jul 1997, Monterey, United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979706/file/1997-icar-alami.pdf BibTex
titre
Operating a large fleet of mobile robots using the plan-merging paradigm
auteur
Rachid Alami, Sarah Fleury, Matthieu Herrb, Félix Ingrand, Samer Qutub
article
IEEE International Conference on Robotics and Automation, Apr 1997, Albuquerque, United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979708/file/1997-icra-alami.pdf BibTex

1996

Conference papers

titre
PRS: a high level supervision and control language for autonomous mobile robots
auteur
Félix Ingrand, Raja Chatila, Rachid Alami, F. Robert
article
EEE International Conference on Robotics and Automation, 1996, Minneapolis, United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01972550/file/1996-icra-ingrand.pdf BibTex

1995

Conference papers

titre
Ten autonomous mobile robots (and even more) in a route network like environment
auteur
Luis Aguilar, Rachid Alami, Sarah Fleury, Matthieu Herrb, Félix Ingrand, Frédéric Robert
article
Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Sep 1995, Pittsburgh, United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979400/file/1995-iros-aguilar.pdf BibTex
titre
Multi-Robot Cooperation through Incremental Plan-Merging
auteur
Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'Ji Suzuki
article
Proceedings of 1995 IEEE International Conference on Robotics and Automation, May 1995, Nagoya, Japan
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979392/file/1995-icra-alami.pdf BibTex
titre
Mission Planning and Execution Control for Intervention Robots
auteur
Raja Chatila, Félix Ingrand, Rachid Alami
article
Undersea Robotics and Intelligent Control Workshop, 1995, Lisbon, Portugal
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01981902/file/uric95.pdf BibTex

1994

Conference papers

titre
A paradigm for plan-merging and its use for multi-robot cooperation
auteur
Rachid Alami, Frédéric Robert, Félix Ingrand, Sho'Ji Suzuki
article
IEEE International Conference on Systems, Man and Cybernetics, Oct 1994, San Antonio, United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01979386/file/ieee-icsmc94.pdf BibTex

1993

Conference papers

titre
Procedural Reasoning versus Blackboard Architecture for Real-Time Reasoning
auteur
Félix Ingrand, Vianney Coutance
article
Thirteenth International Conference on Artificial Intelligence, 1993, Avignon, France
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01981890/file/avignon93%281%29.pdf BibTex

1992

Journal articles

titre
An architecture for real-time reasoning and system control
auteur
Félix Ingrand, M.P. Georgeff, A.S. Rao
article
IEEE Expert, 1992, 7 (6), pp.34-44. ⟨10.1109/64.180407⟩
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01980099/file/ieee-exp92.pdf BibTex

1990

Conference papers

titre
Managing Deliberation and Reasoning in Real-Time AI Systems
auteur
Félix Ingrand, Michael P Georgee
article
DARPA Workshop on Innovative Approaches to Planning, 1990, San Diego (CA), United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01981607/file/darpapw90.pdf BibTex

1989

Conference papers

titre
Monitoring and Control of Spacecraft Systems Using Procedural Reasoning
auteur
Michael P Georgeff, Félix Ingrand
article
Space Operations-Automation and Robotics Workshop, 1989, Houston (TX), United States
Accès au texte intégral et bibtex
https://laas.hal.science/hal-01981584/file/soar89.pdf BibTex
titre
Decision-Making in an Embedded Reasoning System
auteur
Michael P Georgeff, Félix Ingrand
article
International Joint Conference on Artificial Intelligence, 1989, Detroit, United States
Accès au texte intégral et bibtex
https://hal.laas.fr/hal-01980071/file/10.1.1.644.1321.pdf BibTex