-
Smith normal forms of bivariate polynomial matrices
Authors:
Dong Lu,
Dingkang Wang,
Fanghui Xiao,
Xiaopeng Zheng
Abstract:
In 1978, Frost and Storey asserted that a bivariate polynomial matrix is equivalent to its Smith normal form if and only if the reduced minors of all orders generate the unit ideal. In this paper, we first demonstrate by constructing an example that for any given positive integer s with s >= 2, there exists a square bivariate polynomial matrix M with the degree of det(M) in y equal to s, for which…
▽ More
In 1978, Frost and Storey asserted that a bivariate polynomial matrix is equivalent to its Smith normal form if and only if the reduced minors of all orders generate the unit ideal. In this paper, we first demonstrate by constructing an example that for any given positive integer s with s >= 2, there exists a square bivariate polynomial matrix M with the degree of det(M) in y equal to s, for which the condition that reduced minors of all orders generate the unit ideal is not a sufficient condition for M to be equivalent to its Smith normal form. Subsequently, we prove that for any square bivariate polynomial matrix M where the degree of det(M) in y is at most 1, Frost and Storey's assertion holds. Using the Quillen-Suslin theorem, we further extend our consideration of M to rank-deficient and non-square cases.
△ Less
Submitted 28 July, 2025;
originally announced July 2025.
-
A novel efficient structure-preserving exponential integrator for Hamiltonian systems
Authors:
Pan Zhang,
Fengyang Xiao,
Lu Li
Abstract:
We propose a linearly implicit structure-preserving numerical method for semilinear Hamiltonian systems with polynomial nonlinearities, combining Kahan's method and exponential integrator. This approach efficiently balances computational cost, accuracy and the preservation of key geometric properties, including symmetry and near-preservation of energy. By requiring only the solution of a single li…
▽ More
We propose a linearly implicit structure-preserving numerical method for semilinear Hamiltonian systems with polynomial nonlinearities, combining Kahan's method and exponential integrator. This approach efficiently balances computational cost, accuracy and the preservation of key geometric properties, including symmetry and near-preservation of energy. By requiring only the solution of a single linear system per time step, the proposed method offers significant computational advantages while comparing with the state-of-the-art symmetric energy-preserving exponential integrators. The stability, efficiency and long-term accuracy of the method are demonstrated through numerical experiments on systems such as the Henon-Heiles system, the Fermi-Pasta-Ulam system and the two-dimensional Zakharov-Kuznestov equation.
△ Less
Submitted 8 June, 2025;
originally announced June 2025.
-
On the steadiness of symmetric solutions to higher order perturbations of KdV
Authors:
Long Pei,
Fengyang Xiao,
Pan Zhang
Abstract:
We consider the traveling structure of symmetric solutions to the Rosenau-Kawahara-RLW equation and the perturbed R-KdV-RLW equation. Both equations are higher order perturbations of the classical KdV equation. For the Rosenau-Kawahara-RLW equation, we prove that classical and weak solutions with a priori symmetry must be traveling solutions. For the more complicated perturbed R-KdV-RLW equation,…
▽ More
We consider the traveling structure of symmetric solutions to the Rosenau-Kawahara-RLW equation and the perturbed R-KdV-RLW equation. Both equations are higher order perturbations of the classical KdV equation. For the Rosenau-Kawahara-RLW equation, we prove that classical and weak solutions with a priori symmetry must be traveling solutions. For the more complicated perturbed R-KdV-RLW equation, we classify all symmetric traveling solutions, and prove that there exists no nontrivial symmetric traveling solution of solitary type once dissipation or shoaling perturbations exist. This gives a new perspective for evaluating the suitableness of a model for water waves. In addition, this result illustrates the sharpness of the symmetry principle in [Int. Math. Res. Not. IMRN, 2009; Ehrnstrom, Holden \& Raynaud] for solitary waves.
△ Less
Submitted 22 May, 2025;
originally announced May 2025.
-
Robust Control of General Linear Delay Systems under Dissipativity: Part I -- A KSD based Framework
Authors:
Qian Feng,
Wei Xing Zheng,
Xiaoyu Wang,
Feng Xiao
Abstract:
This paper introduces an effective framework for designing memoryless dissipative full-state feedbacks for general linear delay systems via the Krasovskiĭ functional (KF) approach, where an unlimited number of pointwise and general distributed delays (DDs) exists in the state, input and output. To handle the infinite dimensionality of DDs, we employ the Kronecker-Seuret Decomposition (KSD) which w…
▽ More
This paper introduces an effective framework for designing memoryless dissipative full-state feedbacks for general linear delay systems via the Krasovskiĭ functional (KF) approach, where an unlimited number of pointwise and general distributed delays (DDs) exists in the state, input and output. To handle the infinite dimensionality of DDs, we employ the Kronecker-Seuret Decomposition (KSD) which we recently proposed for analyzing matrix-valued functions in the context of delay systems. The KSD enables factorization or least-squares approximation of any number of $\mathcal{L}^2$ DD kernels from any number of DDs without introducing conservatism. This also facilitates the construction of a complete-type KF with flexible integral kernels, following from an application of a novel integral inequality derived from the least-squares principle. Our solution includes two theorems and an iterative algorithm to compute controller gains without relying on nonlinear solvers. A challenging numerical example, intractable for existing methods, underscores the efficacy of this approach.
△ Less
Submitted 3 April, 2025; v1 submitted 31 March, 2025;
originally announced April 2025.
-
On the equivalence problem of Smith forms for multivariate polynomial matrices
Authors:
Dong Lu,
Dingkang Wang,
Fanghui Xiao,
Xiaopeng Zheng
Abstract:
This paper delves into the equivalence problem of Smith forms for multivariate polynomial matrices. Generally speaking, multivariate ($n \geq 2$) polynomial matrices and their Smith forms may not be equivalent. However, under certain specific condition, we derive the necessary and sufficient condition for their equivalence. Let $F\in K[x_1,\ldots,x_n]^{l\times m}$ be of rank $r$,…
▽ More
This paper delves into the equivalence problem of Smith forms for multivariate polynomial matrices. Generally speaking, multivariate ($n \geq 2$) polynomial matrices and their Smith forms may not be equivalent. However, under certain specific condition, we derive the necessary and sufficient condition for their equivalence. Let $F\in K[x_1,\ldots,x_n]^{l\times m}$ be of rank $r$, $d_r(F)\in K[x_1]$ be the greatest common divisor of all the $r\times r$ minors of $F$, where $K$ is a field, $x_1,\ldots,x_n$ are variables and $1 \leq r \leq \min\{l,m\}$. Our key findings reveal the result: $F$ is equivalent to its Smith form if and only if all the $i\times i$ reduced minors of $F$ generate $K[x_1,\ldots,x_n]$ for $i=1,\ldots,r$.
△ Less
Submitted 9 July, 2024;
originally announced July 2024.
-
On the steadiness of symmetric solutions to two dimensional dispersive models
Authors:
Long Pei,
Fengyang Xiao,
Pan Zhang
Abstract:
In this paper, we consider the steadiness of symmetric solutions to two dispersive models in shallow water and hyperelastic mechanics, respectively. These models are derived previously in the two-dimensional setting and can be viewed as the generalization of the Camassa-Holm and Kadomtsev-Petviashvili equations. For these two models, we prove that symmetry of classical solutions implies steadiness…
▽ More
In this paper, we consider the steadiness of symmetric solutions to two dispersive models in shallow water and hyperelastic mechanics, respectively. These models are derived previously in the two-dimensional setting and can be viewed as the generalization of the Camassa-Holm and Kadomtsev-Petviashvili equations. For these two models, we prove that symmetry of classical solutions implies steadiness in the horizontal direction. We also confirm the such connection between symmetry and steadiness in weak formulation, which includes in particular the peaked solutions.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Integral Inequalities for the Analysis of Distributed Parameter Systems: A complete characterization via the Least-Squares Principle
Authors:
Qian Feng,
Alexandre Seuret,
Sing Kiong Nguang,
Feng Xiao
Abstract:
A wide variety of integral inequalities (IIs) have been developed and studied for the stability analysis of distributed parameter systems using the Lyapunov functional approach. However, no unified mathematical framework has been proposed that could characterize the similarity and connection between these IIs, as most of them was introduced in a dispersed manner for the analysis of specific types…
▽ More
A wide variety of integral inequalities (IIs) have been developed and studied for the stability analysis of distributed parameter systems using the Lyapunov functional approach. However, no unified mathematical framework has been proposed that could characterize the similarity and connection between these IIs, as most of them was introduced in a dispersed manner for the analysis of specific types of systems. Additionally, the extent to which the generality of these IIs can be expanded and the optimality of their lower bounds (LBs) remains open questions. In this study, we introduce two general classes of IIs that can generalize nearly all IIs in the literature. The integral kernels of the LBs of our IIs can contain an unlimited number of weighted $\mathcal{L}^2$ functions that are linearly independent in a Lebesgue sense. Moreover, we not only establish the equivalence relations between the LBs of our IIs, but also demonstrate that these LBs are guaranteed by the least squares principle, implying asymptotic convergence to the upper bound when the kernels functions constitutes a Schauder basis of the underlying Hilbert space. Owing to their general structures, our IIs are applicable in a variety of contexts, such as the stability analysis of coupled PDE-ODE systems or cybernetic systems with delay structures.
△ Less
Submitted 6 April, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
Distributed event-triggered aggregative optimization with applications to price-based energy management
Authors:
Xin Cai,
Feng Xiao,
Bo Wei,
Aiping Wang
Abstract:
This paper studies a distributed continuous-time aggregative optimization problem, which is a fundamental problem in the price-based energy management. The objective of the distributed aggregative optimization is to minimize the sum of local objective functions, which have a specific expression that relies on agents' own decisions and the aggregation of all agents' decisions. To solve the problem,…
▽ More
This paper studies a distributed continuous-time aggregative optimization problem, which is a fundamental problem in the price-based energy management. The objective of the distributed aggregative optimization is to minimize the sum of local objective functions, which have a specific expression that relies on agents' own decisions and the aggregation of all agents' decisions. To solve the problem, a novel distributed continuous-time algorithm is proposed by combining gradient dynamics with a dynamic average consensus estimator in a two-time scale. The exponential convergence of the proposed algorithm is established under the assumption of a convex global cost function by virtue of the stability theory of singular perturbation systems. Motivated by practical applications, the implementation of the continuous-time algorithm with event-triggered communication is investigated. Simulations on the price-based energy management of distributed energy resources are given to illustrate the proposed method.
△ Less
Submitted 24 September, 2023;
originally announced September 2023.
-
State Estimator Design: Addressing General Delay Structures with Dissipative Constraints
Authors:
Qian Feng,
Feng Xiao,
Xiaoyu Wang
Abstract:
Dissipative estimator (observer) design for continuous time-delay systems poses a significant challenge when an unlimited number of pointwise and general distributed delays (DDs) are concerned. We propose an effective solution to this semi-open problem using the Krasovskiĭ functional (KF) framework in conjunction with a quadratic supply rate function, where both the plant and the estimator can acc…
▽ More
Dissipative estimator (observer) design for continuous time-delay systems poses a significant challenge when an unlimited number of pointwise and general distributed delays (DDs) are concerned. We propose an effective solution to this semi-open problem using the Krasovskiĭ functional (KF) framework in conjunction with a quadratic supply rate function, where both the plant and the estimator can accommodate an unlimited number of pointwise and general distributed delays with an unlimited number of square-integrable kernels. A key contribution is the introduction of a control concept called Kronecker-Seuret Decomposition (KSD) for matrix-valued functions, which allows for the factorizations or approximations of any DD integral kernel without introducing conservatism. Moreover, using KSD facilitates the construction of complete-type KFs with integral kernels that can contain any number of weakly differentiable and linearly independent functions. Our proposed solution is formulated as sequential convex SDP problems and is set out in two theorems along with an off-line iterative algorithm, which eliminates the need for nonlinear numerical solvers. We show the effectiveness of our method using two challenging numerical experiments, including a system stabilized by a non-smooth controller.
△ Less
Submitted 7 August, 2024; v1 submitted 24 July, 2023;
originally announced July 2023.
-
Local Well-posedness of Unsteady Potential Flows Near a Space Corner of Right Angle
Authors:
Beixiang Fang,
Wei Xiang,
Feng Xiao
Abstract:
In this paper we are concerned with the local well-posedness of the unsteady potential flows near a space corner of right angle, which could be formulated as an initial-boundary value problem of a hyperbolic equation of second order in a cornered-space domain. The corner singularity is the key difficulty in establishing the local well-posedness of the problem. Moreover, the boundary conditions on…
▽ More
In this paper we are concerned with the local well-posedness of the unsteady potential flows near a space corner of right angle, which could be formulated as an initial-boundary value problem of a hyperbolic equation of second order in a cornered-space domain. The corner singularity is the key difficulty in establishing the local well-posedness of the problem. Moreover, the boundary conditions on both edges of the corner angle are of Neumann-type and fail to satisfy the linear stability condition, which makes it more difficult to establish a priori estimates on the boundary terms in the analysis. In this paper, extension methods will be updated to deal with the corner singularity, and, based on a key observation that the boundary operators are co-normal, new techniques will be developed to control the boundary terms.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Hilbert expansion of the Boltzmann equation in the incompressible Euler level in a channel
Authors:
Feimin Huang,
Weiqiang Wang,
Yong Wang,
Feng Xiao
Abstract:
The study of hydrodynamic limit of the Boltzmann equation with physical boundary is a challenging problem due to appearance of the viscous and Knudsen boundary layers. In this paper, the hydrodynamic limit from the Boltzmann equation with specular reflection boundary condition to the incompressible Euler in a channel is investigated. Based on the multiscaled Hilbert expansion, the equations with b…
▽ More
The study of hydrodynamic limit of the Boltzmann equation with physical boundary is a challenging problem due to appearance of the viscous and Knudsen boundary layers. In this paper, the hydrodynamic limit from the Boltzmann equation with specular reflection boundary condition to the incompressible Euler in a channel is investigated. Based on the multiscaled Hilbert expansion, the equations with boundary conditions and compatibility conditions for interior solutions, viscous and Knudsen boundary layers are derived under different scaling, respectively. Then some uniform estimates for the interior solutions, viscous and Knudsen boundary layers are established. With the help of $L^2-L^\infty$ framework and the uniform estimates obtained above, the solutions to the Boltzmann equation are constructed by the truncated Hilbert expansion with multiscales, and hence the hydrodynamic limit in the incompressible Euler level is justified.
△ Less
Submitted 8 September, 2023; v1 submitted 10 October, 2022;
originally announced October 2022.
-
A machine learning based column-and-row generation approach for integrated air cargo recovery problem
Authors:
Lei Huang,
Fan Xiao,
Zhe Liang
Abstract:
Freighter airlines need to recover both aircraft and cargo schedules when disruptions happen. This process is usually divided into three sequential decisions to recovery flights, aircraft, and cargoes. This study focuses on the integrated recovery problem that makes aircraft and cargo recovery decisions simultaneously. We formulate two integrated models based on the flight connection network, one…
▽ More
Freighter airlines need to recover both aircraft and cargo schedules when disruptions happen. This process is usually divided into three sequential decisions to recovery flights, aircraft, and cargoes. This study focuses on the integrated recovery problem that makes aircraft and cargo recovery decisions simultaneously. We formulate two integrated models based on the flight connection network, one is the arc-based model, and the other is the string-based model. The arc-based model makes the flight delay decisions by duplicating flight copies, and is solved directly by commercial solvers such as Cplex. The string-based model makes the flight delay decisions in the variable generation process. The main difficulty of the string-based model is that the number of constraints grows with the newly generated flight delay decisions. Therefore, the traditional column generation method can not be applied directly. To tackle this challenge, we propose a machine learning based column-and-row generation approach. The machine learning method is used to uncover the critical delay decisions of short through connections in each column-and-row generation iteration by eliminating the poor flight delay decisions. We also propose a set of valid inequality constraints which can greatly improve the objective of LP relaxation solution and reduce the integral gap. The effectiveness and efficiency of our model is tested by simulated scenarios based on real operational data from the largest Chinese freighter airlines. The computational results show that a significant cost reduction can be achieved with the proposed string-based model in reasonable time.
△ Less
Submitted 28 September, 2022;
originally announced September 2022.
-
Self-organized Polygon Formation Control based on Distributed Estimation
Authors:
Qingkai Yang,
Fan Xiao,
Jingshuo Lyu,
Bo Zhou,
Hao Fang
Abstract:
This paper studies the problem of controlling a multi-robot system to achieve a polygon formation in a self-organized manner. Different from the typical formation control strategies where robots are steered to satisfy the predefined control variables, such as pairwise distances, relative positions and bearings, the foremost idea of this paper is to achieve polygon formations by injecting control i…
▽ More
This paper studies the problem of controlling a multi-robot system to achieve a polygon formation in a self-organized manner. Different from the typical formation control strategies where robots are steered to satisfy the predefined control variables, such as pairwise distances, relative positions and bearings, the foremost idea of this paper is to achieve polygon formations by injecting control inputs randomly to a few robots (say, vertex robots) of the group, and the rest follow the simple principles of moving towards the midpoint of their two nearest neighbors in the ring graph without any external inputs. In our problem, a fleet of robots is initially distributed in the plane. The socalled vertex robots take the responsibility of determining the geometric shape of the entire formation and its overall size, while the others move so as to minimize the differences with two direct neighbors. In the first step, each vertex robot estimates the number of robots in its associated chain. Two types of control inputs that serve for the estimation are designed using the measurements from the latest and the last two time instants respectively. In the second step, the self-organized formation control law is proposed where only vertex robots receive external information. Comparisons between the two estimation strategies are carried out in terms of the convergence speed and robustness. The effectiveness of the whole control framework is further validated in both simulation and physical experiments.
△ Less
Submitted 2 April, 2023; v1 submitted 29 July, 2022;
originally announced July 2022.
-
Variance Reduced Random Relaxed Projection Method for Constrained Finite-sum Minimization Problems
Authors:
Zhichun Yang,
Fu-quan Xia,
Kai Tu,
Man-Chung Yue
Abstract:
For many applications in signal processing and machine learning, we are tasked with minimizing a large sum of convex functions subject to a large number of convex constraints. In this paper, we devise a new random projection method (RPM) to efficiently solve this problem. Compared with existing RPMs, our proposed algorithm features two useful algorithmic ideas. First, at each iteration, instead of…
▽ More
For many applications in signal processing and machine learning, we are tasked with minimizing a large sum of convex functions subject to a large number of convex constraints. In this paper, we devise a new random projection method (RPM) to efficiently solve this problem. Compared with existing RPMs, our proposed algorithm features two useful algorithmic ideas. First, at each iteration, instead of projecting onto the subset defined by one of the constraints, our algorithm only requires projecting onto a half-space approximation of the subset, which significantly reduces the computational cost as it admits a closed-form formula. Second, to exploit the structure that the objective is a sum, variance reduction is incorporated into our algorithm to further improve the performance. As theoretical contributions, under a novel error bound condition and other standard assumptions, we prove that the proposed RPM converges to an optimal solution and that both optimality and feasibility gaps vanish at a sublinear rate. In particular, via a new analysis framework, we show that our RPM attains a faster convergence rate in optimality gap than existing RPMs when the objective function has a Lipschitz continuous gradient, capitalizing the benefit of the variance reduction. We also provide sufficient conditions for the error bound condition to hold. Experiments on a beamforming problem and a robust classification problem are also presented to demonstrate the superiority of our RPM over existing ones.
△ Less
Submitted 5 April, 2024; v1 submitted 27 June, 2022;
originally announced June 2022.
-
Control of General Linear Time-Delay Systems: Applications of the Kronecker-Seuret Decomposition
Authors:
Qian Feng,
Wei Xing Zheng,
Feng Xiao,
Xiaoyu Wang
Abstract:
Stabilizing autonomous linear time delay systems, particularly when addressing an unlimited number of pointwise and distributed delays (DDs) under dissipative constraints, poses a significant challenge. Existing solutions are often hindered by theoretical limitations, numerical obstacles, or an inability to address the complexities of the delay integral kernels. In this paper, we propose a unified…
▽ More
Stabilizing autonomous linear time delay systems, particularly when addressing an unlimited number of pointwise and distributed delays (DDs) under dissipative constraints, poses a significant challenge. Existing solutions are often hindered by theoretical limitations, numerical obstacles, or an inability to address the complexities of the delay integral kernels. In this paper, we propose a unified framework to tackle the above problem by employing the concept of the Kronecker-Seuret decomposition (KSD) for matrix-valued functions, which we recently have developed for the analysis of complex delay structures in coordination with the Krasovskiĭ functional approach. Our strategy can simultaneously address two distinct control problems, where the matrix kernels of DDs can contain an unlimited number of square-integrable functions. We show in detail how the KSD can factorize and approximate different kernel functions simultaneously without introducing conservatism. Furthermore, the use of KSD also enables us to construct complete-type functionals, whose integral kernels can include any number of weakly differentiable and linearly independent functions, underpinned by the utilization of novel integral inequalities derived from the least-squares principle. The solution to each synthesis problem comprises two theorems accompanied by an iterative algorithm, which can be utilized as a single package to compute controller gains, thus eliminating the need for nonlinear solvers. We present the testing results of two challenging examples, which could not be addressed by existing methods, to demonstrate the effectiveness of our methodology. Additionally, the paper reviews recent advancements in the research of time-delay systems, providing a valuable reference for both emerging and established researchers.
△ Less
Submitted 14 November, 2024; v1 submitted 21 February, 2022;
originally announced February 2022.
-
A distributed generalized Nash equilibrium seeking algorithm based on extremum seeking control
Authors:
Feng Xiao,
Xin Cai,
Bo Wei
Abstract:
In this paper, a distributed non-model based seeking algorithm which combines the extremum seeking control (ESC) jointly with learning algorithms is proposed to seek a generalized Nash equilibrium (GNE) for a class of noncooperative games with coupled equality constraint. The strategy of each agent is restricted by both the coupled inter-agent constraint and local inequality constraints. Thanks to…
▽ More
In this paper, a distributed non-model based seeking algorithm which combines the extremum seeking control (ESC) jointly with learning algorithms is proposed to seek a generalized Nash equilibrium (GNE) for a class of noncooperative games with coupled equality constraint. The strategy of each agent is restricted by both the coupled inter-agent constraint and local inequality constraints. Thanks to the ESC, it is unnecessary to know the specific expressions of agents' cost functions and local constraints and to know the strategies of other agents for the implementation of the proposed GNE seeking algorithm. To deal with the coupled constraints, only the Lagrange multiplier is transmitted among agents with some prior information about the coupled constraints. Moreover, a diminishing dither signal is designed in the seeking algorithm to remove undesirable steady-state oscillations. The non-local convergence of the designed seeking algorithm is analyzed via the singular perturbation theory, averaging analysis and Lyapunov stability theory. Numerical examples are given to verify the effectiveness of our proposed method.
△ Less
Submitted 26 January, 2022;
originally announced January 2022.
-
Simple closed geodesics in cusped hyperbolic 3-manifolds
Authors:
Feihuang Xia
Abstract:
We show that cusped finite-volume hyperbolic 3-manifolds contain infinitely many simple closed geodesics.
We show that cusped finite-volume hyperbolic 3-manifolds contain infinitely many simple closed geodesics.
△ Less
Submitted 27 October, 2021;
originally announced October 2021.
-
Distributed continuous-time strategy-updating rules for noncooperative games with discrete-time communication
Authors:
Xin Cai,
Feng Xiao,
Bo Wei,
Fang Fang
Abstract:
In this paper, continuous-time noncooperative games in networks of double-integrator agents are explored. The existing methods require that agents communicate with their neighbors in real time. In this paper, we propose two discrete-time communication schemes based on the designed continuous-time strategy-updating rule for the efficient use of communication resources. First, the property of the de…
▽ More
In this paper, continuous-time noncooperative games in networks of double-integrator agents are explored. The existing methods require that agents communicate with their neighbors in real time. In this paper, we propose two discrete-time communication schemes based on the designed continuous-time strategy-updating rule for the efficient use of communication resources. First, the property of the designed continuous-time rule is analyzed to ensure that all agents' strategies can converge to the Nash equilibrium. Then, we propose periodic and event-triggered communication schemes for the implementation of the designed rule with discrete-time communication. The rule in the periodic case is implemented synchronously and easily. The rule in the event-triggered case is executed asynchronously without Zeno behaviors. All agents in both cases can asymptotically reach to the Nash equilibrium by interacting with neighbors at discrete times. Simulations are performed in networks of Cournot competition to illustrate the effectiveness of the proposed methods.
△ Less
Submitted 23 February, 2023; v1 submitted 18 October, 2021;
originally announced October 2021.
-
Nash Equilibrium Seeking for General Linear Systems with Disturbance Rejection
Authors:
Xin Cai,
Feng Xiao,
Bo Wei,
Mei Yu,
Fang Fang
Abstract:
This paper explores aggregative games in a network of general linear systems subject to external disturbances. To deal with external disturbances, distributed strategy-updating rules based on internal model are proposed for the case with perfect and imperfect information, respectively. Different from existing algorithms based on gradient dynamics, by introducing the integral of gradient of cost fu…
▽ More
This paper explores aggregative games in a network of general linear systems subject to external disturbances. To deal with external disturbances, distributed strategy-updating rules based on internal model are proposed for the case with perfect and imperfect information, respectively. Different from existing algorithms based on gradient dynamics, by introducing the integral of gradient of cost functions on the basis of passive theory, the rules are proposed to force the strategies of all players to evolve to Nash equilibrium regardless the effect of disturbances. The convergence of the two strategy-updating rules is analyzed via Lyapunov stability theory, passive theory and singular perturbation theory. Simulations are presented to verify the obtained results.
△ Less
Submitted 11 December, 2021; v1 submitted 17 October, 2021;
originally announced October 2021.
-
Persistence of the steady planar normal shock structure in 3-D unsteady potential flows
Authors:
Beixiang Fang,
Feimin Huang,
Wei Xiang,
Feng Xiao
Abstract:
This paper concerns the dynamic stability of the steady 3-D wave structure of a planar normal shock front intersecting perpendicularly to a planar solid wall for unsteady potential flows. The stability problem can be formulated as a free boundary problem of a quasi-linear hyperbolic equation of second order in a dihedral-space domain between the shock front and the solid wall. The key difficulty i…
▽ More
This paper concerns the dynamic stability of the steady 3-D wave structure of a planar normal shock front intersecting perpendicularly to a planar solid wall for unsteady potential flows. The stability problem can be formulated as a free boundary problem of a quasi-linear hyperbolic equation of second order in a dihedral-space domain between the shock front and the solid wall. The key difficulty is brought by the edge singularity of the space domain, the intersection curve between the shock front and the solid wall. Different from the 2-D case, for which the singular part of the boundary is only a point, it is a curve for the 3-D case in this paper. This difference brings new difficulties to the mathematical analysis of the stability problem. A modified partial hodograph transformation is introduced such that the extension technique developed for the 2-D case can be employed to establish the well-posed theory for the initial-boundary value problem of the linearized hyperbolic equation of second order in a dihedral-space domain. Moreover, the extension technique is improved in this paper such that loss of regularity in the a priori estimates on the shock front does not occur. Thus the classical nonlinear iteration scheme can be constructed to prove the existence of the solution to the stability problem, which shows the dynamic stability of the steady planar normal shock without applying the Nash-Moser iteration method.
△ Less
Submitted 20 August, 2021;
originally announced August 2021.
-
Distributed strategy-updating rules for aggregative games of multi-integrator systems with coupled constraints
Authors:
Xin Cai,
Feng Xiao,
Bo Wei
Abstract:
In this paper, we explore aggregative games over networks of multi-integrator agents with coupled constraints. To reach the general Nash equilibrium of an aggregative game, a distributed strategy-updating rule is proposed by a combination of the coordination of Lagrange multipliers and the estimation of the aggregator. Each player has only access to partial-decision information and communicates wi…
▽ More
In this paper, we explore aggregative games over networks of multi-integrator agents with coupled constraints. To reach the general Nash equilibrium of an aggregative game, a distributed strategy-updating rule is proposed by a combination of the coordination of Lagrange multipliers and the estimation of the aggregator. Each player has only access to partial-decision information and communicates with his neighbors in a weight-balanced digraph which characterizes players' preferences as to the values of information received from neighbors. We first consider networks of double-integrator agents and then focus on multi-integrator agents. The effectiveness of the proposed strategy-updating rules is demonstrated by analyzing the convergence of corresponding dynamical systems via the Lyapunov stability theory, singular perturbation theory and passive theory. Numerical examples are given to illustrate our results.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Symmetry-preserving enforcement of low-dissipation method based on boundary variation diminishing principle
Authors:
Hiro Wakimura,
Shinichi Takagi,
Feng Xiao
Abstract:
A class of high-order shock-capturing schemes, P$_n$T$_m$-BVD (Deng et al., J. Comp. Phys., 386:323-349, 2019; Comput. & Fluids, 200:104433, 2020.) schemes, have been devised to solve the Euler equations with substantially reduced numerical dissipation, which enable high-resolution simulations to resolve flow structures of wider range scales. In such simulations with low dissipation, errors of rou…
▽ More
A class of high-order shock-capturing schemes, P$_n$T$_m$-BVD (Deng et al., J. Comp. Phys., 386:323-349, 2019; Comput. & Fluids, 200:104433, 2020.) schemes, have been devised to solve the Euler equations with substantially reduced numerical dissipation, which enable high-resolution simulations to resolve flow structures of wider range scales. In such simulations with low dissipation, errors of round-off level might grow and contaminate the numerical solutions. A typical example of such problems is the loss of symmetry in the numerical solutions for physical problems of symmetric configurations even if the schemes are mathematically in line with the symmetry rules. In this study, the mechanisms of symmetry-breaking in a finite volume framework with the P$_4$T$_2$-BVD reconstruction scheme are thoroughly examined. Particular attention has been paid to remove the possible causes due to the lack of associativity in floating-point arithmetic which is associated with round-off errors. Modifications and new techniques are proposed to completely remove the possible causes for symmetry breaking in different components of the P$_4$T$_2$-BVD finite volume solver. Benchmark tests that have symmetric solution structures are used to verify the proposed methods. The numerical results demonstrate the perfect symmetric solution structures.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
THINC scaling method that bridges VOF and level set schemes
Authors:
Ronit Kumar,
Lidong Cheng,
Yunong Xiong,
Bin Xie,
Remi Abgrall,
Feng Xiao
Abstract:
We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two different approaches widely used in various applications. The key to success is to maintain a high-quality THINC reconstruction function using the level set field to accurately retrieve geometrical information and the VOF field to fulfill nume…
▽ More
We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two different approaches widely used in various applications. The key to success is to maintain a high-quality THINC reconstruction function using the level set field to accurately retrieve geometrical information and the VOF field to fulfill numerical conservativeness. The interface is well defined as a surface in form of a high-order polynomial, so-called the polynomial surface of interface
(PSI). The THINC reconstruction function is then used to update the VOF field via a finite volume method, and the level set field via a semi-Lagrangian method. Seeing the VOF field and the level set field as two different aspects of the THINC reconstruction function, the THINC-scaling scheme preserves at the same time the advantages of both VOF and level set methods, i.e. the mass/volume conservation of the VOF method and the geometrical faithfulness of the level set method, through a straightforward solution procedure. The THINC-scaling scheme allows to represent an interface with high-order polynomials and has algorithmic simplicity which largely eases its implementation in unstructured grids. Two and three dimensional algorithms in both structured and unstructured grids have been developed and verified. The numerical results reveal that the THINC-scaling scheme, as an interface capturing method, is able to provide high-fidelity solution comparable to other most advanced methods, and more profoundly it can resolve sub-grid filament structures if the interface is represented by a polynomial higher than second order.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
A new algorithm for computing $μ$-bases of the univariate polynomial vector
Authors:
Dingkang Wang,
Hesong Wang,
Fanghui Xiao
Abstract:
In this paper, we characterized the relationship between Groebner bases and u-bases: any minimal Groebner basis of the syzygy module for n univariate polynomials with respect to the term-over-position monomial order is its u-basis. Moreover, based on the gcd computation, we construct a free basis of the syzygy module by the recursive way. According to this relationship and the constructed free bas…
▽ More
In this paper, we characterized the relationship between Groebner bases and u-bases: any minimal Groebner basis of the syzygy module for n univariate polynomials with respect to the term-over-position monomial order is its u-basis. Moreover, based on the gcd computation, we construct a free basis of the syzygy module by the recursive way. According to this relationship and the constructed free basis, a new algorithm for computing u-bases of the syzygy module is presented. The theoretical complexity of the algorithm is O(n^3d^2) under a reasonable assumption, where d is the maximum degree of the input n polynomials. We have implemented this algorithm (MinGb) in Maple. Experimental data and performance comparison with the existing algorithms developed by Song and Goldman (2009) (SG algorithm) and Hong et al. (2017) (HHK algorithm) show that MinGb algorithm is more efficient than SG algorithm when n and d are sufficiently large, while MinGb algorithm and HHK algorithm both have their own advantages.
△ Less
Submitted 30 December, 2020; v1 submitted 21 November, 2020;
originally announced November 2020.
-
The Scalability for Parallel Machine Learning Training Algorithm: Dataset Matters
Authors:
Daning Cheng,
Hanping Zhang,
Fen Xia,
Shigang Li,
Yunquan Zhang
Abstract:
To gain a better performance, many researchers put more computing resource into an application. However, in the AI area, there is still a lack of a successful large-scale machine learning training application: The scalability and performance reproducibility of parallel machine learning training algorithm are limited and there are a few pieces of research focusing on why these indexes are limited b…
▽ More
To gain a better performance, many researchers put more computing resource into an application. However, in the AI area, there is still a lack of a successful large-scale machine learning training application: The scalability and performance reproducibility of parallel machine learning training algorithm are limited and there are a few pieces of research focusing on why these indexes are limited but there are very few research efforts explaining the reasons in essence. In this paper, we propose that the sample difference in dataset plays a more prominent role in parallel machine learning algorithm scalability. Dataset characters can measure sample difference. These characters include the variance of the sample in a dataset, sparsity, sample diversity and similarity in sampling sequence. To match our proposal, we choose four kinds of parallel machine learning training algorithms as our research objects: (1) Asynchronous parallel SGD algorithm (Hogwild! algorithm) (2) Parallel model average SGD algorithm (Mini-batch SGD algorithm) (3) Decenterilization optimization algorithm, (4) Dual Coordinate Optimization (DADM algorithm). These algorithms cover different types of machine learning optimization algorithms. We present the analysis of their convergence proof and design experiments. Our results show that the characters datasets decide the scalability of the machine learning algorithm. What is more, there is an upper bound of parallel scalability for machine learning algorithms.
△ Less
Submitted 14 January, 2020; v1 submitted 24 October, 2019;
originally announced October 2019.
-
THINC-scaling scheme that unifies VOF and level set methods
Authors:
Ronit Kumar,
Lidong Cheng,
Bin Xie,
Feng Xiao
Abstract:
We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two completely different approaches widely used in various applications. The THINC-scaling scheme preserves at the samectime the advantages of both VOF and level set methods, i.e. the mass/volume conservation of the VOF method and the geometrical…
▽ More
We present a novel interface-capturing scheme, THINC-scaling, to unify the VOF (volume of fluid) and the level set methods, which have been developed as two completely different approaches widely used in various applications. The THINC-scaling scheme preserves at the samectime the advantages of both VOF and level set methods, i.e. the mass/volume conservation of the VOF method and the geometrical faithfulness of the level set method. THINC-scaling scheme allows to represent interface with high-order polynomials, and has algorithmic simplicity which eases its implementation in unstructured grids.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
Polynomial stability of exact solution and a numerical method for stochastic differential equations with time-dependent delay
Authors:
Guangqiang Lan,
Fang Xia,
Qiushi Wang
Abstract:
Polynomial stability of exact solution and modified truncated Euler-Maruyama method for stochastic differential equations with time-dependent delay are investigated in this paper. By using the well known discrete semimartingale convergence theorem, sufficient conditions are obtained for both bounded and unbounded delay $δ$ to ensure the polynomial stability of the corresponding numerical approxima…
▽ More
Polynomial stability of exact solution and modified truncated Euler-Maruyama method for stochastic differential equations with time-dependent delay are investigated in this paper. By using the well known discrete semimartingale convergence theorem, sufficient conditions are obtained for both bounded and unbounded delay $δ$ to ensure the polynomial stability of the corresponding numerical approximation. Examples are presented to illustrate the conclusion.
△ Less
Submitted 14 January, 2018;
originally announced January 2018.
-
Robustness Analysis of Asynchronous Sampled-Data Multi-Agent Networks With Time-Varying Delays
Authors:
Feng Xiao,
Yang Shi,
Wei Ren
Abstract:
In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but i…
▽ More
In this paper, we study the simultaneous stability problem of a finite number of locally inter-connected linear subsystems under practical constraints, including asynchronous and aperiodic sampling, time-varying delays, and measurement errors. We establish a new Lyapunov-based stability result for such a decentralized system. This system has a particular simple structure of interconnections, but it captures some key characteristics of a large class of intermediate models derived from the consensus analysis of multi-agent systems. The stability result is applicable to the estimation of the maximum allowable inter-sampling periods and time delays based on individual dynamics and coupling structures in the scenarios of consensus control via asynchronous sampling of relative states and asynchronous broadcasting of self-sampled states respectively. The asynchrony of aperiodic sampling and the existence of measurement errors allow the utilization of some kinds of quantizing devices, such as Logarithmic quantizers, in the process of data sampling, and allow the introduction of a period of dwell time after each update of state measurement to eliminate the Zeno behavior of events in event-based control. The extension in the case with input saturations and input delays is also discussed.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Some practical versions of boundary variation diminishing (BVD) algorithm
Authors:
Xi Deng,
Bin Xie,
Feng Xiao
Abstract:
This short note presents some variant schemes of boundary variation diminishing (BVD) algorithm in one dimension with the results of numerical tests for linear advection equation to facilitate practical use. In spite of being presented in 1D fashion, all the schemes are simple and easy to implement in multi-dimensions on structured and unstructured grids for nonlinear and system equations.
This short note presents some variant schemes of boundary variation diminishing (BVD) algorithm in one dimension with the results of numerical tests for linear advection equation to facilitate practical use. In spite of being presented in 1D fashion, all the schemes are simple and easy to implement in multi-dimensions on structured and unstructured grids for nonlinear and system equations.
△ Less
Submitted 1 August, 2017;
originally announced August 2017.
-
Exponential stability of modified truncated EM method for stochastic differential equations
Authors:
Guangqiang Lan,
Fang Xia
Abstract:
Exponential stability of modified truncated Euler-Maruyama method for stochastic differential equations are investigated in this paper. Sufficient conditions for the $p$-th moment and almost sure exponential stability of the given numerical method are presented. An example is provided to support our conclusions.
Exponential stability of modified truncated Euler-Maruyama method for stochastic differential equations are investigated in this paper. Sufficient conditions for the $p$-th moment and almost sure exponential stability of the given numerical method are presented. An example is provided to support our conclusions.
△ Less
Submitted 11 April, 2017;
originally announced April 2017.
-
Strong convergence rates of modified truncated EM method for stochastic differential equations
Authors:
Guangqiang Lan,
Fang Xia
Abstract:
Motivated by truncated EM method introduced by Mao (2015), a new explicit numerical method named modified truncated Euler-Maruyama method is developed in this paper. Strong convergence rates of the given numerical scheme to the exact solutions to stochastic differential equations are investigated under given conditions in this paper. Compared with truncated EM method, the given numerical simulatio…
▽ More
Motivated by truncated EM method introduced by Mao (2015), a new explicit numerical method named modified truncated Euler-Maruyama method is developed in this paper. Strong convergence rates of the given numerical scheme to the exact solutions to stochastic differential equations are investigated under given conditions in this paper. Compared with truncated EM method, the given numerical simulation strongly converges to the exact solution at fixed time $T$ and over a time interval $[0,T]$ under weaker sufficient conditions. Meanwhile, the convergence rates are also obtained for both cases. Two examples are provided to support our conclusions.
△ Less
Submitted 17 January, 2017;
originally announced January 2017.
-
A note on implementation of boundary variation diminishing algorithm to high-order local polynomial-based schemes
Authors:
Yoshiaki Abe,
Ziyao Sun,
Feng Xiao
Abstract:
A novel approach for selecting appropriate reconstructions is implemented to the hyperbolic conservation laws in the high-order local polynomial-based framework, e.g., the discontinuous Galerkin (DG) and flux reconstruction (FR) schemes. The high-order polynomial approximation generally fails to correctly capture a strong discontinuity inside a cell due to the Runge phenomenon, which is replaced b…
▽ More
A novel approach for selecting appropriate reconstructions is implemented to the hyperbolic conservation laws in the high-order local polynomial-based framework, e.g., the discontinuous Galerkin (DG) and flux reconstruction (FR) schemes. The high-order polynomial approximation generally fails to correctly capture a strong discontinuity inside a cell due to the Runge phenomenon, which is replaced by more stable approximation on the basis of a troubled-cell indicator such as that used in the total variation bounded (TVB) limiter. This paper examines the applicability of a new algorithm, so-called boundary variation diminishing (BVD) reconstruction, to the weighted essentially non-oscillatory (WENO) methodology in the FR framework including the nodal type DG method. The BVD reconstruction adaptively chooses a proper approximation for the solution function so as to minimize the jump between values at the left- and right-side of cell boundaries without any ad hoc constant such as the TVB parameter. Several numerical tests are conducted for a linear advection equation as well as the selection of an appropriate reconstruction, where the results of the BVD algorithm are comparable to those using the conventional TVB limiter. Note that the present work is limited to third or lower order polynomials, leaving the implementations for higher-order schemes a future work.
△ Less
Submitted 26 May, 2016;
originally announced May 2016.
-
A General Distributed Dual Coordinate Optimization Framework for Regularized Loss Minimization
Authors:
Shun Zheng,
Jialei Wang,
Fen Xia,
Wei Xu,
Tong Zhang
Abstract:
In modern large-scale machine learning applications, the training data are often partitioned and stored on multiple machines. It is customary to employ the "data parallelism" approach, where the aggregated training loss is minimized without moving data across machines. In this paper, we introduce a novel distributed dual formulation for regularized loss minimization problems that can directly hand…
▽ More
In modern large-scale machine learning applications, the training data are often partitioned and stored on multiple machines. It is customary to employ the "data parallelism" approach, where the aggregated training loss is minimized without moving data across machines. In this paper, we introduce a novel distributed dual formulation for regularized loss minimization problems that can directly handle data parallelism in the distributed setting. This formulation allows us to systematically derive dual coordinate optimization procedures, which we refer to as Distributed Alternating Dual Maximization (DADM). The framework extends earlier studies described in (Boyd et al., 2011; Ma et al., 2015a; Jaggi et al., 2014; Yang, 2013) and has rigorous theoretical analyses. Moreover with the help of the new formulation, we develop the accelerated version of DADM (Acc-DADM) by generalizing the acceleration technique from (Shalev-Shwartz and Zhang, 2014) to the distributed setting. We also provide theoretical results for the proposed accelerated version and the new result improves previous ones (Yang, 2013; Ma et al., 2015a) whose runtimes grow linearly on the condition number. Our empirical studies validate our theory and show that our accelerated approach significantly improves the previous state-of-the-art distributed dual coordinate optimization algorithms.
△ Less
Submitted 24 August, 2017; v1 submitted 13 April, 2016;
originally announced April 2016.
-
Boundary Variation Diminishing (BVD) reconstruction: a new approach to improve Godunov scheme
Authors:
Ziyao Sun,
Satoshi Inaba,
Feng Xiao
Abstract:
This paper presents a new approach, so-called boundary variation diminishing (BVD), for reconstructions that minimize the discontinuities (jumps) at cell interfaces in Godunov type schemes. It is motivated by the observation that diminishing the jump at the cell boundary might effectively reduce the dissipation in numerical flux. Different from the existing practices which seek high-order polynomi…
▽ More
This paper presents a new approach, so-called boundary variation diminishing (BVD), for reconstructions that minimize the discontinuities (jumps) at cell interfaces in Godunov type schemes. It is motivated by the observation that diminishing the jump at the cell boundary might effectively reduce the dissipation in numerical flux. Different from the existing practices which seek high-order polynomials within mesh cells while assuming discontinuities being always at the cell interfaces, we proposed a new strategy that combines a high-order polynomial-based interpolation and a jump-like reconstruction that allows a discontinuity being partly represented within the mesh cell rather than at the interface. It is shown that new schemes of high fidelity for both continuous and discontinuous solutions can be devised by the BVD guideline with properly-chosen candidate reconstruction schemes. Excellent numerical results have been obtained for both scalar and Euler conservation laws with substantially improved solution quality in comparison with the existing methods. This work provides a simple and accurate alternative of great practical significance to the current Godunov paradigm which overly pursues the smoothness within mesh cell under the questionable premiss that discontinuities only appear at cell interfaces.
△ Less
Submitted 3 February, 2016; v1 submitted 2 February, 2016;
originally announced February 2016.
-
A note on the general multi-moment constrained flux reconstruction formulation for high order schemes
Authors:
Feng Xiao,
Satoshi Ii,
Chungang Chen,
Xingliang Li
Abstract:
This paper presents a general formulation to construct high order numerical schemes by using multi-moment constraint conditions on the flux function reconstruction. The new formulation, so called multi-moment constrained flux reconstruction (MMC-FR), distinguishes itself essentially from the flux reconstruction formulation (FR) of Huynh (2007) by imposing not only the continuity constraint conditi…
▽ More
This paper presents a general formulation to construct high order numerical schemes by using multi-moment constraint conditions on the flux function reconstruction. The new formulation, so called multi-moment constrained flux reconstruction (MMC-FR), distinguishes itself essentially from the flux reconstruction formulation (FR) of Huynh (2007) by imposing not only the continuity constraint conditions on the flux function at the cell boundary, but also other types constraints which may include those on the spatial derivatives or the point values. This formulation can be also interprated as a blend of Lagrange interpolation the Hermite interpolation, which provides a numerical framework to accomodate a wider spectrum of high order schemes. Some representative schemes will be presented and evaluated through Fourier analysis and numerical tests.
△ Less
Submitted 22 June, 2012; v1 submitted 20 June, 2012;
originally announced June 2012.
-
Finite-Time Consensus Problems for Networks of Dynamic Agents
Authors:
Long Wang,
Feng Xiao
Abstract:
In this paper, finite-time state consensus problems for continuous-time multi-agent systems are discussed, and two distributive protocols, which ensure that the states of agents reach an agreement in a finite time, are presented. By employing the method of finite-time Lyapunov functions, we derive conditions that guarantee the two protocols to solve the finite-time consensus problems respectivel…
▽ More
In this paper, finite-time state consensus problems for continuous-time multi-agent systems are discussed, and two distributive protocols, which ensure that the states of agents reach an agreement in a finite time, are presented. By employing the method of finite-time Lyapunov functions, we derive conditions that guarantee the two protocols to solve the finite-time consensus problems respectively. Moreover, one of the two protocols solves the finite-time weighted-average consensus problem and can be successively applied to the systems with switching topology. Upper bounds of convergence times are also established. Simulations are presented to show the effectiveness of our results.
△ Less
Submitted 24 January, 2007;
originally announced January 2007.
-
State Agreement in Finite Time
Authors:
Feng Xiao,
Long Wang
Abstract:
In this paper, we consider finite-time state agreement problems for continuous-time multi-agent systems and propose two protocols, which ensure that states of agents reach an agreement in a finite time. Moreover, the second protocol solves the finite-time average-agreement problem and can be applied to the systems with switching topology. Upper bounds of convergence time are also established. Ex…
▽ More
In this paper, we consider finite-time state agreement problems for continuous-time multi-agent systems and propose two protocols, which ensure that states of agents reach an agreement in a finite time. Moreover, the second protocol solves the finite-time average-agreement problem and can be applied to the systems with switching topology. Upper bounds of convergence time are also established. Examples are presented to show the effectiveness of our results.
△ Less
Submitted 21 December, 2006;
originally announced December 2006.
-
Asynchronous Consensus in Continuous-Time Multi-Agent Systems With Switching Topology and Time-Varying Delays
Authors:
Feng Xiao,
Long Wang
Abstract:
In this paper, we study asynchronous consensus problems of continuous-time multi-agent systems with discontinuous information transmission. The proposed consensus control strategy is implemented only based on the state information at some discrete times of each agent's neighbors. The asynchronization means that each agent's update times, at which the agent adjusts its dynamics, are independent o…
▽ More
In this paper, we study asynchronous consensus problems of continuous-time multi-agent systems with discontinuous information transmission. The proposed consensus control strategy is implemented only based on the state information at some discrete times of each agent's neighbors. The asynchronization means that each agent's update times, at which the agent adjusts its dynamics, are independent of others'. Furthermore, it is assumed that the communication topology among agents is time-dependent and the information transmission is with bounded time-varying delays. If the union of the communication topology across any time interval with some given length contains a spanning tree, the consensus problem is shown to be solvable. The analysis tool developed in this paper is based on the nonnegative matrix theory and graph theory. The main contribution of this paper is to provide a valid distributed consensus algorithm that overcomes the difficulties caused by unreliable communication channels, such as intermittent information transmission, switching communication topology, and time-varying communication delays, and therefore has its obvious practical applications. Simulation examples are provided to demonstrate the effectiveness of our theoretical results.
△ Less
Submitted 30 November, 2006;
originally announced November 2006.
-
Algebraic Characterizations of Consensus Problems for Networked Dynamic Systems
Authors:
Long Wang,
Hong Shi,
Feng Xiao
Abstract:
In this paper, we study the consensus problem for networked dynamic systems with arbitrary initial states, and present some structural characterization and direct construction of consensus functions. For the consensus problem under similar transformation, we establish some necessary and sufficient conditions by exploiting the structure of consensus functions. Finally, we discuss the consensus pr…
▽ More
In this paper, we study the consensus problem for networked dynamic systems with arbitrary initial states, and present some structural characterization and direct construction of consensus functions. For the consensus problem under similar transformation, we establish some necessary and sufficient conditions by exploiting the structure of consensus functions. Finally, we discuss the consensus problem for dynamic systems under switching by using the common Lyapunov function method.
△ Less
Submitted 16 February, 2005;
originally announced February 2005.
