Decentralized Hamiltonian control of isolated AC microgrids: Theory & design. - Mohamed Toub; Ghassane Aniba; Mohamed Maaroufi; Rush D. Robinett (ISGT Asia, 2015)

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 (ICCA, 2018)

MPC-trained ANFIS for Control of MicroCSP Integrated into a Building HVAC System. - Mohamed Toub; Mahdi Shahbakhti; Rush D. Robinett; Ghassane Aniba (ACC, 2019)

Building Valid Career Ontologies with B-CPNs. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (SADASC, 2020)

Renewable Electricity Real-Time Pricing: Enhancing Grid's Stability Through Demand Side Management. - Kenza Meziati Sabour; Mohamed Toub; Ghassane Aniba (ISGT Asia, 2021)

Formalizing Ontologies for AI Models Validation: from OWL to Event-B. - Mohamed Ould Bah; Zakaryae Boudi; Mohamed Toub; Abderrahim Ait Wakrime; Ghassane Aniba (ICSC, 2021)

Towards a B-Method Framework for Smart Contract Verification: The Case of ACTUS Financial Contracts. - Zakaryae Boudi; Mohamed Toub (CRiSIS, 2023)

A Deep Reinforcement Learning Framework with Formal Verification. - Zakaryae Boudi; Abderrahim Ait Wakrime; Mohamed Toub; Mohamed Haloua (Formal Aspects Comput., 2023)