Mohamed Haloua

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 6

Top Topics

High Level Petri Nets

Top Venues

Formal Aspects Comput.

Publications

Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
A Deep Reinforcement Learning Framework with Formal Verification. Formal Aspects Comput. 35 (1) (2023)
Ilyas El Wafi, Mohamed Haloua, Zouhair Guennoun
Reaction Wheels Desaturation Using Magnetorquers Under Environmental Disturbances. ICCMA (2022)
Amina Daghouri, Ilyas El Wafi, Soumia Elhani, Mohamed Haloua, Zouhair Guennoun
LQR and SMC control design of a DC-DC converter based on Kalman filter observer for a nanosatellite's EPS: A comparative study. IECON (2022)
Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Toub, Mohamed Haloua
Building Valid Career Ontologies with B-CPNs. SADASC (2020)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE (2019)
Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua
Petri Nets to Event-B: Handling Mathematical Sequences Through an ERTMS L3 Case. MEDI Workshops (2018)
El Ayachi Chater, Fouad Giri, Josep M. Guerrero, F. Z. Chaoui, Mohamed Haloua
Tracking controller for intrinsic output saturated systems in presence of amplitude and rate input saturations. CCA (2014)
El Ayachi Chater, Driss Ghani, Fouad Giri, Ahmed Rachid, Fatima-Zahra Chaoui, Mohamed Haloua
Output Feedback Control of Pantograph-Catenary System. PSYCO (2013)
Abderrahim Elfadili, Fouad Giri, Abdelmounime El Magri, Luc Dugard, Mohamed Haloua
Adaptive interconnected observer for induction machine in presence of nonlinear magnetic characteristic. ACC (2011)
Fouad Giri, El Ayachi Chater, Jean-Baptiste Gning, F. Z. Chaoui, Mohamed Haloua
A control strategy for a class of cascade systems including saturation elements. ACC (2010)
Fouad Giri, Youssef Rochdi, Fatima-Zahra Chaoui, Mohamed Haloua, Adil Brouri
Identification of the Nonlinear Element in Wiener Models A Frequency-Geometric Solution. CDC (2006)
Hassan El Fadil, Fouad Giri, Mohamed Haloua, Hamid Ouadi
Nonlinear and adaptive control of buck power converters. CDC (2003)
N. Bennis, H. Youlal, Mohamed Haloua
An H2 decentralized control. ECC (1999)