You are here

Control of adaptative systems

Team and supervisors
Department / Team: 
Team Web Site: 
http://www.irisa.fr/sumo/
PhD Director
Eric Fabre
Co-director(s), co-supervisor(s)
Marchand Hervé
Ocan Sankur
Contact(s)
NameEmail addressPhone Number
Hervé Marchand
herve.marchand@inria.fr
0299847509
Ocan Sankur
ocan.sankur@irisa.fr
0299842280
Eirc Fabre
eric.fabre@inria.fr
0299847484
PhD subject
Abstract

While the proliferation of cloud computing and IoT made it possible to build larger and more complex applications, the growing scale together with the continuously changing runtime environments and user needs is significantly increasing their operational costs. Such dynamicity and the difficulty to forecast its evolution made it necessary for the applications to dynamically adapt themselves at runtime with minimal or no human intervention. However, as the changes to the system are performed autonomously, it is necessary to ensure that the performed actions will not jeopardize the safety of the running applications.

The objective of this thesis is to promote a systematic and automatic approach for the design and implementation of reliable adaptive and reconfigurable systems and to provide tools ensuring that, whatever the runtime conditions, whatever the adaptations performed the system remains in safe configurations at a low cost. Such systems can be modelled with finite automata and their extensions. To study the interactions between the system and its changing environment, we suggest seeing these as reactive systems. The problem of controlling these systems so as to make sure they react properly to a changing environment can be modelled within the supervisory control theory, which is strongly connected to game theory for games played on graphs.

The objective is to contribute to the theoretical foundations of this problem and the contribution targets the active control of reconfigurable systems. In this context, requirement/properties that have to be guaranteed are also dynamic and depend on the system configuration. These properties can be either logical or quantitative. One important aspect concerns the dynamicity of the systems in which components can arrive and leave at runtime. This leads to consider different requirements that have to be ensured on the global system depending on its current configurations. On-line synthesis techniques have thus to be designed to automatically deploy supervisors or controllers in charge of the safety of this system.

On one side, an important challenge for this kind of reconfigurable system concerns the modular control that consists in decomposing global properties into several smaller ones that depend on subsystems or concern fewer attributes. To achieve the global adaptation strategy, those controllers have first to be computed and coordinated at a higher level. Finally, one has to improve the flexibility of these controllers, allowing them to take potential failures and their diagnosis into account. A second step will be to consider the modelling of systems for which some part of the behaviour is not known on-line. The goal will be to understand how such modelling can be articulated with the use of a constructive formal method like controller
synthesis. In particular, how one can compute on-line controllers ensuring some dynamic properties that depend on the current configuration of the system.

An interesting combination of the two previous points is to consider that real systems will comprise multiple autonomic loops. The problem of their potential inconsistent or sub-optima interferences brings the need for their coordination, which can be achieved by a higher level of discrete control based on quantitative properties.

All these methods will possibly be implemented with Heptagon/BZR and Reax, possibly considering the opportunity to extend these tools.

Bibliography

Designing Autonomic Management Systems by using Reactive Control Techniques.
Nicolas Berthier, Éric Rutten, Noël De Palma, Soguy Mak-Karé Gueye IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18.


Correct by construction security approach to design fault tolerant smart homes for disabled people
Sébastien Guillet, Bruno Bouchard, and Abdenour Bouzouane. In: Procedia Computer Science 21 (2013), pp. 257–264.


Service oriented middleware for the internet of things: a perspective
Tiago Teixeira, Sara Hachem, Valérie Issarny, and Nikolaos Georgantas. In: Towards a Service-Based Internet. Springer, 2011, pp. 220–22

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures.
N. Berthier, X. An, H. Marchand. In 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Volume 48, Pages 132-138, Cancun, Mexico, May 2015.

Discrete Controller Synthesis for Infinite State Systems with ReaX.
N. Berthier, H. Marchand. In IEEE International Workshop on Discrete Event Systems, Pages 46-53, Cachan, France, May 2014.

Work start date: 
Septembre 2017
Place: 
IRISA - Campus universitaire de Beaulieu, Rennes