arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Daizhan

129 papers · 1984–2026

1984: 11985: 01986: 11987: 01988: 11989: 01990: 01991: 01992: 01993: 01994: 01995: 01996: 01997: 01998: 01999: 02000: 02001: 32002: 12003: 42004: 42005: 12006: 82007: 42008: 62009: 12010: 12011: 32012: 52013: 12014: 52015: 72016: 82017: 72018: 72019: 52020: 42021: 122022: 62023: 82024: 72025: 42026: 4
1984peak 12 in 20212026

Frequent co-authors

Papers

showing 1–25 of 129 RSS

Lyapunov-Based Approach to Multiagent Systems With Switching Jointly Connected Interconnection

Yiguang Hong, Lixin Gao, Daizhan Cheng +1 more

Computer Networks and Communications · IEEE Transactions on Automatic Control · · cited 462× · DOI ↗ · more like this ·

<para xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"> This note addresses a coordination problem of a multiagent system with jointly connected interconnection topologies. Neighbor-based rules are adopted to realize local control strategies for these continuous-time autonomous agents described by double integrators. Although the interagent connection structures vary over time and related graphs may not be connected, a sufficient condition to make all the agents converge to a common value is given for the problem by a proposed Lyapunov-based approach and related space decomposition technique. </para>

Characterizing the Synchronizability of Small-World Dynamical Networks

Jinhu Lü, Xinghuo Yu, Guanrong Chen +1 more

Computer Networks and Communications · IEEE Transactions on Circuits and Systems I Fundamental Theory and Applications · · cited 441× · DOI ↗ · more like this ·

Many real-world complex networks display a small-world feature-a high degree of clustering and a small average distance. We show that the maximum synchronizability of a network is completely determined by its associated feedback system, which has a precise meaning in terms of synchronous communication. We introduce a new concept of synchronizability matrix to characterize the maximum synchronizability of a network. Several new concepts, such as sensitive edge and robust edge, are proposed for analyzing the robustness and fragility of synchronization of a network. Using the knowledge of synchronizability, we can purposefully increase the robustness of the network synchronization and prevent it from attacks. Some applications in small-world networks are also discussed briefly.

Modeling, Analysis and Control of Networked Evolutionary Games

Daizhan Cheng, Fenghua He, Hongsheng Qi +1 more

Sociology and Political Science · IEEE Transactions on Automatic Control · · cited 372× · DOI ↗ · more like this ·

Consider a networked evolutionary game (NEG). According to its strategy updating rule, a fundamental evolutionary equation (FEE) for each node is proposed, which is based on local information. Using FEEs, the network strategy profile dynamics (SPD) is expressed as a k-valued (deterministic or probabilistic) logical dynamic system. The SPD is then used to analyze the network dynamic behaviors, such as the fixed points, the cycles, and the basins of attractions, etc. Particularly, when the homogeneous networked games are considered, a necessary and sufficient condition is presented to verify when a stationary stable profile exists. Then the equivalence of two NEGs is investigated. Finally, after a rigorous definition of controlled NEGs, some control problems, including controllability, stabilization, and network consensus, are considered, and some verifiable conditions are presented.…

Consensus of multi‐agent linear dynamic systems

Jinhuan Wang, Daizhan Cheng, Xiaoming Hu

Computer Networks and Communications · Asian Journal of Control · · cited 264× · DOI ↗ · more like this ·

Abstract In this paper the consensus problem is considered for multi‐agent systems, in which all agents have an identical linear dynamic mode that can be of any order. The main result is that if the adjacent topology of the graph is frequently connected then the consensus is achievable via local‐information‐based decentralized controls, provided that the linear dynamic mode is completely controllable. Consequently, many existing results become particular cases of this general result. In this paper, the case of fixed connected topology is discussed first. Then the case of switching connected topology is considered. Finally, the general case is studied where the graph topology is switching and only connected often enough. Copyright © 2008 John Wiley and Sons Asia Pte Ltd and Chinese Automatic Control Society

