-
Collaborative Safety-Critical Formation Control with Obstacle Avoidance
Authors:
Brooks A. Butler,
Chi Ho Leung,
Philip E. Paré
Abstract:
This work explores a collaborative method for ensuring safety in multi-agent formation control problems. We formulate a control barrier function (CBF) based safety filter control law for a generic distributed formation controller and extend our previously developed collaborative safety framework to an obstacle avoidance problem for agents with acceleration control inputs. We then incorporate multi…
▽ More
This work explores a collaborative method for ensuring safety in multi-agent formation control problems. We formulate a control barrier function (CBF) based safety filter control law for a generic distributed formation controller and extend our previously developed collaborative safety framework to an obstacle avoidance problem for agents with acceleration control inputs. We then incorporate multi-obstacle collision avoidance into the collaborative safety framework. This framework includes a method for computing the maximum capability of agents to satisfy their individual safety requirements. We analyze the convergence rate of our collaborative safety algorithm, and prove the linear-time convergence of cooperating agents to a jointly feasible safe action for all agents under the special case of a tree-structured communication network with a single obstacle for each agent. We illustrate the analytical results via simulation on a mass-spring kinematics-based formation controller and demonstrate the finite-time convergence of the collaborative safety algorithm in the simple proven case, the more general case of a fully-connected system with multiple static obstacles, and with dynamic obstacles.
△ Less
Submitted 4 October, 2024;
originally announced October 2024.
-
Online Identification of Time-Varying Systems Using Excitation Sets and Change Point Detection
Authors:
Chi Ho Leung,
Ashish R. Hota,
Philip E. Paré
Abstract:
In this work, we first show that the problem of parameter identification is often ill-conditioned and lacks the persistence of excitation required for the convergence of online learning schemes. To tackle these challenges, we introduce the notion of optimal and greedy excitation sets which contain data points with sufficient richness to aid in the identification task. We then present the greedy ex…
▽ More
In this work, we first show that the problem of parameter identification is often ill-conditioned and lacks the persistence of excitation required for the convergence of online learning schemes. To tackle these challenges, we introduce the notion of optimal and greedy excitation sets which contain data points with sufficient richness to aid in the identification task. We then present the greedy excitation set-based recursive least squares algorithm to alleviate the problem of the lack of persistent excitation, and prove that the iterates generated by the proposed algorithm minimize an auxiliary weighted least squares cost function. When data points are generated from time-varying parameters, online estimators tend to underfit the true parameter trajectory, and their predictability deteriorates. To tackle this problem, we propose a memory resetting scheme leveraging change point detection techniques. Finally, we illustrate the performance of the proposed algorithms via several numerical case studies to learn the (time-varying) parameters of networked epidemic dynamics, and compare it with results obtained using conventional approaches.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
Collaborative Safe Formation Control for Coupled Multi-Agent Systems
Authors:
Brooks A. Butler,
Chi Ho Leung,
Philip E. Paré
Abstract:
The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of…
▽ More
The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of robot swarms given individual agent dynamics, induced formation dynamics, and local neighborhood position and velocity information within a defined sensing radius for each agent. Individual safety guarantees for each agent are obtained using rounds of communication between neighbors to restrict unsafe control actions among cooperating agents through safety conditions derived from high-order control barrier functions. We provide conditions under which a swarm is guaranteed to achieve collective safety with respect to multiple obstacles using a modified collaborative safety algorithm. We demonstrate the performance of our distributed algorithm via simulation in a simplified physics-based environment.
△ Less
Submitted 2 April, 2024; v1 submitted 18 November, 2023;
originally announced November 2023.
-
Adaptive Identification of SIS Models
Authors:
Chi Ho Leung,
William E. Retnaraj,
Ashish R. Hota,
Philip E. Paré
Abstract:
Effective containment of spreading processes such as epidemics requires accurate knowledge of several key parameters that govern their dynamics. In this work, we first show that the problem of identifying the underlying parameters of epidemiological spreading processes is often ill-conditioned and lacks the persistence of excitation required for the convergence of adaptive learning schemes. To tac…
▽ More
Effective containment of spreading processes such as epidemics requires accurate knowledge of several key parameters that govern their dynamics. In this work, we first show that the problem of identifying the underlying parameters of epidemiological spreading processes is often ill-conditioned and lacks the persistence of excitation required for the convergence of adaptive learning schemes. To tackle this challenge, we leverage a relaxed property called initial excitation combined with a recursive least squares algorithm to design an online adaptive identifier to learn the parameters of the susceptible-infected-susceptible (SIS) epidemic model from the knowledge of its states. We prove that the iterates generated by the proposed algorithm minimize an auxiliary weighted least squares cost function. We illustrate the convergence of the error of the estimated epidemic parameters via several numerical case studies and compare it with results obtained using conventional approaches.
△ Less
Submitted 2 November, 2023;
originally announced November 2023.
-
Learning-Based Reconstruction of FRI Signals
Authors:
Vincent C. H. Leung,
Jun-Jie Huang,
Yonina C. Eldar,
Pier Luigi Dragotti
Abstract:
Finite Rate of Innovation (FRI) sampling theory enables reconstruction of classes of continuous non-bandlimited signals that have a small number of free parameters from their low-rate discrete samples. This task is often translated into a spectral estimation problem that is solved using methods involving estimating signal subspaces, which tend to break down at a certain peak signal-to-noise ratio…
▽ More
Finite Rate of Innovation (FRI) sampling theory enables reconstruction of classes of continuous non-bandlimited signals that have a small number of free parameters from their low-rate discrete samples. This task is often translated into a spectral estimation problem that is solved using methods involving estimating signal subspaces, which tend to break down at a certain peak signal-to-noise ratio (PSNR). To avoid this breakdown, we consider alternative approaches that make use of information from labelled data. We propose two model-based learning methods, including deep unfolding the denoising process in spectral estimation, and constructing an encoder-decoder deep neural network that models the acquisition process. Simulation results of both learning algorithms indicate significant improvements of the breakdown PSNR over classical subspace-based methods. While the deep unfolded network achieves similar performance as the classical FRI techniques and outperforms the encoder-decoder network in the low noise regimes, the latter allows to reconstruct the FRI signal even when the sampling kernel is unknown. We also achieve competitive results in detecting pulses from in vivo calcium imaging data in terms of true positive and false positive rate while providing more precise estimations.
△ Less
Submitted 20 July, 2023; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Peak Infection Time for a Networked SIR Epidemic with Opinion Dynamics
Authors:
Baike She,
Humphrey C. H. Leung,
Shreyas Sundaram,
Philip E. Paré
Abstract:
We propose an SIR epidemic model coupled with opinion dynamics to study an epidemic and opinions spreading in a network of communities. Our model couples networked SIR epidemic dynamics with opinions towards the severity of the epidemic, and vice versa. We develop an epidemic-opinion based threshold condition to capture the moment when a weighted average of the epidemic states starts to decrease e…
▽ More
We propose an SIR epidemic model coupled with opinion dynamics to study an epidemic and opinions spreading in a network of communities. Our model couples networked SIR epidemic dynamics with opinions towards the severity of the epidemic, and vice versa. We develop an epidemic-opinion based threshold condition to capture the moment when a weighted average of the epidemic states starts to decrease exponentially fast over the network, namely the peak infection time. We define an effective reproduction number to characterize the behavior of the model through the peak infection time. We use both analytical and simulation-based results to illustrate that the opinions reflect the recovered levels within the communities after the epidemic dies out.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
The Impact of Vaccine Hesitancy on Epidemic Spreading
Authors:
C. H. Leung,
María E. Gibbs,
Philip E. Paré
Abstract:
The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disea…
▽ More
The COVID-19 pandemic has devastated the world in an unprecedented way, causing enormous loss of life. Time and again, public health authorities have urged people to become vaccinated to protect themselves and mitigate the spread of the disease. However, vaccine hesitancy has stalled vaccination levels in the United States. This study explores the effect of vaccine hesitancy on the spread of disease by introducing an SIRS-V$_κ$ model, with compartments of susceptible (S), infected (I), recovered (R), and vaccinated (V). We leverage the concept of carrying capacity to account for vaccine hesitancy by defining a vaccine confidence level $κ$, which is the maximum number of people that will become vaccinated during the course of a disease. The inverse of vaccine confidence is vaccine hesitance, $(\frac{1}κ)$. We explore the equilibria of the SIRS-V$_κ$ model and their stability, and illustrate the impact of vaccine hesitance on epidemic spread analytically and via simulations.
△ Less
Submitted 28 September, 2021;
originally announced September 2021.
-
Reconstruction of FRI Signals using Deep Neural Network Approaches
Authors:
Vincent C. H. Leung,
Jun-Jie Huang,
Pier Luigi Dragotti
Abstract:
Finite Rate of Innovation (FRI) theory considers sampling and reconstruction of classes of non-bandlimited continuous signals that have a small number of free parameters, such as a stream of Diracs. The task of reconstructing FRI signals from discrete samples is often transformed into a spectral estimation problem and solved using Prony's method and matrix pencil method which involve estimating si…
▽ More
Finite Rate of Innovation (FRI) theory considers sampling and reconstruction of classes of non-bandlimited continuous signals that have a small number of free parameters, such as a stream of Diracs. The task of reconstructing FRI signals from discrete samples is often transformed into a spectral estimation problem and solved using Prony's method and matrix pencil method which involve estimating signal subspaces. They achieve an optimal performance given by the Cramér-Rao bound yet break down at a certain peak signal-to-noise ratio (PSNR). This is probably due to the so-called subspace swap event. In this paper, we aim to alleviate the subspace swap problem and investigate alternative approaches including directly estimating FRI parameters using deep neural networks and utilising deep neural networks as denoisers to reduce the noise in the samples. Simulations show significant improvements on the breakdown PSNR over existing FRI methods, which still outperform learning-based approaches in medium to high PSNR regimes.
△ Less
Submitted 22 April, 2020; v1 submitted 21 May, 2019;
originally announced May 2019.