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/implementation 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.
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.
M. Khaled, M. Rungger, and M. Zamani. SENSE: Abstraction-Based Synthesis of Networked Control Systems. 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018), April 2018. (Accepted, to appear).
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.
E. Kim, M. Khaled, M. Zamani, Major, Arack, Murat. Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. 21st ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2018), Porto, Portugal April 2018. [ACM Abstract]
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. [poster]
2015: PhD Scholarship on the German-Egyptian Long Term Research Scholarship (GERLS) Program, German Academic Exchange Service (DAAD), Germany.
2014: Minia University’s Best M.Sc. Thesis Award, Minia University, Egypt.
2013: Winner of Young Innovation Awards (YIA) program for innovative research projects, BG Egypt, Nahdet ElMahrousa Org, Egypt.
2009: 1st Place Award in 2009 Samsung Real Dream Award (SRDA) for Graduation Projects, Nahdet El-Mahrousa Org.