An Extension of LaSalle's Invariance Principle and Its Application to Multi-Agent Consensus

Daizhan Cheng, Jinhuan Wang, Xiaoming Hu

Computer Networks and Communications · IEEE Transactions on Automatic Control · · cited 143× · DOI ↗ · more like this ·

In the paper, an extension of LaSalle's Invariance Principle to a class of switched linear systems is studied. One of the motivations is the consensus problem in multi-agent systems. Unlike most existing results in which each switching mode in the system needs to be asymptotically stable, this paper allows that the switching modes are only Lyapunov stable. Under certain ergodicity assumptions, an extension of LaSalle's Invariance Principle for global asymptotic stability is obtained. Then it is used to solve the consensus reaching problem of certain multi-agent systems in which each agent is modeled by a double integrator, and the associated interaction graph is switching and is assumed to be only jointly connected.

Evolutionarily Stable Strategy of Networked Evolutionary Games

Daizhan Cheng, Tingting Xu, Hongsheng Qi

Sociology and Political Science · IEEE Transactions on Neural Networks and Learning Systems · · cited 106× · DOI ↗ · more like this ·

The evolutionarily stable strategy (ESS) of networked evolutionary games (NEGs) is studied. Analyzing the ESS of infinite popular evolutionary games and comparing it with networked games, a new verifiable definition of ESS for NEGs is proposed. Then, the fundamental evolutionary equation (FEE) is investigated and used to construct the strategy profile dynamics (SPDs) of homogeneous NEGs. Two ways for verifying the ESS are proposed: 1) using the SPDs to verify it directly. The SPDs provides complete information about the NEGs, and then necessary and sufficient conditions are revealed. It can be used for NEGs with small size and 2) some sufficient conditions are proposed to verify the ESS of NEGs via their FEEs. This method is particularly suitable for large scale networks. Some illustrative examples are included to demonstrate the theoretical results.

On Logic-based Intelligent Systems

Daizhan Cheng

Artificial Intelligence · · cited 99× · DOI ↗ · more like this ·

First, a new matrix product, called the semitensor product of matrices, is introduced. Then the logic operators are expressed in matrix form. Based on this form, the fuzzy logic is deduced in an axiomatic form. Finally, the logic-based intelligent control is considered.

Solving Fuzzy Relational Equations Via Semitensor Product

Daizhan Cheng, Jun‐e Feng, Hongli Lv

Artificial Intelligence · IEEE Transactions on Fuzzy Systems · · cited 82× · DOI ↗ · more like this ·

The problem of solving max-min fuzzy relational equations is investigated. First, we show that if there is a solution, then there is a corresponding solution within the set of parameters [briefly, the parameter set solution (PSS)]. Then, the semitensor product of matrices is used to convert the logical equations into algebraic equations via the vector expression of logical variables. Under this form, every PSS can be obtained. It is proved that all the solutions can be revealed from their corresponding PSS. Some examples are presented to demonstrate the algorithm to solve fuzzy relational equations.

Multiple Fuzzy Relation and Its Application to Coupled Fuzzy Control

Jun‐e Feng, Hongli Lv, Daizhan Cheng

Artificial Intelligence · Asian Journal of Control · · cited 76× · DOI ↗ · more like this ·

Abstract Using semi‐tensor product ( STP ) of matrix, this paper investigates the fuzzy relation of multiple fuzzy and uses this to design coupled fuzzy control is designed. First of all, under the assumption that the universe of discourse is finite, a fuzzy logical variable can be expressed as a vector, which unifies the expression of elements, subsets, and fuzzy subsets of a universe of discourse. Then, the matrix expression of set mappings is naturally extended to fuzzy sets. Second, based on STP, logic‐based matrix addition and product are proposed. These are particulary useful for the calculation of compounded fuzzy relations. Third, a dual fuzzy structure is introduced, which assures the finiteness of the universe of discourse, and is used for fuzzification and defuzzification. Finally, using the results obtained, a new technique is developed to design a coupled fuzzy controller…

