-
Multi-Agent Coverage Control on Surfaces Using Conformal Map**
Authors:
Chao Zhai,
Yuming Wu
Abstract:
Real-time environmental monitoring using a multi-agent system (MAS) has long been a focal point of cooperative control. It is still a challenging task to provide cost-effective services for potential emergencies in surface environments. This paper explores the transformation of a general surface into a two-dimensional (2D) disk through the construction of a conformal map**. Multiple agents are s…
▽ More
Real-time environmental monitoring using a multi-agent system (MAS) has long been a focal point of cooperative control. It is still a challenging task to provide cost-effective services for potential emergencies in surface environments. This paper explores the transformation of a general surface into a two-dimensional (2D) disk through the construction of a conformal map**. Multiple agents are strategically deployed within the mapped convex disk, followed by map** back to the original surface environment. This approach circumvents the complexities associated with handling the difficulties and intricacies of path planning. Technical analysis encompasses the design of distributed control laws and the method to eliminate distortions introduced by the map**. Moreover, the developed coverage algorithm is applied to a scenario of monitoring surface deformation. Finally, the effectiveness of the proposed algorithm is validated through numerical simulations.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Asymptotic behavior of solution of the non-resistive 2D MHD equations on the half space
Authors:
Jiakun **,
Yoshiyuki Kagei,
Xiaoxia Ren,
Lei Wang,
Cuili Zhai
Abstract:
In this paper, we obtain the global well-posedness and the asymptotic behavior of solution of non-resistive 2D MHD problem on the half space. We overcome the difficulty of zero spectrum gap by building the relationship between half space and the whole space, and get the resolvent estimate for the weak diffusion system. We use the two-tier energy method that couples the boundedness of high-order…
▽ More
In this paper, we obtain the global well-posedness and the asymptotic behavior of solution of non-resistive 2D MHD problem on the half space. We overcome the difficulty of zero spectrum gap by building the relationship between half space and the whole space, and get the resolvent estimate for the weak diffusion system. We use the two-tier energy method that couples the boundedness of high-order $(H^3)$ energy to the decay of low-order energy, the latter of which is necessary to control the growth of the highest energy.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Distributed Control Strategy for Layered Barrier Coverage of Multi-Agent Systems in Uncertain Environments
Authors:
Pengyang Fan,
Chao Zhai
Abstract:
This paper presents a distributed multi-layer ring barrier coverage algorithm. In order to achieve single-layer ring barrier coverage, a distributed single-layer ring barrier coverage algorithm that maximises the probability of monitoring is proposed. Considering the security risks of single-layer barrier coverage, a distributed adjustment mechanism between multiple layers of barriers is designed…
▽ More
This paper presents a distributed multi-layer ring barrier coverage algorithm. In order to achieve single-layer ring barrier coverage, a distributed single-layer ring barrier coverage algorithm that maximises the probability of monitoring is proposed. Considering the security risks of single-layer barrier coverage, a distributed adjustment mechanism between multiple layers of barriers is designed and combined with the single-layer ring barrier coverage algorithm to propose a distributed multi-layer ring barrier coverage algorithm. Furthermore, we present a theoretical analysis of the proposed algorithm to demonstrate its effectiveness and necessity. Finally, our algorithm is verified by numerical simulation and experiment.
△ Less
Submitted 5 January, 2023;
originally announced January 2023.
-
Distributed Coverage Control of Multi-Agent Systems with Load Balancing in Non-convex Environments
Authors:
Chao Zhai,
Pengyang Fan
Abstract:
It is always a challenging task to service sudden events in non-convex and uncertain environments, and multi-agent coverage control provides a powerful theoretical framework to investigate the deployment problem of mobile robotic networks for minimizing the cost of handling random events. Inspired by the divide-and-conquer methodology, this paper proposes a novel coverage formulation to control mu…
▽ More
It is always a challenging task to service sudden events in non-convex and uncertain environments, and multi-agent coverage control provides a powerful theoretical framework to investigate the deployment problem of mobile robotic networks for minimizing the cost of handling random events. Inspired by the divide-and-conquer methodology, this paper proposes a novel coverage formulation to control multi-agent systems in the non-convex region while equalizing the workload among subregions. Thereby, a distributed coverage controller is designed to drive each agent towards the desired configurations that minimize the service cost by integrating with the rotational partition strategy. In addition, a circular search algorithm is proposed to identify optimal solutions to the problem of lowering service cost. Moreover, it is proved that this search algorithm enables to approximate the optimal configuration of multi-agent systems with the arbitrary small tolerance. Finally, numerical simulations are implemented to substantiate the efficacy of proposed coverage control approach.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
A weighted first-order formulation for solving anisotropic diffusion equations with deep neural networks
Authors:
Hui Xie,
Chuanlei Zhai,
Li Liu,
Heng Yong
Abstract:
In this paper, a new weighted first-order formulation is proposed for solving the anisotropic diffusion equations with deep neural networks. For many numerical schemes, the accurate approximation of anisotropic heat flux is crucial for the overall accuracy. In this work, the heat flux is firstly decomposed into two components along the two eigenvectors of the diffusion tensor, thus the anisotropic…
▽ More
In this paper, a new weighted first-order formulation is proposed for solving the anisotropic diffusion equations with deep neural networks. For many numerical schemes, the accurate approximation of anisotropic heat flux is crucial for the overall accuracy. In this work, the heat flux is firstly decomposed into two components along the two eigenvectors of the diffusion tensor, thus the anisotropic heat flux approximation is converted into the approximation of two isotropic components.
Moreover, to handle the possible jump of the diffusion tensor across the interface, the weighted first-order formulation is obtained by multiplying this first-order formulation by a weighted function. By the decaying property of the weighted function, the weighted first-order formulation is always well-defined in the pointwise way. Finally, the weighted first-order formulation is solved with deep neural network approximation. Compared to the neural network approximation with the original second-order elliptic formulation, the proposed method can significantly improve the accuracy, especially for the discontinuous anisotropic diffusion problems.
△ Less
Submitted 29 April, 2022;
originally announced May 2022.
-
Stability threshold of the Couette flow for Navier-Stokes Boussinesq system with large Richardson number $γ^2>\frac{1}{4}$
Authors:
Cuili Zhai,
Weiren Zhao
Abstract:
In this paper, we study the nonlinear asymptotic stability of the Couette flow in the stably stratified regime, namely the Richardson number $γ^2>\frac{1}{4}$. Precisely, we prove that if the initial perturbation $(u_{in},\vartheta_{in})$ of the Couette flow $v_s=(y,0)$ and the linear temperature $ρ_s=-γ^2y+1$ satisfies $\|u_{in}\|_{H^{s+1}}+\|\vartheta_{in}\|_{H^{s+2}}\leq ε_0ν^{\frac{1}{2}}$, th…
▽ More
In this paper, we study the nonlinear asymptotic stability of the Couette flow in the stably stratified regime, namely the Richardson number $γ^2>\frac{1}{4}$. Precisely, we prove that if the initial perturbation $(u_{in},\vartheta_{in})$ of the Couette flow $v_s=(y,0)$ and the linear temperature $ρ_s=-γ^2y+1$ satisfies $\|u_{in}\|_{H^{s+1}}+\|\vartheta_{in}\|_{H^{s+2}}\leq ε_0ν^{\frac{1}{2}}$, then the asymptotic stability holds.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Distributed Coverage Control of Multi-Agent Systems in Uncertain Environments using Heat Transfer Equations
Authors:
Yinan Zheng,
Chao Zhai
Abstract:
This paper addresses the coverage control problem of multi-agent systems in the uncertain environment. With the aid of Voronoi partition, a distributed coverage control formulation of multi-agent system is proposed to complete the workload in uncertain environments. Driven by the gradient of thermal field, each agent is able to move around for clearing the workload on its own subregion. Theoretica…
▽ More
This paper addresses the coverage control problem of multi-agent systems in the uncertain environment. With the aid of Voronoi partition, a distributed coverage control formulation of multi-agent system is proposed to complete the workload in uncertain environments. Driven by the gradient of thermal field, each agent is able to move around for clearing the workload on its own subregion. Theoretical analysis is conducted to ensure the completion of workload in finite time. Finally, numerical simulations are carried out to demonstrate the effectiveness and advantages of the proposed coverage control approach as compared to other existing approaches.
△ Less
Submitted 20 April, 2022;
originally announced April 2022.
-
Asymptotic stability for two-dimensional Boussinesq systems around the Couette flow in a finite channel
Authors:
Nader Masmoudi,
Cuili Zhai,
Weiren Zhao
Abstract:
In this paper, we study the asymptotic stability for the two-dimensional Navier-Stokes Boussinesq system around the Couette flow with small viscosity $ν$ and small thermal diffusion $μ$ in a finite channel. In particular, we prove that if the initial velocity and initial temperature $(v_{in},ρ_{in})$ satisfies $\|v_{in}-(y,0)\|_{H_{x,y}^2}\leq \e_0 \min\{ν,μ\}^{\f12}$ and…
▽ More
In this paper, we study the asymptotic stability for the two-dimensional Navier-Stokes Boussinesq system around the Couette flow with small viscosity $ν$ and small thermal diffusion $μ$ in a finite channel. In particular, we prove that if the initial velocity and initial temperature $(v_{in},ρ_{in})$ satisfies $\|v_{in}-(y,0)\|_{H_{x,y}^2}\leq \e_0 \min\{ν,μ\}^{\f12}$ and $\|ρ_{in}-1\|_{H_x^{1}L_y^2}\leq \e_1 \min\{ν,μ\}^{\f{11}{12}}$ for some small $\e_0,\e_1$ independent of $ν, μ$, then for the solution of the two-dimensional Navier-Stokes Boussinesq system, the velocity remains within $O(\min\{ν,μ\}^{\f12})$ of the Couette flow, and approaches to Couette flow as $t\to\infty$; the temperature remains within $O(\min\{ν,μ\}^{\f{11}{12}})$ of the constant $1$, and approaches to $1$ as $t\to\infty$.
△ Less
Submitted 18 January, 2022;
originally announced January 2022.
-
Linear dam** and depletion in flowing plasma with strong sheared magnetic fields
Authors:
Han Liu,
Nader Masmoudi,
Cuili Zhai,
Weiren Zhao
Abstract:
In this paper, we study the long-time behavior of the solution for the linearized ideal MHD around sheared velocity and magnetic field under Stern stability condition. We prove that the velocity and magnetic field will converge to sheared velocity and magnetic field as time approaches infinity. Moreover a new depletion phenomenon is proved: the horizontal velocity and magnetic field at the critica…
▽ More
In this paper, we study the long-time behavior of the solution for the linearized ideal MHD around sheared velocity and magnetic field under Stern stability condition. We prove that the velocity and magnetic field will converge to sheared velocity and magnetic field as time approaches infinity. Moreover a new depletion phenomenon is proved: the horizontal velocity and magnetic field at the critical points will decay to 0 as time approaches infinity.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Generalized Mittag-Leffler stability of fractional impulsive differential system
Authors:
Divya Raghavan,
Sukavanam Nagarajan,
Chengbo Zhai
Abstract:
This paper establishes integral representations of mild solutions of impulsive Hilfer fractional differential equations with impulsive conditions and fluctuating lower bounds at impulsive points. Further, the paper provides sufficient conditions for generalized Mittag-Leffler stability of a class of impulsive fractional differential systems with Hilfer order. The analysis extends through both, ins…
▽ More
This paper establishes integral representations of mild solutions of impulsive Hilfer fractional differential equations with impulsive conditions and fluctuating lower bounds at impulsive points. Further, the paper provides sufficient conditions for generalized Mittag-Leffler stability of a class of impulsive fractional differential systems with Hilfer order. The analysis extends through both, instantaneous and non-instantaneous impulsive conditions. The theory utilizes continuous Lyapunov functions, to ascertain the stability conditions. An example is provided to study the solution of the system with a changeable lower bound for the non-instantaneous impulsive conditions.
△ Less
Submitted 17 May, 2022; v1 submitted 20 September, 2020;
originally announced September 2020.
-
Long time behavior of Alfvén waves in a flowing plasma: mathematical analysis on the generation of the magnetic island
Authors:
Cuili Zhai,
Zhifei Zhang,
Weiren Zhao
Abstract:
In this paper, we consider the generation of magnetic island for the linearized MHD equations around the steady flowing plasma with velocity field $U_s=(u(y),0)$ and magnetic field $H_s=(b(y),0)$ in the finite channel.
In this paper, we consider the generation of magnetic island for the linearized MHD equations around the steady flowing plasma with velocity field $U_s=(u(y),0)$ and magnetic field $H_s=(b(y),0)$ in the finite channel.
△ Less
Submitted 23 September, 2018;
originally announced September 2018.
-
An Adaptive Characteristic-wise Reconstruction WENOZ scheme for Gas Dynamic Euler Equations
Authors:
Jun Peng,
Chuanlei Zhai,
Guoxi Ni,
Yiqing Shen,
Heng Yong
Abstract:
Due to its excellent shock-capturing capability and high resolution, the WENO scheme family has been widely used in varieties of compressive flow simulation. However, for problems containing strong shocks and contact discontinuities, such as the Lax shock tube problem, the WENO scheme still produces numerical oscillations. To avoid such numerical oscillations, the characteristic-wise construction…
▽ More
Due to its excellent shock-capturing capability and high resolution, the WENO scheme family has been widely used in varieties of compressive flow simulation. However, for problems containing strong shocks and contact discontinuities, such as the Lax shock tube problem, the WENO scheme still produces numerical oscillations. To avoid such numerical oscillations, the characteristic-wise construction method should be applied. Compared to component-wise reconstruction, characteristic-wise reconstruction leads to much more computational cost and thus is not suite for large scale simulation such as direct numeric simulation of turbulence. In this paper, an adaptive characteristic-wise reconstruction WENO scheme, i.e. the AdaWENO scheme, is proposed to improve the computational efficiency of the characteristic-wise reconstruction method. The new scheme performs characteristic-wise reconstruction near discontinuities while switching to component-wise reconstruction for smooth regions. Meanwhile, a new calculation strategy for the WENO smoothness indicators is implemented to reduce over-all computational cost. Several one dimensional and two dimensional numerical tests are performed to validate and evaluate the AdaWENO scheme. Numerical results show that AdaWENO maintains essentially non-oscillatory flow field near discontinuities as the characteristic-wise reconstruction method. Besieds, compared to the component-wise reconstruction, AdaWENO is about 40\% faster which indicates its excellent efficiency.
△ Less
Submitted 12 January, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Distributed Sweep Coverage Algorithm of Multi-agent Systems Using Workload Memory
Authors:
Chao Zhai
Abstract:
This paper addresses the sweep coverage problem of multi-agent systems in uncertain regions. A new formulation of distributed sweep coverage is proposed to cooperatively complete the workload in the uncertain region. Specifically, each agent takes part in partitioning the whole region while swee** its own subregion. In addition, the partition operation is carried out to balance the workload in s…
▽ More
This paper addresses the sweep coverage problem of multi-agent systems in uncertain regions. A new formulation of distributed sweep coverage is proposed to cooperatively complete the workload in the uncertain region. Specifically, each agent takes part in partitioning the whole region while swee** its own subregion. In addition, the partition operation is carried out to balance the workload in subregions. The trajectories of partition points of agents form the boundaries between adjacent sub-regions. Moreover, it is proved that multi-agent system with the proposed control algorithm is input-to-state stable. Theoretical analysis is conducted to obtain the upper bound of the error between the actual sweep time and the optimal sweep time. Finally, numerical simulations demonstrate the effectiveness of the proposed approach.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
A Model Predictive Approach to Preventing Cascading Failures of Power Systems
Authors:
Chao Zhai,
Hehong Zhang,
Gaoxi Xiao,
Tso-Chien Pan
Abstract:
Power system blackouts are usually triggered by the initial contingency and then deteriorate as the branch outage spreads quickly. Thus, it is crucial to eliminate the propagation of cascading outages in its infancy. In this paper, a model predictive approach is proposed to protect power grids against cascading blackout by timely shedding load on buses. The cascading dynamics of power grids is des…
▽ More
Power system blackouts are usually triggered by the initial contingency and then deteriorate as the branch outage spreads quickly. Thus, it is crucial to eliminate the propagation of cascading outages in its infancy. In this paper, a model predictive approach is proposed to protect power grids against cascading blackout by timely shedding load on buses. The cascading dynamics of power grids is described by a cascading outage model of transmission lines coupled with the DC power flow equation. In addition, a nonlinear convex optimization formulation is established to characterize the optimal load shedding for the mitigation of cascading failures. As a result, two protection schemes are designed on the basis of the optimization formulation. One scheme carries out the remedial action once for all, while the other focuses on the consecutive protection measures. Saddle point dynamics is employed to provide a numerical solution to the proposed optimization problem, and its global convergence is guaranteed in theory. Finally, numerical simulations on IEEE 57 Bus Systems have been implemented to validate the proposed approach in terms of preventing the degradation of power grids.
△ Less
Submitted 14 October, 2017;
originally announced October 2017.
-
Comparing Different Models for Investigating Cascading Failures in Power Systems
Authors:
Chao Zhai,
Hehong Zhang,
Gaoxi Xiao,
Tso-Chien Pan
Abstract:
This paper centers on the comparison of three different models that describe cascading failures of power systems. Specifically, these models are different in characterizing the physical properties of power networks and computing the branch power flow. Optimal control approach is applied on these models to identify the critical disturbances that result in the worst-case cascading failures of power…
▽ More
This paper centers on the comparison of three different models that describe cascading failures of power systems. Specifically, these models are different in characterizing the physical properties of power networks and computing the branch power flow. Optimal control approach is applied on these models to identify the critical disturbances that result in the worst-case cascading failures of power networks. Then we compare these models by analyzing the critical disturbances and cascading processes. Significantly, comparison results on IEEE 9 bus system demonstrate that physical and electrical properties of power networks play a crucial role in the evolution of cascading failures, and it is necessary to take into account these properties appropriately while applying the model in the analysis of cascading blackout.
△ Less
Submitted 29 July, 2017;
originally announced July 2017.
-
Modeling Joint Improvisation between Human and Virtual Players in the Mirror Game
Authors:
Chao Zhai,
Francesco Alderisio,
Piotr Slowinski,
Krasimira Tsaneva-Atanasova,
Mario di Bernardo
Abstract:
Joint improvisation is observed to emerge spontaneously among humans performing joint action tasks, and has been associated with high levels of movement synchrony and enhanced sense of social bonding. Exploring the underlying cognitive and neural mechanisms behind the emergence of joint improvisation is an open research challenge. This paper investigates the emergence of jointly improvised movemen…
▽ More
Joint improvisation is observed to emerge spontaneously among humans performing joint action tasks, and has been associated with high levels of movement synchrony and enhanced sense of social bonding. Exploring the underlying cognitive and neural mechanisms behind the emergence of joint improvisation is an open research challenge. This paper investigates the emergence of jointly improvised movements between two participants in the mirror game, a paradigmatic joint task example. A theoretical model based on observations and analysis of experimental data is proposed to capture the main features of their interaction. A set of experiments is carried out to test and validate the model ability to reproduce the experimental observations. Then, the model is used to drive a computer avatar able to improvise joint motion with a human participant in real time. Finally, a convergence analysis of the proposed model is carried out to confirm its ability to reproduce the emergence of joint movement between the participants.
△ Less
Submitted 17 December, 2015;
originally announced December 2015.
-
Design and Validation of a Virtual Player for Studying Interpersonal Coordination in the Mirror Game
Authors:
Chao Zhai,
Francesco Alderisio,
Piotr Slowinski,
Krasimira Tsaneva-Atanasova,
Mario di Bernardo
Abstract:
The mirror game has been recently proposed as a simple, yet powerful paradigm for studying interpersonal interactions. It has been suggested that a virtual partner able to play the game with human subjects can be an effective tool to affect the underlying neural processes needed to establish the necessary connections between the players, and also to provide new clinical interventions for the rehab…
▽ More
The mirror game has been recently proposed as a simple, yet powerful paradigm for studying interpersonal interactions. It has been suggested that a virtual partner able to play the game with human subjects can be an effective tool to affect the underlying neural processes needed to establish the necessary connections between the players, and also to provide new clinical interventions for the rehabilitation of patients suffering from social disorders. Inspired by the motor processes of the central nervous system (CNS) and the musculoskeletal system in the human body, in this paper we develop a novel interactive cognitive architecture based on nonlinear control theory to drive a virtual player (VP) to play the mirror game with a human player (HP) in different configurations. Specifically, we consider two cases: the former where the VP acts as leader and the latter where it acts as follower. The crucial problem is to design a feedback control architecture capable of imitating and following or leading a human player (HP) in a joint action task. Movement of the end-effector of the VP is modeled by means of a feedback controlled Haken-Kelso-Bunz (HKB) oscillator, which is coupled with the observed motion of the HP measured in real time. To this aim, two types of control algorithms (adaptive control and optimal control) are used and implemented on the HKB model so that the VP can generate human-like motion while satisfying certain kinematic constraints. A proof of convergence of the control algorithms is presented in the paper together with an extensive numerical and experimental validation of their effectiveness. A comparison with other existing designs is also discussed, showing the flexibility and the advantages of our control-based approach.
△ Less
Submitted 19 September, 2015;
originally announced September 2015.
-
Global well-posedness to the 3-D incompressible inhomogeneous Navier-Stokes equations with a class of large velocity
Authors:
Cuili Zhai,
Ting Zhang
Abstract:
In this article, we consider the global well-posedness to the 3-D incompressible inhomogeneous Navier-Stokes equations with a class of large velocity. More precisely, assuming $a_0 \in \dot{B}_{q,1}^{\frac{3}{q}}(\mathbb{R}^3)$ and $u_0=(u_0^h,u_0^3)\in \dot{B}_{p,1}^{-1+\frac{3}{p}}(\mathbb{R}^3)$ for $p,q \in (1,6)$ with…
▽ More
In this article, we consider the global well-posedness to the 3-D incompressible inhomogeneous Navier-Stokes equations with a class of large velocity. More precisely, assuming $a_0 \in \dot{B}_{q,1}^{\frac{3}{q}}(\mathbb{R}^3)$ and $u_0=(u_0^h,u_0^3)\in \dot{B}_{p,1}^{-1+\frac{3}{p}}(\mathbb{R}^3)$ for $p,q \in (1,6)$ with $\sup(\frac{1}{p}, \frac{1}{q})\leq\frac{1}{3}+ \inf (\frac{1}{p}, \frac{1}{q})$, we prove that if $C\|a_0\|_{\dot{B}_{q,1}^{\frac{3}{q}}}^α(\|u_0^3\|_{\dot{B}_{p,1}^{-1+\frac{3}{p}}}/μ+1)\leq1$, $\frac{C}μ(\|u_0^h\|_{\dot{B}_{p,1}^{-1+\frac{3}{p}}}+\|u_0^3\|_{\dot{B}_{p,1}^{-1+\frac{3}{p}}}^{1-α}\|u_0^h\|_{\dot{B}_{p,1}^{-1+\frac{3}{p}}}^α)\leq 1$, then the system has a unique global solution $a\in\widetilde{\mathcal{C}}([0,\infty);\dot{B}_{q,1}^{\frac{3}{q}}(\mathbb{R}^3))$, $u\in\widetilde{\mathcal{C}}([0,\infty);\dot{B}_{p,1}^{-1+\frac{3}{p}}(\mathbb{R}^3))\cap L^1(\mathbb{R}^+;\dot{B}_{p,1}^{1+\frac{3}{p}}(\mathbb{R}^3))$. It improves the recent result of M. Paicu, P. Zhang (J. Funct. Anal. 262 (2012) 3556-3584), where the exponent form of the initial smallness condition is replaced by a polynomial form.
△ Less
Submitted 23 October, 2014;
originally announced October 2014.
