Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (ADHS, 2015)

Verification and Synthesis of Timing Contracts for Embedded Controllers. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2016)

Scheduling of Embedded Controllers Under Timing Contracts. - Mohammad Al Khatib; Antoine Girard; Thao Dang 001 (HSCC, 2017)

Verification and synthesis of interconnected embedded control systems under timing contracts. - Mohammad Al Khatib; Majid Zamani 001 (HSCC, 2019)

Controller synthesis for interconnected systems using parametric assume-guarantee contracts. - Mohammad Al Khatib; Majid Zamani 001 (ACC, 2020)

Synthesis of interconnected control systems under reachability specifications. - Mohammad Al Khatib; Stefan Streif (CDC, 2021)

Model predictive control of demand response for large scale production lines and networks. - Javad Tousi; Mohammad Al Khatib; Naim Bajçinca (ICAT, 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)

Data-driven control for linear systems using reachable sets. - Mohammad Al Khatib; Vikas Kumar Mishra; Naim Bajçinca (ECC, 2023)

Model predictive control strategies for industrial demand response of beverage production lines. - Javad Tousi; Behzad Heydaryan; Mohammad Al Khatib; Naim Bajçinca (ECC, 2023)

Optimal Energy Transactions for Bidirectional Charging Stations Enabling Grid Ancillary Services. - Behzad Heydaryan; Mohammad Al Khatib; Markus Hess; Naim Bajçinca (ECC, 2024)

Dynamic Trajectory Planning for Emergency Vehicle Clearance at Traffic Intersections Using Model Predictive Control. - Mohammad Al Khatib; Naim Bajçinca (ECC, 2024)

Hierarchical Energy Management for Load Shifting in Bidirectional Charging Hubs. - Behzad Heydaryan; Mohammad Al Khatib; Naim Bajçinca (MED, 2025)