Mahmoud Khaled

Mahmoud Khaled

PhD Student

Technische Universität München

Hybrid Control Systems
Arcisstr. 21
80333 München

Tel: +
Fax: +
Building: 0509
Room: 3963
Personal Homepage:

Bio: Mahmoud Khaled is an PhD student in the Hybrid Control Systems group, Department of Electrical Engineering and Information Technology at the Technical University of Munich (TUM) since April 2016. He recieved a scholarship from the German Academic Exchange Service (DAAD) to pursue his PhD in Germany. He received his B.Sc. degree (Computer and Systems Engineering, 2009) and M.Sc. degree (Electrical Engineering, 2014) from the Faculty of Engineering, Minia University, Egypt. His M.Sc. Thesis recieved the Best-M.Sc.-Thesis award for the academic year 2014/2015, Minia University, Egypt based on the publications etracted from the thesis. Most of his prior work targeted efficient HW/SW implementations of embedded control systems using various computing platforms. His current research spans:
    (1) Formal Methods in System Design/Synthesis;
    (2) Cyber-Physical Systems (embedded control systems, real-time systems, and networked control systems);
    (3) HW/GPGPU-based acceleration of the synthesis/implementations of embedded controllers.


SENSE: A tool for abstraction and symbolic-controller-synthesis of networked control systems.

BDD2Implement: A tool for HW/SW code-generation to implement BDD-based symbolic controllers.

Journal Papers

M. Khaled, M. Rungger, and M. Zamani. SENSE: Towards formal synthesis of networked control systems. Submitted for publication.
M. Zamani, M. Mazo Jr, M. Khaled, and A. Abate. Symbolic models for networked control systems. IEEE Transactions on Control of Network Systems, (Accepted, to appear).
A. A. Elbaset, H. Ali, M. A. Sattar, and M. Khaled. A modified P&O MPPT Algorithm for PV Systems with Implementation on an Embedded Microcontroller. IET Renewable Power Generation, Sep. 2015.
H. A. Youness, M. Moness and M. Khaled. MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study. IEEE Transactions on Industrial Informatics, vol.10, no.4, pp.2122-2134, Nov. 2014.
H. A. Youness, M. Moness and M. Khaled. Quad-Core MPSoC Architecture for PID-Based Embedded Control Systems. International Journal of Computer Theory and Engineering (IJCTE), vol. 5, no. 6, pp. 914-919, Dec. 2013.

Conference Papers

M. Khaled, M. Rungger, M. Zamani. Symbolic models of networked control systems: A feedback refinement relation approach. The 54th Annual Allerton Conference on Communication, Control, and Computing, Sept. 2016.
M. Moness, M. Khaled, M. Bakr, and A. Omar. PID Control of a Lab Scale Single-Rotor Helicopter System using a Multicore Microcontroller. The 16th International Conference on Aerospace Sciences and Aviation Technology (ASAT 2016)., Military Technical College, Cairo, Egypt, Volume: 16.
H. A. Youness, M. Moness and M. Khaled. Quad-Core MPSoC Architecture for PID-Based Embedded Control Systems. In proceedings of the 3rd International Conference on Computer and Communication Devices (ICCCD 2013), Kuala-Lumpur, Malaysia, June 2013.
M. Moness, H. A. Youness and M. Khaled. Direct Mapping of Digital PID Control Algorithm to a Custom FPGA-Based MPSoC. In proceedings of 8th International Conference of Electrical Engineering (ICEENG), At MTC, Cairo, Egypt, vol. EE116, April 2012.


M. Khaled, M. Rungger, M. Zamani. Symbolic Models of Networked Control Systems. NET-CPS 2016: International Symposium on Networked Cyber-Physical Systems, Garching, Germany September 2016.