Mahmoud Khaled

According to our database, Mahmoud Khaled authored at least 21 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Framework for Output-Feedback Symbolic Control.

Mahmoud Khaled, Kuize Zhang, Majid Zamani

IEEE Trans. Autom. Control., September, 2023

2022

Convolutional Neural Networks for Semantic Segmentation: A Recent Survey.

Abdelrahman Kaseb, Mahmoud Khaled, Omar Galal

Proceedings of the International Arab Conference on Information Technology, 2022

2021

Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.

Mahmoud Khaled, Majid Zamani

IEEE Des. Test, 2021

OmegaThreads: symbolic controller design for <i>ω</i>-regular objectives.

Mahmoud Khaled, Majid Zamani

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

An iterative algorithm for simulating heat recovery from exhaust gas - Application on generators.

Mahmoud Khaled, Rabih Murr, Hicham El Hage, Mohamad Ramadan, Haitham S. Ramadan, Mohamed Becherif

Math. Comput. Simul., 2020

New Concept of Power Generation Using TEGs: Thermal Modeling, Parametric Analysis, and Case Study.

Ahmad Faraj, Hassan Jaber, Khaled Chahine, Jalal Faraj, Mohamad Ramadan, Hicham El Hage, Mahmoud Khaled

Entropy, 2020

Output-Feedback Symbolic Control.

Mahmoud Khaled, Kuize Zhang, Majid Zamani

CoRR, 2020

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.

Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.

Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.

Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

pFaces: an acceleration ecosystem for symbolic control.

Mahmoud Khaled, Majid Zamani

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Symbolic Abstractions of Networked Control Systems.

Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate

IEEE Trans. Control. Netw. Syst., 2018

SENSE: Abstraction-Based Synthesis of Networked Control Systems.

Mahmoud Khaled, Matthias Rungger, Majid Zamani

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

Gender aware spoken language translation applied to English-Arabic.

Mostafa Elaraby, Ahmed Y. Tawfik, Mahmoud Khaled, Hany Hassan, Aly Osama

Proceedings of the 2nd International Conference on Natural Language and Speech Processing, 2018

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.

Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani

Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2016

Symbolic models of networked control systems: A feedback refinement relation approach.

Mahmoud Khaled, Matthias Rungger, Majid Zamani

Proceedings of the 54th Annual Allerton Conference on Communication, 2016

An investigation on coupling fuel cell and photovoltaic systems for power generation.

Ahmad Haddad, Mohamad Ramadan, Mahmoud Khaled, Khaled Chahine

Proceedings of the 3rd International Conference on Advances in Computational Tools for Engineering Applications, 2016

2014

MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study.

Hassan A. Youness, Mohammed Moness, Mahmoud Khaled

IEEE Trans. Ind. Informatics, 2014