Mohamed Maghenem

Orcid: 0000-0002-8746-9375

According to our database1, Mohamed Maghenem authored at least 59 papers between 2016 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On a Strong Robust-Safety Notion for Differential Inclusions.
IEEE Trans. Autom. Control., April, 2024

From Sontag s to Cardano-Lyapunov Formula for Systems Not Affine in the Control: Convection-Enabled PDE Stabilization.
CoRR, 2024

Adaptive Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Sensing.
CoRR, 2024

2023
Certifying the LTL Formula p Until q in Hybrid Systems.
IEEE Trans. Autom. Control., July, 2023

On the Converse Safety Problem for Differential Inclusions: Solutions, Regularity, and Time-Varying Barrier Functions.
IEEE Trans. Autom. Control., 2023

Provable Adversarial Safety in Cyber-Physical Systems.
Proceedings of the 8th IEEE European Symposium on Security and Privacy, 2023

On the Intelligent Proportional Controller Applied to Linear Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Barrier Functions for Robust Safety in Differential Inclusions, Part III: Inner and Outer Perturbations.
Proceedings of the American Control Conference, 2023

Adaptive Stabilization of the Kuramoto-Sivashinsky Equation Subject to Intermittent Sensing.
Proceedings of the American Control Conference, 2023

2022
On Observer-based Asymptotic Stabilization of Non-uniformly Observable Systems via Hybrid and Smooth Control: a Case Study.
CoRR, 2022

Distributed Hybrid Gradient Algorithm with Application to Cooperative Adaptive Estimation.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

A Hybrid Observer-based Controller for a Non-uniformly Observable System.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Adaptive Control/Identification for Hybrid Systems, Part II: with Linear-growth-order Discrete Regressor.
Proceedings of the American Control Conference, 2022

Adaptive Control/Identification for Hybrid Systems Part I: with Bounded Discrete Regressor.
Proceedings of the American Control Conference, 2022

Boundary Control of the Kuramoto-Sivashinsky Equation Under Intermittent Data Availability.
Proceedings of the American Control Conference, 2022

2021
Consensus-Based Formation Control of Networked Nonholonomic Vehicles With Delayed Communications.
IEEE Trans. Autom. Control., 2021

Distributed Full-Consensus Control of Nonholonomic Vehicles Under Non-Differentiable Measurement Delays.
IEEE Control. Syst. Lett., 2021

Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions.
Autom., 2021

Barrier Functions for Robust Safety in Differential Inclusions, Part I: Sufficient Conditions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Barrier Functions for Robust Safety in Differential Inclusions, Part II: The Converse Problem.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Hybrid Gradient Algorithm for Linear Regression with Hybrid Signals.
Proceedings of the 2021 American Control Conference, 2021

Adaptive Safety Using Control Barrier Functions and Hybrid Adaptation.
Proceedings of the 2021 American Control Conference, 2021

Self-Triggered Control to Guarantee Forward Pre-Invariance with Uniformly Positive Inter-Event Times.
Proceedings of the 2021 American Control Conference, 2021

2020
Cascades-Based Leader-Follower Formation Tracking and Stabilization of Multiple Nonholonomic Vehicles.
IEEE Trans. Autom. Control., 2020

Strict Lyapunov-Krasovskiĭ Functionals for undirected networks of Euler-Lagrange systems with time-varying delays.
Syst. Control. Lett., 2020

A unique robust controller for tracking and stabilisation of non-holonomic vehicles.
Int. J. Control, 2020

Distributed consensus-formation of force-controlled nonholonomic robots with time-varying delays.
Autom., 2020

Lyapunov-based synchronization of networked systems: From continuous-time to hybrid dynamics.
Annu. Rev. Control., 2020

Local lipschitzness of reachability maps for hybrid systems with applications to safety.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Sufficient conditions for satisfaction of formulas with until operators in hybrid systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Lipschitzness of Minimal-Time Functions in Constrained Continuous-Time Systems with Applications to Reachability Analysis.
Proceedings of the 2020 American Control Conference, 2020

Decentralized partial-consensus control of nonholonomic vehicles over networks with interconnection delays.
Proceedings of the 2020 American Control Conference, 2020

Regularity Properties of Reachability Maps for Hybrid Dynamical Systems with Applications to Safety.
Proceedings of the 2020 American Control Conference, 2020

Hybrid Predictive Control for Tracking in a Single-Phase DC/AC Inverter with an Unknown Load.
Proceedings of the 2020 American Control Conference, 2020

2019
Strict Lyapunov Functions for Model Reference Adaptive Control: Application to Lagrangian Systems.
IEEE Trans. Autom. Control., 2019

Consensus of Multi-Agent Systems With Nonholonomic Restrictions via Lyapunov's Direct Method.
IEEE Control. Syst. Lett., 2019

Observer based path following for underactuated marine vessels in the presence of ocean currents: A global approach.
Autom., 2019

Adaptive leader-follower formation control of mobile robots following arbitrary reference trajectories.
Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

Poster on safety characterization in hybrid inclusions using barrier functions.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Characterizations of safety in hybrid inclusions via barrier functions.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Multiple Barrier Function Certificates for Weak Forward Invariance in Hybrid Inclusions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Monotonicity Along Solutions to Constrained Differential Inclusions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

An I&I Observer-Based Controller With Guaranteed Stability For Vehicles With Roll Dynamics.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Leaderless Consensus-based Formation Control of Multiple Nonholonomic Mobile Robots with Interconnecting Delays.
Proceedings of the 2019 American Control Conference, 2019

Characterization of Safety and Conditional Invariance for Nonlinear Systems.
Proceedings of the 2019 American Control Conference, 2019

Multiple Barrier Function Certificates for Forward Invariance in Hybrid Inclusions.
Proceedings of the 2019 American Control Conference, 2019

Decentralized synchronization of time-varying oscillators under time-varying bidirectional graphs.
Proceedings of the 2019 American Control Conference, 2019

2018
Formation-Tracking Control of Autonomous Vehicles Under Relaxed Persistency of Excitation Conditions.
IEEE Trans. Control. Syst. Technol., 2018

A Cascades Approach to Formation-Tracking Stabilization of Force-Controlled Autonomous Vehicles.
IEEE Trans. Autom. Control., 2018

On the estimation of the consensus rate of convergence in graphs with persistent interconnections.
Int. J. Control, 2018

A robust <i>δ</i>-persistently exciting controller for leader-follower tracking-agreement of multiple vehicles.
Eur. J. Control, 2018

Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Global Approach - With proofs.
CoRR, 2018

Barrier Function Certificates for Forward Invariance in Hybrid Inclusions.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Leader-follower simultaneous tracking-agreement formation control of nonholonomic vehicles.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
Lyapunov Functions for Persistently-Excited Cascaded Time-Varying Systems: Application to Consensus.
IEEE Trans. Autom. Control., 2017

Observer Based Path Following for Underactuated Marine Vessels in the Presence of Ocean Currents: A Local Approach - With proofs.
CoRR, 2017

Strict Lyapunov functions for time-varying systems with persistency of excitation.
Autom., 2017

A robust δ-persistently exciting controller for formation-agreement stabilization of multiple mobile robots.
Proceedings of the 2017 American Control Conference, 2017

2016
Singular-perturbations-based analysis of synchronization in heterogeneous networks: A case-study.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016


  Loading...