Mahmoud Khaled

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
OmegaThreads
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
2024-02-21Paper
OmegaThreads
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control
2024-02-21Paper
A Framework for Output-Feedback Symbolic Control
IEEE Transactions on Automatic Control
2023-10-09Paper
An iterative algorithm for simulating heat recovery from exhaust gas -- application on generators
Mathematics and Computers in Simulation
2021-03-06Paper
\textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems
(available as arXiv preprint)
2021-02-09Paper
AMYTISS
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control
2021-01-25Paper
pFaces
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control
2019-10-22Paper
Symbolic Abstractions of Networked Control Systems
IEEE Transactions on Control of Network Systems
2019-03-29Paper
Analytical and empirical determination of thermal performance of louvered heat exchanger - effects of air flow statistics
International Journal of Heat and Mass Transfer
2011-02-02Paper


Research outcomes over time


This page was built for person: Mahmoud Khaled