Mohamed Toub

Orcid: 0000-0002-4996-5351

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Deep Reinforcement Learning Framework with Formal Verification.
Formal Aspects Comput., March, 2023

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts.
Proceedings of the Risks and Security of Internet and Systems, 2023

2021
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
Proceedings of the 15th IEEE International Conference on Semantic Computing, 2021

Renewable Electricity Real-Time Pricing: Enhancing Grid's Stability Through Demand Side Management.
Proceedings of the 2021 IEEE PES Innovative Smart Grid Technologies, 2021

2020
Building Valid Career Ontologies with B-CPNs.
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.
Proceedings of the 2019 American Control Conference, 2019

2018
Model Predictive Control for MicroCSP Integration into a Building HVAC System.
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

2015
Decentralized Hamiltonian control of isolated AC microgrids: Theory & design.
Proceedings of the 2015 IEEE Innovative Smart Grid Technologies, 2015


  Loading...