Stabilization of a class of switched nonlinear systems

The stabilization of a class of switched nonlinear systems is investigated in the paper. The systems concerned are of （generalized） switched Byrnes-Isidori canonical form, which has all switched models in （generalized） Byrnes- Isidori canonical form. First, a stability result of switched systems is obtained. Then it is used to solve the stabilization problem of the switched nonlinear control systems. In addition, necessary and sufficient conditions are obtained for a switched affine nonlinear system to be feedback equivalent to （generalized） switched Byrnes-Isidori canonical systems are presented. Finally, as an application the stability of switched lorenz systems is investigated.

On Dynamics and Nash Equilibriums of Networked Games

Networked noncooperative games are investigated,where each player(or agent) plays with all other players in its neighborhood. Assume the evolution is based on the fact that each player uses its neighbors current information to decide its next strategy. By using sub-neighborhood, the dynamics of the evolution is obtained. Then a method for calculating Nash equilibriums from mixed strategies of multi-players is proposed.The relationship between local Nash equilibriums based on individual neighborhoods and global Nash equilibriums of overall network is revealed. Then a technique is proposed to construct Nash equilibriums of an evolutionary game from its one step static Nash equilibriums. The basic tool of this approach is the semi-tensor product of matrices, which converts strategies into logical matrices and payoffs into pseudo-Boolean functions, then networked evolutionary games become discrete time dynamic systems.

Erratum to“A note on overshoot estimation in pole placements”

There is a mild flaw in the statement of Proposition 2.1 in the above paper （cf. [1] ）. We restate it as follows.

The structure of canalizing functions

The structure of a canalizing function is discussed. Using a new matrix product, namely semitensor product, the logical function is expressed in its matrix form. From its matrix expression, a criterion is obtained to test whether a logical function is a canalizing function. Then a formula is obtained to calculate the number of canalizing functions. Moreover, an algorithm is presented to generate canalizing functions. Finally, some results obtained are extended to seminested canalizing functions.

Control of group of mobile autonomous agents via local strategies

This paper considers the formation control problem of multi-agent systems in a distributed fashion. Two cases of the information propagating topologies among multiple agents, characterized by graphics model, are considered. One is fixed topology. The other is switching topology which represents the limited and less reliable information exchange. The local formation control strategies established in this paper are based on a simple modification of the existing consensus control strategies. Moreover, some existing convergence conditions are shown to be a special case of our model even in the continuous-time consensus case. Therefore, the results of this paper extend the existing results about the consensus problem.

A conjecture on the norm of Lyapunov mapping

A conjecture that the norm of Lyapunov mapping LA equals to its restriction to the symmetric set, S, i.e., ｜｜LA｜｜ =｜｜LA｜s｜｜ was proposed in [1]. In this paper, a method for numerical testing is provided first. Then, some recent progress on this conjecture is presented.

Contracted product of hypermatrices via STP of matrices

An equivalent definition of hypermatrices is introduced.The matrix expression of hypermatrices is proposed.Using permu-tation matrices,the conversion between different matrix expressions is revealed.The various kinds of contracted products of hypermatrices are realized by semi-tensor products(STP)of matrices via matrix expressions of hypermatrices.

Semi-tensor product approach to networked evolutionary games

In this paper a comprehensive introduction for modeling and control of networked evolutionary games （NEGs） via semi-tensor product （STP） approach is presented. First, we review the mathematical model of an NEG, which consists of three ingredients： network graph, fundamental network game, and strategy updating rule. Three kinds of network graphs are considered, which are i） undirected graph for symmetric games; ii） directed graph for asymmetric games, and iii） d-directed graph for symmetric games with partial neighborhood information. Three kinds of fundamental evolutionary games （FEGs） are discussed, which are i） two strategies and symmetric （S-2）; ii） two strategies and asymmetric （A-2）; and iii） three strategies and symmetric （S-3）. Three strategy updating rules （SUR） are introduced, which are i） Unconditional Imitation （UI）; ii） Fermi Rule（FR）; iii） Myopic Best Response Adjustment Rule （MBRA）. First, we review the fundamental evolutionary equation （FEE） and use it to construct network profile dynamics （NPD）of NEGs. To show how the dynamics of an NEG can be modeled as a discrete time dynamics within an algebraic state space, the fundamental evolutionary equation （FEE） of each player is discussed. Using FEEs, the network strategy profile dynamics （NSPD） is built by providing efficient algorithms. Finally, we consider three more complicated NEGs： i） NEG with different length historical information, ii） NEG with multi-species, and iii） NEG with time-varying payoffs. In all the cases, formulas are provided to construct the corresponding NSPDs. Using these NSPDs, certain properties are explored. Examples are presented to demonstrate the model constructing method, analysis and control design technique, and to reveal certain dynamic behaviors of NEGs.

A new semi-tensor product of matrices

A new matrix product, called the second semi-tensor product (STP-Ⅱ) of matrices is proposed. It is similar to the classical semi-tensor product (STP-I). First, its fundamental properties are presented. Then, the equivalence relation caused by STP-II is obtained. Using this equivalence, a quotient space is also obtained. Finally, the vector space structure, the metric and the metric topology, the projection and subspaces, etc. of the quotient space are investigated in detail.

A survey on potential evolutionary game and its applications

Basic concepts about the finite potential games and the networked evolutionary games(NEGs)are introduced.Some new developments are surveyed,including(i)formulas for verifying whether a finite game is(weighted)potential and for calculating the(weighted)potential function;and(ii)the fundamental network equation and strategy profile dynamics of NEGs.Then some applications are introduced,which include:(i)convergence of NEGs;(ii)congestion control;(iii)distributed coverage of graphs.

A minimum adequate set of multi-valued logic

An adequate set of k-valued logic is provided,which contains only two operators.It is also proved that this adequate set is of minimum size。

STABILIZATION OF SWITCHED LINEAR SYSTEMS WITH CONSTRAINED INPUTS

The stabilization of switched linear systems with constrained inputs （SLSCI） is considered. The authors design admissible linear state feedbacks and the switching rule which has a minimal dwell time （MDT） to stabilized the system. First, for each subsystem with constrained inputs, a stabilizing linear state feedback and an invariant set of the closed-loop system are simultaneously constructed, such that the input constraints are satisfied if and only if the closed-loop system＇s states lie inside this set. Then, by constructing a quadratic Lyapunov function for each closed-loop subsystem, an MDT is deduced and an MDT-based switching strategy is presented to ensure the stability of the switched system.

DESIGN OF CONTROL INVARIANT SETS OF PLANAR SYSTEMS

Control invariant sets play a key role in model predictive control.Using Lyapunov function,a technique is proposed to design control invariant sets of planar systems in a precise form.First,itis designed for a linear system in Brunovsky canonical form.Then,the result is extended to generallinear systems.Finally,the nonlinear control systems are considered,and some sufficient conditionsand design techniques are also obtained.Numerical examples are presented to illustrate the proposeddesign methods.