Login / Signup
Mohamed Toub
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 7
Top Topics
Ontology Construction
Semantically Rich
Predictive Control
Formal Verification
Top Venues
ISGT Asia
ICSC
Formal Aspects Comput.
ICCA
</>
Publications
</>
Zakaryae Boudi
,
Abderrahim Ait Wakrime
,
Mohamed Toub
,
Mohamed Haloua
A Deep Reinforcement Learning Framework with Formal Verification.
Formal Aspects Comput.
35 (1) (2023)
Kenza Meziati Sabour
,
Mohamed Toub
,
Ghassane Aniba
Renewable Electricity Real-Time Pricing: Enhancing Grid's Stability Through Demand Side Management.
ISGT Asia
(2021)
Mohamed Ould Bah
,
Zakaryae Boudi
,
Mohamed Toub
,
Abderrahim Ait Wakrime
,
Ghassane Aniba
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
ICSC
(2021)
Zakaryae Boudi
,
Abderrahim Ait Wakrime
,
Mohamed Toub
,
Mohamed Haloua
Building Valid Career Ontologies with B-CPNs.
SADASC
(2020)
Mohamed Toub
,
Mahdi Shahbakhti
,
Rush D. Robinett
,
Ghassane Aniba
MPC-trained ANFIS for Control of MicroCSP Integrated into a Building HVAC System.
ACC
(2019)
Mohamed Toub
,
Chethan R. Reddy
,
Meysam Razmara
,
Mahdi Shahbakhti
,
Rush D. Robinett
,
Ghassane Aniba
Model Predictive Control for MicroCSP Integration into a Building HVAC System.
ICCA
(2018)
Mohamed Toub
,
Ghassane Aniba
,
Mohamed Maaroufi
,
Rush D. Robinett
Decentralized Hamiltonian control of isolated AC microgrids: Theory & design.
ISGT Asia
(2015)