Mahmoud Khaled
Mahmoud Khaled
PhD Student, TU Munich (TUM), Germany
Verified email at tum.de - Homepage
Title
Cited by
Cited by
Year
MPSoCs and Multicore Microcontrollers for Embedded PID Control: A Detailed Study
H Youness, M Moness, M Khaled
IEEE Transactions on Industrial Informatics, 2014
182014
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
92017
pFaces: an acceleration ecosystem for symbolic control
M Khaled, M Zamani
Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019
72019
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
42016
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
22019
SENSE: abstraction-based synthesis of networked control systems
M Khaled, M Rungger, M Zamani
arXiv preprint arXiv:1806.09849, 2018
22018
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
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
A Devonport, M Khaled, M Arcak, M Zamani
arXiv preprint arXiv:2001.10635, 2020
2020
Implementation of Symbolic Controllers on FPGAs
MSM Khaled
2018
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
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
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
2015
Direct mapping of digital PID control algorithm to a custom FPGAbased MPSoC, the parallel digital PID (PDPID) controller
M Moanes, HA Youness, M Khaled
The International Conference on Electrical Engineering 8 (8th International …, 2012
2012
Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
A Lavaei, M Khaled, S Soudjani, M Zamani
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
A Lavaei, M Khaled, S Soudjani, M Zamani
Symbolic Models of Networked Control Systems
M Khaled, M Rungger, M Zamani
The system can't perform the operation now. Try again later.
Articles 1–17