On Decomposed Subspaces of Finite Games

Daizhan Cheng, Ting Liu, Kuize Zhang +1 more

Sociology and Political Science · IEEE Transactions on Automatic Control · · cited 72× · DOI ↗ · more like this ·

This note provides the detailed description of the decomposed subspaces of finite games. First, the basis of potential games and the basis of non-strategic games are revealed. Then the bases of pure potential and pure harmonic subspaces are also obtained. These bases provide an explicit formula for the decomposition, and are convenient for investigating the properties of the corresponding subspaces. As an application, we consider the dynamics of networked evolutionary games (NEGs). Three problems are considered: 1) the dynamic equivalence of evolutionary games; 2) the dynamics of near potential games; and 3) the decomposition of NEGs.

Recent advances in optimization and game theoretic control for networked systems

Yuhu Wu, Daizhan Cheng, Bijoy K. Ghosh +1 more

Computer Networks and Communications · Asian Journal of Control · · cited 55× · DOI ↗ · more like this ·

Abstract The aim of this paper is to provide an overview, although unnecessarily complete, of recent advances in optimal control, optimization, and game theory for networked systems. First, the recent research results and progress in optimal control and game theory for logical domain networked systems are summarized. Then, the recent developments on networked optimization and game theory for continuous domain systems are presented afterward. Finally, after introducing some recent practical applications of optimal control and game theory on networked systems, we conclude the paper with a short discussion on future research perspectives.

Semi-tensor product of matrices and its application to Morgen's problem

Cheng Cheng, Daizhan

Computational Theory and Mathematics · 中国科学：F辑英文版 · · cited 54× · OpenAlex ↗ · more like this ·

This paper proposes a new matrix product, namely, semi-tensor product. It is a generalization of the conventional matrix product. Meanwhile, it is also closely related to Kronecker (tensor) product of matrices. The purpose of introducing this product is twofold: (i) treat multi-dimensional data; (ii) treat nonlinear problems in a linear way. Then the computer and numerical methods can be easily used for solving nonlinear problems. Properties and formulas are deduced. As an application, the Morgen's problem for control systems is formulated as a numerically solvable problem.

Game Theoretic Control of Multiagent Systems

Ting Liu, Jinhuan Wang, Xiao Zhang +1 more

Computer Networks and Communications · SIAM Journal on Control and Optimization · · cited 51× · DOI ↗ · more like this ·

Optimal control of multiagent systems via game theory is investigated. Assuming a system level object is given, the utility functions for individual agents are designed to convert a multiagent system into a potential game. First, for fixed topology (i.e., the network geometric structure), a necessary and sufficient condition is given to ensure the existence of local information based utility functions. Then using local information the system can converge to a maximum point of the system object, which is a Nash equilibrium. It is also proved that a networked evolutionary potential game is a special case of this multiagent system. Second, for time-varying topology, the state based potential game is utilized to design the optimal control. A strategy based Markov state transition process is proposed to ensure the existence of state based potential functions. As an extension of the fixed…

Quadratic form of stable sub‐manifold for power systems

Daizhan Cheng, Jin Ma, Qiang Lu +1 more

Numerical Analysis · International Journal of Robust and Nonlinear Control · · cited 42× · DOI ↗ · more like this ·

Abstract The stable sub‐manifold of type‐1 unstable equilibrium point is fundamental in determining the region of attraction of a stable working point for power systems, because such sub‐manifolds form the boundary of the region ( IEEE Trans. Automat. Control 1998; 33 (1):16–27; IEEE Trans. Circuit Syst. 1988; 35 (6):712–728). The quadratic approximation has been investigated in some recent literatures ( Automatica 1997; 33 (10):1877–1883; IEEE Trans. Power Syst . 1997; 12 (2):797–802). First, the paper reports our recent result: a precise formula is obtained, which provides the unique quadratic approximation with the error of 0(∣∣x∣∣ 3 ). Then the result is applied to differential–algebraic systems. The real form of practical large scale power systems are of this type. A detailed algorithm is obtained for the quadratic approximation of the stable sub‐manifold of type‐1 unstable…

