Post-doctoral Research Visit F/m Control for

Le descriptif de l’offre ci-dessous est en Anglais_

**Type de contrat **:CDD

**Niveau de diplôme exigé **:Thèse ou équivalent

**Fonction **:Post-Doctorant

**A propos du centre ou de la direction fonctionnelle**:
The Centre Inria de l’Université de Grenoble groups together almost 600 people in 22 research teams and 7 research support departments.

Staff is present on three campuses in Grenoble, in close collaboration with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE,), but also with key economic players in the area.

The Centre Inria de l’Université Grenoble Alpe is active in the fields of high-performance computing, verification and embedded systems, modeling of the environment at multiple levels, and data science and artificial intelligence. The center is a top-level scientific institute with an extensive network of international collaborations in Europe and the rest of the world.

**Contexte et atouts du poste**:
The research will be conducted in the Inria centre at the University Grenoble Alpes. Inria is the French national institute for research in digital science and technology. Grenoble is an attractive city in the heart of the Alps, easily reachable from Paris, but also at a crossroads from Italy, Switzerland and Lyon, with a large student population and a number of cultural and sports facilities.
This postdoc grant is part of the ANR ADAPT project, that gathers 3 partners: Inria, Verimag, and FEMTO-ST. A PhD student and an engineer are also specifically dedicated to the project. Travel expenses are covered within the limits of the scale in force.

**Mission confiée**:
**Context - Control for Sustainable Computing**

**Approach - Distributed Control Architecture**

This project aims at using control theory tools for hierarchical and distributed software systems [5], e.g. control of multi-agent systems [6], with the aim of their adaptation. The architecture of structured and interacting elements, including controllers, are defined using formal tools (i.e. component-based system). The main challenges in the control design are (i) the hierarchical structure of the entities, organized based on spatial or temporal aspects, (ii) the large number of elements with low-computing capacity, (iii) the unreliable communication, leading to non-uniform sampling or event-based sampling, (iv) the low-reliability of the hardware, causing possibly stochastic behavior, (v) the highly unfavorable conditions, leading to highly variable behavior with extremely low availability of resources.

**Principales activités**:
**Research Directions**

The general objective of the project is to study frugality and resilience as a control problem in computing systems: i) express the problem of performance degradation for resource usage limitation, and ii) consider resilience of structured distributed systems.

The project covers the following research directions:

- state the problem of degradation of performance for resource usage limitation, e.g. with inspiration from brownout approaches [1],
- explore the distribution of control on a set of homogeneous systems, and extend to hierarchically structured systems,
- consider the resilience of the control system, under highly unreliable hardware and communication with high variability.

**References**

[2] Ismail Hawila, Sophie Cerf, Raphaël Bleuse, Swann Perarnau, Eric Rutten. Adaptive Power Control for Sober High-Performance Computing. CCTA 2022 - 6th IEEE Conference on Control Technology and Applications, Aug 2022, Trieste, Italy. pp.1-8. hal-03765849
[3] Sophie Cerf, Bogdan Robu, Nicolas Marchand, Sara Bouchenak. Privacy protection control for mobile apps users. Control Engineering Practice, 2023, 134 (May), pp.105456. 10.1016/j.conengprac.2023.105456. hal-03977386
[4] Shevtsov, S., Berekmeri, M., Weyns, D., & Maggio, M. (2017). Control-theoretical software adaptation: A systematic literature review. IEEE Transactions on Software Engineering, 44(8), 784-810.
[5] Scattolini, R. (2009). Architectures for distributed and hierarchical model predictive control-a review. Journal of process control, 19(5), 723-731.
[6] Dorri, A., Kanhere, S. S., & Jurdak, R. (2018). Multi-agent systems: A survey. Ieee Access, 6, 28573-28593.

**Compétences**:
The applicant is expected to have a PhD in control or automation, or any related field.
Experience or interest in distributed/multi-agent system is required.
Skills in formal methods are not compulsory, but would be welcome.

**Avantages**:

- Subsidized meals
- Partial reimbursement of public transport costs
- Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
- Possibility of teleworking and flexible organization of working hours
- Professional equipment available (videoconferencing, loan of computer equipment, etc.)
- Social, cultural and sports events and activ