Topic description
La conception des infrastructures critiques distribuées s'inspire largement des mécanismes de sécurité traditionnels, ce qui réduit considérablement le risque d'intrusion synchrone en plusieurs points indépendants du réseau. Cela rend intéressant le développement de systèmes de contrôle distribués capables d'absorber un petit nombre d'intrusions synchrones distribuées. Le comportement diffusif de l'ensemble du réseau, qui fait que l'impact fonctionnel d'un petit nombre d'intrusions se diffuse rapidement sur un système distribué sans entraîner de conséquences significatives, fournit un schéma général pour la conception de tels réseaux auto-adaptatifs de systèmes cyber-physiques avec des certificats de garantie. Les notions de dynamique diffusive sont bien comprises dans les systèmes physiques soumis aux lois de conservation et ont déjà fait l'objet de généralisations aux configurations de contrôle distribué des réseaux énergétiques au moyen de théorèmes de gain faible. De même, leur exploitation dans des systèmes commutés et hybrides pour des arguments de stabilité de type Lyapunov a également été explorée. Cependant, l'application de ces notions à des systèmes commutés massivement distribués a été moins étudiée et développée, même si elles offrent des perspectives de raisonnement compositionnel et donc évolutif.
Cette thèse développera une théorie de stabilité basée sur la dynamique diffusive pour les systèmes commutés massivement distribués afin de les rendre auto-adaptatifs, étendant ainsi à un contexte distribué les progrès réalisés dans le domaine du contrôle hybride local. Cette thèse exploitera cette nouvelle théorie pour concevoir des réseaux d'approvisionnement auto-adaptatifs, qui semblent être des candidats idéaux car leurs composants physiques sont naturellement soumis à des lois de conservation.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The design of distributed critical infrastructures has extensively borrowed from traditional security mechanisms, thus reducing considerably the likelihood of synchronous intrusion at multiple independent points of the network. This fact renders it attractive to devise distributed control schemes that can absorb a small number of distributed synchronous intrusions. Diffusive dynamics-like behavior of the overall network making the functional impact of a small number of intrusions diffuse rapidly over a distributed system without developing significant consequences, provides a general scheme towards designing such self-adaptive networks of cyber-physical systems with guarantee certificates. Diffusive dynamics notions are well-understood in physical systems subject to conservation laws and have already seen generalisations to settings of distributed control of energy grids by means of gain theorems. Likewise, their exploitation in switched and hybrid systems for Lyapunov-style stability arguments has also been explored. However, the application of such notions to massively distributed switched systems have been less studied and developed, even though they carry prospects for compositional and thus scalable reasoning.
This thesis will develop a stability theory based on diffusive dynamics for massively distributed switched systems to make them self-adaptable, extending for a distributed setting the advance that has been achieved in local hybrid-state control. This thesis will exploit the new theory to design self-adaptive supply networks, which seem ideal candidates as their physical parts come naturally equipped with conservation laws.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Début de la thèse : 01/09/
WEB :
Funding category
Funding further details
Programmes de l'Union Européenne de financement de la recherche (ERC, ERASMUS)
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.