Postdoc supervision

PhD thesis supervision

Abdelrahman Ibrahim. Co-supervised with: Mohamed Ghazel, ESTAS lab, Université Gustave Eiffel, Lille, since 2023.
Fateh Boudardara, Contributions to the Verification and Monitoring of Neural Network Systems. Main supervisors: Mohamed Ghazel, Abderraouf Boussif, ESTAS lab, Université Gustave Eiffel, Lille, 2021-2024. [Thesis]
He Yin, Robustness in Nonlinear and Learning Based Control. Main supervisors: Andrew Packard, Murat Arcak, Mechanical Engineering Department, University of California, Berkeley, 2019-2020. [Thesis]
Alex Devonport, Contributions to the Statistical Foundation of Data-driven Control. Main supervisor: Murat Arcak, EECS Department at University of California, Berkeley, 2018-2020. [Thesis]
Octavio Narváez-Aroche, Robust Control of the Sit-To-Stand Movement for Powered Lower Limb Orthoses. Main supervisors: Andrew Packard, Murat Arcak, Mechanical Engineering Department, University of California, Berkeley, 2017-2019. [Thesis]
Sofie Ahlberg, Human-in-the-Loop Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications. Main supervisor: Dimos Dimarogonas, Automatic Control Department, EES, KTH, Stockholm, 2016-2017. [Thesis]

Abdelrahman Ibrahim, Bridging discrete and continuous neural network models. Erasmus Mundus MIR Master's Scholar at Université de Toulon and NTNU, 2023.
Matthias Hirche, Tuning iterative learning control parameters with reinforcement learning for human-machine shared control. Master student at EECS Department at University of California, Berkeley, 2018. [Thesis]
Paul Rousse, Mutli agent control with LTL specifications and abstraction with input memories. Master student at EES, KTH, Stockholm, 2016. [Thesis] [Slides]
Hosein Nazarpour, Modeling, Identification and Control of Experimental Platform For Energy Management in Intelligent Buildings. Master student at MiSCIT, Grenoble, 2013. [Thesis] [Slides]

Neelay Junnarkar, Further development and improvement of the Matlab toolbox TIRA: Toolbox for Interval Reachability Analysis. Bachelor student at EECS Department at University of California, Berkeley, 2020-2021.

Robust MIMO control for temperature regulation in a building equipped with UnderFloor Air Distribution. 2nd-year Master group project at MiSCIT, Grenoble, 2014.
Robust control through a wireless network for temperature regulation in a building equipped with UnderFloor Air Distribution. 2nd-year Master group project at MiSCIT, Grenoble, 2014.
Efficient implementation for symbolic abstraction and the synthesis of a symbolic controller. 3rd-year Bachelor group project at M&I, Grenoble, 2014.

Hybrid and Embedded Control Systems: guest lecturer, Master level, KTH, Stockholm, 2017.
Continuous control systems: labs, L3, GE, Université Grenoble Alpes, 2015.
SISO feedback control: exercices & labs, M1, EEATS, Université Grenoble Alpes, 2014-2015.
State-space representation: exercices & labs, M1, EEATS, Université Grenoble Alpes, 2013-2014.
Modeling and identification for control: labs, M2, MiSCIT, Université Grenoble Alpes, 2013.
Introduction to applied mathematics: labs, L1, DLST, Université Grenoble Alpes, 2013.