Network


Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot


Dive into the research topics where Matthieu Gallien is active.

Publication


Featured researches published by Matthieu Gallien.


IEEE Robotics & Automation Magazine | 2009

Designing autonomous robots

Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Nguyen Thanh-Hung

Autonomous robots are complex systems that require the interaction or cooperation of numerous heterogeneous software components. Nowadays, robots are getting closer to humans and as such are becoming critical systems that must meet safety properties including logical, temporal, and real-time constraints.


dependable systems and networks | 2007

Fault Tolerant Planning for Critical Robots

Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell

Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in their dependability greatly reduces their possible usage. In particular, autonomous systems make extensive use of decisional mechanisms that are able to take complex and adaptative decisions, but are very hard to validate. This paper proposes a fault tolerance approach for decisional planning components, which are almost mandatory in complex autonomous systems. The proposed mechanisms focus on development faults in planning models and heuristics, through the use of diversification. The paper presents an implementation of these mechanisms on an existing autonomous robot architecture, and evaluates their impact on performance and reliability through the use of fault injection.


european conference on artificial intelligence | 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; Joseph Sifakis


Archive | 2008

Toward a More Dependable Software Architecture for Autonomous Robots

Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen


international conference on automated planning and scheduling | 2007

Planning robust temporal plans a comparison between CBTP and TGA approaches

Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu


international conference on automated planning and scheduling | 2007

Planning with diversified models for fault-tolerant robots

Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell


IEEE Robotics & Automation Magazine | 2009

Designing autonomous robots: Toward a More Dependable Software Architecture

Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen


Archive | 2005

ROBOT ACTIONS PLANNING AND EXECUTION CONTROL FOR AUTONOMOUS EXPLORATION ROVERS

Matthieu Gallien; Félix Ingrand; Solange Lemai


Archive | 2007

Experiments with Diversified Models for Fault-Tolerant Planning

Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell


Archive | 2005

Embedded Decision in the LAAS Architecture

Solange Lemai; Félix Ingrand; Matthieu Gallien

Collaboration


Dive into the Matthieu Gallien's collaboration.

Top Co-Authors

Avatar
Top Co-Authors

Avatar

Saddek Bensalem

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Charles Lesire

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar

Solange Lemai

Centre national de la recherche scientifique

View shared research outputs
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Top Co-Authors

Avatar
Researchain Logo
Decentralizing Knowledge