SEMI-TENSOR PRODUCT OF MATRICES AND ITS SOME APPLICATIONS TO PHYSICS

Daizhan Cheng, Yali Dong

Numerical Analysis · Methods and Applications of Analysis · · cited 37× · DOI ↗ · more like this ·

In this paper we first give a general definition of a new kind of matrix products, called the semi-tensor product, which was firstly proposed in Certain new properties related to the later applications are proved. Using them, some problems in physics are investigated. First of all, the Carleman linearization of some dynamic physical systems is considered. It is used to investigate the invariants. A rigorous proof for the solvability is presented. Secondly, the problems of invariants of planar polynomial systems is converted to the solvability of a set of algebraic equations. Thirdly, we consider the contraction of a tensor field. A simple proof for general contraction is obtained.

Synchronization of a class of networked passive systems with switching topology

Yahong Zhuy, Daizhan Cheng, Xiaoming Hu

Computer Networks and Communications · · cited 31× · DOI ↗ · more like this ·

This paper considers the output synchronization of a class of networked agents. Each agent is a passive system. Local information, used by each agent to adjust its movement, forms a network with switching adjacent topology. First, we consider the asymptotic stability of nonlinear time-varying switched systems by using multiple Lyapunov function. An extended Lyapunov-like lemma for switched systems is obtained. Then the result is applied to the output synchronization of a class of networked passive systems with switching topology. A pretty fair sufficient condition is presented.

On the Smallest Enclosing Balls

Daizhan Cheng, Xiaoming Hu, Clyde F. Martin

Computer Networks and Communications · Communications in Information and Systems · · cited 31× · DOI ↗ · more like this ·

In the paper a theoretical analysis is given for the smallest ball that covers a finite number of points p 1 , p 2 , , p N R n . Several fundamental properties of the smallest enclosing ball are described and proved. Particularly, it is proved that the k-circumscribing enclosing ball with smallest k is the smallest enclosing ball, which dramatically reduces a possible large number of computations in the higher dimensional case. General formulas are deduced for calculating circumscribing balls. The difficulty of the closed-form description is discussed. Finally, as an application, the problem of finding a common quadratic Lyapunov function for a set of stable matrices is considered.

Accessibility of Switched Linear Systems

Daizhan Cheng, Y. Lin, Y. Wang

Geometry and Topology · IEEE Transactions on Automatic Control · · cited 29× · DOI ↗ · more like this ·

This note considers the controllability of switched linear systems. The structure of accessibility Lie algebra is revealed. Some accessibility properties are proved. Certain necessary and sufficient conditions for (local or global, weak or normal) controllability of a large class of switched linear systems are obtained

Calculation of stability region

Daizhan Cheng, Jin Ma

Numerical Analysis · · cited 29× · DOI ↗ · more like this ·

In the stability analysis of power systems it is extremely important to determine the stability region of a working (equilibrium) point. This paper first gives a quadratic approximation to the boundary sub-manifold of the stability region, which assures the error be of O(||x||/sub 3/). Under certain non-singularity assumption, a precise expression of the submanifold is obtained as a Taylor expansion. The formula is then extended for differential-algebraic systems. Its application to power systems is illustrated via an example. The computation is based on the left semi-tensor product of matrices, which was proposed in [D. Cheng, 2001].

Synchronisation of a class of networked passive systems with switching topology

Ya-Hong Zhu, Hongsheng Qi, Daizhan Cheng

Computer Networks and Communications · International Journal of Control · · cited 27× · DOI ↗ · more like this ·

