M. A. Khatib

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

N. Bajçinca, J. Tousi, M. A. Khatib, 2022, 2022 XXVIII International Conference on Information, Communication and Automation Technologies (ICAT).

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

A. Sezgin, N. Bajçinca, S. Pavlichkov, 2022, IEEE Access.

Verification and synthesis of interconnected embedded control systems under timing contracts

Majid Zamani, Mohammad Al Khatib, Majid Zamani, 2019, HSCC.

Stability verification, scheduling, and synthesis of cyber-physical systems

Mohammad Al Khatib, M. A. Khatib, 2017 .

Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis

Antoine Girard, Thao Dang, Mohammad Al Khatib, 2017 .

Verification and Synthesis of Timing Contracts for Embedded Controllers

A. Girard, T. Dang, M. A. Khatib, 2016, HSCC.

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

Antoine Girard, Thao Dang, Mohammad Al Khatib, 2015, ADHS.

Modal Analysis of Simply Supported Tapered Pipe Transporting Fluid with an Edge Crack Using Finite Element Method

Mohamed S. Gaith, Ibrahim M. Al-Adwan, M. A. Khatib, 2023, International Journal of Mechanical Engineering and Robotics Research.