• Bachelor degree of engineering in Industrial Informatics. Lebanese University, Lebanon
• Master 2R in system control and information technology. Université Joseph Fourier, France
• PhD in Applied Mathematics. Title: Verification and synthesis of cyber-physical systems. Université Grenoble Alpes, France
• Postdoc researcher. Title: Compositional synthesis and verification of hybrid systems. Technical University of Munich, Germany
• Postdoc researcher. Title: Control synthesis of interconnected food production units. Technical University of Chemnitz, Germany

Real-Time Mixed-Integer Motion Planning and Trajectory Tracking Control for Autonomous Driving
IFAC World Congress 2026
M. Poursajad, M. Al Khatib and N. Bajcinca

Hierarchical MPC for optimal bidirectional charging of battery modules using modular multilevel converters
European Journal of Control, 2026, DOI
M. Al Khatib, B. Heydaryan, J. Schwickerath and N. Bajcinca

Demand Response Control of Beverage Production Plants With Binary Units
IEEE Access 2025, DOI
B. Heydaryan, M. A. Khatib and N. Bajcinca

Robust Predictive Control for NARX Models from Input-Output Data
IFAC-PapersOnLine 59(6), 2025, DOI
A. Azarbahram, M. Al Khatib, V. K. Mishra, M. Thommes, N. Bajcinca  

Hierarchical Energy Management for Load Shifting in Bidirectional Charging Hubs
Mediterranean Conference on Control and Automation (MED), DOI IEEE 2025, Tangier, Morokko
B. Heydaryan, M. A. Khatib, M. Hess and N. Bajcinca

Optimal Control Strategy for Bidirectional EV Charging Hubs Contributing to Energy Market
Journal of Energy Storage, DOI, 2025
B. Heydaryan, M. A. Khatib and N. Bajcinca

Data-driven Predictive Control for Interconnected Systems Using Terminal Ingredients and Reachable Sets
CoDIT, IEEE, 2025, DOI
M. Al Khatib and N. Bajcinca

Dynamic trajectory planning for emergency vehicle clearance at traffic intersections using model predictive control
European Control Conference (EEC), 2024, DOI
M. Al Khatib and N. Bajcinca

Data-driven Predictive Control for a Class of Nonlinear Systems with Polynomial Terms
IFAC-PapersOnLine 58(21), 2024, DOI
A. Azarbahram, M. Al Khatib, V. K. Mishra,N. Bajcinca 

Resilient scheduler and controller codesign for mixed-critical embedded control systems
IFAC World Congress, 2023, DOI
M. Al Khatib and N. Bajcinca

Towards Resilience in Mixed Critical Industrial Control Systems: A Multi-disciplinary View
IEEE Access, Pages 124563 - 124581, 2022. DOI
R. Reifert, M. Krawczyk-Becker, L. Prenzel, S. Pavlichkov, M. Al Khatib,S. A. Hiremath, M. Al-Askary, N. Bajcinca, S. Steinhorst and A. Sezgin

Model predictive control of demand response for large scale production lines and networks
28th International Conference on Information, Communication and Automation Technologies (ICAT 2022), June 2022
J. Tousi, M. Al Khatib, N. Bajcinca

Control of an interconnected food production unit
The IFAC Symposium on Dynamics and Control of Process Systems, Busan, South Korea, June 2022
M. Al Khatib, S. Streif

Synthesis of interconnected control systems under reachability specifications
Conference on Decision and Control, Austin, Texas, USA, December 2021
M. Al Khatib, S. Streif

Controller synthesis for interconnected systems using parametric assume-guarantee contracts
American Control Conference, Denver, USA, July 2020
M. Al Khatib, M. Zamani

Verification and synthesis of interconnected embedded control systems under timing contracts
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019, Pages 208-217
M. Al Khatib, M. Zamani

Timing contracts for multi-core embedded control systems
Control Subject to Computational and Communication Constraints: Current Challenges, Springer International Publishing, 2018, Pages 97-118
M. Al Khatib, A. Girard, and T. Dang

Self-Triggered Control for Sampled-data Systems using Reachability Analysis
IFAC World Congress, 2017
M. Al Khatib, A. Girard, and T. Dang

Scheduling of Embedded Controllers under Timing contracts
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. 2017
M. Al Khatib, A. Girard, and T. Dang

Verification and Synthesis of Timing Contracts for Embedded Controllers
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control. ACM, 2016.
M. Al Khatib, A. Girard, and T. Dang

Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis
Nonlinear Analysis: Hybrid Systems, 2016
M. Al Khatib, A. Girard, and T. Dang

Stability verification of nearly periodic impulsive linear systems using reachability analysis
IFAC-PapersOnLine, 2015, Pages 358-363
M. Al Khatib, A. Girard, and T. Dang