Félix Ingrand

An Architecture for Autonomy

An autonomous robot offers a challenging and ideal field for the study of intelligent architectures. Autonomy within a rational be havior could be evaluated by the robots effectiveness and robust ness in carrying out tasks in different and ill-known environments. It raises major requirements on the control architecture. Further more, a robot as a programmable machine brings up other archi tectural needs, such as the ease and quality of its specification and programming. This article describes an integrated architecture that allows a mobile robot to plan its tasks—taking into account temporal and domain constraints, to perform corresponding actions and to con trol their execution in real-time—while being reactive to possible events. The general architecture is composed of three levels: a de cision level, an execution level, and a functional level. The latter is composed of modules that embed the functions achieving sensor- data processing and effector control. The decision level is goal and event driven, and it may have several layers, according to the application; their basic structure is a planner/supervisor pair that enables the architecture to integrate deliberation and reaction. The proposed architecture relies naturally on several representa tions, programming paradigms, and processing approaches, which meet the precise requirements that are specified for each level. The authors have developed proper tools to meet these specifications and implement each level of the architecture: a temporal planner, IxTeT; a procedural system for task refinement and supervision, PRS; Kheops for the reactive control of the functional level, and GenoM for the specification and integration of modules at that level Validation of the temporal and logical properties of the reactive parts of the system, through these tools, are presented. Instances of the proposed architecture have been integrated into several indoor and outdoor robots. Examples from real-world ex perimentations are provided and analyzed.

Multi-robot cooperation in the MARTHA project

The MARTHA project objectives are the control and the management of a fleet of autonomous mobile robots for transshipment tasks in harbors, airports and marshalling yards. One of the most challenging and key problems of the MARTHA project is multi-robot cooperation. A general concept for the control of a large fleet of autonomous mobile robots has been developed, implemented and validated in the framework of the MARTHA project. This is the first study in the autonomous mobile robot field to add multi-robot cooperation capabilities to such a large fleet of robots.

Multi-robot cooperation through incremental plan-merging

This paper presents an approach we have recently developed for multi-robot cooperation. It is based on a paradigm where robots incrementally merge their plans into a set of already coordinated plans. This is done through exchange of information about their current state and their future actions. This leads to a generic framework which can be applied to a variety of tasks and applications. The paradigm, called plan-merging paradigm, is presented and illustrated through its application to planning, execution and control of a large fleet of a autonomous mobile robots for load transport tasks in a structured environment.

Designing autonomous robots

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.

Decisional autonomy of planetary rovers

To achieve the ever increasing demand for science return, planetary exploration rovers require more autonomy to successfully perform their missions. Indeed, the communication delays are such that teleoperation is unrealistic. Although the current rovers (such as MER) demonstrate a limited navigation autonomy, and mostly rely on ground mission planning, the next generation (e.g., NASA Mars Science Laboratory and ESA Exomars) will have to regularly achieve long range autonomous navigation tasks. However, fully autonomous long range navigation in partially known planetary-like terrains is still an open challenge for robotics. Navigating hundreds of meters without any human intervention requires the robot to be able to build adequate representations of its environment, to plan and execute trajectories according to the kind of terrain traversed, to control its motions, and to localize itself as it moves. All these activities have to be planned, scheduled, and performed according to the rover context, and controlled so that the mission is correctly fulfilled. To achieve these objectives, we have developed a temporal planner and an execution controller, which exhibit plan repair and replanning capabilities. The planner is in charge of producing plans composed of actions for navigation, science activities (moving and operating instruments), communication with Earth and with an orbiter or a lander, while managing resources (power, memory, etc.) and respecting temporal constraints (communication visibility windows, rendezvous, etc.). High level actions also need to be refined and their execution temporally and logically controlled. Finally, in such critical applications, we believe it is important to deploy a component that protects the system against dangerous or even fatal situations resulting from unexpected interactions between subsystems (e.g., move the robot while the robot arm is unstowed) and/or software components (e.g., take and store a picture in a buffer while the previous one is still being processed). In this article we review the aforementioned capabilities, which have been developed, tested, and evaluated on board our rovers (Lama and Dala). After an overview of the architecture design principle adopted, we summarize the perception, localization, and motion generation functions required by autonomous navigation, and their integration and concurrent operation in a global architecture. We then detail the decisional components: a high level temporal planner that produces the robot activity plan on board, and temporal and procedural execution controllers. We show how some failures or execution delays are being taken care of with online local repair, or replanning.

