7 papers
Distributed model predictive control via finite-step control Lyapunov functions
Navid Noroozi, Maryam Sharifi
As opposed to classical converse Lyapunov theorems, finite-step converse results are constructive and offer a different starting point: for sufficiently large finite step ahead, sa…
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…
Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information
Amr Alanwar, Frank J. Jiang, Maryam Sharifi +2
This paper presents algorithms for performing data-driven reachability analysis under temporal logic side information. In certain scenarios, the data-driven reachable sets of a rob…
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…