Mohamed Toub

According to our database, Mohamed Toub authored at least 8 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Deep Reinforcement Learning Framework with Formal Verification.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Formal Aspects Comput., March, 2023

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.

Zakaryae Boudi, Mohamed Toub

Proceedings of the Risks and Security of Internet and Systems, 2023

2021

Formalizing Ontologies for AI Models Validation: from OWL to Event-B.

Mohamed Ould Bah, Zakaryae Boudi, Mohamed Toub, Abderrahim Ait Wakrime, Ghassane Aniba

Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Renewable Electricity Real-Time Pricing: Enhancing Grid's Stability Through Demand Side Management.

Kenza Meziati Sabour, Mohamed Toub, Ghassane Aniba

Proceedings of the 2021 IEEE PES Innovative Smart Grid Technologies, 2021

2020

Building Valid Career Ontologies with B-CPNs.

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua

Proceedings of the Smart Applications and Data Analysis - Third International Conference, 2020

2019

MPC-trained ANFIS for Control of MicroCSP Integrated into a Building HVAC System.

Mohamed Toub, Mahdi Shahbakhti, Rush D. Robinett, Ghassane Aniba

Proceedings of the 2019 American Control Conference, 2019

2018

Model Predictive Control for MicroCSP Integration into a Building HVAC System.

Mohamed Toub, Chethan R. Reddy, Meysam Razmara, Mahdi Shahbakhti, Rush D. Robinett, Ghassane Aniba

Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

2015

Decentralized Hamiltonian control of isolated AC microgrids: Theory & design.

Mohamed Toub, Ghassane Aniba, Mohamed Maaroufi, Rush D. Robinett

Proceedings of the 2015 IEEE Innovative Smart Grid Technologies, 2015