Ten autonomous mobile robots (and even more) in a route network like environment

This paper presents an implemented system which allows one to run a fleet of autonomous mobile robots in a route network with a very limited centralized activity. The robots are provided with all the necessary ingredients for planning and executing navigation missions in a multi-robot context. Multi-robot cooperation is based on a generic paradigm called plan-merging paradigm, where robots incrementally merge their plans into a set of already coordinated plans. The robot architecture is derived from the generic architecture developed at LAAS. A 3D graphic environment system allows one to display a complete system composed of a dozen (or more) robots, each running on an independent workstation. An example is presented together with numerical results on the system behavior.

Rigorous design of robot software: A formal component-based approach

We have recently started an effort to combine a state of the art tool for developing functional modules of robotic systems (G^e^noM) with a component based framework for implementing embedded real-time systems (BIP). Unlike some works which study the connection between formal approaches and the highest (decisional) level of the robot software architecture, where deliberative activities such as planning, diagnostics, and execution control are conducted, we tackle the problem of using formal methods for developing modules of the functional level of robots. Little attention has been drawn to the development of these modules whose robustness is paramount to the robustness of the overall platform. To this end, we have successfully developed the G^e^noM/BIP component based design approach and applied it to the functional level of a complex exploration rover. Here, we report on this work, and show how we: (i) produce a very fine grained formal computational model of the robot functional level; (ii) run the BIP engine on the real robot, which executes and enforces the model semantics at runtime; and (iii) check the model offline for deadlock-freedom, as well as other safety properties. Moreover, we also extended this paradigm in a number of promising directions: (i) introduced a real-time BIP engine which can now use and control a timed BIP model; (ii) distributed the model and the engine over multiple CPUs; (iii) proposed a user-friendly language for specifying constraints on the model; and (iv) linked the model with a temporal plan execution controller. Interestingly, although our approach was initially proposed for the lowest level of robot architectures, these more recent extensions now allow us to model and manage the deliberation taking place at the decisional layer.

An architecture for dependable autonomous robots

Autonomous robots are complex machines embedding: software modules implementing basic functions such as servo loops to follow a path, or to compute stereo correlation of a pair of images; software to take into account the interactions between the robot components; programs which deal with the supervision and the planning of the mission. These components are integrated within an architecture which defines an organization and a methodology for robot operation.

Deliberation for autonomous robots: A survey

Autonomous robots facing a diversity of open environments and performing a variety of tasks and interactions need explicit deliberation in order to fulfill their missions. Deliberation is meant to endow a robotic system with extended, more adaptable and robust functionalities, as well as reduce its deployment cost. The ambition of this survey is to present a global overview of deliberation functions in robotics and to discuss the state of the art in this area. The following five deliberation functions are identified and analyzed: planning, acting, monitoring, observing, and learning. The paper introduces a global perspective on these deliberation functions and discusses their main characteristics, design choices and constraints. The reviewed contributions are discussed with respect to this perspective. The survey focuses as much as possible on papers with a clear robotics content and with a concern on integrating several deliberation functions.

Robotics and artificial intelligence: A perspective on deliberation functions

Despite a very strong synergy between Robotics and AI at their early beginning, the two fields progressed widely apart in the following decades. However, we are witnessing a revival of interest in the fertile domain of embodied machine intelligence. This is due in particular to the dissemination of more mature techniques from both areas, to more accessible robot platforms with advanced sensory motor capabilities, and to a better understanding of the scientific challenges of the AI-Robotics intersection.The ambition of this paper is to contribute to this revival. It proposes an overview of problems and approaches to autonomous deliberate action in robotics. The paper advocates for a broad understanding of deliberation functions. It presents a synthetic perspective on planning, acting, perceiving, monitoring, goal reasoning and their integrative architectures, which is illustrated through several contributions that addressed deliberation from the AI-Robotics point of view.