Mohammad Al Khatib
 |
Mohammad Al Khatib |
Bio and Research
Mohammad is a postdoctoral researcher in the Hybrid Control Systems group, Department of Electrical Engineering and Information Technology at the Technical University of Munich (TUM) since March 2018. He received his PhD degree from the University of Grenoble Alpes, France (2017), his B.Sc. degree in Electrical Engineering from the Faculty of Engineering, Lebanese University, Lebanon (2014), and M.Sc. degree in Systems and Control from the University of Joseph Fourier, France (2014). His current research interests are:
Reachability analysis for Hybrid systems;
Compositional synthesis and analysis of Cyber-Physical Systems (CPSs).
Teaching
Book Chapter
M. Al Khatib, A. Girard, and T. Dang. Timing contracts for multi-core embedded control systems. Control Subject to Computational and Communication Constraints: Current Challenges, Springer International Publishing, pp. 97-118, 2018.
Journal Paper
M. Al Khatib, A. Girard, and T. Dang. Stability verification and timing contract synthesis for linear impulsive systems using reachability analysis. Nonlinear Analysis: Hybrid Systems, vol. 25, pp. 211-226, 2017.
Conference Papers
M. Al Khatib and Majid Zamani. Verification and synthesis of interconnected embedded control systems under timing contracts. Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, pp. 208-217, Montreal, Canada, April 2019.
M. Al Khatib, A. Girard, and T. Dang. Self-triggered control for sampled-data systems using reachability analysis. IFAC-PapersOnLine, vol. 50, pp. 208-217, Toulouse, France, July 2017.
M. Al Khatib, A. Girard, and T. Dang. Scheduling of embedded controllers under timing contracts. Proceedings of the 20th ACM International Conference on Hybrid Systems: Computation and Control, pp. 131-140, Pittsburgh, USA, April 2017.
M. Al Khatib, A. Girard, and T. Dang. Verification and synthesis of timing contracts for embedded controllers. Proceedings of the 19th ACM International Conference on Hybrid Systems: Computation and Control, pp. 115-124, Vienna, Austria, April 2016.
M. Al Khatib, A. Girard, and T. Dang. Stability verification of nearly periodic impulsive linear systems using reachability analysis. IFAC-PapersOnLine, vol. 48, pp. 358-363, Atlanta, USA, October 2015.