Automation, Production and Computer Sciences (DAPI)
The Department of Automation, Production and Computer Sciences (DAPI in French) is part of the current revolution which is increasingly bridging the cyber and physical worlds together. The objective is to create suitable and adaptable industrial systems making the best possible use of the available resources, while still having sustainable development in mind. The department expertise spans over a wide range of fundamental and applied skills from the mathematics, physics, computer sciences and automation fields.
Our research and teaching is organised under three main themes:
- Software engineering and distributed systems. The STACK team studies the challenges related to the management and advanced usages of Utility Computing infrastructures (i.e. Cloud, Fog, Edge, and beyond). The NaoMod team (formerly AtlanModels) tackles challenges linked to the continuous construction of software by relying on model-based engineering, with many industrial applications in domains such as IoT or Cyber-Physical Systems (CPSs) for instance. The Gallinette team aims at developing a new generation of proof assistants (for programming languages notably), with the belief that practical experiments must go in pair with foundational investigation.
- Optimisation and decision-making. The SLP team (Logistics and Production Systems) deals with the conception and optimisation of production systems and logistics and transport networks, the planning and scheduling of production and activities, and risk management for industrial systems and services. The TASC team (Theory and Applications of Constraint Systems) focuses on the theory and practice of combinatorial problem solving, a unifying and flexible paradigm combining optimisation and relaxation which allows dynamic constraints and business rules to be taken into account.
- Cyber-physical systems. The Command team works on guaranteeing the performance and stability of a complex system despite model uncertainty or disruption, through a robust control law. This team deals specifically with applications in the area of transport, particularly electric or hybrid vehicles. The Robotics team develops theoretical and practical activities in bio robotics in the area of locomotion and perception, electric in particular. It also deals with the modelling, identification and command of high performance production robots.
All these research teams are integrated into the CNRS research center named LS2N (Laboratory of Digital Sciences of Nantes) The STACK and Gallinette teams are also Inria center-teams attached to the Inria Rennes - Bretagne Atlantique center.
2017 key figures (update to come)