Matthieu Gallien
University of Toulouse
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Matthieu Gallien.
IEEE Robotics & Automation Magazine | 2009
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
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
Ananda Basu; Matthieu Gallien; Charles Lesire; Thanh-Hung Nguyen; Saddek Bensalem; Félix Ingrand; Joseph Sifakis
Archive | 2008
Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen
international conference on automated planning and scheduling | 2007
Yasmina Abdeddaïm; Eugene Asarin; Matthieu Gallien; Félix Ingrand; Charles Lesire; Mihaela Sighireanu
international conference on automated planning and scheduling | 2007
Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell
IEEE Robotics & Automation Magazine | 2009
Saddek Bensalem; Matthieu Gallien; Félix Ingrand; Imen Kahloul; Thanh-Hung Nguyen
Archive | 2005
Matthieu Gallien; Félix Ingrand; Solange Lemai
Archive | 2007
Benjamin Lussier; Matthieu Gallien; Jérémie Guiochet; Félix Ingrand; Marc-Olivier Killijian; David Powell
Archive | 2005
Solange Lemai; Félix Ingrand; Matthieu Gallien