Mohammad Al Khatib

发表

Maintain Levels of Seventh Grade in Patterns of Linguistic and Grammatical Concepts after the Educational Development based on the Knowledge Economy in Jordan

Mohammad Al Khatib, Zahria Abdul-Haq, 2011 .

Verification and Synthesis of Timing Contracts for Embedded Controllers

Antoine Girard, Thao Dang, Mohammad Al Khatib, 2016, HSCC.

Scheduling of Embedded Controllers Under Timing Contracts

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

Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis

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

Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques

Mohammad Al Khatib, 2017 .

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

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

Controller synthesis for interconnected systems using parametric assume-guarantee contracts

Majid Zamani, Mohammad Al Khatib, 2020, 2020 American Control Conference (ACC).

Verification and synthesis of interconnected embedded control systems under timing contracts

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

Self-Triggered Control for Sampled-data Systems using Reachability Analysis

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

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

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