Mohammad Al Khatib

According to our database, Mohammad Al Khatib authored at least 10 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Model predictive control strategies for industrial demand response of beverage production lines.

Javad Tousi, Behzad Heydaryan, Mohammad Al Khatib, Naim Bajçinca

Proceedings of the European Control Conference, 2023

Data-driven control for linear systems using reachable sets.

Mohammad Al Khatib, Vikas Kumar Mishra, Naim Bajçinca

Proceedings of the European Control Conference, 2023

2022

Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View.

Robert-Jeron Reifert, Martin Krawczyk-Becker, Laurin Prenzel, Svyatoslav Pavlichkov, Mohammad Al Khatib, Sandesh Athni Hiremath, Manar Al-Askary, Naim Bajçinca, Sebastian Steinhorst, Aydin Sezgin

IEEE Access, 2022

Model predictive control of demand response for large scale production lines and networks.

Javad Tousi, Mohammad Al Khatib, Naim Bajçinca

Proceedings of the XXVIII International Conference on Information, 2022

2021

Synthesis of interconnected control systems under reachability specifications.

Mohammad Al Khatib, Stefan Streif

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

Controller synthesis for interconnected systems using parametric assume-guarantee contracts.

Mohammad Al Khatib, Majid Zamani

Proceedings of the 2020 American Control Conference, 2020

2019

Verification and synthesis of interconnected embedded control systems under timing contracts.

Mohammad Al Khatib, Majid Zamani

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2017

Scheduling of Embedded Controllers Under Timing Contracts.

Mohammad Al Khatib, Antoine Girard, Thao Dang

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Verification and Synthesis of Timing Contracts for Embedded Controllers.

Mohammad Al Khatib, Antoine Girard, Thao Dang

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis.

Mohammad Al Khatib, Antoine Girard, Thao Dang

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015