Mahmoud Khaled
Title
Cited by
Cited by
Year
Implementation of a modified perturb and observe maximum power point tracking algorithm for photovoltaic system using an embedded microcontroller
AA Elbaset, H Ali, M Abd-El Sattar, M Khaled
IET Renewable Power Generation 10 (4), 551-560, 2016
832016
MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study
H Youness, M Moness, M Khaled
IEEE Transactions on Industrial Informatics, 2014
242014
Gender aware spoken language translation applied to english-arabic
M Elaraby, AY Tawfik, M Khaled, H Hassan, A Osama
2018 2nd International Conference on Natural Language and Speech Processing …, 2018
192018
pFaces: an acceleration ecosystem for symbolic control
M Khaled, M Zamani
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
152019
Symbolic abstractions of networked control systems
M Zamani, M Mazo, M Khaled, A Abate
IEEE Transactions on Control of Network Systems 5 (4), 1622-1634, 2017
132017
Symbolic models of networked control systems: A feedback refinement relation approach
M Khaled, M Rungger, M Zamani
2016 54th Annual Allerton Conference on Communication, Control, and …, 2016
52016
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
A Lavaei, M Khaled, S Soudjani, M Zamani
International Conference on Computer Aided Verification, 461-474, 2020
42020
Synthesis of symbolic controllers: A parallelized and sparsity-aware approach
M Khaled, ES Kim, M Arcak, M Zamani
International Conference on Tools and Algorithms for the Construction and …, 2019
42019
SENSE: abstraction-based synthesis of networked control systems
M Khaled, M Rungger, M Zamani
arXiv preprint arXiv:1806.09849, 2018
32018
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
A Devonport, M Khaled, M Arcak, M Zamani
International Conference on Computer Aided Verification, 556-568, 2020
22020
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems
M Khaled, M Zamani
IEEE Design & Test, 2020
12020
ARCH-COMP20 Category Report: Stochastic Models
A Abate, H Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, A Lavaei, ...
EPiC Series in Computing 74, 76-106, 2020
12020
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms
ES Kim, M Arcak, M Khaled, M Zamani
Proceedings of the 21st International Conference on Hybrid Systems …, 2018
12018
PID Control of a Lab Scale Single-Rotor Helicopter System using a Multicore Microcontroller
M Moness, M Khaled, M Bakr, A Omar
International Conference on Aerospace Sciences and Aviation Technology 16 …, 2015
12015
Quad-Core MPSoC architecture for PID-based embedded control systems
HA Youness, M Khaled, M Moness
International Journal of Computer Theory and Engineering 5 (6), 914, 2013
12013
Output-Feedback Symbolic Control
M Khaled, K Zhang, M Zamani
arXiv preprint arXiv:2011.14848, 2020
2020
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems
A Lavaei, M Khaled, S Soudjani, M Zamani
Proceedings of the 23rd International Conference on Hybrid Systems …, 2020
2020
Implementation of Symbolic Controllers on FPGAs
MSM Khaled
2018
Sparsity Regularization for classification of large dimensional data.
N Sharma, P Verlekar, R Ashary, M Khaled, S Zhiquan
arXiv preprint arXiv:1712.01975, 2017
2017
Sparsity Regularization and feature selection in large dimensional data
N Sharma, P Verlekar, R Ashary, M Khaled, S Zhiquan
arXiv preprint arXiv:1712.01975, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20