5 papers · 1 filter
Compositional Construction of Abstractions for Infinite Networks of Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
We construct compositional continuous approximations for an interconnection of infinitely many discrete-time switched systems. An approximation (known as abstraction) is itself a c…
Fixed-Time Convergent Control Barrier Functions for Coupled Multi-Agent Systems Under STL Tasks
Maryam Sharifi, Dimos V. Dimarogonas
This paper presents a control strategy based on a new notion of time-varying fixed-time convergent control barrier functions (TFCBFs) for a class of coupled multi-agent systems und…
Higher Order Convergent Control Barrier Functions for Leader-Follower Multi-Agent Systems under STL Tasks
Maryam Sharifi, Dimos V. Dimarogonas
This paper presents control strategies based on time-varying convergent higher order control barrier functions for a class of leader-follower multi-agent systems under signal tempo…
Robust Finite-Time Consensus Subject to Unknown Communication Time Delays Based on Delay-Dependent Criteria
Maryam Sharifi
In this paper, robust finite-time consensus of a group of nonlinear multi-agent systems in the presence of communication time delays is considered. In particular, appropriate delay…
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems
Maryam Sharifi, Abdalla Swikir, Navid Noroozi +1
In this paper, we develop a compositional scheme for the construction of continuous approximations for interconnections of infinitely many discrete-time switched systems. An approx…