Follow
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
1232016
MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study
H Youness, M Moness, M Khaled
IEEE Transactions on Industrial Informatics, 2014
382014
pFaces: An acceleration ecosystem for symbolic control
M Khaled, M Zamani
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
372019
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
362018
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
342020
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
252017
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
132020
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
A Devonport, M Khaled, M Arcak, M Zamani
Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020
132020
Synthesis of symbolic controllers: A parallelized and sparsity-aware approach
M Khaled, ES Kim, M Arcak, M Zamani
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
82019
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
72016
SENSE: Abstraction-based synthesis of networked control systems
M Khaled, M Rungger, M Zamani
arXiv preprint arXiv:1806.09849, 2018
62018
Output-feedback symbolic control
M Khaled, K Zhang, M Zamani
arXiv preprint arXiv:2011.14848, 2020
32020
Cloud-ready acceleration of formal method techniques for cyber–physical systems
M Khaled, M Zamani
IEEE Design & Test 38 (5), 25-34, 2020
32020
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
22018
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
12020
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
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