Abstract This article considers the output synchronisation of a class of networked agents. Each agent is a passive system. Local information, used by each agent to adjust its movement, forms a network with switching adjacent topology. First, we consider the asymptotic stability of switched non-linear time-varying systems with delayed measurement feedback by using multiple Lyapunov function. A Barbalat-like lemma is obtained. Then the result is applied to the output synchronisation of a class of networked passive systems with switching topology. A verifiable sufficient condition is presented. Keywords: output synchronisationswitched systemmultiple Lyapunov functionBarbalat-like lemma Acknowledgements The authors are in debt to Prof. M. Spong for introducing his pioneer work to us. This work was supported by NNSF 60674022, 60736022, 60221301 of China.

Equivalence-Based Model of Dimension-Varying Linear Systems

Daizhan Cheng, Zhenhui Xu, Tielong Shen

math.DS · · cited 26× · arXiv ↗ · more like this ·

Dimension-varying linear systems are investigated. First, a dimension-free state space is proposed. A cross dimensional distance is constructed to glue vectors of different dimensions together to form a cross-dimensional topological space. This distance leads to projections over different dimensional Euclidean spaces and the corresponding linear systems on them, which provide a connection among linear systems with different dimensions. Based on these projections, an equivalence of vectors and an equivalence of matrices over different dimensions are proposed. It follows that the dynamics on quotient space is obtained, which provides a proper model for cross-dimensional systems. Finally, using lifts of dynamic systems on quotient space to Euclidean spaces of different dimensions, a cross-dimensional model is proposed to deal with the dynamics of dimension-varying process of linear…

Observability of Finite Labeled Transition Systems

Kuize Zhang, Ting Liu, Daizhan Cheng

Computational Theory and Mathematics · IEEE Transactions on Automatic Control · · cited 25× · DOI ↗ · more like this ·

Finite labeled transition systems are nondeterministic and nontotal systems with finitely many inputs, states, and outputs. This paper provides algorithms for verifying the observability of finite labeled transition systems in the so-called multiple-experiment case, the simple-experiment case, and the arbitrary-experiment case, respectively, where these algorithms run in exponential time, exponential time, and quartic polynomial time, respectively, and are more effective than the existing algorithms in the literature.

Model-Free Reinforcement Learning by Embedding an Auxiliary System for Optimal Control of Nonlinear Systems

Zhenhui Xu, Tielong Shen, Daizhan Cheng

Computational Theory and Mathematics · IEEE Transactions on Neural Networks and Learning Systems · · cited 21× · DOI ↗ · more like this ·

In this article, a novel integral reinforcement learning (IRL) algorithm is proposed to solve the optimal control problem for continuous-time nonlinear systems with unknown dynamics. The main challenging issue in learning is how to reject the oscillation caused by the externally added probing noise. This article challenges the issue by embedding an auxiliary trajectory that is designed as an exciting signal to learn the optimal solution. First, the auxiliary trajectory is used to decompose the state trajectory of the controlled system. Then, by using the decoupled trajectories, a model-free policy iteration (PI) algorithm is developed, where the policy evaluation step and the policy improvement step are alternated until convergence to the optimal solution. It is noted that an appropriate external input is introduced at the policy improvement step to eliminate the requirement of the…

Consensus of Multi-agent Systems with Higher Order Dynamics

Wang Jinhuan, Cheng Daizhan

Computer Networks and Communications · · cited 20× · DOI ↗ · more like this ·

This paper considers the consensus problem of multi-agent systems, where each agent has n-th order dynamic mode. Three cases are considered. First of all, the agents are assumed to be lined up as a chain. Each agent can obtain the information from the agent ahead of it. Secondly, assume each agent can obtain the information from its neighbors and the adjacent graph with fixed or varying topology is connected. Thirdly, we consider a nonlinear case. Under certain assumption, it can be transformed into a linear case. In different cases we prove that the consensus can be achieved by local-information-based decentralized controls. Some existing results become particular cases of our general result.