Accéder directement au contenu

Felix Ingrand

59
Documents

Publications

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⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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⟩
Article dans une revue 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
Article dans une revue hal-01987471v1
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⟩
Article dans une revue hal-01857573v1
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⟩
Article dans une revue hal-00123273v2
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⟩
Article dans une revue hal-01980099v1
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⟩
Chapitre d'ouvrage 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⟩
Chapitre d'ouvrage 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
Chapitre d'ouvrage 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
Chapitre d'ouvrage hal-01979405v1
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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01282148v1
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
Communication dans un congrès hal-01138105v1
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
Communication dans un congrès hal-01138111v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès 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⟩
Communication dans un congrès 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
Communication dans un congrès hal-01292930v1
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
Communication dans un congrès hal-02271033v1
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
Communication dans un congrès hal-02271201v1
Image document

Dependability Issues in a Robot Control Architecture

 Rachid Alami , Raja Chatila , Félix Ingrand , Frédéric Py
Oct 2002, pp.PP23
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01979716v1
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
Communication dans un congrès hal-01979708v1
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
Communication dans un congrès hal-01979706v1
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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès 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
Communication dans un congrès hal-01981607v1
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
Communication dans un congrès hal-01981584v1
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
Communication dans un congrès hal-01980071v1
Image document

Fault tolerant planning: towards dependable autonomous robots

 Benjamin Lussier , Jérémie Guiochet , Félix Ingrand , Marc-Olivier Killijian , David Powell
[Research Report] Rapport LAAS n° 16046, LAAS-CNRS. 2015
Rapport hal-01271568v1
Image document

ProSkill: A formal skill language for acting in robotics

 Félix Ingrand
2024
Pré-publication, Document de travail hal-04502274v1
Image document

Composing Complex and Hybrid AI Solutions

 Peter Schüller , João Paulo Costeira , James L. Crowley , Jasmin Grosinger , Félix Ingrand
2022
Pré-publication, Document de travail hal-03590739v1
Image document

FAPE: a Constraint-based Planner for Generative and Hierarchical Temporal Planning

 Arthur Bit-Monnot , Malik Ghallab , Félix Ingrand , David E Smith
2020
Pré-publication, Document de travail hal-02987044v1
Image document

GenoM3 Templates: from Middleware Independence to Formal Models Synthesis

Mohammed Foughali , Félix Ingrand , Anthony Mallet
2017
Pré-publication, Document de travail hal-01457881v2
Image document

On the Semantics of the GenoM3 Framework

 Mohammed Foughali , Silvano Dal Zilio , Félix Ingrand
Rapport LAAS n° 19036. 2019
Autre rapport, séminaire, workshop hal-01992470v1