BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Mohamed Maghenem

Mohamed Maghenem appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.OCeess.SYSystems and Control

Catalog footprint

What is connected

4works
3topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2022arXiv

Certifying the LTL Formula p Until q in Hybrid Systems

In this paper, we propose sufficient conditions to guarantee that a linear temporal logic (LTL) formula of the form p Until q, denoted by $p \mathcal{U} q$, is satisfied for a hybrid system. Roughly speaking, the formula $p \mathcal{U} q$ is satisfied means that the solutions, initially satisfying proposition p, keep satisfying this proposition until proposition q is satisfied. To certify such a formula, connections to invariance notions such as conditional invariance (CI) and eventual conditional invariance (ECI), as well as finite-time attractivity (FTA) are established. As a result, sufficient conditions involving the data of the hybrid system and an appropriate choice of Lyapunov-like functions, such as barrier functions, are derived. The considered hybrid system is given in terms of differential and difference inclusions, which capture the continuous and the discrete dynamics present in the same system, respectively. Examples illustrate the results throughout the paper.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Necessary and Sufficient Conditions for the Nonincrease of Scalar Functions Along Solutions to Constrained Differential Inclusions

In this paper, we propose necessary and sufficient conditions for a scalar function to be nonincreasing along solutions to general differential inclusions with state constraints. The problem of determining if a function is nonincreasing appears in the study of stability and safety, typically using Lyapunov and barrier functions, respectively. The results in this paper present infinitesimal conditions that do not require any knowledge about the solutions to the system. Results under different regularity properties of the considered scalar function are provided. This includes when the scalar function is lower semicontinuous, locally Lipschitz and regular, or continuously differentiable.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Singular-Perturbations-Based Analysis of Dynamic Consensus in Directed Networks of Heterogeneous Nonlinear Systems

We analyze networked heterogeneous nonlinear systems, with diffusive coupling and interconnected over a generic static directed graph. Due to the network's hetereogeneity, complete synchronization is impossible, in general, but an emergent dynamics arises. This may be characterized by two dynamical systems evolving in two time-scales. The first, "slow", corresponds to the dynamics of the network on the synchronization manifold. The second, "fast", corresponds to that of the synchronization errors. We present a framework to analyse the emergent dynamics based on the behavior of the slow dynamics. Firstly, we give conditions under which if the slow dynamics admits a globally asymptotically stable equilibrium, so does the networked systems. Secondly, we give conditions under which, if the slow dynamics admits an asymptotically stable orbit and a single unstable equilibrium point, there exists a unique periodic orbit that is almost-globally asymptotically stable. The emergent behavior is thus clear, the systems asymptotically synchronize in frequency and, in the limit, as the coupling strength grows, the emergent dynamics approaches that of the slow system. Our analysis is established using singular-perturbations theory. In that regard, we contribute with original statements on stability of disconnected invariant sets and limit cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Sufficient conditions for forward invariance and contractivity in hybrid inclusions using barrier functions

This paper studies set invariance and contractivity in hybrid systems modeled by hybrid inclusions using barrier functions. After introducing the notion of a multiple barrier functions, we investigate the tightest possible sufficient conditions to guarantee different forward invariance and contractivity notions of a closed set for hybrid systems with nonuniqueness of solutions and solutions terminating prematurely. More precisely, we consider forward (pre-)invariance of sets, which guarantees solutions to stay in a set, and (pre-)contractivity, which further requires solutions that reach the boundary of the set to evolve (continuously or discretely) towards its interior. Our conditions for forward invariance and contractivity involve infinitesimal conditions in terms of multiple barrier functions. Examples illustrate the results. Keywords: Forward invariance, contractivity, barrier functions, hybrid dynamical systems.

0 citations0 reviewsNo code linkedOpen access