2024
Software
- titre
- BT2Fiacre (Behavior Tree 2 Fiacre)
- auteur
- Félix Ingrand
- article
- 2024
- Accès au texte intégral et bibtex
-
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
-
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
-
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
-
- 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
-
Software
- titre
- ProSkill
- auteur
- Félix Ingrand
- article
- 2023
- Accès au 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
-
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
-
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
-
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
-
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
-
Software
- titre
- GenoM3 Fiacre Template
- auteur
- Félix Ingrand
- article
- 2020
- Accès au texte intégral et 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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
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
-
Software
- titre
- TransGen3
- auteur
- Félix Ingrand
- article
- 2012, ⟨swh:1:dir:9270403b83efc5d5f8c71bf67016f59509c916c7;origin=https://hal.archives-ouvertes.fr/hal-04750087;visit=swh:1:snp:fe68f833337ec7c6adb433ed8215ad3a74eaeb6e;anchor=swh:1:rel:baf961a101b8777ed7da89d32157d6ff12ec8d18;path=/⟩
- Accès au texte intégral et bibtex
-
- titre
- GenoM3 OpenPRS Template
- auteur
- Félix Ingrand
- article
- 2012, ⟨swh:1:dir:2658d2d22c7e05fc6026aa8fa3b00c6d8589e974;origin=https://hal.archives-ouvertes.fr/hal-04750041;visit=swh:1:snp:8d16356ac12c168244ae6d6fdc23c3752c5a7f37;anchor=swh:1:rel:5cd382b56e64a8871307eecc73e0e6041f7db585;path=/⟩
- Accès au texte intégral et 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
-
- 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
-
- 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
-
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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
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
-
- 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
-
- 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
-
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
-
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
-
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
-
1991
Software
- titre
- OpenPRS
- auteur
- Félix Ingrand
- article
- 1991
- Accès au 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
-
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
-
- 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
-