Secure Cyber-Physical Systems with Machine Learning components (ML-CPS) // Secure Cyber-Physical Systems with Machine Learning components (ML-CPS)
|
ABG-139109
ADUM-73844 |
Thesis topic | |
| 2026-05-13 |
Université Grenoble Alpes
Saint-Martin-d'Hères - Auvergne-Rhône-Alpes - France
Secure Cyber-Physical Systems with Machine Learning components (ML-CPS) // Secure Cyber-Physical Systems with Machine Learning components (ML-CPS)
- Computer science
vérification de sécurité, méthodes formelles, machine learning, systèmes cyber-physiques
security verification, formal methods, machine learning, cyber-physical systems
security verification, formal methods, machine learning, cyber-physical systems
Topic description
The increasing integration of machine learning components into the control and supervision of cyber-physical systems (CPS)—which interconnect heterogeneous elements such as physical processes, digital computing units, smart sensors, and communication networks—has enabled the achievement of more complex objectives with improved performance. Beyond classical threats affecting CPS, including denial-of-service, replay, and data injection attacks, CPS integrating ML, referred to as ML-CPS, are exposed to additional system-specific vulnerabilities arising at both the training and inference stages.
The objective of the thesis is to develop effective strategies for the reliable detection of such attacks and for mitigating their impact on system performance. From a scientific perspective, the project goes beyond classical resilient and robust control frameworks, as well as traditional attack detection and isolation approaches, to specifically address the novel vulnerabilities introduced by machine learning–based systems.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The increasing integration of machine learning components into the control and supervision of cyber-physical systems (CPS)—which interconnect heterogeneous elements such as physical processes, digital computing units, smart sensors, and communication networks—has enabled the achievement of more complex objectives with improved performance. Beyond classical threats affecting CPS, including denial-of-service, replay, and data injection attacks, CPS integrating ML, referred to as ML-CPS, are exposed to additional system-specific vulnerabilities arising at both the training and inference stages.
The objective of the thesis is to develop effective strategies for the reliable detection of such attacks and for mitigating their impact on system performance. From a scientific perspective, the project goes beyond classical resilient and robust control frameworks, as well as traditional attack detection and isolation approaches, to specifically address the novel vulnerabilities introduced by machine learning–based systems.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Début de la thèse : 01/10/2026
WEB : http://www-verimag.imag.fr/PEOPLE/Thao.Dang/theseSecuIA.pdf
The objective of the thesis is to develop effective strategies for the reliable detection of such attacks and for mitigating their impact on system performance. From a scientific perspective, the project goes beyond classical resilient and robust control frameworks, as well as traditional attack detection and isolation approaches, to specifically address the novel vulnerabilities introduced by machine learning–based systems.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
The increasing integration of machine learning components into the control and supervision of cyber-physical systems (CPS)—which interconnect heterogeneous elements such as physical processes, digital computing units, smart sensors, and communication networks—has enabled the achievement of more complex objectives with improved performance. Beyond classical threats affecting CPS, including denial-of-service, replay, and data injection attacks, CPS integrating ML, referred to as ML-CPS, are exposed to additional system-specific vulnerabilities arising at both the training and inference stages.
The objective of the thesis is to develop effective strategies for the reliable detection of such attacks and for mitigating their impact on system performance. From a scientific perspective, the project goes beyond classical resilient and robust control frameworks, as well as traditional attack detection and isolation approaches, to specifically address the novel vulnerabilities introduced by machine learning–based systems.
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------
Début de la thèse : 01/10/2026
WEB : http://www-verimag.imag.fr/PEOPLE/Thao.Dang/theseSecuIA.pdf
Funding category
Funding further details
Concours allocations
Presentation of host institution and host laboratory
Université Grenoble Alpes
Institution awarding doctoral degree
Université Grenoble Alpes
Graduate school
217 MSTII - Mathématiques, Sciences et technologies de l'information, Informatique
Candidate's profile
Solid competences in computer science and applied mathematics; knowledge in formal methods, competences and experience in programming
Solid competences in computer science and applied mathematics; knowledge in formal methods, competences and experience in programming
Solid competences in computer science and applied mathematics; knowledge in formal methods, competences and experience in programming
2026-06-09
Apply
Close
Vous avez déjà un compte ?
Nouvel utilisateur ?
Get ABG’s monthly newsletters including news, job offers, grants & fellowships and a selection of relevant events…
Discover our members
Institut Sup'biotech de Paris
Servier
Tecknowmetrix
ADEME
ONERA - The French Aerospace Lab
ANRT
Laboratoire National de Métrologie et d'Essais - LNE
Groupe AFNOR - Association française de normalisation
Medicen Paris Region
TotalEnergies
ASNR - Autorité de sûreté nucléaire et de radioprotection - Siège
Nokia Bell Labs France
SUEZ
Généthon
Ifremer
Nantes Université
Aérocentre, Pôle d'excellence régional



