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!
| Publication | Date of Publication | Type |
|---|---|---|
| OmegaThreads Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| OmegaThreads Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| A Framework for Output-Feedback Symbolic Control IEEE Transactions on Automatic Control | 2023-10-09 | Paper |
| An iterative algorithm for simulating heat recovery from exhaust gas -- application on generators Mathematics and Computers in Simulation | 2021-03-06 | Paper |
| \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems (available as arXiv preprint) | 2021-02-09 | Paper |
| AMYTISS Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| pFaces Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
| Symbolic Abstractions of Networked Control Systems IEEE Transactions on Control of Network Systems | 2019-03-29 | Paper |
| 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-02 | Paper |
Research outcomes over time
This page was built for person: Mahmoud Khaled
