Mohammad Al Khatib

15 papers C 2Journal 2Unranked 11

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Data-driven predictive control for interconnected systems using terminal ingredients and reachable sets. CoDIT Mohammad Al Khatib, Vikas Kumar Mishra, Naim Bajçinca
2025	J	`jnl`	Demand Response Control of Beverage Production Plants With Binary Units. IEEE Access Behzad Heydaryan, Mohammad Al Khatib, Naim Bajçinca
2025	—	`conf`	Hierarchical Energy Management for Load Shifting in Bidirectional Charging Hubs. MED Behzad Heydaryan, Mohammad Al Khatib, Naim Bajçinca
2024	—	`conf`	Dynamic Trajectory Planning for Emergency Vehicle Clearance at Traffic Intersections Using Model Predictive Control. ECC Mohammad Al Khatib, Naim Bajçinca
2024	—	`conf`	Optimal Energy Transactions for Bidirectional Charging Stations Enabling Grid Ancillary Services. ECC Behzad Heydaryan, Mohammad Al Khatib, Markus Hess, Naim Bajçinca
2023	—	`conf`	Data-driven control for linear systems using reachable sets. ECC Mohammad Al Khatib, Vikas Kumar Mishra, Naim Bajçinca
2023	—	`conf`	Model predictive control strategies for industrial demand response of beverage production lines. ECC Javad Tousi, Behzad Heydaryan, Mohammad Al Khatib, Naim Bajçinca
2022	—	`conf`	Model predictive control of demand response for large scale production lines and networks. ICAT Javad Tousi, Mohammad Al Khatib, Naim Bajçinca
2022	J	`jnl`	Toward Resilience in Mixed Critical Industrial Control Systems: A Multi-Disciplinary View. IEEE Access 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
2021	—	`conf`	Synthesis of interconnected control systems under reachability specifications. CDC Mohammad Al Khatib, Stefan Streif
2020	C	`conf`	Controller synthesis for interconnected systems using parametric assume-guarantee contracts. ACC Mohammad Al Khatib, Majid Zamani
2019	—	`conf`	Verification and synthesis of interconnected embedded control systems under timing contracts. HSCC Mohammad Al Khatib, Majid Zamani
2017	—	`conf`	Scheduling of Embedded Controllers Under Timing Contracts. HSCC Mohammad Al Khatib, Antoine Girard, Thao Dang
2016	—	`conf`	Verification and Synthesis of Timing Contracts for Embedded Controllers. HSCC Mohammad Al Khatib, Antoine Girard, Thao Dang
2015	—	`conf`	Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis. ADHS Mohammad Al Khatib, Antoine Girard, Thao Dang