Description
Date depot: 12 avril 2022
Titre: Conception conjointe des systèmes cyber-physiques entre commande par rétroaction et informatique temps-réel
Directrice de thèse:
Liliana CUCU-GROSJEAN (Inria-Paris (ED-130))
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Systèmes et réseaux
Resumé: La conception des systèmes cyber-physiques se fait souvent en séparant le problème de commande et le problème d'ordonnancement au prix d'un sur-dimmensionnement important des architectures matérielles supportant l'exécution des programmes implémentant les fonctions de ces systèmes. Dans cette thèse, nous nous intéressons au problème d'une conception conjointe comme celle étudiée dans [1,2] en proposant comme formalisme pour faire le lien entre les deux problèmes, la description probabiliste de ces deux problèmes.
La thèse se déroule en trois parties (1) la formulation probabiliste du problème de commande, (2) la proposition d'un modèle de tâche probabiliste comme hypothèse pour un problème d'ordonnancement multicoeur et (3) la proposition d'une solution conjointe réunissant les deux problèmes via la formulation probabiliste des deux problèmes.
[1] Daniel Simon, Alexandre Seuret and Olivier Sename, "Real-time control systems: feedback, scheduling and robustness", International Journal of Systems Science, Taylor & Francis, 2017
[2] Karl-Erik Arzén, "Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties", IEEE RTSS 2010: 85-94
Résumé dans une autre langue: The design of cyber-physical systems is often done by separating the control problem from the scheduling problem at the cost of an important over-dimensioning of the hardware architectures supporting the execution of the programs implementing the functions of these systems. In this thesis, we are interested in the problem of a joint design like the one studied in [1,2] by proposing as a formalism to make the link between the two problems, the probabilistic description of these two problems.
The thesis is divided into three parts (1) the probabilistic formulation of the control problem, (2) the proposal of a probabilistic task model as a hypothesis for a multi-core scheduling problem and (3) the proposal of a joint solution bringing together the two problems via the probabilistic formulation of the two problems.
[1] Daniel Simon, Alexandre Seuret and Olivier Sename, "Real-time control systems: feedback, scheduling and robustness", International Journal of Systems Science, Taylor & Francis, 2017
[2] Karl-Erik Arzén, "Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties", IEEE RTSS 2010: 85-94
Doctorant.e: Hawila Ismail